Similarity

0017b4a0
0017b4a0camlLatexmacros.invisible_982:
0017b4a0lea r10, [rsp-320]
0017b4a8cmp r10, [r14+40]
0017b4acjb 0x17bac2
0017b4b2
0017b4b2loc_17b4b2:
0017b4b2mov rbx, [rax-8]
0017b4b6shr rbx, 10
0017b4bacmp rbx, 2
0017b4beje 0x17b8c0
0017b4c4cmp rbx, 2
0017b4c8jge 0x17ba67
0017b4cemov rbx, [rax]
0017b4d1mov rdi, 0x20000656775485c
0017b4dbcmp rbx, rdi
0017b4dejge 0x17b6c8
0017b4e4mov rdi, 0x100656772616c5c
0017b4eecmp rbx, rdi
0017b4f1jge 0x17b5d4
0017b4f7mov rdi, 0x7265766c69735c
0017b501cmp rbx, rdi
0017b504jge 0x17b56c
0017b506mov rdi, 0x6572756769665c
0017b510cmp rbx, rdi
0017b513jge 0x17b540
0017b515mov rdi, 0x6563617073765c
0017b51fcmp rbx, rdi
0017b522je 0x17babc
0017b528mov rdi, 0x656c707275705c
0017b532cmp rbx, rdi
0017b535je 0x17babc
0017b53bjmp 0x17ba67
0017b540
0017b540loc_17b540:
0017b540mov rdi, 0x6572756769665c
0017b54acmp rbx, rdi
0017b54dje 0x17babc
0017b553mov rdi, 0x6e6f6f72616d5c
0017b55dcmp rbx, rdi
0017b560je 0x17babc
0017b566jmp 0x17ba67
0017b56b
0017b56b 90 .
0017b56c
0017b56cloc_17b56c:
0017b56cmov rdi, 0x100454752414c5c
0017b576cmp rbx, rdi
0017b579jge 0x17b5a8
0017b57bmov rdi, 0x7265766c69735c
0017b585cmp rbx, rdi
0017b588je 0x17babc
0017b58emov rdi, 0x776f6c6c65795c
0017b598cmp rbx, rdi
0017b59bje 0x17babc
0017b5a1jmp 0x17ba67
0017b5a6
0017b5a6 66 90 f.
0017b5a8
0017b5a8loc_17b5a8:
0017b5a8mov rdi, 0x100454752414c5c
0017b5b2cmp rbx, rdi
0017b5b5je 0x17babc
0017b5bbmov rdi, 0x100656772614c5c
0017b5c5cmp rbx, rdi
0017b5c8je 0x17babc
0017b5cejmp 0x17ba67
0017b5d3
0017b5d3 90 .
0017b5d4
0017b5d4loc_17b5d4:
0017b5d4mov rdi, 0x1006c6562616c5c
0017b5decmp rbx, rdi
0017b5e1jge 0x17b64c
0017b5e3mov rdi, 0x10065746968775c
0017b5edcmp rbx, rdi
0017b5f0jge 0x17b620
0017b5f2mov rdi, 0x100656772616c5c
0017b5fccmp rbx, rdi
0017b5ffje 0x17babc
0017b605mov rdi, 0x100656c6261745c
0017b60fcmp rbx, rdi
0017b612je 0x17babc
0017b618jmp 0x17ba67
0017b61d
0017b61d 0f 1f 00 ...
0017b620
0017b620loc_17b620:
0017b620mov rdi, 0x10065746968775c
0017b62acmp rbx, rdi
0017b62dje 0x17babc
0017b633mov rdi, 0x1006576696c6f5c
0017b63dcmp rbx, rdi
0017b640je 0x17babc
0017b646jmp 0x17ba67
0017b64b
0017b64b 90 .
0017b64c
0017b64cloc_17b64c:
0017b64cmov rdi, 0x1006e656572675c
0017b656cmp rbx, rdi
0017b659jge 0x17b688
0017b65bmov rdi, 0x1006c6562616c5c
0017b665cmp rbx, rdi
0017b668je 0x17babc
0017b66emov rdi, 0x1006c6c616d735c
0017b678cmp rbx, rdi
0017b67bje 0x17babc
0017b681jmp 0x17ba67
0017b686
0017b686 66 90 f.
0017b688
0017b688loc_17b688:
0017b688mov rdi, 0x1006e656572675c
0017b692cmp rbx, rdi
0017b695je 0x17babc
0017b69bmov rdi, 0x1007865646e695c
0017b6a5cmp rbx, rdi
0017b6a8je 0x17babc
0017b6aemov rdi, 0x20000617571615c
0017b6b8cmp rbx, rdi
0017b6bbje 0x17babc
0017b6c1jmp 0x17ba67
0017b6c6
0017b6c6 66 90 f.
0017b6c8
0017b6c8loc_17b6c8:
0017b6c8mov rdi, 0x200007976616e5c
0017b6d2cmp rbx, rdi
0017b6d5jge 0x17b7cc
0017b6dbmov rdi, 0x2000065756c625c
0017b6e5cmp rbx, rdi
0017b6e8jge 0x17b750
0017b6eamov rdi, 0x20000656d696c5c
0017b6f4cmp rbx, rdi
0017b6f7jge 0x17b724
0017b6f9mov rdi, 0x20000656775485c
0017b703cmp rbx, rdi
0017b706je 0x17babc
0017b70cmov rdi, 0x20000656775685c
0017b716cmp rbx, rdi
0017b719je 0x17babc
0017b71fjmp 0x17ba67
0017b724
0017b724loc_17b724:
0017b724mov rdi, 0x20000656d696c5c
0017b72ecmp rbx, rdi
0017b731je 0x17babc
0017b737mov rdi, 0x2000065736c655c
0017b741cmp rbx, rdi
0017b744je 0x17babc
0017b74ajmp 0x17ba67
0017b74f
0017b74f 90 .
0017b750
0017b750loc_17b750:
0017b750mov rdi, 0x20000726168635c
0017b75acmp rbx, rdi
0017b75djge 0x17b78c
0017b75fmov rdi, 0x2000065756c625c
0017b769cmp rbx, rdi
0017b76cje 0x17babc
0017b772mov rdi, 0x200006c6165745c
0017b77ccmp rbx, rdi
0017b77fje 0x17babc
0017b785jmp 0x17ba67
0017b78a
0017b78a 66 90 f.
0017b78c
0017b78cloc_17b78c:
0017b78cmov rdi, 0x20000726168635c
0017b796cmp rbx, rdi
0017b799je 0x17babc
0017b79fmov rdi, 0x20000796172675c
0017b7a9cmp rbx, rdi
0017b7acje 0x17babc
0017b7b2mov rdi, 0x20000796e69745c
0017b7bccmp rbx, rdi
0017b7bfje 0x17babc
0017b7c5jmp 0x17ba67
0017b7ca
0017b7ca 66 90 f.
0017b7cc
0017b7ccloc_17b7cc:
0017b7ccmov rdi, 0x4000000006c735c
0017b7d6cmp rbx, rdi
0017b7d9jge 0x17b844
0017b7dbmov rdi, 0x40000000066625c
0017b7e5cmp rbx, rdi
0017b7e8jge 0x17b818
0017b7eamov rdi, 0x200007976616e5c
0017b7f4cmp rbx, rdi
0017b7f7je 0x17babc
0017b7fdmov rdi, 0x30000006465725c
0017b807cmp rbx, rdi
0017b80aje 0x17babc
0017b810jmp 0x17ba67
0017b815
0017b815 0f 1f 00 ...
0017b818
0017b818loc_17b818:
0017b818mov rdi, 0x40000000066625c
0017b822cmp rbx, rdi
0017b825je 0x17babc
0017b82bmov rdi, 0x40000000069665c
0017b835cmp rbx, rdi
0017b838je 0x17babc
0017b83ejmp 0x17ba67
0017b843
0017b843 90 .
0017b844
0017b844loc_17b844:
0017b844mov rdi, 0x4000000006d725c
0017b84ecmp rbx, rdi
0017b851jge 0x17b880
0017b853mov rdi, 0x4000000006c735c
0017b85dcmp rbx, rdi
0017b860je 0x17babc
0017b866mov rdi, 0x4000000006d655c
0017b870cmp rbx, rdi
0017b873je 0x17babc
0017b879jmp 0x17ba67
0017b87e
0017b87e 66 90 f.
0017b880
0017b880loc_17b880:
0017b880mov rdi, 0x4000000006d725c
0017b88acmp rbx, rdi
0017b88dje 0x17babc
0017b893mov rdi, 0x40000000074695c
0017b89dcmp rbx, rdi
0017b8a0je 0x17babc
0017b8a6mov rdi, 0x40000000074745c
0017b8b0cmp rbx, rdi
0017b8b3je 0x17babc
0017b8b9jmp 0x17ba67
0017b8be
0017b8be 66 90 f.
0017b8c0
0017b8c0loc_17b8c0:
0017b8c0mov rbx, [rax+8]
0017b8c4mov rdi, 0x500000000006b61
0017b8cecmp rbx, rdi
0017b8d1jge 0x17b988
0017b8d7mov rdi, 0x20000657a697365
0017b8e1cmp rbx, rdi
0017b8e4jne 0x17b904
0017b8e6mov rbx, [rax]
0017b8e9mov rdi, 0x746f6e746f6f665c
0017b8f3cmp rbx, rdi
0017b8f6je 0x17babc
0017b8fcjmp 0x17ba67
0017b901
0017b901 0f 1f 00 ...
0017b904
0017b904loc_17b904:
0017b904mov rdi, 0x30000006b616572
0017b90ecmp rbx, rdi
0017b911jne 0x17b944
0017b913mov rbx, [rax]
0017b916mov rdi, 0x62656761706f6e5c
0017b920cmp rbx, rdi
0017b923je 0x17babc
0017b929mov rdi, 0x62656e696c6f6e5c
0017b933cmp rbx, rdi
0017b936je 0x17babc
0017b93cjmp 0x17ba67
0017b941
0017b941 0f 1f 00 ...
0017b944
0017b944loc_17b944:
0017b944mov rdi, 0x400000000657a69
0017b94ecmp rbx, rdi
0017b951jne 0x17ba67
0017b957mov rbx, [rax]
0017b95amov rdi, 0x736c616d726f6e5c
0017b964cmp rbx, rdi
0017b967je 0x17babc
0017b96dmov rdi, 0x737470697263735c
0017b977cmp rbx, rdi
0017b97aje 0x17babc
0017b980jmp 0x17ba67
0017b985
0017b985 0f 1f 00 ...
0017b988
0017b988loc_17b988:
0017b988mov rdi, 0x600000000000079
0017b992cmp rbx, rdi
0017b995jge 0x17ba00
0017b997mov rdi, 0x500000000006b61
0017b9a1cmp rbx, rdi
0017b9a4jne 0x17b9d4
0017b9a6mov rbx, [rax]
0017b9a9mov rdi, 0x657262656761705c
0017b9b3cmp rbx, rdi
0017b9b6je 0x17babc
0017b9bcmov rdi, 0x657262656e696c5c
0017b9c6cmp rbx, rdi
0017b9c9je 0x17babc
0017b9cfjmp 0x17ba67
0017b9d4
0017b9d4loc_17b9d4:
0017b9d4mov rdi, 0x500000000007261
0017b9decmp rbx, rdi
0017b9e1jne 0x17ba67
0017b9e7mov rbx, [rax]
0017b9eamov rdi, 0x706e696772616d5c
0017b9f4cmp rbx, rdi
0017b9f7je 0x17babc
0017b9fdjmp 0x17ba67
0017b9ff
0017b9ff 90 .
0017ba00
0017ba00loc_17ba00:
0017ba00mov rdi, 0x600000000000079
0017ba0acmp rbx, rdi
0017ba0djne 0x17ba28
0017ba0fmov rbx, [rax]
0017ba12mov rdi, 0x726173736f6c675c
0017ba1ccmp rbx, rdi
0017ba1fje 0x17babc
0017ba25jmp 0x17ba67
0017ba27
0017ba27 90 .
0017ba28
0017ba28loc_17ba28:
0017ba28mov rdi, 0x700000000000000
0017ba32cmp rbx, rdi
0017ba35jne 0x17ba67
0017ba37mov rbx, [rax]
0017ba3amov rdi, 0x616973686375665c
0017ba44cmp rbx, rdi
0017ba47je 0x17babc
0017ba49mov rdi, 0x656c7974736f6e5c
0017ba53cmp rbx, rdi
0017ba56je 0x17babc
0017ba58mov rdi, 0x73656c69666f6e5c
0017ba62cmp rbx, rdi
0017ba65je 0x17babc
0017ba67
0017ba67loc_17ba67:
0017ba67mov rbx, [rax-8]
0017ba6bshr rbx, 10
0017ba6flea rbx, [8*rbx-1]
0017ba77movzx rdi, [rax+rbx]
0017ba7csub rbx, rdi
0017ba7flea rbx, [rbx+rbx+1]
0017ba84cmp rbx, 7
0017ba88jl 0x17bab4
0017ba8amov edi, 7
0017ba8fmov ebx, 1
0017ba94call Stdlib.Bytes.sub
0017ba99lea rsi, [rip+0x199018]
0017baa0mov rdi, rax
0017baa3mov rbx, rsp
0017baa6mov rsp, [r14+64]
0017baaacall caml_string_equal
0017baafmov rsp, rbx
0017bab2ret
0017bab3
0017bab3 90 .
0017bab4
0017bab4loc_17bab4:
0017bab4mov eax, 1
0017bab9ret
0017baba
0017baba 66 90 f.
0017babc
0017babcloc_17babc:
0017babcmov eax, 3
0017bac1ret
0017bac2
0017bac2loc_17bac2:
0017bac2push 33
0017bac4call caml_call_realloc_stack
0017bac9pop r10
0017bacbjmp 0x17b4b2
0017b4a0

0017bad0
0017bad0camlLatexmacros.entry:
0017bad0lea r10, [rsp-336]
0017bad8cmp r10, [r14+40]
0017badcjb 0x17c0e4
0017bae2
0017bae2loc_17bae2:
0017bae2sub rsp, 16
0017bae6mov edi, 1
0017baebmov rbx, rsp
0017baeemov rsp, [r14+64]
0017baf2call caml_fresh_oo_id
0017baf7mov rsp, rbx
0017bafacall caml_alloc2
0017bafflea rsi, [r15+8]
0017bb03mov [rsi-8], 2296
0017bb0blea rbx, [rip+0x199516]
0017bb12mov [rsi], rbx
0017bb15mov [rsi+8], rax
0017bb19lea rdi, [rip+0x198e48]
0017bb20mov rbx, rsp
0017bb23mov rsp, [r14+64]
0017bb27call caml_initialize
0017bb2cmov rsp, rbx
0017bb2flea rbx, [rip+0x1c06ca]
0017bb36call caml_alloc1
0017bb3blea rax, [r15+8]
0017bb3fmov [rax-8], 1024
0017bb47mov rbx, [rbx+72]
0017bb4bmov [rax], rbx
0017bb4ecall Stdlib.Set.fun
0017bb53lea rdi, [rip+0x198e0e]
0017bb5aadd rdi, 184
0017bb61mov rsi, rax
0017bb64mov rbx, rsp
0017bb67mov rsp, [r14+64]
0017bb6bcall caml_initialize
0017bb70mov rsp, rbx
0017bb73lea rax, [rip+0x1ee48e]
0017bb7amov rax, [rax+272]
0017bb81mov rax, [rax]
0017bb84mov ebx, 195
0017bb89call Stdlib.Hashtbl.create_inner
0017bb8emov [rsp], rax
0017bb92lea rax, [rip+0x1ee46f]
0017bb99mov rax, [rax+272]
0017bba0mov rax, [rax]
0017bba3mov ebx, 195
0017bba8call Stdlib.Hashtbl.create_inner
0017bbadmov [rsp+8], rax
0017bbb2lea rax, [rip+0x1ee44f]
0017bbb9mov rax, [rax+272]
0017bbc0mov rax, [rax]
0017bbc3mov ebx, 11
0017bbc8call Stdlib.Hashtbl.create_inner
0017bbcdmov r13, rax
0017bbd0call caml_alloc1
0017bbd5lea r12, [r15+8]
0017bbd9mov [r12-8], 1024
0017bbe2mov [r12], 1
0017bbealea rdi, [rip+0x198d77]
0017bbf1add rdi, 192
0017bbf8mov rsi, [rsp]
0017bbfcmov rbx, rsp
0017bbffmov rsp, [r14+64]
0017bc03call caml_initialize
0017bc08mov rsp, rbx
0017bc0blea rdi, [rip+0x198d56]
0017bc12add rdi, 200
0017bc19mov rsi, [rsp+8]
0017bc1emov rbx, rsp
0017bc21mov rsp, [r14+64]
0017bc25call caml_initialize
0017bc2amov rsp, rbx
0017bc2dlea rdi, [rip+0x198d34]
0017bc34add rdi, 208
0017bc3bmov rsi, r13
0017bc3emov rbx, rsp
0017bc41mov rsp, [r14+64]
0017bc45call caml_initialize
0017bc4amov rsp, rbx
0017bc4dlea rdi, [rip+0x198d14]
0017bc54add rdi, 216
0017bc5bmov rsi, r12
0017bc5emov rbx, rsp
0017bc61mov rsp, [r14+64]
0017bc65call caml_initialize
0017bc6amov rsp, rbx
0017bc6dsub r15, 64
0017bc71call caml_allocN
0017bc76lea rsi, [r15+8]
0017bc7aadd rsi, 48
0017bc7emov [rsi-8], 1024
0017bc86mov [rsi], 1
0017bc8dlea r12, [rsi-32]
0017bc91mov [r12-8], 3072
0017bc9amov [r12], 1
0017bca2lea rax, [rip+0x19927f]
0017bca9mov [r12+8], rax
0017bcaemov [r12+16], 1
0017bcb7lea r13, [r12-16]
0017bcbcmov [r13-8], 1024
0017bcc4mov [r13], 1
0017bccclea rdi, [rip+0x198c95]
0017bcd3add rdi, 224
0017bcdamov rbx, rsp
0017bcddmov rsp, [r14+64]
0017bce1call caml_initialize
0017bce6mov rsp, rbx
0017bce9lea rdi, [rip+0x198c78]
0017bcf0add rdi, 232
0017bcf7mov rsi, r12
0017bcfamov rbx, rsp
0017bcfdmov rsp, [r14+64]
0017bd01call caml_initialize
0017bd06mov rsp, rbx
0017bd09lea rdi, [rip+0x198c58]
0017bd10add rdi, 240
0017bd17mov rsi, r13
0017bd1amov rbx, rsp
0017bd1dmov rsp, [r14+64]
0017bd21call caml_initialize
0017bd26mov rsp, rbx
0017bd29lea rsi, [rip+0x198958]
0017bd30lea rdi, [rip+0x198c31]
0017bd37add rdi, 24
0017bd3bmov rbx, rsp
0017bd3emov rsp, [r14+64]
0017bd42call caml_initialize
0017bd47mov rsp, rbx
0017bd4alea rsi, [rip+0x198957]
0017bd51lea rdi, [rip+0x198c10]
0017bd58add rdi, 248
0017bd5fmov rbx, rsp
0017bd62mov rsp, [r14+64]
0017bd66call caml_initialize
0017bd6bmov rsp, rbx
0017bd6elea rsi, [rip+0x19894b]
0017bd75lea rdi, [rip+0x198bec]
0017bd7cadd rdi, 32
0017bd80mov rbx, rsp
0017bd83mov rsp, [r14+64]
0017bd87call caml_initialize
0017bd8cmov rsp, rbx
0017bd8flea rsi, [rip+0x198962]
0017bd96lea r12, [rip+0x19893b]
0017bd9dlea rdi, [rip+0x198bc4]
0017bda4add rdi, 8
0017bda8mov rbx, rsp
0017bdabmov rsp, [r14+64]
0017bdafcall caml_initialize
0017bdb4mov rsp, rbx
0017bdb7lea rdi, [rip+0x198baa]
0017bdbeadd rdi, 16
0017bdc2mov rsi, r12
0017bdc5mov rbx, rsp
0017bdc8mov rsp, [r14+64]
0017bdcccall caml_initialize
0017bdd1mov rsp, rbx
0017bdd4lea rsi, [rip+0x19894d]
0017bddblea r12, [rip+0x19892e]
0017bde2lea rdi, [rip+0x198b7f]
0017bde9add rdi, 72
0017bdedmov rbx, rsp
0017bdf0mov rsp, [r14+64]
0017bdf4call caml_initialize
0017bdf9mov rsp, rbx
0017bdfclea rdi, [rip+0x198b65]
0017be03add rdi, 80
0017be07mov rsi, r12
0017be0amov rbx, rsp
0017be0dmov rsp, [r14+64]
0017be11call caml_initialize
0017be16mov rsp, rbx
0017be19lea rsi, [rip+0x198920]
0017be20lea rdi, [rip+0x198b41]
0017be27add rdi, 88
0017be2bmov rbx, rsp
0017be2emov rsp, [r14+64]
0017be32call caml_initialize
0017be37mov rsp, rbx
0017be3alea rsi, [rip+0x198917]
0017be41lea rdi, [rip+0x198b20]
0017be48add rdi, 256
0017be4fmov rbx, rsp
0017be52mov rsp, [r14+64]
0017be56call caml_initialize
0017be5bmov rsp, rbx
0017be5elea rsi, [rip+0x198913]
0017be65lea rdi, [rip+0x198afc]
0017be6cadd rdi, 264
0017be73mov rbx, rsp
0017be76mov rsp, [r14+64]
0017be7acall caml_initialize
0017be7fmov rsp, rbx
0017be82lea rsi, [rip+0x19890f]
0017be89lea rdi, [rip+0x198ad8]
0017be90add rdi, 272
0017be97mov rbx, rsp
0017be9amov rsp, [r14+64]
0017be9ecall caml_initialize
0017bea3mov rsp, rbx
0017bea6lea rsi, [rip+0x19890b]
0017beadlea rdi, [rip+0x198ab4]
0017beb4add rdi, 280
0017bebbmov rbx, rsp
0017bebemov rsp, [r14+64]
0017bec2call caml_initialize
0017bec7mov rsp, rbx
0017becalea rsi, [rip+0x1988ff]
0017bed1lea rdi, [rip+0x198a90]
0017bed8add rdi, 40
0017bedcmov rbx, rsp
0017bedfmov rsp, [r14+64]
0017bee3call caml_initialize
0017bee8mov rsp, rbx
0017beeblea rsi, [rip+0x1988f6]
0017bef2lea rdi, [rip+0x198a6f]
0017bef9add rdi, 48
0017befdmov rbx, rsp
0017bf00mov rsp, [r14+64]
0017bf04call caml_initialize
0017bf09mov rsp, rbx
0017bf0clea rsi, [rip+0x198905]
0017bf13lea r12, [rip+0x1988e6]
0017bf1alea rdi, [rip+0x198a47]
0017bf21add rdi, 56
0017bf25mov rbx, rsp
0017bf28mov rsp, [r14+64]
0017bf2ccall caml_initialize
0017bf31mov rsp, rbx
0017bf34lea rdi, [rip+0x198a2d]
0017bf3badd rdi, 64
0017bf3fmov rsi, r12
0017bf42mov rbx, rsp
0017bf45mov rsp, [r14+64]
0017bf49call caml_initialize
0017bf4emov rsp, rbx
0017bf51lea rsi, [rip+0x1988e0]
0017bf58lea rdi, [rip+0x198a09]
0017bf5fadd rdi, 96
0017bf63mov rbx, rsp
0017bf66mov rsp, [r14+64]
0017bf6acall caml_initialize
0017bf6fmov rsp, rbx
0017bf72lea rsi, [rip+0x1988ef]
0017bf79lea r12, [rip+0x1988d0]
0017bf80lea rdi, [rip+0x1989e1]
0017bf87add rdi, 104
0017bf8bmov rbx, rsp
0017bf8emov rsp, [r14+64]
0017bf92call caml_initialize
0017bf97mov rsp, rbx
0017bf9alea rdi, [rip+0x1989c7]
0017bfa1add rdi, 152
0017bfa8mov rsi, r12
0017bfabmov rbx, rsp
0017bfaemov rsp, [r14+64]
0017bfb2call caml_initialize
0017bfb7mov rsp, rbx
0017bfbalea rsi, [rip+0x1988bf]
0017bfc1lea rdi, [rip+0x1989a0]
0017bfc8add rdi, 112
0017bfccmov rbx, rsp
0017bfcfmov rsp, [r14+64]
0017bfd3call caml_initialize
0017bfd8mov rsp, rbx
0017bfdblea rsi, [rip+0x1988ee]
0017bfe2lea r12, [rip+0x1988c7]
0017bfe9lea r13, [rip+0x1988a8]
0017bff0lea rdi, [rip+0x198971]
0017bff7add rdi, 120
0017bffbmov rbx, rsp
0017bffemov rsp, [r14+64]
0017c002call caml_initialize
0017c007mov rsp, rbx
0017c00alea rdi, [rip+0x198957]
0017c011add rdi, 128
0017c018mov rsi, r12
0017c01bmov rbx, rsp
0017c01emov rsp, [r14+64]
0017c022call caml_initialize
0017c027mov rsp, rbx
0017c02alea rdi, [rip+0x198937]
0017c031add rdi, 136
0017c038mov rsi, r13
0017c03bmov rbx, rsp
0017c03emov rsp, [r14+64]
0017c042call caml_initialize
0017c047mov rsp, rbx
0017c04alea rsi, [rip+0x19889f]
0017c051lea rdi, [rip+0x198910]
0017c058add rdi, 144
0017c05fmov rbx, rsp
0017c062mov rsp, [r14+64]
0017c066call caml_initialize
0017c06bmov rsp, rbx
0017c06elea rsi, [rip+0x19889b]
0017c075lea rdi, [rip+0x1988ec]
0017c07cadd rdi, 160
0017c083mov rbx, rsp
0017c086mov rsp, [r14+64]
0017c08acall caml_initialize
0017c08fmov rsp, rbx
0017c092lea rsi, [rip+0x198897]
0017c099lea rdi, [rip+0x1988c8]
0017c0a0add rdi, 168
0017c0a7mov rbx, rsp
0017c0aamov rsp, [r14+64]
0017c0aecall caml_initialize
0017c0b3mov rsp, rbx
0017c0b6lea rsi, [rip+0x198893]
0017c0bdlea rdi, [rip+0x1988a4]
0017c0c4add rdi, 176
0017c0cbmov rbx, rsp
0017c0cemov rsp, [r14+64]
0017c0d2call caml_initialize
0017c0d7mov rsp, rbx
0017c0damov eax, 1
0017c0dfadd rsp, 16
0017c0e3ret
0017c0e4
0017c0e4loc_17c0e4:
0017c0e4push 35
0017c0e6call caml_call_realloc_stack
0017c0ebpop r10
0017c0edjmp 0x17bae2
0017bad0

0017c0f2
0017c0f2 // align 0x10

0017c100
0017c100camlLexstate.fun_1473:
0017c100mov rdi, rax
0017c103mov rax, [rbx+16]
0017c107mov rbx, rdi
0017c10ajmp 0x1ab480
0017c100

0017c10f
0017c10f // align 0x10

0017c110
0017c110camlLexstate.pretty_body_461:
0017c110lea r10, [rsp-320]
0017c118cmp r10, [r14+40]
0017c11cjb 0x17c178
0017c11e
0017c11eloc_17c11e:
0017c11elea rbx, [rip+0x19b2a3]
0017c125call Stdlib.Printf.fprintf
0017c12alea rbx, [rip+0x1b913f]
0017c131mov rbx, [rbx+136]
0017c138sub r15, 40
0017c13ccmp r15, [r14]
0017c13fjb 0x17c171
0017c141
0017c141loc_17c141:
0017c141lea rdi, [r15+8]
0017c145mov [rdi-8], 4343
0017c14dlea rsi, [rip+60]
0017c154mov [rdi], rsi
0017c157mov rsi, 0x100000000000005
0017c161mov [rdi+8], rsi
0017c165mov [rdi+16], rax
0017c169mov [rdi+24], rbx
0017c16dmov rax, rdi
0017c170ret
0017c171
0017c171loc_17c171:
0017c171call caml_call_gc
0017c176jmp 0x17c141
0017c178
0017c178loc_17c178:
0017c178push 33
0017c17acall caml_call_realloc_stack
0017c17fpop r10
0017c181jmp 0x17c11e
0017c110

0017c183
0017c183 // align 0x10

0017c190
0017c190camlLexstate.fun_1480:
0017c190mov rdi, rax
0017c193mov rax, [rbx+16]
0017c197mov rbx, rdi
0017c19ajmp 0x1a0330
0017c190

0017c19f
0017c19f // align 0x10

0017c1a0
0017c1a0camlLexstate.pretty_action_557:
0017c1a0lea r10, [rsp-336]
0017c1a8cmp r10, [r14+40]
0017c1acjb 0x17c250
0017c1b2
0017c1b2loc_17c1b2:
0017c1b2sub rsp, 16
0017c1b6mov rbx, rax
0017c1b9cmp r15, [r14]
0017c1bcjbe 0x17c246
0017c1c2
0017c1c2loc_17c1c2:
0017c1c2movzx rax, [rbx-8]
0017c1c7cmp rax, 1
0017c1cbje 0x17c214
0017c1cdja 0x17c228
0017c1cfmov rax, [rbx]
0017c1d2mov [rsp+8], rax
0017c1d7lea rax, [rip+0x199d9a]
0017c1demov [rsp], rax
0017c1e2lea rbx, [rip+0x19ac9f]
0017c1e9lea rax, [rip+0x1b1428]
0017c1f0mov rax, [rax+312]
0017c1f7call Stdlib.Printf.fprintf
0017c1fcmov rdi, rax
0017c1ffmov rax, [rsp]
0017c203mov rbx, [rsp+8]
0017c208add rsp, 16
0017c20cjmp 0xf73e0
0017c211
0017c211 0f 1f 00 ...
0017c214
0017c214loc_17c214:
0017c214mov rbx, [rbx]
0017c217lea rax, [rip+0x199d42]
0017c21eadd rsp, 16
0017c222jmp 0x1a0330
0017c227
0017c227 90 .
0017c228
0017c228loc_17c228:
0017c228lea rbx, [rip+0x19b2f9]
0017c22flea rax, [rip+0x1b13e2]
0017c236mov rax, [rax+312]
0017c23dadd rsp, 16
0017c241jmp 0x1963d0
0017c246
0017c246loc_17c246:
0017c246call caml_call_gc
0017c24bjmp 0x17c1c2
0017c250
0017c250loc_17c250:
0017c250push 35
0017c252call caml_call_realloc_stack
0017c257pop r10
0017c259jmp 0x17c1b2
0017c1a0

0017c25e
0017c25e // align 0x10

0017c260
0017c260camlLexstate.fun_1489:
0017c260mov rdi, rax
0017c263mov rax, [rbx+16]
0017c267mov rbx, rdi
0017c26ajmp 0x1a0330
0017c260

0017c26f
0017c26f // align 0x10

0017c270
0017c270camlLexstate.fun_1484:
0017c270lea r10, [rsp-320]
0017c278cmp r10, [r14+40]
0017c27cjb 0x17c2d8
0017c27e
0017c27eloc_17c27e:
0017c27elea rbx, [rip+0x19b41b]
0017c285call Stdlib.Printf.fprintf
0017c28alea rbx, [rip+0x1b8fdf]
0017c291mov rbx, [rbx+136]
0017c298sub r15, 40
0017c29ccmp r15, [r14]
0017c29fjb 0x17c2d1
0017c2a1
0017c2a1loc_17c2a1:
0017c2a1lea rdi, [r15+8]
0017c2a5mov [rdi-8], 4343
0017c2adlea rsi, [rip-84]
0017c2b4mov [rdi], rsi
0017c2b7mov rsi, 0x100000000000005
0017c2c1mov [rdi+8], rsi
0017c2c5mov [rdi+16], rax
0017c2c9mov [rdi+24], rbx
0017c2cdmov rax, rdi
0017c2d0ret
0017c2d1
0017c2d1loc_17c2d1:
0017c2d1call caml_call_gc
0017c2d6jmp 0x17c2a1
0017c2d8
0017c2d8loc_17c2d8:
0017c2d8push 33
0017c2dacall caml_call_realloc_stack
0017c2dfpop r10
0017c2e1jmp 0x17c27e
0017c270

0017c2e3
0017c2e3 // align 0x10

0017c2f0
0017c2f0camlLexstate.fun_1495:
0017c2f0lea r10, [rsp-328]
0017c2f8cmp r10, [r14+40]
0017c2fcjb 0x17c33c
0017c2fe
0017c2feloc_17c2fe:
0017c2fesub rsp, 8
0017c302cmp r15, [r14]
0017c305jbe 0x17c335
0017c307
0017c307loc_17c307:
0017c307mov [rsp], rax
0017c30blea rbx, [rip+0x19b226]
0017c312lea rax, [rip+0x1b12ff]
0017c319mov rax, [rax+312]
0017c320call Stdlib.Printf.fprintf
0017c325mov rbx, rax
0017c328mov rdi, [rbx]
0017c32bmov rax, [rsp]
0017c32fadd rsp, 8
0017c333jmp rdi
0017c335
0017c335loc_17c335:
0017c335call caml_call_gc
0017c33ajmp 0x17c307
0017c33c
0017c33cloc_17c33c:
0017c33cpush 34
0017c33ecall caml_call_realloc_stack
0017c343pop r10
0017c345jmp 0x17c2fe
0017c2f0

0017c347
0017c347 // align 0x10

0017c350
0017c350camlLexstate.is_empty_list_564:
0017c350cmp r15, [r14]
0017c353jbe 0x17c392
0017c355
0017c355loc_17c355:
0017c355test al, 1
0017c357je 0x17c360
0017c359mov eax, 3
0017c35eret
0017c35f
0017c35f 90 .
0017c360
0017c360loc_17c360:
0017c360mov rbx, [rax]
0017c363mov rdi, [rbx-8]
0017c367shr rdi, 10
0017c36blea rdi, [8*rdi-1]
0017c373movzx rbx, [rbx+rdi]
0017c378sub rdi, rbx
0017c37blea rbx, [rdi+rdi+1]
0017c380cmp rbx, 1
0017c384jne 0x17c38c
0017c386mov rax, [rax+8]
0017c38ajmp 0x17c350
0017c38c
0017c38cloc_17c38c:
0017c38cmov eax, 1
0017c391ret
0017c392
0017c392loc_17c392:
0017c392call caml_call_gc
0017c397jmp 0x17c355
0017c350

0017c399
0017c399 // align 0x10

0017c3a0
0017c3a0camlLexstate.pretty_pat_569:
0017c3a0lea rax, [rip+0x199be9]
0017c3a7jmp 0x1a0330
0017c3a0

0017c3ac
0017c3ac // align 0x10

0017c3b0
0017c3b0camlLexstate.fun_1503:
0017c3b0lea r10, [rsp-320]
0017c3b8cmp r10, [r14+40]
0017c3bcjb 0x17c3de
0017c3be
0017c3beloc_17c3be:
0017c3bemov rbx, rax
0017c3c1lea rax, [rip+0x1b1250]
0017c3c8mov rax, [rax+312]
0017c3cfcall camlStdlib.output_string_253
0017c3d4mov eax, 89
0017c3d9jmp 0x196c70
0017c3de
0017c3deloc_17c3de:
0017c3depush 33
0017c3e0call caml_call_realloc_stack
0017c3e5pop r10
0017c3e7jmp 0x17c3be
0017c3b0

0017c3e9
0017c3e9 // align 0x10

0017c3f0
0017c3f0camlLexstate.is_subst_574:
0017c3f0movzx rax, [rax-8]
0017c3f5cmp rax, 2
0017c3f9jl 0x17c404
0017c3fbmov eax, 1
0017c400ret
0017c401
0017c401 0f 1f 00 ...
0017c404
0017c404loc_17c404:
0017c404mov eax, 3
0017c409ret
0017c3f0

0017c40a
0017c40a // align 0x10

0017c410
0017c410camlLexstate.latex_pat_577:
0017c410lea r10, [rsp-336]
0017c418cmp r10, [r14+40]
0017c41cjb 0x17c4cb
0017c422
0017c422loc_17c422:
0017c422sub rsp, 16
0017c426mov [rsp+8], rax
0017c42bmov [rsp], rbx
0017c42ftest al, 1
0017c431je 0x17c43c
0017c433mov eax, 1
0017c438jmp 0x17c44a
0017c43a
0017c43a 66 90 f.
0017c43c
0017c43cloc_17c43c:
0017c43cmov rbx, [rax+8]
0017c440mov eax, 3
0017c445call Stdlib.List.length_aux
0017c44a
0017c44aloc_17c44a:
0017c44asub r15, 40
0017c44ecmp r15, [r14]
0017c451jb 0x17c4c4
0017c453
0017c453loc_17c453:
0017c453lea rdi, [r15+8]
0017c457mov [rdi-8], 4343
0017c45flea rbx, [rip-0x85446]
0017c466mov [rdi], rbx
0017c469mov rbx, 0x200000000000007
0017c473mov [rdi+8], rbx
0017c477lea rbx, [rip+98]
0017c47emov [rdi+16], rbx
0017c482mov [rdi+24], rax
0017c486mov eax, 1
0017c48bmov rbx, [rsp]
0017c48fcall camlLexstate.do_rec_582
0017c494sub r15, 24
0017c498cmp r15, [r14]
0017c49bjb 0x17c4bd
0017c49d
0017c49dloc_17c49d:
0017c49dlea rbx, [r15+8]
0017c4a1mov [rbx-8], 2048
0017c4a9mov rdi, [rsp+8]
0017c4aemov [rbx], rdi
0017c4b1mov [rbx+8], rax
0017c4b5mov rax, rbx
0017c4b8add rsp, 16
0017c4bcret
0017c4bd
0017c4bdloc_17c4bd:
0017c4bdcall caml_call_gc
0017c4c2jmp 0x17c49d
0017c4c4
0017c4c4loc_17c4c4:
0017c4c4call caml_call_gc
0017c4c9jmp 0x17c453
0017c4cb
0017c4cbloc_17c4cb:
0017c4cbpush 35
0017c4cdcall caml_call_realloc_stack
0017c4d2pop r10
0017c4d4jmp 0x17c422
0017c410

0017c4d9
0017c4d9 // align 0x10

0017c4e0
0017c4e0camlLexstate.do_rec_582:
0017c4e0lea r10, [rsp-344]
0017c4e8cmp r10, [r14+40]
0017c4ecjb 0x17c55f
0017c4ee
0017c4eeloc_17c4ee:
0017c4eesub rsp, 24
0017c4f2
0017c4f2loc_17c4f2:
0017c4f2mov rsi, [rdi+24]
0017c4f6cmp rbx, rsi
0017c4f9jg 0x17c500
0017c4fbadd rsp, 24
0017c4ffret
0017c500
0017c500loc_17c500:
0017c500mov [rsp+16], rdi
0017c505mov [rsp+8], rbx
0017c50amov [rsp], rax
0017c50emov rax, rbx
0017c511call camlStdlib.string_of_int_175
0017c516mov rbx, rax
0017c519lea rax, [rip+0x19aff8]
0017c520call camlStdlib.$5e_139
0017c525sub r15, 24
0017c529cmp r15, [r14]
0017c52cjb 0x17c558
0017c52e
0017c52eloc_17c52e:
0017c52elea rdi, [r15+8]
0017c532mov [rdi-8], 2048
0017c53amov [rdi], rax
0017c53dmov rax, [rsp]
0017c541mov [rdi+8], rax
0017c545mov rbx, [rsp+8]
0017c54aadd rbx, -2
0017c54emov rax, rdi
0017c551mov rdi, [rsp+16]
0017c556jmp 0x17c4f2
0017c558
0017c558loc_17c558:
0017c558call caml_call_gc
0017c55djmp 0x17c52e
0017c55f
0017c55floc_17c55f:
0017c55fpush 36
0017c561call caml_call_realloc_stack
0017c566pop r10
0017c568jmp 0x17c4ee
0017c4e0

0017c56a
0017c56a // align 0x10

0017c570
0017c570camlLexstate.mkarg_593:
0017c570sub r15, 24
0017c574cmp r15, [r14]
0017c577jb 0x17c590
0017c579
0017c579loc_17c579:
0017c579lea rdi, [r15+8]
0017c57dmov [rdi-8], 2048
0017c585mov [rdi], rax
0017c588mov [rdi+8], rbx
0017c58cmov rax, rdi
0017c58fret
0017c590
0017c590loc_17c590:
0017c590call caml_call_gc
0017c595jmp 0x17c579
0017c570

0017c597
0017c597 // align 0x10

0017c5a0
0017c5a0camlLexstate.effective_601:
0017c5a0cmp rax, 3
0017c5a4sete al
0017c5a7movzx rax, al
0017c5ablea rax, [rax+rax+1]
0017c5b0ret
0017c5a0

0017c5b1
0017c5b1 // align 0x10

0017c5c0
0017c5c0camlLexstate.get_subst_608:
0017c5c0lea rax, [rip+0x19a3d9]
0017c5c7mov rax, [rax+728]
0017c5cemov rax, [rax]
0017c5d1ret
0017c5c0

0017c5d2
0017c5d2 // align 0x10

0017c5e0
0017c5e0camlLexstate.pretty_subst_612:
0017c5e0lea r10, [rsp-360]
0017c5e8cmp r10, [r14+40]
0017c5ecjb 0x17c739
0017c5f2
0017c5f2loc_17c5f2:
0017c5f2sub rsp, 40
0017c5f6test al, 1
0017c5f8je 0x17c60c
0017c5falea rax, [rip+0x19aecf]
0017c601add rsp, 40
0017c605jmp 0x196d50
0017c60a
0017c60a 66 90 f.
0017c60c
0017c60cloc_17c60c:
0017c60cmov rax, [rax]
0017c60fmov rbx, [rax-8]
0017c613shr rbx, 9
0017c617or rbx, 1
0017c61bcmp rbx, 1
0017c61fje 0x17c720
0017c625mov [rsp], rax
0017c629lea rax, [rip+0x19ae90]
0017c630call camlStdlib.prerr_endline_390
0017c635mov eax, 1
0017c63amov rdi, [rsp]
0017c63emov rbx, [rdi-8]
0017c642shr rbx, 9
0017c646or rbx, 1
0017c64aadd rbx, -2
0017c64ecmp rax, rbx
0017c651jg 0x17c713
0017c657mov [rsp+32], rbx
0017c65cmov [rsp+24], rax
0017c661mov [rsp], rdi
0017c665
0017c665loc_17c665:
0017c665lea rbx, [rip+0x19ae44]
0017c66clea rax, [rip+0x1b0fa5]
0017c673mov rax, [rax+312]
0017c67acall camlStdlib.output_string_253
0017c67fmov rbx, [rsp]
0017c683mov rax, [rbx-8]
0017c687shr rax, 9
0017c68bmov rdi, [rsp+24]
0017c690cmp rax, rdi
0017c693jbe 0x17c734
0017c699mov rax, [rbx+4*rdi-4]
0017c69emov rax, [rax]
0017c6a1mov [rsp+16], rax
0017c6a6lea rax, [rip+0x19a2f3]
0017c6admov rax, [rax]
0017c6b0mov [rsp+8], rax
0017c6b5lea rbx, [rip+0x19adac]
0017c6bclea rax, [rip+0x1b0f55]
0017c6c3mov rax, [rax+312]
0017c6cacall Stdlib.Printf.fprintf
0017c6cfmov rdi, rax
0017c6d2mov rax, [rsp+8]
0017c6d7mov rbx, [rsp+16]
0017c6dccall caml_apply2
0017c6e1lea rax, [rip+0x19ad70]
0017c6e8call camlStdlib.prerr_endline_390
0017c6edmov rbx, [rsp+24]
0017c6f2mov rax, rbx
0017c6f5add rbx, 2
0017c6f9mov [rsp+24], rbx
0017c6femov rbx, [rsp+32]
0017c703cmp rax, rbx
0017c706je 0x17c713
0017c708cmp r15, [r14]
0017c70bja 0x17c665
0017c711jmp 0x17c72a
0017c713
0017c713loc_17c713:
0017c713mov eax, 1
0017c718add rsp, 40
0017c71cret
0017c71d
0017c71d 0f 1f 00 ...
0017c720
0017c720loc_17c720:
0017c720mov eax, 1
0017c725add rsp, 40
0017c729ret
0017c72a
0017c72aloc_17c72a:
0017c72acall caml_call_gc
0017c72fjmp 0x17c665
0017c734
0017c734loc_17c734:
0017c734call caml_ml_array_bound_error
0017c739
0017c739loc_17c739:
0017c739push 38
0017c73bcall caml_call_realloc_stack
0017c740pop r10
0017c742jmp 0x17c5f2
0017c5e0

0017c747
0017c747 // align 0x10

0017c750
0017c750camlLexstate.pretty_subst_rec_667:
0017c750lea r10, [rsp-360]
0017c758cmp r10, [r14+40]
0017c75cjb 0x17c93d
0017c762
0017c762loc_17c762:
0017c762sub rsp, 40
0017c766mov rdi, rax
0017c769test bl, 1
0017c76cje 0x17c794
0017c76elea rax, [rip+0x1b0ea3]
0017c775mov rax, [rax+312]
0017c77cmov rbx, rdi
0017c77fcall camlStdlib.output_string_253
0017c784lea rax, [rip+0x19ad45]
0017c78badd rsp, 40
0017c78fjmp 0x196d50
0017c794
0017c794loc_17c794:
0017c794mov rax, [rbx]
0017c797mov rbx, [rax-8]
0017c79bshr rbx, 9
0017c79for rbx, 1
0017c7a3cmp rbx, 1
0017c7a7je 0x17c924
0017c7admov [rsp+8], rax
0017c7b2mov [rsp+16], rdi
0017c7b7lea rax, [rip+0x1b0e5a]
0017c7bemov rax, [rax+312]
0017c7c5mov rbx, rdi
0017c7c8call camlStdlib.output_string_253
0017c7cdlea rax, [rip+0x19acec]
0017c7d4call camlStdlib.prerr_endline_390
0017c7d9mov eax, 1
0017c7demov rdi, [rsp+8]
0017c7e3mov rbx, [rdi-8]
0017c7e7shr rbx, 9
0017c7ebor rbx, 1
0017c7efadd rbx, -2
0017c7f3cmp rax, rbx
0017c7f6jg 0x17c918
0017c7fcmov [rsp+32], rbx
0017c801mov [rsp+24], rax
0017c806mov [rsp+8], rdi
0017c80b
0017c80bloc_17c80b:
0017c80blea rax, [rip+0x1b0e06]
0017c812mov rax, [rax+312]
0017c819mov rbx, [rsp+16]
0017c81ecall camlStdlib.output_string_253
0017c823mov rax, [rsp+24]
0017c828add rax, 2
0017c82ccall camlStdlib.string_of_int_175
0017c831lea rbx, [rip+0x19ac00]
0017c838call camlStdlib.$5e_139
0017c83dmov rbx, rax
0017c840lea rax, [rip+0x19ac01]
0017c847call camlStdlib.$5e_139
0017c84cmov rbx, rax
0017c84flea rax, [rip+0x1b0dc2]
0017c856mov rax, [rax+312]
0017c85dcall camlStdlib.output_string_253
0017c862mov rbx, [rsp+8]
0017c867mov rax, [rbx-8]
0017c86bshr rax, 9
0017c86fmov rdi, [rsp+24]
0017c874cmp rax, rdi
0017c877jbe 0x17c938
0017c87dmov rax, [rbx+4*rdi-4]
0017c882mov rax, [rax]
0017c885mov [rsp], rax
0017c889lea rax, [rip+0x1b0d88]
0017c890mov rax, [rax+312]
0017c897call camlLexstate.pretty_body_461
0017c89cmov rbx, rax
0017c89fmov rdi, [rbx]
0017c8a2mov rax, [rsp]
0017c8a6call rdi
0017c8a8lea rax, [rip+0x19ab79]
0017c8afcall camlStdlib.prerr_endline_390
0017c8b4mov rbx, [rsp+8]
0017c8b9mov rax, [rbx-8]
0017c8bdshr rax, 9
0017c8c1mov rdi, [rsp+24]
0017c8c6cmp rax, rdi
0017c8c9jbe 0x17c938
0017c8cbmov rax, [rbx+4*rdi-4]
0017c8d0mov rax, [rax+8]
0017c8d4mov [rsp], rax
0017c8d8lea rax, [rip+0x19ab39]
0017c8dfmov rbx, [rsp+16]
0017c8e4call camlStdlib.$5e_139
0017c8e9mov rbx, [rsp]
0017c8edcall camlLexstate.pretty_subst_rec_667
0017c8f2mov rbx, [rsp+24]
0017c8f7mov rax, rbx
0017c8faadd rbx, 2
0017c8femov [rsp+24], rbx
0017c903mov rbx, [rsp+32]
0017c908cmp rax, rbx
0017c90bje 0x17c918
0017c90dcmp r15, [r14]
0017c910ja 0x17c80b
0017c916jmp 0x17c92e
0017c918
0017c918loc_17c918:
0017c918mov eax, 1
0017c91dadd rsp, 40
0017c921ret
0017c922
0017c922 66 90 f.
0017c924
0017c924loc_17c924:
0017c924mov eax, 1
0017c929add rsp, 40
0017c92dret
0017c92e
0017c92eloc_17c92e:
0017c92ecall caml_call_gc
0017c933jmp 0x17c80b
0017c938
0017c938loc_17c938:
0017c938call caml_ml_array_bound_error
0017c93d
0017c93dloc_17c93d:
0017c93dpush 38
0017c93fcall caml_call_realloc_stack
0017c944pop r10
0017c946jmp 0x17c762
0017c750

0017c94b
0017c94b // align 0x10

0017c950
0017c950camlLexstate.full_pretty_subst_672:
0017c950mov rbx, rax
0017c953lea rax, [rip+0x19aabe]
0017c95ajmp 0x17c750
0017c950

0017c95f
0017c95f // align 0x10

0017c960
0017c960camlLexstate.string_to_arg_720:
0017c960sub r15, 24
0017c964cmp r15, [r14]
0017c967jb 0x17c991
0017c969
0017c969loc_17c969:
0017c969lea rbx, [r15+8]
0017c96dmov [rbx-8], 2048
0017c975mov [rbx], rax
0017c978lea rax, [rip+0x19a021]
0017c97fmov rax, [rax+728]
0017c986mov rax, [rax]
0017c989mov [rbx+8], rax
0017c98dmov rax, rbx
0017c990ret
0017c991
0017c991loc_17c991:
0017c991call caml_call_gc
0017c996jmp 0x17c969
0017c960

0017c998
0017c998 // align 0x10

0017c9a0
0017c9a0camlLexstate.pretty_lexbuf_726:
0017c9a0lea r10, [rsp-352]
0017c9a8cmp r10, [r14+40]
0017c9acjb 0x17cb88
0017c9b2
0017c9b2loc_17c9b2:
0017c9b2sub rsp, 32
0017c9b6mov [rsp+8], rax
0017c9bbmov rbx, [rax+40]
0017c9bfmov [rsp+24], rbx
0017c9c4mov rax, [rax+8]
0017c9c8mov rbx, [rax-8]
0017c9ccshr rbx, 10
0017c9d0lea rbx, [8*rbx-1]
0017c9d8movzx rax, [rax+rbx]
0017c9ddsub rbx, rax
0017c9e0lea rax, [rbx+rbx+1]
0017c9e5mov [rsp+16], rax
0017c9ealea rax, [rip+0x19a977]
0017c9f1call camlStdlib.prerr_endline_390
0017c9f6lea rax, [rip+0x1ad673]
0017c9fdmov rax, [rax+80]
0017ca01mov rax, [rax]
0017ca04cmp rax, 7
0017ca08jle 0x17ca1c
0017ca0amov rdi, [rsp+16]
0017ca0fmov rax, [rsp+24]
0017ca14sub rdi, rax
0017ca17inc rdi
0017ca1ajmp 0x17ca39
0017ca1c
0017ca1cloc_17ca1c:
0017ca1cmov ebx, 161
0017ca21mov rax, [rsp+16]
0017ca26mov rdi, [rsp+24]
0017ca2bsub rax, rdi
0017ca2einc rax
0017ca31call camlStdlib.min_44
0017ca36mov rdi, rax
0017ca39
0017ca39loc_17ca39:
0017ca39mov rsi, [rsp+16]
0017ca3emov rax, rsi
0017ca41mov rbx, [rsp+24]
0017ca46sub rax, rbx
0017ca49inc rax
0017ca4ccmp rdi, rax
0017ca4fje 0x17cb28
0017ca55mov [rsp], rdi
0017ca59mov [rsp+16], rsi
0017ca5emov [rsp+24], rbx
0017ca63lea rbx, [rip+0x19a8ee]
0017ca6alea rax, [rip+0x1b0ba7]
0017ca71mov rax, [rax+312]
0017ca78call camlStdlib.output_string_253
0017ca7dmov rdi, [rsp]
0017ca81sar rdi, 1
0017ca84mov rax, rdi
0017ca87shr rax, 63
0017ca8badd rdi, rax
0017ca8eor rdi, 1
0017ca92mov rax, [rsp+8]
0017ca97mov rax, [rax+8]
0017ca9bmov rbx, [rsp+24]
0017caa0call Stdlib.Bytes.sub
0017caa5mov rbx, rax
0017caa8lea rax, [rip+0x1b0b69]
0017caafmov rax, [rax+312]
0017cab6call camlStdlib.output_string_253
0017cabblea rbx, [rip+0x19a876]
0017cac2lea rax, [rip+0x1b0b4f]
0017cac9mov rax, [rax+312]
0017cad0call camlStdlib.output_string_253
0017cad5mov rdi, [rsp]
0017cad9sar rdi, 1
0017cadcmov rax, rdi
0017cadfshr rax, 63
0017cae3add rdi, rax
0017cae6or rdi, 1
0017caeamov rbx, [rsp+16]
0017caefsub rbx, rdi
0017caf2dec rbx
0017caf5mov rax, [rsp+8]
0017cafamov rax, [rax+8]
0017cafecall Stdlib.Bytes.sub
0017cb03mov rbx, rax
0017cb06lea rax, [rip+0x1b0b0b]
0017cb0dmov rax, [rax+312]
0017cb14call camlStdlib.output_string_253
0017cb19lea rax, [rip+0x19a808]
0017cb20call camlStdlib.prerr_endline_390
0017cb25jmp 0x17cb56
0017cb27
0017cb27 90 .
0017cb28
0017cb28loc_17cb28:
0017cb28mov rax, [rsp+8]
0017cb2dmov rax, [rax+8]
0017cb31call Stdlib.Bytes.sub
0017cb36lea rbx, [rip+0x19a7eb]
0017cb3dcall camlStdlib.$5e_139
0017cb42mov rbx, rax
0017cb45lea rax, [rip+0x19a80c]
0017cb4ccall camlStdlib.$5e_139
0017cb51call camlStdlib.prerr_endline_390
0017cb56
0017cb56loc_17cb56:
0017cb56mov rax, [rsp+8]
0017cb5bmov rax, [rax+40]
0017cb5fcall camlStdlib.string_of_int_175
0017cb64mov rbx, rax
0017cb67lea rax, [rip+0x19a7a2]
0017cb6ecall camlStdlib.$5e_139
0017cb73call camlStdlib.prerr_endline_390
0017cb78lea rax, [rip+0x19a779]
0017cb7fadd rsp, 32
0017cb83jmp 0x196d50
0017cb88
0017cb88loc_17cb88:
0017cb88push 37
0017cb8acall caml_call_realloc_stack
0017cb8fpop r10
0017cb91jmp 0x17c9b2
0017c9a0

0017cb96
0017cb96 // align 0x10

0017cba0
0017cba0camlLexstate.plain_of_char_830:
0017cba0lea r10, [rsp-320]
0017cba8cmp r10, [r14+40]
0017cbacjb 0x17cd12
0017cbb2
0017cbb2loc_17cbb2:
0017cbb2mov rbx, rax
0017cbb5cmp rbx, 185
0017cbbcjl 0x17cc58
0017cbc2cmp rbx, 247
0017cbc9jl 0x17cc0c
0017cbcbcmp rbx, 255
0017cbd2jge 0x17ccb0
0017cbd8mov rax, rbx
0017cbdbadd rax, -246
0017cbe1sar rax, 1
0017cbe4lea rdx, [rip+0xaf9f5]
0017cbebmovsxd rax, [rdx+4*rax]
0017cbefadd rdx, rax
0017cbf2jmp rdx
0017cbf4mov eax, 1
0017cbf9ret
0017cbfanop
0017cbfcmov eax, 3
0017cc01ret
0017cc02nop
0017cc04mov eax, 15
0017cc09ret
0017cc0anop
0017cc0c
0017cc0cloc_17cc0c:
0017cc0ccmp rbx, 195
0017cc13jge 0x17ccb0
0017cc19mov rax, rbx
0017cc1cadd rax, -184
0017cc22sar rax, 1
0017cc25lea rdx, [rip+0xaf9c4]
0017cc2cmovsxd rax, [rdx+4*rax]
0017cc30add rdx, rax
0017cc33jmp rdx
0017cc35nop [rax]
0017cc38mov eax, 17
0017cc3dret
0017cc3enop
0017cc40mov eax, 11
0017cc45ret
0017cc46nop
0017cc48mov eax, 13
0017cc4dret
0017cc4enop
0017cc50mov eax, 23
0017cc55ret
0017cc56nop
0017cc58
0017cc58loc_17cc58:
0017cc58mov rax, rbx
0017cc5badd rax, -68
0017cc5fcmp rax, 23
0017cc63ja 0x17ccb0
0017cc65sar rax, 1
0017cc68lea rdx, [rip+0xaf995]
0017cc6fmovsxd rax, [rdx+4*rax]
0017cc73add rdx, rax
0017cc76jmp rdx
0017cc78mov eax, 27
0017cc7dret
0017cc7enop
0017cc80mov eax, 9
0017cc85ret
0017cc86nop
0017cc88mov eax, 5
0017cc8dret
0017cc8enop
0017cc90mov eax, 19
0017cc95ret
0017cc96nop
0017cc98mov eax, 7
0017cc9dret
0017cc9enop
0017cca0mov eax, 21
0017cca5ret
0017cca6nop
0017cca8mov eax, 25
0017ccadret
0017ccaenop
0017ccb0
0017ccb0loc_17ccb0:
0017ccb0mov eax, 3
0017ccb5call Stdlib.Bytes.make
0017ccbalea rbx, [rip+0x19a797]
0017ccc1call camlStdlib.$5e_139
0017ccc6mov rbx, rax
0017ccc9lea rax, [rip+0x19a600]
0017ccd0call camlStdlib.$5e_139
0017ccd5sub r15, 24
0017ccd9cmp r15, [r14]
0017ccdcjb 0x17cd0b
0017ccde
0017ccdeloc_17ccde:
0017ccdelea rbx, [r15+8]
0017cce2mov [rbx-8], 2048
0017ccealea rdi, [rip+0x1ae79f]
0017ccf1mov rdi, [rdi]
0017ccf4mov [rbx], rdi
0017ccf7mov [rbx+8], rax
0017ccfbmov rax, rbx
0017ccfemov rsp, [r14+48]
0017cd02pop [r14+48]
0017cd06pop r11
0017cd08jmp r11
0017cd0b
0017cd0bloc_17cd0b:
0017cd0bcall caml_call_gc
0017cd10jmp 0x17ccde
0017cd12
0017cd12loc_17cd12:
0017cd12push 33
0017cd14call caml_call_realloc_stack
0017cd19pop r10
0017cd1bjmp 0x17cbb2
0017cba0

0017cd20
0017cd20camlLexstate.is_plain_833:
0017cd20lea r10, [rsp-320]
0017cd28cmp r10, [r14+40]
0017cd2cjb 0x17cd59
0017cd2e
0017cd2eloc_17cd2e:
0017cd2ecall camlLexstate.plain_of_char_830
0017cd33lea rbx, [rip+0x199c66]
0017cd3amov rbx, [rbx+768]
0017cd41mov rdi, [rbx-8]
0017cd45shr rdi, 9
0017cd49cmp rdi, rax
0017cd4cjbe 0x17cd54
0017cd4emov rax, [rbx+4*rax-4]
0017cd53ret
0017cd54
0017cd54loc_17cd54:
0017cd54call caml_ml_array_bound_error
0017cd59
0017cd59loc_17cd59:
0017cd59push 33
0017cd5bcall caml_call_realloc_stack
0017cd60pop r10
0017cd62jmp 0x17cd2e
0017cd20

0017cd64
0017cd64 // align 0x10

0017cd70
0017cd70camlLexstate.set_plain_834:
0017cd70lea r10, [rsp-320]
0017cd78cmp r10, [r14+40]
0017cd7cjb 0x17cdb2
0017cd7e
0017cd7eloc_17cd7e:
0017cd7ecall camlLexstate.plain_of_char_830
0017cd83lea rbx, [rip+0x199c16]
0017cd8amov rbx, [rbx+768]
0017cd91mov rdi, [rbx-8]
0017cd95shr rdi, 9
0017cd99cmp rdi, rax
0017cd9cjbe 0x17cdad
0017cd9emov [rbx+4*rax-4], 3
0017cda7mov eax, 1
0017cdacret
0017cdad
0017cdadloc_17cdad:
0017cdadcall caml_ml_array_bound_error
0017cdb2
0017cdb2loc_17cdb2:
0017cdb2push 33
0017cdb4call caml_call_realloc_stack
0017cdb9pop r10
0017cdbbjmp 0x17cd7e
0017cd70

0017cdbd
0017cdbd // align 0x10

0017cdc0
0017cdc0camlLexstate.unset_plain_835:
0017cdc0lea r10, [rsp-320]
0017cdc8cmp r10, [r14+40]
0017cdccjb 0x17ce02
0017cdce
0017cdceloc_17cdce:
0017cdcecall camlLexstate.plain_of_char_830
0017cdd3lea rbx, [rip+0x199bc6]
0017cddamov rbx, [rbx+768]
0017cde1mov rdi, [rbx-8]
0017cde5shr rdi, 9
0017cde9cmp rdi, rax
0017cdecjbe 0x17cdfd
0017cdeemov [rbx+4*rax-4], 1
0017cdf7mov eax, 1
0017cdfcret
0017cdfd
0017cdfdloc_17cdfd:
0017cdfdcall caml_ml_array_bound_error
0017ce02
0017ce02loc_17ce02:
0017ce02push 33
0017ce04call caml_call_realloc_stack
0017ce09pop r10
0017ce0bjmp 0x17cdce
0017cdc0

0017ce0d
0017ce0d // align 0x10

0017ce10
0017ce10camlLexstate.plain_back_836:
0017ce10lea r10, [rsp-328]
0017ce18cmp r10, [r14+40]
0017ce1cjb 0x17ce61
0017ce1e
0017ce1eloc_17ce1e:
0017ce1esub rsp, 8
0017ce22mov [rsp], rax
0017ce26mov rax, rbx
0017ce29call camlLexstate.plain_of_char_830
0017ce2elea rbx, [rip+0x199b6b]
0017ce35mov rbx, [rbx+768]
0017ce3cmov rdi, [rbx-8]
0017ce40shr rdi, 9
0017ce44cmp rdi, rax
0017ce47jbe 0x17ce5c
0017ce49mov rdi, [rsp]
0017ce4dmov [rbx+4*rax-4], rdi
0017ce52mov eax, 1
0017ce57add rsp, 8
0017ce5bret
0017ce5c
0017ce5cloc_17ce5c:
0017ce5ccall caml_ml_array_bound_error
0017ce61
0017ce61loc_17ce61:
0017ce61push 34
0017ce63call caml_call_realloc_stack
0017ce68pop r10
0017ce6ajmp 0x17ce1e
0017ce10

0017ce6c
0017ce6c // align 0x10

0017ce70
0017ce70camlLexstate.top_level_846:
0017ce70lea rax, [rip+0x199b29]
0017ce77mov rax, [rax+728]
0017ce7emov rax, [rax]
0017ce81and rax, 1
0017ce85lea rax, [rax+rax+1]
0017ce8aret
0017ce70

0017ce8b
0017ce8b // align 0x10

0017ce90
0017ce90camlLexstate.is_top_847:
0017ce90and rax, 1
0017ce94lea rax, [rax+rax+1]
0017ce99ret
0017ce90

0017ce9a
0017ce9a // align 0x10

0017cea0
0017cea0camlLexstate.prerr_args_852:
0017cea0lea rax, [rip+0x199af9]
0017cea7mov rax, [rax+728]
0017ceaemov rax, [rax]
0017ceb1jmp 0x17c5e0
0017cea0

0017ceb6
0017ceb6 // align 0x10

0017cec0
0017cec0camlLexstate.scan_arg_855:
0017cec0lea r10, [rsp-360]
0017cec8cmp r10, [r14+40]
0017ceccjb 0x17d073
0017ced2
0017ced2loc_17ced2:
0017ced2sub rsp, 40
0017ced6cmp r15, [r14]
0017ced9jbe 0x17d064
0017cedf
0017cedfloc_17cedf:
0017cedflea rdi, [rip+0x199aba]
0017cee6mov rsi, [rdi+728]
0017ceedmov rsi, [rsi]
0017cef0test sil, 1
0017cef4je 0x17cf08
0017cef6mov rax, [rdi+112]
0017cefamov rsp, [r14+48]
0017cefepop [r14+48]
0017cf02pop r11
0017cf04jmp r11
0017cf07nop
0017cf08
0017cf08loc_17cf08:
0017cf08mov rdi, [rsi]
0017cf0bmov rsi, [rdi-8]
0017cf0fshr rsi, 9
0017cf13or rsi, 1
0017cf17cmp rbx, rsi
0017cf1ajl 0x17cfc8
0017cf20lea rax, [rip+0x1ad149]
0017cf27mov rax, [rax+80]
0017cf2bmov rax, [rax]
0017cf2ecmp rax, 3
0017cf32jle 0x17cf87
0017cf34mov rax, rbx
0017cf37add rax, 2
0017cf3bcall camlStdlib.string_of_int_175
0017cf40lea rbx, [rip+0x19a341]
0017cf47call camlStdlib.$5e_139
0017cf4cmov rbx, rax
0017cf4flea rax, [rip+0x19a34a]
0017cf56call camlStdlib.$5e_139
0017cf5bmov rbx, rax
0017cf5elea rax, [rip+0x1b06b3]
0017cf65mov rax, [rax+312]
0017cf6ccall camlStdlib.output_string_253
0017cf71lea rax, [rip+0x199a28]
0017cf78mov rax, [rax+728]
0017cf7fmov rax, [rax]
0017cf82call camlLexstate.pretty_subst_612
0017cf87
0017cf87loc_17cf87:
0017cf87sub r15, 24
0017cf8bcmp r15, [r14]
0017cf8ejb 0x17d05a
0017cf94
0017cf94loc_17cf94:
0017cf94lea rax, [r15+8]
0017cf98mov [rax-8], 2048
0017cfa0lea rbx, [rip+0x1999f9]
0017cfa7mov rbx, [rbx+104]
0017cfabmov [rax], rbx
0017cfaelea rbx, [rip+0x19a2ab]
0017cfb5mov [rax+8], rbx
0017cfb9mov rsp, [r14+48]
0017cfbdpop [r14+48]
0017cfc1pop r11
0017cfc3jmp r11
0017cfc6nop
0017cfc8
0017cfc8loc_17cfc8:
0017cfc8mov [rsp], rax
0017cfccmov rax, [rdi-8]
0017cfd0shr rax, 9
0017cfd4cmp rax, rbx
0017cfd7jbe 0x17d06e
0017cfddmov rax, [rdi+4*rbx-4]
0017cfe2mov [rsp+8], rax
0017cfe7lea rdi, [rip+0x1ad082]
0017cfeemov rdi, [rdi+80]
0017cff2mov rdi, [rdi]
0017cff5cmp rdi, 3
0017cff9jle 0x17d048
0017cffbmov rax, [rax]
0017cffemov [rsp+32], rax
0017d003lea rax, [rip+0x199996]
0017d00amov rax, [rax]
0017d00dmov [rsp+24], rax
0017d012mov [rsp+16], rbx
0017d017lea rbx, [rip+0x19a16a]
0017d01elea rax, [rip+0x1b05f3]
0017d025mov rax, [rax+312]
0017d02ccall Stdlib.Printf.fprintf
0017d031mov rsi, rax
0017d034mov rax, [rsp+16]
0017d039mov rbx, [rsp+24]
0017d03emov rdi, [rsp+32]
0017d043call caml_apply3
0017d048
0017d048loc_17d048:
0017d048mov rbx, [rsp]
0017d04cmov rdi, [rbx]
0017d04fmov rax, [rsp+8]
0017d054add rsp, 40
0017d058jmp rdi
0017d05a
0017d05aloc_17d05a:
0017d05acall caml_call_gc
0017d05fjmp 0x17cf94
0017d064
0017d064loc_17d064:
0017d064call caml_call_gc
0017d069jmp 0x17cedf
0017d06e
0017d06eloc_17d06e:
0017d06ecall caml_ml_array_bound_error
0017d073
0017d073loc_17d073:
0017d073push 38
0017d075call caml_call_realloc_stack
0017d07apop r10
0017d07cjmp 0x17ced2
0017cec0

0017d081
0017d081 // align 0x10

0017d090
0017d090camlLexstate.scan_body_856:
0017d090lea r10, [rsp-328]
0017d098cmp r10, [r14+40]
0017d09cjb 0x17d133
0017d0a2
0017d0a2loc_17d0a2:
0017d0a2sub rsp, 8
0017d0a6mov r12, rax
0017d0a9mov r13, rbx
0017d0acmov rsi, rdi
0017d0afcmp r15, [r14]
0017d0b2jbe 0x17d12c
0017d0b4
0017d0b4loc_17d0b4:
0017d0b4movzx rax, [r13-8]
0017d0b9test rax, rax
0017d0bcjne 0x17d11c
0017d0belea rax, [rip+0x1998db]
0017d0c5mov rdi, [rax+728]
0017d0ccmov rax, [rdi]
0017d0cfmov [rsp], rax
0017d0d3mov rbx, rsp
0017d0d6mov rsp, [r14+64]
0017d0dacall caml_modify
0017d0dfmov rsp, rbx
0017d0e2mov rdi, [r12]
0017d0e6mov rax, r13
0017d0e9mov rbx, r12
0017d0eccall rdi
0017d0eemov r12, rax
0017d0f1lea rax, [rip+0x1998a8]
0017d0f8mov rdi, [rax+728]
0017d0ffmov rsi, [rsp]
0017d103mov rbx, rsp
0017d106mov rsp, [r14+64]
0017d10acall caml_modify
0017d10fmov rsp, rbx
0017d112mov rax, r12
0017d115add rsp, 8
0017d119ret
0017d11anop
0017d11c
0017d11cloc_17d11c:
0017d11cmov rdi, [r12]
0017d120mov rax, r13
0017d123mov rbx, r12
0017d126add rsp, 8
0017d12ajmp rdi
0017d12c
0017d12cloc_17d12c:
0017d12ccall caml_call_gc
0017d131jmp 0x17d0b4
0017d133
0017d133loc_17d133:
0017d133push 34
0017d135call caml_call_realloc_stack
0017d13apop r10
0017d13cjmp 0x17d0a2
0017d090

0017d141
0017d141 // align 0x10

0017d150
0017d150camlLexstate.record_lexbuf_869:
0017d150mov r12, rax
0017d153lea rax, [rip+0x199846]
0017d15amov rdi, [rax+736]
0017d161sub r15, 24
0017d165cmp r15, [r14]
0017d168jb 0x17d1d8
0017d16a
0017d16aloc_17d16a:
0017d16alea rsi, [r15+8]
0017d16emov [rsi-8], 2048
0017d176mov [rsi], rbx
0017d179mov rax, [rdi]
0017d17cmov [rsi+8], rax
0017d180mov rbx, rsp
0017d183mov rsp, [r14+64]
0017d187call caml_modify
0017d18cmov rsp, rbx
0017d18flea rax, [rip+0x19980a]
0017d196mov rdi, [rax+344]
0017d19dsub r15, 24
0017d1a1cmp r15, [r14]
0017d1a4jb 0x17d1d1
0017d1a6
0017d1a6loc_17d1a6:
0017d1a6lea rsi, [r15+8]
0017d1aamov [rsi-8], 2048
0017d1b2mov [rsi], r12
0017d1b5mov rax, [rdi]
0017d1b8mov [rsi+8], rax
0017d1bcmov rbx, rsp
0017d1bfmov rsp, [r14+64]
0017d1c3call caml_modify
0017d1c8mov rsp, rbx
0017d1cbmov eax, 1
0017d1d0ret
0017d1d1
0017d1d1loc_17d1d1:
0017d1d1call caml_call_gc
0017d1d6jmp 0x17d1a6
0017d1d8
0017d1d8loc_17d1d8:
0017d1d8call caml_call_gc
0017d1ddjmp 0x17d16a
0017d150

0017d1df
0017d1df // align 0x10

0017d1e0
0017d1e0camlLexstate.previous_lexbuf_870:
0017d1e0lea r10, [rsp-328]
0017d1e8cmp r10, [r14+40]
0017d1ecjb 0x17d245
0017d1ee
0017d1eeloc_17d1ee:
0017d1eesub rsp, 8
0017d1f2lea rax, [rip+0x1997a7]
0017d1f9mov rax, [rax+344]
0017d200call camlMyStack.pop_292
0017d205mov [rsp], rax
0017d209lea rax, [rip+0x199790]
0017d210mov rax, [rax+736]
0017d217call camlMyStack.pop_292
0017d21clea rbx, [rip+0x19977d]
0017d223mov rdi, [rbx+728]
0017d22amov rsi, rax
0017d22dmov rbx, rsp
0017d230mov rsp, [r14+64]
0017d234call caml_modify
0017d239mov rsp, rbx
0017d23cmov rax, [rsp]
0017d240add rsp, 8
0017d244ret
0017d245
0017d245loc_17d245:
0017d245push 34
0017d247call caml_call_realloc_stack
0017d24cpop r10
0017d24ejmp 0x17d1ee
0017d1e0

0017d250
0017d250camlLexstate.top_lexstate_878:
0017d250lea rax, [rip+0x199749]
0017d257mov rax, [rax+776]
0017d25emov rax, [rax]
0017d261and rax, 1
0017d265lea rax, [rax+rax+1]
0017d26aret
0017d250

0017d26b
0017d26b // align 0x10

0017d270
0017d270camlLexstate.save_lexstate_881:
0017d270lea rax, [rip+0x199729]
0017d277mov rdi, [rax+736]
0017d27emov r12, [rdi]
0017d281mov rax, [rax+728]
0017d288mov rax, [rax]
0017d28bsub r15, 24
0017d28fcmp r15, [r14]
0017d292jb 0x17d358
0017d298
0017d298loc_17d298:
0017d298lea rsi, [r15+8]
0017d29cmov [rsi-8], 2048
0017d2a4mov [rsi], rax
0017d2a7mov rax, [rdi]
0017d2aamov [rsi+8], rax
0017d2aemov rbx, rsp
0017d2b1mov rsp, [r14+64]
0017d2b5call caml_modify
0017d2bamov rsp, rbx
0017d2bdsub r15, 48
0017d2c1cmp r15, [r14]
0017d2c4jb 0x17d34e
0017d2ca
0017d2caloc_17d2ca:
0017d2calea rax, [r15+8]
0017d2ceadd rax, 24
0017d2d2mov [rax-8], 2048
0017d2dalea rbx, [rip+0x1996bf]
0017d2e1mov rdi, [rbx+344]
0017d2e8mov rdi, [rdi]
0017d2ebmov [rax], rdi
0017d2eemov rdi, [rbx+736]
0017d2f5mov rdi, [rdi]
0017d2f8mov [rax+8], rdi
0017d2fcmov rdi, [rbx+776]
0017d303lea rsi, [rax-24]
0017d307mov [rsi-8], 2048
0017d30fmov [rsi], rax
0017d312mov rax, [rdi]
0017d315mov [rsi+8], rax
0017d319mov rbx, rsp
0017d31cmov rsp, [r14+64]
0017d320call caml_modify
0017d325mov rsp, rbx
0017d328lea rax, [rip+0x199671]
0017d32fmov rdi, [rax+736]
0017d336mov rsi, r12
0017d339mov rbx, rsp
0017d33cmov rsp, [r14+64]
0017d340call caml_modify
0017d345mov rsp, rbx
0017d348mov eax, 1
0017d34dret
0017d34e
0017d34eloc_17d34e:
0017d34ecall caml_call_gc
0017d353jmp 0x17d2ca
0017d358
0017d358loc_17d358:
0017d358call caml_call_gc
0017d35djmp 0x17d298
0017d270

0017d362
0017d362 // align 0x10

0017d370
0017d370camlLexstate.restore_lexstate_882:
0017d370lea r10, [rsp-320]
0017d378cmp r10, [r14+40]
0017d37cjb 0x17d414
0017d382
0017d382loc_17d382:
0017d382lea rax, [rip+0x199617]
0017d389mov rax, [rax+776]
0017d390call camlMyStack.pop_292
0017d395mov r12, rax
0017d398mov rsi, [r12]
0017d39clea rax, [rip+0x1995fd]
0017d3a3mov rdi, [rax+344]
0017d3aamov rbx, rsp
0017d3admov rsp, [r14+64]
0017d3b1call caml_modify
0017d3b6mov rsp, rbx
0017d3b9mov rsi, [r12+8]
0017d3belea rax, [rip+0x1995db]
0017d3c5mov rdi, [rax+736]
0017d3ccmov rbx, rsp
0017d3cfmov rsp, [r14+64]
0017d3d3call caml_modify
0017d3d8mov rsp, rbx
0017d3dblea rax, [rip+0x1995be]
0017d3e2mov rax, [rax+736]
0017d3e9call camlMyStack.pop_292
0017d3eelea rbx, [rip+0x1995ab]
0017d3f5mov rdi, [rbx+728]
0017d3fcmov rsi, rax
0017d3ffmov rbx, rsp
0017d402mov rsp, [r14+64]
0017d406call caml_modify
0017d40bmov rsp, rbx
0017d40emov eax, 1
0017d413ret
0017d414
0017d414loc_17d414:
0017d414push 33
0017d416call caml_call_realloc_stack
0017d41bpop r10
0017d41djmp 0x17d382
0017d370

0017d422
0017d422 // align 0x10

0017d430
0017d430camlLexstate.save_flags_890:
0017d430lea rax, [rip+0x199569]
0017d437mov rbx, [rax+136]
0017d43emov rbx, [rbx]
0017d441mov rdi, [rax+448]
0017d448sub r15, 24
0017d44ccmp r15, [r14]
0017d44fjb 0x17d4c9
0017d451
0017d451loc_17d451:
0017d451lea rsi, [r15+8]
0017d455mov [rsi-8], 2048
0017d45dmov [rsi], rbx
0017d460mov rax, [rdi]
0017d463mov [rsi+8], rax
0017d467mov rbx, rsp
0017d46amov rsp, [r14+64]
0017d46ecall caml_modify
0017d473mov rsp, rbx
0017d476lea rax, [rip+0x199523]
0017d47dmov rbx, [rax+144]
0017d484mov rbx, [rbx]
0017d487mov rdi, [rax+440]
0017d48esub r15, 24
0017d492cmp r15, [r14]
0017d495jb 0x17d4c2
0017d497
0017d497loc_17d497:
0017d497lea rsi, [r15+8]
0017d49bmov [rsi-8], 2048
0017d4a3mov [rsi], rbx
0017d4a6mov rax, [rdi]
0017d4a9mov [rsi+8], rax
0017d4admov rbx, rsp
0017d4b0mov rsp, [r14+64]
0017d4b4call caml_modify
0017d4b9mov rsp, rbx
0017d4bcmov eax, 1
0017d4c1ret
0017d4c2
0017d4c2loc_17d4c2:
0017d4c2call caml_call_gc
0017d4c7jmp 0x17d497
0017d4c9
0017d4c9loc_17d4c9:
0017d4c9call caml_call_gc
0017d4cejmp 0x17d451
0017d430

0017d4d0
0017d4d0camlLexstate.restore_flags_891:
0017d4d0lea r10, [rsp-320]
0017d4d8cmp r10, [r14+40]
0017d4dcjb 0x17d525
0017d4de
0017d4deloc_17d4de:
0017d4delea rax, [rip+0x1994bb]
0017d4e5mov rax, [rax+440]
0017d4eccall camlMyStack.pop_292
0017d4f1lea rbx, [rip+0x1994a8]
0017d4f8mov rdi, [rbx+144]
0017d4ffmov [rdi], rax
0017d502mov rax, [rbx+448]
0017d509call camlMyStack.pop_292
0017d50elea rbx, [rip+0x19948b]
0017d515mov rbx, [rbx+136]
0017d51cmov [rbx], rax
0017d51fmov eax, 1
0017d524ret
0017d525
0017d525loc_17d525:
0017d525push 33
0017d527call caml_call_realloc_stack
0017d52cpop r10
0017d52ejmp 0x17d4de
0017d4d0

0017d530
0017d530camlLexstate.check_lexstate_897:
0017d530lea r10, [rsp-328]
0017d538cmp r10, [r14+40]
0017d53cjb 0x17d5c7
0017d542
0017d542loc_17d542:
0017d542sub rsp, 8
0017d546mov eax, 1
0017d54bcall camlLexstate.save_lexstate_881
0017d550mov eax, 1
0017d555call camlLexstate.save_flags_890
0017d55asub r15, 32
0017d55ecmp r15, [r14]
0017d561jb 0x17d5c0
0017d563
0017d563loc_17d563:
0017d563lea rax, [r15+8]
0017d567mov [rsp], rax
0017d56bmov [rax-8], 3072
0017d573lea rbx, [rip+0x199426]
0017d57amov rdi, [rbx+776]
0017d581mov rdi, [rdi]
0017d584mov [rax], rdi
0017d587mov rdi, [rbx+448]
0017d58emov rdi, [rdi]
0017d591mov [rax+8], rdi
0017d595mov rbx, [rbx+440]
0017d59cmov rbx, [rbx]
0017d59fmov [rax+16], rbx
0017d5a3mov eax, 1
0017d5a8call camlLexstate.restore_lexstate_882
0017d5admov eax, 1
0017d5b2call camlLexstate.restore_flags_891
0017d5b7mov rax, [rsp]
0017d5bbadd rsp, 8
0017d5bfret
0017d5c0
0017d5c0loc_17d5c0:
0017d5c0call caml_call_gc
0017d5c5jmp 0x17d563
0017d5c7
0017d5c7loc_17d5c7:
0017d5c7push 34
0017d5c9call caml_call_realloc_stack
0017d5cepop r10
0017d5d0jmp 0x17d542
0017d530

0017d5d5
0017d5d5 // align 0x10

0017d5e0
0017d5e0camlLexstate.hot_lexstate_898:
0017d5e0lea r10, [rsp-320]
0017d5e8cmp r10, [r14+40]
0017d5ecjb 0x17d668
0017d5ee
0017d5eeloc_17d5ee:
0017d5eemov r12, rbx
0017d5f1mov r13, rdi
0017d5f4lea rbx, [rip+0x1993a5]
0017d5fbmov rdi, [rbx+776]
0017d602mov rsi, rax
0017d605mov rbx, rsp
0017d608mov rsp, [r14+64]
0017d60ccall caml_modify
0017d611mov rsp, rbx
0017d614lea rax, [rip+0x199385]
0017d61bmov rdi, [rax+448]
0017d622mov rsi, r12
0017d625mov rbx, rsp
0017d628mov rsp, [r14+64]
0017d62ccall caml_modify
0017d631mov rsp, rbx
0017d634lea rax, [rip+0x199365]
0017d63bmov rdi, [rax+440]
0017d642mov rsi, r13
0017d645mov rbx, rsp
0017d648mov rsp, [r14+64]
0017d64ccall caml_modify
0017d651mov rsp, rbx
0017d654mov eax, 1
0017d659call camlLexstate.restore_lexstate_882
0017d65emov eax, 1
0017d663jmp 0x17d4d0
0017d668
0017d668loc_17d668:
0017d668push 33
0017d66acall caml_call_realloc_stack
0017d66fpop r10
0017d671jmp 0x17d5ee
0017d5e0

0017d676
0017d676 // align 0x10

0017d680
0017d680camlLexstate.start_lexstate_907:
0017d680lea r10, [rsp-320]
0017d688cmp r10, [r14+40]
0017d68cjb 0x17d6e2
0017d68e
0017d68eloc_17d68e:
0017d68emov eax, 1
0017d693call camlLexstate.save_lexstate_881
0017d698lea rax, [rip+0x199301]
0017d69fmov rdi, [rax+344]
0017d6a6mov esi, 1
0017d6abmov rbx, rsp
0017d6aemov rsp, [r14+64]
0017d6b2call caml_modify
0017d6b7mov rsp, rbx
0017d6balea rax, [rip+0x1992df]
0017d6c1mov rdi, [rax+736]
0017d6c8mov esi, 1
0017d6cdmov rbx, rsp
0017d6d0mov rsp, [r14+64]
0017d6d4call caml_modify
0017d6d9mov rsp, rbx
0017d6dcmov eax, 1
0017d6e1ret
0017d6e2
0017d6e2loc_17d6e2:
0017d6e2push 33
0017d6e4call caml_call_realloc_stack
0017d6e9pop r10
0017d6ebjmp 0x17d68e
0017d680

0017d6ed
0017d6ed // align 0x10

0017d6f0
0017d6f0camlLexstate.start_lexstate_subst_910:
0017d6f0lea r10, [rsp-328]
0017d6f8cmp r10, [r14+40]
0017d6fcjb 0x17d73b
0017d6fe
0017d6feloc_17d6fe:
0017d6fesub rsp, 8
0017d702mov [rsp], rax
0017d706mov eax, 1
0017d70bcall camlLexstate.start_lexstate_907
0017d710lea rax, [rip+0x199289]
0017d717mov rdi, [rax+728]
0017d71emov rsi, [rsp]
0017d722mov rbx, rsp
0017d725mov rsp, [r14+64]
0017d729call caml_modify
0017d72emov rsp, rbx
0017d731mov eax, 1
0017d736add rsp, 8
0017d73aret
0017d73b
0017d73bloc_17d73b:
0017d73bpush 34
0017d73dcall caml_call_realloc_stack
0017d742pop r10
0017d744jmp 0x17d6fe
0017d6f0

0017d746
0017d746 // align 0x10