Similarity

0015bb90
0015bb90Tabular..ocaml_lex_tfmiddle_rec:
0015bb90lea r10, [rsp-376]
0015bb98cmp r10, [r14+40]
0015bb9cjb 0x15c136
0015bba2
0015bba2loc_15bba2:
0015bba2sub rsp, 40
0015bba6
0015bba6loc_15bba6:
0015bba6mov rsi, rax
0015bba9mov [rsp+16], rsi
0015bbaemov [rsp+32], rdi
0015bbb3cmp r15, [r14]
0015bbb6jbe 0x15c127
0015bbbc
0015bbbcloc_15bbbc:
0015bbbclea rax, [rip+0x1935b5]
0015bbc3mov rdi, rsi
0015bbc6call Stdlib.Lexing.engine
0015bbcbcmp rax, 15
0015bbcfjbe 0x15bbf4
0015bbd1mov [rsp], rax
0015bbd5mov rax, [rsp+16]
0015bbdamov rbx, [rax]
0015bbddmov rdi, [rbx]
0015bbe0call rdi
0015bbe2mov rax, [rsp+16]
0015bbe7mov rbx, [rsp]
0015bbebmov rdi, [rsp+32]
0015bbf0jmp 0x15bba6
0015bbf2nop
0015bbf4
0015bbf4loc_15bbf4:
0015bbf4sar rax, 1
0015bbf7lea rdx, [rip+0xcee4a]
0015bbfemovsxd rax, [rdx+4*rax]
0015bc02add rdx, rax
0015bc05jmp rdx
0015bc07nop
0015bc08mov rax, [rsp+16]
0015bc0dmov rbx, [rax+32]
0015bc11sar rbx, 1
0015bc14mov rdi, [rax+8]
0015bc18mov rsi, [rdi-8]
0015bc1cshr rsi, 10
0015bc20lea rsi, [8*rsi-1]
0015bc28movzx rdx, [rdi+rsi]
0015bc2dsub rsi, rdx
0015bc30cmp rsi, rbx
0015bc33jbe 0x15c131
0015bc39movzx rbx, [rdi+rbx]
0015bc3elea rbx, [rbx+rbx+1]
0015bc43mov [rsp], rbx
0015bc47mov rbx, [rsp+32]
0015bc4cadd rbx, 32
0015bc50call camlTabular.tfpostlude_570
0015bc55mov [rsp+16], rax
0015bc5amov rax, [rsp]
0015bc5ecall camlTabular.make_vert_473
0015bc63mov [rsp+8], rax
0015bc68mov rax, [rsp]
0015bc6ccall camlTabular.make_hor_472
0015bc71sub r15, 72
0015bc75cmp r15, [r14]
0015bc78jb 0x15c11d
0015bc7e
0015bc7eloc_15bc7e:
0015bc7elea rdi, [r15+8]
0015bc82add rdi, 16
0015bc86mov [rdi-8], 6144
0015bc8emov [rdi], rax
0015bc91mov rax, [rsp+8]
0015bc96mov [rdi+8], rax
0015bc9amov [rdi+16], 1
0015bca2lea rax, [rip+0x193b4f]
0015bca9mov [rdi+24], rax
0015bcadmov rax, [rsp+16]
0015bcb2mov [rdi+32], rax
0015bcb6mov [rdi+40], 1
0015bcbelea rbx, [rdi-16]
0015bcc2mov [rbx-8], 1024
0015bccamov [rbx], rdi
0015bccdlea rax, [rip+0x19322c]
0015bcd4mov rax, [rax+72]
0015bcd8add rsp, 40
0015bcdcjmp 0x15d550
0015bce1nop [rax]
0015bce4mov rax, [rsp+16]
0015bce9mov rbx, [rax+32]
0015bcedsar rbx, 1
0015bcf0mov rdi, [rax+8]
0015bcf4mov rsi, [rdi-8]
0015bcf8shr rsi, 10
0015bcfclea rsi, [8*rsi-1]
0015bd04movzx rdx, [rdi+rsi]
0015bd09sub rsi, rdx
0015bd0ccmp rsi, rbx
0015bd0fjbe 0x15c131
0015bd15movzx rbx, [rdi+rbx]
0015bd1alea rbx, [rbx+rbx+1]
0015bd1fmov [rsp], rbx
0015bd23call camlLexstate.save_arg_1030
0015bd28mov rbx, rax
0015bd2bmov eax, 1
0015bd30call camlSubst.do_do_subst_this_697
0015bd35call camlMyLexing.from_string_309
0015bd3acall camlLength.main_473
0015bd3fmov [rsp+24], rax
0015bd44mov rbx, [rsp+32]
0015bd49add rbx, 32
0015bd4dmov rax, [rsp+16]
0015bd52call camlTabular.tfpostlude_570
0015bd57mov [rsp+16], rax
0015bd5cmov rax, [rsp]
0015bd60call camlTabular.make_vert_473
0015bd65mov [rsp+8], rax
0015bd6amov rax, [rsp]
0015bd6ecall camlTabular.make_hor_472
0015bd73sub r15, 72
0015bd77cmp r15, [r14]
0015bd7ajb 0x15c113
0015bd80
0015bd80loc_15bd80:
0015bd80lea rdi, [r15+8]
0015bd84add rdi, 16
0015bd88mov [rdi-8], 6144
0015bd90mov [rdi], rax
0015bd93mov rax, [rsp+8]
0015bd98mov [rdi+8], rax
0015bd9cmov [rdi+16], 3
0015bda4lea rax, [rip+0x193a4d]
0015bdabmov [rdi+24], rax
0015bdafmov rax, [rsp+16]
0015bdb4mov [rdi+32], rax
0015bdb8mov rax, [rsp+24]
0015bdbdmov [rdi+40], rax
0015bdc1lea rbx, [rdi-16]
0015bdc5mov [rbx-8], 1024
0015bdcdmov [rbx], rdi
0015bdd0lea rax, [rip+0x193129]
0015bdd7mov rax, [rax+72]
0015bddbadd rsp, 40
0015bddfjmp 0x15d550
0015bde4mov rax, [rsp+16]
0015bde9mov rbx, [rax+32]
0015bdedmov rdi, [rax+40]
0015bdf1sub rdi, rbx
0015bdf4inc rdi
0015bdf7mov rax, [rax+8]
0015bdfbcall Stdlib.Bytes.sub
0015be00mov rbx, [rax-8]
0015be04shr rbx, 10
0015be08lea rbx, [8*rbx-1]
0015be10movzx rdi, [rax+rbx]
0015be15sub rbx, rdi
0015be18cmp rbx, 1
0015be1cjbe 0x15c131
0015be22movzx rax, [rax+1]
0015be27lea rbx, [rax+rax-97]
0015be2cmov rdi, [rsp+32]
0015be31add rdi, -24
0015be35lea rax, [rip+0x1bab64]
0015be3cmov rsi, [rax+656]
0015be43sub r15, 40
0015be47cmp r15, [r14]
0015be4ajb 0x15c109
0015be50
0015be50loc_15be50:
0015be50lea rax, [r15+8]
0015be54mov [rax-8], 4343
0015be5clea rdx, [rip+3933]
0015be63mov [rax], rdx
0015be66mov rdx, 0x100000000000005
0015be70mov [rax+8], rdx
0015be74mov [rax+16], rdi
0015be78mov [rax+24], rsi
0015be7cadd rsp, 40
0015be80jmp 0x17cec0
0015be85nop [rax]
0015be88mov rax, [rsp+16]
0015be8dmov rbx, [rax+32]
0015be91mov rdi, [rax+40]
0015be95sub rdi, rbx
0015be98inc rdi
0015be9bmov rax, [rax+8]
0015be9fcall Stdlib.Bytes.sub
0015bea4lea rbx, [rip+0x1ce43d]
0015beabcall camlStdlib.$5e_139
0015beb0mov rbx, rax
0015beb3lea rax, [rip+0x1ce43e]
0015bebacall camlStdlib.$5e_139
0015bebfmov [rsp], rax
0015bec3call camlLatexmacros.find_941
0015bec8mov [rsp+8], rax
0015becdmov rbx, [rax]
0015bed0mov rax, [rsp]
0015bed4mov rdi, [rsp+16]
0015bed9call camlLexstate.make_stack_1175
0015bedemov rdi, rax
0015bee1lea rax, [rip+0x1baab8]
0015bee8mov rax, [rax+728]
0015beefmov rbx, [rax]
0015bef2sub r15, 48
0015bef6cmp r15, [r14]
0015bef9jb 0x15c0ff
0015beff
0015beffloc_15beff:
0015befflea rax, [r15+8]
0015bf03mov [rax-8], 5367
0015bf0blea rsi, [rip+3774]
0015bf12mov [rax], rsi
0015bf15mov rsi, 0x100000000000005
0015bf1fmov [rax+8], rsi
0015bf23mov rsi, [rsp+32]
0015bf28add rsi, 88
0015bf2cmov [rax+16], rsi
0015bf30mov rsi, [rsp+16]
0015bf35mov [rax+24], rsi
0015bf39mov [rax+32], rbx
0015bf3dmov rbx, [rsp+8]
0015bf42mov rbx, [rbx+8]
0015bf46call camlLexstate.scan_body_856
0015bf4bmov rbx, [rsp+32]
0015bf50add rbx, 32
0015bf54mov rax, [rsp+16]
0015bf59call camlTabular.tfpostlude_570
0015bf5emov r12, rax
0015bf61lea rsi, [rip+0x193890]
0015bf68mov rdi, r12
0015bf6bmov rbx, rsp
0015bf6emov rsp, [r14+64]
0015bf72call caml_string_notequal
0015bf77mov rsp, rbx
0015bf7acmp rax, 1
0015bf7eje 0x15c04c
0015bf84lea r11, [rip+89]
0015bf8bpush r11
0015bf8dpush [r14+48]
0015bf91mov [r14+48], rsp
0015bf95sub r15, 32
0015bf99cmp r15, [r14]
0015bf9cjb 0x15c0f5
0015bfa2
0015bfa2loc_15bfa2:
0015bfa2lea rbx, [r15+8]
0015bfa6mov [rbx-8], 3319
0015bfaelea rax, [rip+3771]
0015bfb5mov [rbx], rax
0015bfb8mov rax, 0x100000000000005
0015bfc2mov [rbx+8], rax
0015bfc6mov [rbx+16], r12
0015bfcalea rax, [rip+0x192f2f]
0015bfd1mov rax, [rax+72]
0015bfd5call camlTable.apply_341
0015bfdapop [r14+48]
0015bfdeadd rsp, 8
0015bfe2jmp 0x15c044
0015bfe4lea rbx, [rip+0x194935]
0015bfebmov rbx, [rbx]
0015bfeecmp rax, rbx
0015bff1jne 0x15c034
0015bff3sub r15, 24
0015bff7cmp r15, [r14]
0015bffajb 0x15c0eb
0015c000
0015c000loc_15c000:
0015c000lea rax, [r15+8]
0015c004mov [rax-8], 2048
0015c00clea rbx, [rip+0x192eed]
0015c013mov rbx, [rbx]
0015c016mov [rax], rbx
0015c019lea rbx, [rip+0x193070]
0015c020mov [rax+8], rbx
0015c024mov rsp, [r14+48]
0015c028pop [r14+48]
0015c02cpop r11
0015c02ejmp r11
0015c031nop [rax]
0015c034
0015c034loc_15c034:
0015c034mov rsp, [r14+48]
0015c038pop [r14+48]
0015c03cpop r11
0015c03ejmp r11
0015c041nop [rax]
0015c044
0015c044loc_15c044:
0015c044add rsp, 40
0015c048ret
0015c049nop [rax]
0015c04c
0015c04cloc_15c04c:
0015c04cmov eax, 1
0015c051add rsp, 40
0015c055ret
0015c056nop
0015c058mov eax, 1
0015c05dadd rsp, 40
0015c061ret
0015c062nop
0015c064mov rax, [rsp+16]
0015c069mov rbx, [rax+40]
0015c06dmov rdi, [rax+16]
0015c071sub rdi, rbx
0015c074inc rdi
0015c077mov rax, [rax+8]
0015c07bcall Stdlib.Bytes.sub
0015c080mov rbx, rax
0015c083lea rax, [rip+0x192fde]
0015c08acall camlStdlib.$5e_139
0015c08fsub r15, 24
0015c093cmp r15, [r14]
0015c096jb 0x15c0e4
0015c098
0015c098loc_15c098:
0015c098lea rbx, [r15+8]
0015c09cmov [rbx-8], 2048
0015c0a4lea rdi, [rip+0x192e55]
0015c0abmov rdi, [rdi]
0015c0aemov [rbx], rdi
0015c0b1mov [rbx+8], rax
0015c0b5mov rax, rbx
0015c0b8mov rsp, [r14+48]
0015c0bcpop [r14+48]
0015c0c0pop r11
0015c0c2jmp r11
0015c0c5nop [rax]
0015c0c8mov rdi, [rsp+32]
0015c0cdadd rdi, -24
0015c0d1add rdi, 24
0015c0d5mov ebx, 7
0015c0damov rax, [rsp+16]
0015c0dfjmp 0x15bba6
0015c0e4
0015c0e4loc_15c0e4:
0015c0e4call caml_call_gc
0015c0e9jmp 0x15c098
0015c0eb
0015c0ebloc_15c0eb:
0015c0ebcall caml_call_gc
0015c0f0jmp 0x15c000
0015c0f5
0015c0f5loc_15c0f5:
0015c0f5call caml_call_gc
0015c0fajmp 0x15bfa2
0015c0ff
0015c0ffloc_15c0ff:
0015c0ffcall caml_call_gc
0015c104jmp 0x15beff
0015c109
0015c109loc_15c109:
0015c109call caml_call_gc
0015c10ejmp 0x15be50
0015c113
0015c113loc_15c113:
0015c113call caml_call_gc
0015c118jmp 0x15bd80
0015c11d
0015c11dloc_15c11d:
0015c11dcall caml_call_gc
0015c122jmp 0x15bc7e
0015c127
0015c127loc_15c127:
0015c127call caml_call_gc
0015c12cjmp 0x15bbbc
0015c131
0015c131loc_15c131:
0015c131call caml_ml_array_bound_error
0015c136
0015c136loc_15c136:
0015c136push 40
0015c138call caml_call_realloc_stack
0015c13dpop r10
0015c13fjmp 0x15bba2
0015bb90

0015c144
0015c144 // align 0x10

0015c150
0015c150camlTabular.tfpostlude_570:
0015c150mov rdi, rbx
0015c153cmp r15, [r14]
0015c156jbe 0x15c166
0015c158
0015c158loc_15c158:
0015c158add rdi, 24
0015c15cmov ebx, 29
0015c161jmp 0x15c170
0015c166
0015c166loc_15c166:
0015c166call caml_call_gc
0015c16bjmp 0x15c158
0015c150

0015c16d
0015c16d // align 0x10

0015c170
0015c170Tabular..ocaml_lex_tfpostlude_rec:
0015c170lea r10, [rsp-344]
0015c178cmp r10, [r14+40]
0015c17cjb 0x15c2aa
0015c182
0015c182loc_15c182:
0015c182sub rsp, 24
0015c186
0015c186loc_15c186:
0015c186mov rsi, rax
0015c189mov [rsp+8], rsi
0015c18emov [rsp+16], rdi
0015c193cmp r15, [r14]
0015c196jbe 0x15c2a0
0015c19c
0015c19cloc_15c19c:
0015c19clea rax, [rip+0x192fd5]
0015c1a3mov rdi, rsi
0015c1a6call Stdlib.Lexing.engine
0015c1abcmp rax, 7
0015c1afjbe 0x15c1d4
0015c1b1mov [rsp], rax
0015c1b5mov rax, [rsp+8]
0015c1bamov rbx, [rax]
0015c1bdmov rdi, [rbx]
0015c1c0call rdi
0015c1c2mov rax, [rsp+8]
0015c1c7mov rbx, [rsp]
0015c1cbmov rdi, [rsp+16]
0015c1d0jmp 0x15c186
0015c1d2nop
0015c1d4
0015c1d4loc_15c1d4:
0015c1d4sar rax, 1
0015c1d7lea rdx, [rip+0xce88a]
0015c1demovsxd rax, [rdx+4*rax]
0015c1e2add rdx, rax
0015c1e5jmp rdx
0015c1e7nop
0015c1e8mov rdi, [rsp+16]
0015c1edadd rdi, -24
0015c1f1add rdi, 24
0015c1f5mov ebx, 29
0015c1famov rax, [rsp+8]
0015c1ffjmp 0x15c186
0015c201nop [rax]
0015c204mov rax, [rsp+8]
0015c209call camlLexstate.save_arg_1030
0015c20emov rbx, rax
0015c211mov eax, 1
0015c216call camlSubst.do_do_subst_this_697
0015c21bmov [rsp], rax
0015c21fmov rdi, [rsp+16]
0015c224add rdi, -24
0015c228add rdi, 24
0015c22cmov ebx, 29
0015c231mov rax, [rsp+8]
0015c236call Tabular..ocaml_lex_tfpostlude_rec
0015c23bmov rbx, rax
0015c23emov rax, [rsp]
0015c242add rsp, 24
0015c246jmp 0x15cc60
0015c24bnop
0015c24clea rax, [rip+0x1ba74d]
0015c253mov rax, [rax+344]
0015c25amov rax, [rax]
0015c25dtest al, 1
0015c25fje 0x15c270
0015c261lea rax, [rip+0x193590]
0015c268add rsp, 24
0015c26cret
0015c26dnop [rax]
0015c270
0015c270loc_15c270:
0015c270mov eax, 1
0015c275call camlLexstate.previous_lexbuf_870
0015c27amov rdi, [rsp+16]
0015c27fadd rdi, -24
0015c283add rdi, 24
0015c287mov ebx, 29
0015c28cjmp 0x15c186
0015c291nop [rax]
0015c294lea rax, [rip+0x19355d]
0015c29badd rsp, 24
0015c29fret
0015c2a0
0015c2a0loc_15c2a0:
0015c2a0call caml_call_gc
0015c2a5jmp 0x15c19c
0015c2aa
0015c2aaloc_15c2aa:
0015c2aapush 36
0015c2accall caml_call_realloc_stack
0015c2b1pop r10
0015c2b3jmp 0x15c182
0015c170

0015c2b8
0015c2b8 // align 0x10

0015c2c0
0015c2c0camlTabular.lexformat_572:
0015c2c0mov rdi, rbx
0015c2c3cmp r15, [r14]
0015c2c6jbe 0x15c2d6
0015c2c8
0015c2c8loc_15c2c8:
0015c2c8add rdi, 24
0015c2ccmov ebx, 37
0015c2d1jmp 0x15c2e0
0015c2d6
0015c2d6loc_15c2d6:
0015c2d6call caml_call_gc
0015c2dbjmp 0x15c2c8
0015c2c0

0015c2dd
0015c2dd // align 0x10

0015c2e0
0015c2e0Tabular..ocaml_lex_lexformat_rec:
0015c2e0lea r10, [rsp-352]
0015c2e8cmp r10, [r14+40]
0015c2ecjb 0x15c674
0015c2f2
0015c2f2loc_15c2f2:
0015c2f2sub rsp, 32
0015c2f6
0015c2f6loc_15c2f6:
0015c2f6mov rsi, rax
0015c2f9mov [rsp+16], rsi
0015c2femov [rsp+24], rdi
0015c303cmp r15, [r14]
0015c306jbe 0x15c665
0015c30c
0015c30cloc_15c30c:
0015c30clea rax, [rip+0x192e65]
0015c313mov rdi, rsi
0015c316call Stdlib.Lexing.engine
0015c31bcmp rax, 13
0015c31fjbe 0x15c344
0015c321mov [rsp], rax
0015c325mov rax, [rsp+16]
0015c32amov rbx, [rax]
0015c32dmov rdi, [rbx]
0015c330call rdi
0015c332mov rax, [rsp+16]
0015c337mov rbx, [rsp]
0015c33bmov rdi, [rsp+24]
0015c340jmp 0x15c2f6
0015c342nop
0015c344
0015c344loc_15c344:
0015c344sar rax, 1
0015c347lea rdx, [rip+0xce72a]
0015c34emovsxd rax, [rdx+4*rax]
0015c352add rdx, rax
0015c355jmp rdx
0015c357nop
0015c358mov rdi, [rsp+24]
0015c35dadd rdi, -24
0015c361add rdi, 24
0015c365mov ebx, 37
0015c36amov rax, [rsp+16]
0015c36fjmp 0x15c2f6
0015c371nop [rax]
0015c374mov rax, [rsp+16]
0015c379call camlLexstate.save_arg_1030
0015c37emov [rsp], rax
0015c382mov rax, [rsp+16]
0015c387call camlLexstate.save_arg_1030
0015c38csub r15, 48
0015c390cmp r15, [r14]
0015c393jb 0x15c65b
0015c399
0015c399loc_15c399:
0015c399lea rbx, [r15+8]
0015c39dmov [rsp+8], rbx
0015c3a2mov [rbx-8], 5367
0015c3aalea rdi, [rip+2815]
0015c3b1mov [rbx], rdi
0015c3b4mov rdi, 0x100000000000005
0015c3bemov [rbx+8], rdi
0015c3c2mov rdi, [rsp+24]
0015c3c7add rdi, -24
0015c3cbmov [rbx+16], rdi
0015c3cfmov rdi, [rsp+16]
0015c3d4mov [rbx+24], rdi
0015c3d8mov [rbx+32], rax
0015c3dclea rax, [rip+0x19947d]
0015c3e3mov rax, [rax+272]
0015c3eamov rbx, [rsp]
0015c3eecall camlGet.do_get_int_873
0015c3f3mov rbx, [rsp+8]
0015c3f8add rsp, 32
0015c3fcjmp 0x15ceb0
0015c401nop [rax]
0015c404lea rax, [rip+0x192af5]
0015c40bmov rbx, [rax+8]
0015c40fmov [rbx], 3
0015c416lea rbx, [rip+0x192c13]
0015c41dmov rax, [rax+72]
0015c421call camlTable.emit_336
0015c426mov rdi, [rsp+24]
0015c42badd rdi, -24
0015c42fadd rdi, 24
0015c433mov ebx, 37
0015c438mov rax, [rsp+16]
0015c43djmp 0x15c2f6
0015c442nop
0015c444mov rax, [rsp+16]
0015c449mov rbx, [rax+32]
0015c44dsar rbx, 1
0015c450mov rdi, [rax+8]
0015c454mov rsi, [rdi-8]
0015c458shr rsi, 10
0015c45clea rsi, [8*rsi-1]
0015c464movzx rdx, [rdi+rsi]
0015c469sub rsi, rdx
0015c46ccmp rsi, rbx
0015c46fjbe 0x15c66f
0015c475movzx rbx, [rdi+rbx]
0015c47alea rbx, [rbx+rbx+1]
0015c47fmov [rsp], rbx
0015c483call camlLexstate.save_arg_1030
0015c488mov rbx, rax
0015c48bmov eax, 1
0015c490call camlSubst.do_do_subst_this_697
0015c495mov r12, rax
0015c498mov rax, [rsp]
0015c49ccmp rax, 67
0015c4a0je 0x15c4c1
0015c4a2lea rsi, [rip+0x19334f]
0015c4a9mov rdi, r12
0015c4acmov rbx, rsp
0015c4afmov rsp, [r14+64]
0015c4b3call caml_string_notequal
0015c4b8mov rsp, rbx
0015c4bbcmp rax, 1
0015c4bfje 0x15c4ed
0015c4c1
0015c4c1loc_15c4c1:
0015c4c1sub r15, 16
0015c4c5cmp r15, [r14]
0015c4c8jb 0x15c651
0015c4ce
0015c4celoc_15c4ce:
0015c4celea rbx, [r15+8]
0015c4d2mov [rbx-8], 1025
0015c4damov [rbx], r12
0015c4ddlea rax, [rip+0x192a1c]
0015c4e4mov rax, [rax+72]
0015c4e8call camlTable.emit_336
0015c4ed
0015c4edloc_15c4ed:
0015c4edmov rdi, [rsp+24]
0015c4f2add rdi, -24
0015c4f6add rdi, 24
0015c4famov ebx, 37
0015c4ffmov rax, [rsp+16]
0015c504jmp 0x15c2f6
0015c509nop [rax]
0015c50cmov rax, [rsp+16]
0015c511mov rbx, [rax+32]
0015c515mov rdi, [rax+40]
0015c519sub rdi, rbx
0015c51cinc rdi
0015c51fmov rax, [rax+8]
0015c523call Stdlib.Bytes.sub
0015c528mov rbx, [rax-8]
0015c52cshr rbx, 10
0015c530lea rbx, [8*rbx-1]
0015c538movzx rdi, [rax+rbx]
0015c53dsub rbx, rdi
0015c540cmp rbx, 1
0015c544jbe 0x15c66f
0015c54amovzx rax, [rax+1]
0015c54flea rbx, [rax+rax-97]
0015c554mov rdi, [rsp+24]
0015c559add rdi, -24
0015c55dlea rax, [rip+0x1ba43c]
0015c564mov rsi, [rax+656]
0015c56bsub r15, 40
0015c56fcmp r15, [r14]
0015c572jb 0x15c647
0015c578
0015c578loc_15c578:
0015c578lea rax, [r15+8]
0015c57cmov [rax-8], 4343
0015c584lea rdx, [rip+2469]
0015c58bmov [rax], rdx
0015c58emov rdx, 0x100000000000005
0015c598mov [rax+8], rdx
0015c59cmov [rax+16], rdi
0015c5a0mov [rax+24], rsi
0015c5a4call camlLexstate.scan_arg_855
0015c5a9mov rdi, [rsp+24]
0015c5aeadd rdi, -24
0015c5b2add rdi, 24
0015c5b6mov ebx, 37
0015c5bbmov rax, [rsp+16]
0015c5c0jmp 0x15c2f6
0015c5c5nop [rax]
0015c5c8lea rax, [rip+0x1ba3d1]
0015c5cfmov rax, [rax+344]
0015c5d6mov rax, [rax]
0015c5d9test al, 1
0015c5dbje 0x15c5e8
0015c5ddmov eax, 1
0015c5e2add rsp, 32
0015c5e6ret
0015c5e7nop
0015c5e8
0015c5e8loc_15c5e8:
0015c5e8mov eax, 1
0015c5edcall camlLexstate.previous_lexbuf_870
0015c5f2mov rdi, [rsp+24]
0015c5f7add rdi, -24
0015c5fbadd rdi, 24
0015c5ffmov ebx, 37
0015c604jmp 0x15c2f6
0015c609nop [rax]
0015c60cmov rdi, [rsp+24]
0015c611add rdi, -192
0015c618add rdi, 24
0015c61cmov ebx, 1
0015c621mov rax, [rsp+16]
0015c626call Tabular..ocaml_lex_tfone_rec
0015c62bmov rdi, [rsp+24]
0015c630add rdi, -24
0015c634add rdi, 24
0015c638mov ebx, 37
0015c63dmov rax, [rsp+16]
0015c642jmp 0x15c2f6
0015c647
0015c647loc_15c647:
0015c647call caml_call_gc
0015c64cjmp 0x15c578
0015c651
0015c651loc_15c651:
0015c651call caml_call_gc
0015c656jmp 0x15c4ce
0015c65b
0015c65bloc_15c65b:
0015c65bcall caml_call_gc
0015c660jmp 0x15c399
0015c665
0015c665loc_15c665:
0015c665call caml_call_gc
0015c66ajmp 0x15c30c
0015c66f
0015c66floc_15c66f:
0015c66fcall caml_ml_array_bound_error
0015c674
0015c674loc_15c674:
0015c674push 37
0015c676call caml_call_realloc_stack
0015c67bpop r10
0015c67djmp 0x15c2f2
0015c2e0

0015c682
0015c682 // align 0x10

0015c690
0015c690camlTabular.make_hor_472:
0015c690add rax, -196
0015c696cmp rax, 33
0015c69aja 0x15c6c8
0015c69csar rax, 1
0015c69flea rdx, [rip+0xce3ee]
0015c6a6movsxd rax, [rdx+4*rax]
0015c6aaadd rdx, rax
0015c6adjmp rdx
0015c6afnop
0015c6b0lea rax, [rip+0x1930a1]
0015c6b7ret
0015c6b8lea rax, [rip+0x192aa9]
0015c6bfret
0015c6c0lea rax, [rip+0x192a91]
0015c6c7ret
0015c6c8
0015c6c8loc_15c6c8:
0015c6c8sub r15, 24
0015c6cccmp r15, [r14]
0015c6cfjb 0x15c70c
0015c6d1
0015c6d1loc_15c6d1:
0015c6d1lea rax, [r15+8]
0015c6d5mov [rax-8], 2048
0015c6ddlea rbx, [rip+0x1cd98c]
0015c6e4mov rbx, [rbx]
0015c6e7mov [rax], rbx
0015c6ealea rbx, [rip+0x19295f]
0015c6f1mov [rax+8], rbx
0015c6f5mov rsp, [r14+48]
0015c6f9pop [r14+48]
0015c6fdpop r11
0015c6ffjmp r11
0015c702nop
0015c704lea rax, [rip+0x192a5d]
0015c70bret
0015c70c
0015c70cloc_15c70c:
0015c70ccall caml_call_gc
0015c711jmp 0x15c6d1
0015c690

0015c713
0015c713 // align 0x10

0015c720
0015c720camlTabular.make_vert_473:
0015c720add rax, -196
0015c726cmp rax, 33
0015c72aja 0x15c758
0015c72csar rax, 1
0015c72flea rdx, [rip+0xce3a2]
0015c736movsxd rax, [rdx+4*rax]
0015c73aadd rdx, rax
0015c73djmp rdx
0015c73fnop
0015c740lea rax, [rip+0x1928a9]
0015c747ret
0015c748lea rax, [rip+0x192891]
0015c74fret
0015c750lea rax, [rip+0x192879]
0015c757ret
0015c758
0015c758loc_15c758:
0015c758sub r15, 24
0015c75ccmp r15, [r14]
0015c75fjb 0x15c79c
0015c761
0015c761loc_15c761:
0015c761lea rax, [r15+8]
0015c765mov [rax-8], 2048
0015c76dlea rbx, [rip+0x1cd8fc]
0015c774mov rbx, [rbx]
0015c777mov [rax], rbx
0015c77alea rbx, [rip+0x192837]
0015c781mov [rax+8], rbx
0015c785mov rsp, [r14+48]
0015c789pop [r14+48]
0015c78dpop r11
0015c78fjmp r11
0015c792nop
0015c794lea rax, [rip+0x19305d]
0015c79bret
0015c79c
0015c79cloc_15c79c:
0015c79ccall caml_call_gc
0015c7a1jmp 0x15c761
0015c720

0015c7a3
0015c7a3 // align 0x10

0015c7b0
0015c7b0camlTabular.check_vert_482:
0015c7b0sub rsp, 8
0015c7b4mov r13, rax
0015c7b7lea r11, [rip+170]
0015c7bepush r11
0015c7c0push [r14+48]
0015c7c4mov [r14+48], rsp
0015c7c8mov r12l, 1
0015c7cemov rbp, [r13-8]
0015c7d2shr rbp, 9
0015c7d6or rbp, 1
0015c7daadd rbp, -2
0015c7decmp r12, rbp
0015c7e1jg 0x15c85a
0015c7e3mov [rsp+16], r13
0015c7e8
0015c7e8loc_15c7e8:
0015c7e8mov rax, [r13-8]
0015c7ecshr rax, 9
0015c7f0cmp rax, r12
0015c7f3jbe 0x15c944
0015c7f9mov rax, [r13+4*r12-4]
0015c7femovzx rbx, [rax-8]
0015c803test rbx, rbx
0015c806jne 0x15c844
0015c808mov rax, [rax]
0015c80bmov rdi, [rax+8]
0015c80flea rsi, [rip+0x192fe2]
0015c816mov rbx, rsp
0015c819mov rsp, [r14+64]
0015c81dcall caml_string_notequal
0015c822mov rsp, rbx
0015c825cmp rax, 1
0015c829je 0x15c844
0015c82blea rax, [rip+0x1d0de6]
0015c832mov rax, [rax+16]
0015c836mov rsp, [r14+48]
0015c83apop [r14+48]
0015c83epop r11
0015c840jmp r11
0015c843nop
0015c844
0015c844loc_15c844:
0015c844mov rax, r12
0015c847add r12, 2
0015c84bcmp rax, rbp
0015c84eje 0x15c85a
0015c850cmp r15, [r14]
0015c853ja 0x15c7e8
0015c855jmp 0x15c93a
0015c85a
0015c85aloc_15c85a:
0015c85apop [r14+48]
0015c85eadd rsp, 8
0015c862jmp 0x15c928
0015c867nop
0015c868lea rbx, [rip+0x1d0da9]
0015c86fmov rbx, [rbx+16]
0015c873cmp rax, rbx
0015c876jne 0x15c918
0015c87cmov r12l, 1
0015c882mov r13, [rsp]
0015c886mov rbp, [r13-8]
0015c88ashr rbp, 9
0015c88eor rbp, 1
0015c892add rbp, -2
0015c896cmp r12, rbp
0015c899jg 0x15c90f
0015c89b
0015c89bloc_15c89b:
0015c89bmov rax, [r13-8]
0015c89fshr rax, 9
0015c8a3cmp rax, r12
0015c8a6jbe 0x15c944
0015c8acmov rax, [r13+4*r12-4]
0015c8b1movzx rbx, [rax-8]
0015c8b6test rbx, rbx
0015c8b9jne 0x15c8fc
0015c8bbmov rdi, [rax]
0015c8bemov rax, [rdi+8]
0015c8c2mov rbx, [rax-8]
0015c8c6shr rbx, 10
0015c8cacmp rbx, 2
0015c8cejge 0x15c8fc
0015c8d0mov rax, [rax]
0015c8d3mov rbx, 0x700000000000000
0015c8ddcmp rax, rbx
0015c8e0jne 0x15c8fc
0015c8e2lea rsi, [rip+0x1926e7]
0015c8e9add rdi, 8
0015c8edmov rbx, rsp
0015c8f0mov rsp, [r14+64]
0015c8f4call caml_modify
0015c8f9mov rsp, rbx
0015c8fc
0015c8fcloc_15c8fc:
0015c8fcmov rax, r12
0015c8ffadd r12, 2
0015c903cmp rax, rbp
0015c906je 0x15c90f
0015c908cmp r15, [r14]
0015c90bja 0x15c89b
0015c90djmp 0x15c930
0015c90f
0015c90floc_15c90f:
0015c90fmov rax, r13
0015c912add rsp, 8
0015c916ret
0015c917nop
0015c918
0015c918loc_15c918:
0015c918mov rsp, [r14+48]
0015c91cpop [r14+48]
0015c920pop r11
0015c922jmp r11
0015c925nop [rax]
0015c928
0015c928loc_15c928:
0015c928mov rax, r13
0015c92badd rsp, 8
0015c92fret
0015c930
0015c930loc_15c930:
0015c930call caml_call_gc
0015c935jmp 0x15c89b
0015c93a
0015c93aloc_15c93a:
0015c93acall caml_call_gc
0015c93fjmp 0x15c7e8
0015c944
0015c944loc_15c944:
0015c944call caml_ml_array_bound_error
0015c7b0

0015c949
0015c949 // align 0x10

0015c950
0015c950camlTabular.check_length_483:
0015c950mov r13, rax
0015c953mov r12l, 1
0015c959mov rbp, [r13-8]
0015c95dshr rbp, 9
0015c961or rbp, 1
0015c965add rbp, -2
0015c969cmp r12, rbp
0015c96cjg 0x15ca70
0015c972
0015c972loc_15c972:
0015c972mov rdi, [r13-8]
0015c976mov rax, rdi
0015c979shr rax, 9
0015c97dcmp rax, r12
0015c980jbe 0x15ca8a
0015c986mov rax, [r13+4*r12-4]
0015c98bmovzx rbx, [rax-8]
0015c990test rbx, rbx
0015c993jne 0x15ca59
0015c999mov rbx, [rax]
0015c99cmov rsi, [rbx+16]
0015c9a0cmp rsi, 1
0015c9a4je 0x15ca59
0015c9aamov rax, [rbx+40]
0015c9aetest al, 1
0015c9b0jne 0x15ca59
0015c9b6movzx rax, [rax-8]
0015c9bbcmp rax, 3
0015c9bfjl 0x15ca59
0015c9c5sub r15, 88
0015c9c9cmp r15, [r14]
0015c9ccjb 0x15ca80
0015c9d2
0015c9d2loc_15c9d2:
0015c9d2lea rax, [r15+8]
0015c9d6add rax, 72
0015c9damov [rax-8], 1026
0015c9e2shr rdi, 10
0015c9e6cvtsi2sd x0, rdi
0015c9ebmovsd_xmm x1, [rip+0xcdd85]
0015c9f3divsd x1, x0
0015c9f7cvttsd2si rdi, x1
0015c9fclea rdi, [rdi+rdi+1]
0015ca01mov [rax], rdi
0015ca04lea rdi, [rax-56]
0015ca08mov [rdi-8], 6144
0015ca10mov rdx, [rbx]
0015ca13mov [rdi], rdx
0015ca16mov rdx, [rbx+8]
0015ca1amov [rdi+8], rdx
0015ca1emov [rdi+16], rsi
0015ca22mov rsi, [rbx+24]
0015ca26mov [rdi+24], rsi
0015ca2amov rbx, [rbx+32]
0015ca2emov [rdi+32], rbx
0015ca32mov [rdi+40], rax
0015ca36lea rsi, [rdi-16]
0015ca3amov [rsi-8], 1024
0015ca42mov [rsi], rdi
0015ca45lea rdi, [r13+4*r12-4]
0015ca4amov rbx, rsp
0015ca4dmov rsp, [r14+64]
0015ca51call caml_modify
0015ca56mov rsp, rbx
0015ca59
0015ca59loc_15ca59:
0015ca59mov rax, r12
0015ca5cadd r12, 2
0015ca60cmp rax, rbp
0015ca63je 0x15ca70
0015ca65cmp r15, [r14]
0015ca68ja 0x15c972
0015ca6ejmp 0x15ca76
0015ca70
0015ca70loc_15ca70:
0015ca70mov eax, 1
0015ca75ret
0015ca76
0015ca76loc_15ca76:
0015ca76call caml_call_gc
0015ca7bjmp 0x15c972
0015ca80
0015ca80loc_15ca80:
0015ca80call caml_call_gc
0015ca85jmp 0x15c9d2
0015ca8a
0015ca8aloc_15ca8a:
0015ca8acall caml_ml_array_bound_error
0015c950

0015ca8f
0015ca8f // align 0x10

0015ca90
0015ca90camlTabular.pretty_format_546:
0015ca90lea r10, [rsp-352]
0015ca98cmp r10, [r14+40]
0015ca9cjb 0x15cbec
0015caa2
0015caa2loc_15caa2:
0015caa2sub rsp, 32
0015caa6mov rdi, rax
0015caa9movzx rax, [rdi-8]
0015caaecmp rax, 1
0015cab2je 0x15cbc0
0015cab8ja 0x15cbe4
0015cabemov rax, [rdi]
0015cac1mov [rsp+16], rax
0015cac6mov rbx, [rax+8]
0015cacamov [rsp+8], rbx
0015cacfmov rbx, [rax+24]
0015cad3mov [rsp+24], rbx
0015cad8mov rbx, [rax+32]
0015cadcmov [rsp], rbx
0015cae0mov rax, [rax+40]
0015cae4call camlLength.pretty_315
0015cae9lea rbx, [rip+0x192c58]
0015caf0call camlStdlib.$5e_139
0015caf5mov rbx, rax
0015caf8lea rax, [rip+0x192c69]
0015caffcall camlStdlib.$5e_139
0015cb04mov rbx, rax
0015cb07mov rax, [rsp+16]
0015cb0cmov rax, [rax+16]
0015cb10cmp rax, 1
0015cb14je 0x15cb20
0015cb16lea rax, [rip+0x192c5b]
0015cb1djmp 0x15cb27
0015cb1f
0015cb1f 90 .
0015cb20
0015cb20loc_15cb20:
0015cb20lea rax, [rip+0x192cd1]
0015cb27
0015cb27loc_15cb27:
0015cb27call camlStdlib.$5e_139
0015cb2cmov rbx, rax
0015cb2flea rax, [rip+0x192c82]
0015cb36call camlStdlib.$5e_139
0015cb3bmov rbx, rax
0015cb3emov rax, [rsp]
0015cb42call camlStdlib.$5e_139
0015cb47mov rbx, rax
0015cb4alea rax, [rip+0x192c37]
0015cb51call camlStdlib.$5e_139
0015cb56mov rbx, rax
0015cb59mov rax, [rsp+8]
0015cb5ecall camlStdlib.$5e_139
0015cb63mov rbx, rax
0015cb66lea rax, [rip+0x192c2b]
0015cb6dcall camlStdlib.$5e_139
0015cb72mov rbx, rax
0015cb75mov rax, [rsp+16]
0015cb7amov rax, [rax]
0015cb7dcall camlStdlib.$5e_139
0015cb82mov rbx, rax
0015cb85lea rax, [rip+0x192c1c]
0015cb8ccall camlStdlib.$5e_139
0015cb91mov rbx, rax
0015cb94lea rax, [rip+0x192c1d]
0015cb9bcall camlStdlib.$5e_139
0015cba0mov rbx, rax
0015cba3mov rax, [rsp+24]
0015cba8call camlStdlib.$5e_139
0015cbadmov rbx, rax
0015cbb0lea rax, [rip+0x192c11]
0015cbb7add rsp, 32
0015cbbbjmp 0x195ba0
0015cbc0
0015cbc0loc_15cbc0:
0015cbc0lea rbx, [rip+0x192bf1]
0015cbc7mov rax, [rdi]
0015cbcacall camlStdlib.$5e_139
0015cbcfmov rbx, rax
0015cbd2lea rax, [rip+0x192b5f]
0015cbd9add rsp, 32
0015cbddjmp 0x195ba0
0015cbe2
0015cbe2 66 90 f.
0015cbe4
0015cbe4loc_15cbe4:
0015cbe4mov rax, [rdi]
0015cbe7add rsp, 32
0015cbebret
0015cbec
0015cbecloc_15cbec:
0015cbecpush 37
0015cbeecall caml_call_realloc_stack
0015cbf3pop r10
0015cbf5jmp 0x15caa2
0015ca90

0015cbfa
0015cbfa // align 0x10

0015cc00
0015cc00camlTabular.pretty_formats_557:
0015cc00mov rbx, rax
0015cc03lea rax, [rip+0x192136]
0015cc0ajmp 0x1ad550
0015cc00

0015cc0f
0015cc0f // align 0x10

0015cc10
0015cc10camlTabular.fun_964:
0015cc10lea r10, [rsp-320]
0015cc18cmp r10, [r14+40]
0015cc1cjb 0x15cc53
0015cc1e
0015cc1eloc_15cc1e:
0015cc1ecall camlTabular.pretty_format_546
0015cc23mov rbx, rax
0015cc26lea rax, [rip+0x1d09eb]
0015cc2dmov rax, [rax+312]
0015cc34call camlStdlib.output_string_253
0015cc39lea rbx, [rip+0x192ae8]
0015cc40lea rax, [rip+0x1d09d1]
0015cc47mov rax, [rax+312]
0015cc4ejmp 0x1963d0
0015cc53
0015cc53loc_15cc53:
0015cc53push 33
0015cc55call caml_call_realloc_stack
0015cc5apop r10
0015cc5cjmp 0x15cc1e
0015cc10

0015cc5e
0015cc5e // align 0x10

0015cc60
0015cc60camlTabular.concat_pre_post_561:
0015cc60lea r10, [rsp-328]
0015cc68cmp r10, [r14+40]
0015cc6cjb 0x15ccf3
0015cc72
0015cc72loc_15cc72:
0015cc72sub rsp, 8
0015cc76mov rdi, rax
0015cc79mov rax, rbx
0015cc7cmov rbx, [rdi-8]
0015cc80shr rbx, 10
0015cc84cmp rbx, 2
0015cc88jl 0x15cc90
0015cc8amov [rsp], rax
0015cc8ejmp 0x15ccac
0015cc90
0015cc90loc_15cc90:
0015cc90mov rbx, [rdi]
0015cc93mov rsi, 0x700000000000000
0015cc9dcmp rbx, rsi
0015cca0jne 0x15cca8
0015cca2add rsp, 8
0015cca6ret
0015cca7
0015cca7 90 .
0015cca8
0015cca8loc_15cca8:
0015cca8mov [rsp], rax
0015ccac
0015ccacloc_15ccac:
0015ccacmov rbx, [rax-8]
0015ccb0shr rbx, 10
0015ccb4cmp rbx, 2
0015ccb8jge 0x15ccd4
0015ccbamov rax, [rax]
0015ccbdmov rbx, 0x700000000000000
0015ccc7cmp rax, rbx
0015cccajne 0x15ccd4
0015ccccmov rax, rdi
0015cccfadd rsp, 8
0015ccd3ret
0015ccd4
0015ccd4loc_15ccd4:
0015ccd4lea rax, [rip+0x192a3d]
0015ccdbmov rbx, rdi
0015ccdecall camlStdlib.$5e_139
0015cce3mov rbx, rax
0015cce6mov rax, [rsp]
0015cceaadd rsp, 8
0015cceejmp 0x195ba0
0015ccf3
0015ccf3loc_15ccf3:
0015ccf3push 34
0015ccf5call caml_call_realloc_stack
0015ccfapop r10
0015ccfcjmp 0x15cc72
0015cc60

0015cd01
0015cd01 // align 0x10

0015cd10
0015cd10camlTabular.fun_1003:
0015cd10lea r10, [rsp-328]
0015cd18cmp r10, [r14+40]
0015cd1cjb 0x15cdad
0015cd22
0015cd22loc_15cd22:
0015cd22sub rsp, 8
0015cd26movzx rdi, [rax-8]
0015cd2btest rdi, rdi
0015cd2ejne 0x15cd6c
0015cd30mov rax, [rax]
0015cd33mov [rsp], rax
0015cd37mov rdi, [rax+24]
0015cd3bmov rax, [rbx+16]
0015cd3fmov rbx, rdi
0015cd42call camlTabular.concat_pre_post_561
0015cd47mov rdi, [rsp]
0015cd4badd rdi, 24
0015cd4fmov rsi, rax
0015cd52mov rbx, rsp
0015cd55mov rsp, [r14+64]
0015cd59call caml_modify
0015cd5emov rsp, rbx
0015cd61mov eax, 1
0015cd66add rsp, 8
0015cd6aret
0015cd6bnop
0015cd6c
0015cd6cloc_15cd6c:
0015cd6csub r15, 24
0015cd70cmp r15, [r14]
0015cd73jb 0x15cda6
0015cd75
0015cd75loc_15cd75:
0015cd75lea rax, [r15+8]
0015cd79mov [rax-8], 2048
0015cd81lea rbx, [rip+0x192178]
0015cd88mov rbx, [rbx]
0015cd8bmov [rax], rbx
0015cd8elea rbx, [rip+0x192393]
0015cd95mov [rax+8], rbx
0015cd99mov rsp, [r14+48]
0015cd9dpop [r14+48]
0015cda1pop r11
0015cda3jmp r11
0015cda6
0015cda6loc_15cda6:
0015cda6call caml_call_gc
0015cdabjmp 0x15cd75
0015cdad
0015cdadloc_15cdad:
0015cdadpush 34
0015cdafcall caml_call_realloc_stack
0015cdb4pop r10
0015cdb6jmp 0x15cd22
0015cd10

0015cdbb
0015cdbb // align 0x10

0015cdc0
0015cdc0camlTabular.fun_1015:
0015cdc0mov rdi, rax
0015cdc3mov rax, [rbx+16]
0015cdc7mov rbx, rdi
0015cdcajmp 0x17f460
0015cdc0

0015cdcf
0015cdcf // align 0x10

0015cdd0
0015cdd0camlTabular.fun_1021:
0015cdd0movzx rdi, [rax-8]
0015cdd5test rdi, rdi
0015cdd8jne 0x15ce20
0015cddamov rax, [rax]
0015cdddsub r15, 24
0015cde1cmp r15, [r14]
0015cde4jb 0x15ce5e
0015cde6
0015cde6loc_15cde6:
0015cde6lea rsi, [r15+8]
0015cdeamov [rsi-8], 2048
0015cdf2mov [rsi], rax
0015cdf5lea rax, [rip+0x1b9ba4]
0015cdfcmov rax, [rax+728]
0015ce03mov rax, [rax]
0015ce06mov [rsi+8], rax
0015ce0amov rdi, [rbx+32]
0015ce0emov rdx, [rbx+24]
0015ce12mov rax, [rbx+16]
0015ce16mov rbx, rdx
0015ce19jmp 0x17f6f0
0015ce1enop
0015ce20
0015ce20loc_15ce20:
0015ce20sub r15, 24
0015ce24cmp r15, [r14]
0015ce27jb 0x15ce57
0015ce29
0015ce29loc_15ce29:
0015ce29lea rax, [r15+8]
0015ce2dmov [rax-8], 2048
0015ce35lea rbx, [rip+0x1193cc]
0015ce3cmov [rax], rbx
0015ce3flea rbx, [rip+0x1922aa]
0015ce46mov [rax+8], rbx
0015ce4amov rsp, [r14+48]
0015ce4epop [r14+48]
0015ce52pop r11
0015ce54jmp r11
0015ce57
0015ce57loc_15ce57:
0015ce57call caml_call_gc
0015ce5cjmp 0x15ce29
0015ce5e
0015ce5eloc_15ce5e:
0015ce5ecall caml_call_gc
0015ce63jmp 0x15cde6
0015cdd0

0015ce65
0015ce65 // align 0x10

0015ce70
0015ce70camlTabular.fun_1026:
0015ce70movzx rdi, [rax-8]
0015ce75test rdi, rdi
0015ce78jne 0x15ce9c
0015ce7amov rsi, [rbx+16]
0015ce7emov rdi, [rax]
0015ce81add rdi, 32
0015ce85mov rbx, rsp
0015ce88mov rsp, [r14+64]
0015ce8ccall caml_modify
0015ce91mov rsp, rbx
0015ce94mov eax, 1
0015ce99ret
0015ce9a
0015ce9a 66 90 f.
0015ce9c
0015ce9cloc_15ce9c:
0015ce9clea rax, [rip+0x192215]
0015cea3jmp 0x1919c0
0015ce70

0015cea8
0015cea8 // align 0x10

0015ceb0
0015ceb0camlTabular.do_rec_866:
0015ceb0lea r10, [rsp-336]
0015ceb8cmp r10, [r14+40]
0015cebcjb 0x15cf19
0015cebe
0015cebeloc_15cebe:
0015cebesub rsp, 16
0015cec2
0015cec2loc_15cec2:
0015cec2cmp r15, [r14]
0015cec5jbe 0x15cf12
0015cec7
0015cec7loc_15cec7:
0015cec7cmp rax, 1
0015cecbje 0x15cef8
0015cecdmov [rsp+8], rbx
0015ced2mov [rsp], rax
0015ced6mov rdi, [rbx+32]
0015cedamov rax, [rbx+16]
0015cedemov rbx, rdi
0015cee1call camlLexstate.scan_this_arg_1187
0015cee6mov rax, [rsp]
0015ceeaadd rax, -2
0015ceeemov rbx, [rsp+8]
0015cef3jmp 0x15cec2
0015cef5
0015cef5 0f 1f 00 ...
0015cef8
0015cef8loc_15cef8:
0015cef8mov rax, [rbx+24]
0015cefcmov rdi, [rbx+16]
0015cf00add rdi, 24
0015cf04mov ebx, 37
0015cf09add rsp, 16
0015cf0djmp 0x15c2e0
0015cf12
0015cf12loc_15cf12:
0015cf12call caml_call_gc
0015cf17jmp 0x15cec7
0015cf19
0015cf19loc_15cf19:
0015cf19push 35
0015cf1bcall caml_call_realloc_stack
0015cf20pop r10
0015cf22jmp 0x15cebe
0015ceb0

0015cf24
0015cf24 // align 0x10

0015cf30
0015cf30camlTabular.fun_1053:
0015cf30mov rdi, rax
0015cf33mov rax, [rbx+16]
0015cf37mov rbx, rdi
0015cf3ajmp 0x17f460
0015cf30

0015cf3f
0015cf3f // align 0x10

0015cf40
0015cf40camlTabular.main_902:
0015cf40lea r10, [rsp-336]
0015cf48cmp r10, [r14+40]
0015cf4cjb 0x15d0ee
0015cf52
0015cf52loc_15cf52:
0015cf52sub rsp, 16
0015cf56mov [rsp], rax
0015cf5amov rbx, [rax]
0015cf5dmov [rsp+8], rbx
0015cf62lea rax, [rip+0x1cd107]
0015cf69mov rax, [rax+80]
0015cf6dmov rax, [rax]
0015cf70cmp rax, 3
0015cf74jle 0x15cf87
0015cf76lea rax, [rip+0x19209b]
0015cf7dcall camlStdlib.$5e_139
0015cf82call camlStdlib.prerr_endline_390
0015cf87
0015cf87loc_15cf87:
0015cf87mov rax, [rsp+8]
0015cf8cmov rbx, [rax-8]
0015cf90shr rbx, 10
0015cf94lea rbx, [8*rbx-1]
0015cf9cmovzx rdi, [rax+rbx]
0015cfa1sub rbx, rdi
0015cfa4lea rdi, [rbx+rbx+1]
0015cfa9cmp rdi, 1
0015cfadjle 0x15d004
0015cfafcmp rbx, 0
0015cfb3jbe 0x15d0e9
0015cfb9movzx rbx, [rax]
0015cfbdlea rbx, [rbx+rbx+1]
0015cfc2cmp rbx, 185
0015cfc9jne 0x15d004
0015cfcbmov [rsp+8], rax
0015cfd0call camlLatexmacros.find_941
0015cfd5mov rax, [rax+8]
0015cfd9movzx rbx, [rax-8]
0015cfdetest rbx, rbx
0015cfe1jne 0x15cff0
0015cfe3mov rax, [rax]
0015cfe6call camlMyLexing.from_list_562
0015cfebjmp 0x15cffa
0015cfed
0015cfed 0f 1f 00 ...
0015cff0
0015cff0loc_15cff0:
0015cff0mov rax, [rsp+8]
0015cff5call camlMyLexing.from_string_309
0015cffa
0015cffaloc_15cffa:
0015cffamov [rsp+8], rax
0015cfffjmp 0x15d00e
0015d001
0015d001 0f 1f 00 ...
0015d004
0015d004loc_15d004:
0015d004call camlMyLexing.from_string_309
0015d009mov [rsp+8], rax
0015d00e
0015d00eloc_15d00e:
0015d00emov rax, [rsp]
0015d012mov rax, [rax+8]
0015d016call camlLexstate.start_normal_914
0015d01blea rax, [rip+0x191ede]
0015d022mov rdi, [rax+144]
0015d029add rdi, 24
0015d02dmov ebx, 37
0015d032mov rax, [rsp+8]
0015d037call Tabular..ocaml_lex_lexformat_rec
0015d03cmov eax, 1
0015d041call camlLexstate.restore_flags_891
0015d046mov eax, 1
0015d04bcall camlLexstate.restore_lexstate_882
0015d050lea rax, [rip+0x191ea9]
0015d057mov rax, [rax+72]
0015d05bmov [rsp], rax
0015d05fmov rdi, [rax]
0015d062mov ebx, 1
0015d067mov rax, [rax+8]
0015d06bcall Stdlib.Array.sub
0015d070mov rbx, [rsp]
0015d074mov [rbx], 1
0015d07bcall camlTabular.check_vert_482
0015d080mov [rsp], rax
0015d084lea rbx, [rip+0x1cb5b5]
0015d08bmov rbx, [rbx+8]
0015d08fmov rbx, [rbx]
0015d092cmp rbx, 1
0015d096je 0x15d09d
0015d098call camlTabular.check_length_483
0015d09d
0015d09dloc_15d09d:
0015d09dlea rax, [rip+0x1ccfcc]
0015d0a4mov rax, [rax+80]
0015d0a8mov rax, [rax]
0015d0abcmp rax, 3
0015d0afjle 0x15d0e0
0015d0b1lea rbx, [rip+0x191f48]
0015d0b8lea rax, [rip+0x1d0559]
0015d0bfmov rax, [rax+312]
0015d0c6call camlStdlib.output_string_253
0015d0cbmov rax, [rsp]
0015d0cfcall camlTabular.pretty_formats_557
0015d0d4lea rax, [rip+0x19271d]
0015d0dbcall camlStdlib.prerr_endline_390
0015d0e0
0015d0e0loc_15d0e0:
0015d0e0mov rax, [rsp]
0015d0e4add rsp, 16
0015d0e8ret
0015d0e9
0015d0e9loc_15d0e9:
0015d0e9call caml_ml_array_bound_error
0015d0ee
0015d0eeloc_15d0ee:
0015d0eepush 35
0015d0f0call caml_call_realloc_stack
0015d0f5pop r10
0015d0f7jmp 0x15cf52
0015cf40

0015d0fc
0015d0fc // align 0x10

0015d100
0015d100camlTabular.entry:
0015d100lea r10, [rsp-320]
0015d108cmp r10, [r14+40]
0015d10cjb 0x15d40b
0015d112
0015d112loc_15d112:
0015d112mov edi, 1
0015d117mov rbx, rsp
0015d11amov rsp, [r14+64]
0015d11ecall caml_fresh_oo_id
0015d123mov rsp, rbx
0015d126call caml_alloc2
0015d12blea rsi, [r15+8]
0015d12fmov [rsi-8], 2296
0015d137lea rbx, [rip+0x1926ca]
0015d13emov [rsi], rbx
0015d141mov [rsi+8], rax
0015d145lea rdi, [rip+0x191db4]
0015d14cmov rbx, rsp
0015d14fmov rsp, [r14+64]
0015d153call caml_initialize
0015d158mov rsp, rbx
0015d15blea rsi, [rip+0x191c0e]
0015d162lea r12, [rip+0x191bef]
0015d169lea rdi, [rip+0x191d90]
0015d170add rdi, 40
0015d174mov rbx, rsp
0015d177mov rsp, [r14+64]
0015d17bcall caml_initialize
0015d180mov rsp, rbx
0015d183lea rdi, [rip+0x191d76]
0015d18aadd rdi, 48
0015d18emov rsi, r12
0015d191mov rbx, rsp
0015d194mov rsp, [r14+64]
0015d198call caml_initialize
0015d19dmov rsp, rbx
0015d1a0lea rsi, [rip+0x191bf9]
0015d1a7lea r12, [rip+0x191bda]
0015d1aelea rdi, [rip+0x191d4b]
0015d1b5add rdi, 56
0015d1b9mov rbx, rsp
0015d1bcmov rsp, [r14+64]
0015d1c0call caml_initialize
0015d1c5mov rsp, rbx
0015d1c8lea rdi, [rip+0x191d31]
0015d1cfadd rdi, 64
0015d1d3mov rsi, r12
0015d1d6mov rbx, rsp
0015d1d9mov rsp, [r14+64]
0015d1ddcall caml_initialize
0015d1e2mov rsp, rbx
0015d1e5call caml_alloc1
0015d1ealea rsi, [r15+8]
0015d1eemov [rsi-8], 1024
0015d1f6mov [rsi], 1
0015d1fdlea rdi, [rip+0x191cfc]
0015d204add rdi, 8
0015d208mov rbx, rsp
0015d20bmov rsp, [r14+64]
0015d20fcall caml_initialize
0015d214mov rsp, rbx
0015d217lea rax, [rip+0x1925ba]
0015d21ecall camlTable.create_275
0015d223lea rdi, [rip+0x191cd6]
0015d22aadd rdi, 72
0015d22emov rsi, rax
0015d231mov rbx, rsp
0015d234mov rsp, [r14+64]
0015d238call caml_initialize
0015d23dmov rsp, rbx
0015d240lea rsi, [rip+0x191b71]
0015d247lea rdi, [rip+0x191cb2]
0015d24eadd rdi, 16
0015d252mov rbx, rsp
0015d255mov rsp, [r14+64]
0015d259call caml_initialize
0015d25emov rsp, rbx
0015d261lea rsi, [rip+0x191b68]
0015d268lea rdi, [rip+0x191c91]
0015d26fadd rdi, 24
0015d273mov rbx, rsp
0015d276mov rsp, [r14+64]
0015d27acall caml_initialize
0015d27fmov rsp, rbx
0015d282lea rsi, [rip+0x191b5f]
0015d289lea rdi, [rip+0x191c70]
0015d290add rdi, 80
0015d294mov rbx, rsp
0015d297mov rsp, [r14+64]
0015d29bcall caml_initialize
0015d2a0mov rsp, rbx
0015d2a3lea rsi, [rip+0x191ece]
0015d2aalea rdi, [rip+0x191c4f]
0015d2b1add rdi, 88
0015d2b5mov rbx, rsp
0015d2b8mov rsp, [r14+64]
0015d2bccall caml_initialize
0015d2c1mov rsp, rbx
0015d2c4lea r12, [rip+0x191b3d]
0015d2cblea rdi, [rip+0x191c2e]
0015d2d2add rdi, 96
0015d2d6mov rsi, r12
0015d2d9mov rbx, rsp
0015d2dcmov rsp, [r14+64]
0015d2e0call caml_initialize
0015d2e5mov rsp, rbx
0015d2e8mov rsi, r12
0015d2ebadd rsi, 24
0015d2eflea rdi, [rip+0x191c0a]
0015d2f6add rdi, 104
0015d2famov rbx, rsp
0015d2fdmov rsp, [r14+64]
0015d301call caml_initialize
0015d306mov rsp, rbx
0015d309mov rsi, r12
0015d30cadd rsi, 56
0015d310lea rdi, [rip+0x191be9]
0015d317add rdi, 112
0015d31bmov rbx, rsp
0015d31emov rsp, [r14+64]
0015d322call caml_initialize
0015d327mov rsp, rbx
0015d32amov rsi, r12
0015d32dadd rsi, 80
0015d331lea rdi, [rip+0x191bc8]
0015d338add rdi, 120
0015d33cmov rbx, rsp
0015d33fmov rsp, [r14+64]
0015d343call caml_initialize
0015d348mov rsp, rbx
0015d34bmov rsi, r12
0015d34eadd rsi, 112
0015d352lea rdi, [rip+0x191ba7]
0015d359add rdi, 128
0015d360mov rbx, rsp
0015d363mov rsp, [r14+64]
0015d367call caml_initialize
0015d36cmov rsp, rbx
0015d36fmov rsi, r12
0015d372add rsi, 136
0015d379lea rdi, [rip+0x191b80]
0015d380add rdi, 136
0015d387mov rbx, rsp
0015d38amov rsp, [r14+64]
0015d38ecall caml_initialize
0015d393mov rsp, rbx
0015d396mov rsi, r12
0015d399add rsi, 168
0015d3a0lea rdi, [rip+0x191b59]
0015d3a7add rdi, 144
0015d3aemov rbx, rsp
0015d3b1mov rsp, [r14+64]
0015d3b5call caml_initialize
0015d3bamov rsp, rbx
0015d3bdmov rsi, r12
0015d3c0add rsi, 192
0015d3c7lea rdi, [rip+0x191b32]
0015d3ceadd rdi, 152
0015d3d5mov rbx, rsp
0015d3d8mov rsp, [r14+64]
0015d3dccall caml_initialize
0015d3e1mov rsp, rbx
0015d3e4lea rsi, [rip+0x191afd]
0015d3eblea rdi, [rip+0x191b0e]
0015d3f2add rdi, 32
0015d3f6mov rbx, rsp
0015d3f9mov rsp, [r14+64]
0015d3fdcall caml_initialize
0015d402mov rsp, rbx
0015d405mov eax, 1
0015d40aret
0015d40b
0015d40bloc_15d40b:
0015d40bpush 33
0015d40dcall caml_call_realloc_stack
0015d412pop r10
0015d414jmp 0x15d112
0015d100

0015d419
0015d419 // align 0x10

0015d420
0015d420camlTable.create_275:
0015d420mov edi, 65
0015d425mov rsi, rax
0015d428lea rax, [rip+0x9c871]
0015d42fcall caml_c_call
0015d434sub r15, 24
0015d438cmp r15, [r14]
0015d43bjb 0x15d458
0015d43d
0015d43dloc_15d43d:
0015d43dlea rbx, [r15+8]
0015d441mov [rbx-8], 2048
0015d449mov [rbx], 1
0015d450mov [rbx+8], rax
0015d454mov rax, rbx
0015d457ret
0015d458
0015d458loc_15d458:
0015d458call caml_call_gc
0015d45djmp 0x15d43d
0015d420

0015d45f
0015d45f // align 0x10

0015d460
0015d460camlTable.reset_276:
0015d460mov [rax], 1
0015d467mov eax, 1
0015d46cret
0015d460

0015d46d
0015d46d // align 0x10

0015d470
0015d470camlTable.incr_table_331:
0015d470lea r10, [rsp-336]
0015d478cmp r10, [r14+40]
0015d47cjb 0x15d53d
0015d482
0015d482loc_15d482:
0015d482sub rsp, 16
0015d486mov [rsp], rax
0015d48amov rax, [rax+8]
0015d48emov rdi, [rax-8]
0015d492cmp rdi, 1023
0015d499jbe 0x15d538
0015d49fand rdi, 255
0015d4a6cmp rdi, 254
0015d4adje 0x15d4b4
0015d4afmov rsi, [rax]
0015d4b2jmp 0x15d4d1
0015d4b4
0015d4b4loc_15d4b4:
0015d4b4sub r15, 16
0015d4b8cmp r15, [r14]
0015d4bbjb 0x15d531
0015d4bd
0015d4bdloc_15d4bd:
0015d4bdlea rsi, [r15+8]
0015d4c1mov [rsi-8], 1277
0015d4c9movsd_xmm x0, [rax]
0015d4cdmovsd_xmm [rsi], x0
0015d4d1
0015d4d1loc_15d4d1:
0015d4d1mov rdi, rbx
0015d4d4lea rax, [rip+0x9c7c5]
0015d4dbcall caml_c_call
0015d4e0mov rdi, rax
0015d4e3mov [rsp+8], rdi
0015d4e8mov rax, [rsp]
0015d4ecmov rax, [rax+8]
0015d4f0mov rdx, [rax-8]
0015d4f4shr rdx, 9
0015d4f8or rdx, 1
0015d4fcmov esi, 1
0015d501mov ebx, 1
0015d506call Stdlib.Array.blit
0015d50bmov rdi, [rsp]
0015d50fadd rdi, 8
0015d513mov rsi, [rsp+8]
0015d518mov rbx, rsp
0015d51bmov rsp, [r14+64]
0015d51fcall caml_modify
0015d524mov rsp, rbx
0015d527mov eax, 1
0015d52cadd rsp, 16
0015d530ret
0015d531
0015d531loc_15d531:
0015d531call caml_call_gc
0015d536jmp 0x15d4bd
0015d538
0015d538loc_15d538:
0015d538call caml_ml_array_bound_error
0015d53d
0015d53dloc_15d53d:
0015d53dpush 35
0015d53fcall caml_call_realloc_stack
0015d544pop r10
0015d546jmp 0x15d482
0015d470

0015d54b
0015d54b // align 0x10

0015d550
0015d550camlTable.emit_336:
0015d550lea r10, [rsp-336]
0015d558cmp r10, [r14+40]
0015d55cjb 0x15d5ff
0015d562
0015d562loc_15d562:
0015d562sub rsp, 16
0015d566mov [rsp], rax
0015d56amov [rsp+8], rbx
0015d56fmov rbx, [rax+8]
0015d573mov rbx, [rbx-8]
0015d577shr rbx, 9
0015d57bor rbx, 1
0015d57fmov rdi, [rax]
0015d582cmp rdi, rbx
0015d585jl 0x15d591
0015d587lea rbx, [rbx+rbx-1]
0015d58ccall camlTable.incr_table_331
0015d591
0015d591loc_15d591:
0015d591mov r12, [rsp]
0015d595mov rax, [r12]
0015d599mov rbx, [r12+8]
0015d59emov rdi, [rbx-8]
0015d5a2mov rsi, rdi
0015d5a5shr rsi, 9
0015d5a9cmp rsi, rax
0015d5acjbe 0x15d5fa
0015d5aeand rdi, 255
0015d5b5cmp rdi, 254
0015d5bcje 0x15d5dc
0015d5belea rdi, [rbx+4*rax-4]
0015d5c3mov rsi, [rsp+8]
0015d5c8mov rbx, rsp
0015d5cbmov rsp, [r14+64]
0015d5cfcall caml_modify
0015d5d4mov rsp, rbx
0015d5d7jmp 0x15d5eb
0015d5d9
0015d5d9 0f 1f 00 ...
0015d5dc
0015d5dcloc_15d5dc:
0015d5dcmov rdi, [rsp+8]
0015d5e1movsd_xmm x0, [rdi]
0015d5e5movsd_xmm [rbx+4*rax-4], x0
0015d5eb
0015d5ebloc_15d5eb:
0015d5ebadd [r12], 2
0015d5f0mov eax, 1
0015d5f5add rsp, 16
0015d5f9ret
0015d5fa
0015d5faloc_15d5fa:
0015d5facall caml_ml_array_bound_error
0015d5ff
0015d5ffloc_15d5ff:
0015d5ffpush 35
0015d601call caml_call_realloc_stack
0015d606pop r10
0015d608jmp 0x15d562
0015d550

0015d60d
0015d60d // align 0x10

0015d610
0015d610camlTable.apply_341:
0015d610cmp r15, [r14]
0015d613jbe 0x15d693
0015d615
0015d615loc_15d615:
0015d615mov rdi, [rax]
0015d618cmp rdi, 1
0015d61cjne 0x15d638
0015d61elea rax, [rip+0x1932fb]
0015d625mov rax, [rax]
0015d628mov rsp, [r14+48]
0015d62cpop [r14+48]
0015d630pop r11
0015d632jmp r11
0015d635nop [rax]
0015d638
0015d638loc_15d638:
0015d638mov rdi, [rax]
0015d63badd rdi, -2
0015d63fmov rsi, [rax+8]
0015d643mov rax, [rsi-8]
0015d647mov rdx, rax
0015d64ashr rdx, 9
0015d64ecmp rdx, rdi
0015d651jbe 0x15d69d
0015d653and rax, 255
0015d659cmp rax, 254
0015d65fje 0x15d668
0015d661mov rax, [rsi+4*rdi-4]
0015d666jmp 0x15d687
0015d668
0015d668loc_15d668:
0015d668sub r15, 16
0015d66ccmp r15, [r14]
0015d66fjb 0x15d68c
0015d671
0015d671loc_15d671:
0015d671lea rax, [r15+8]
0015d675mov [rax-8], 1277
0015d67dmovsd_xmm x0, [rsi+4*rdi-4]
0015d683movsd_xmm [rax], x0
0015d687
0015d687loc_15d687:
0015d687mov rdi, [rbx]
0015d68ajmp rdi
0015d68c
0015d68cloc_15d68c:
0015d68ccall caml_call_gc
0015d691jmp 0x15d671
0015d693
0015d693loc_15d693:
0015d693call caml_call_gc
0015d698jmp 0x15d615
0015d69d
0015d69dloc_15d69d:
0015d69dcall caml_ml_array_bound_error
0015d610

0015d6a2
0015d6a2 // align 0x10

0015d6b0
0015d6b0camlTable.to_array_345:
0015d6b0mov rdi, [rax]
0015d6b3mov ebx, 1
0015d6b8mov rax, [rax+8]
0015d6bcjmp 0x1ad440
0015d6b0

0015d6c1
0015d6c1 // align 0x10

0015d6d0
0015d6d0camlTable.trim_348:
0015d6d0lea r10, [rsp-328]
0015d6d8cmp r10, [r14+40]
0015d6dcjb 0x15d707
0015d6de
0015d6deloc_15d6de:
0015d6desub rsp, 8
0015d6e2mov [rsp], rax
0015d6e6mov rdi, [rax]
0015d6e9mov ebx, 1
0015d6eemov rax, [rax+8]
0015d6f2call Stdlib.Array.sub
0015d6f7mov rbx, [rsp]
0015d6fbmov [rbx], 1
0015d702add rsp, 8
0015d706ret
0015d707
0015d707loc_15d707:
0015d707push 34
0015d709call caml_call_realloc_stack
0015d70epop r10
0015d710jmp 0x15d6de
0015d6d0

0015d712
0015d712 // align 0x10

0015d720
0015d720camlTable.remove_last_352:
0015d720add [rax], -2
0015d724mov rbx, [rax]
0015d727cmp rbx, 1
0015d72bjge 0x15d73c
0015d72dmov [rax], 1
0015d734mov eax, 1
0015d739ret
0015d73a
0015d73a 66 90 f.
0015d73c
0015d73cloc_15d73c:
0015d73cmov eax, 1
0015d741ret
0015d720

0015d742
0015d742 // align 0x10

0015d750
0015d750camlTable.get_size_355:
0015d750mov rax, [rax]
0015d753ret
0015d750

0015d754
0015d754 // align 0x10

0015d760
0015d760camlTable.entry:
0015d760mov edi, 1
0015d765mov rbx, rsp
0015d768mov rsp, [r14+64]
0015d76ccall caml_fresh_oo_id
0015d771mov rsp, rbx
0015d774call caml_alloc2
0015d779lea rsi, [r15+8]
0015d77dmov [rsi-8], 2296
0015d785lea rbx, [rip+0x193204]
0015d78cmov [rsi], rbx
0015d78fmov [rsi+8], rax
0015d793lea rdi, [rip+0x193186]
0015d79amov rbx, rsp
0015d79dmov rsp, [r14+64]
0015d7a1call caml_initialize
0015d7a6mov rsp, rbx
0015d7a9mov esi, 65
0015d7aelea rdi, [rip+0x19316b]
0015d7b5add rdi, 72
0015d7b9mov rbx, rsp
0015d7bcmov rsp, [r14+64]
0015d7c0call caml_initialize
0015d7c5mov rsp, rbx
0015d7c8lea rsi, [rip+0x193061]
0015d7cflea r12, [rip+0x193132]
0015d7d6lea rdi, [rip+0x193143]
0015d7ddadd rdi, 8
0015d7e1mov rbx, rsp
0015d7e4mov rsp, [r14+64]
0015d7e8call caml_initialize
0015d7edmov rsp, rbx
0015d7f0lea rdi, [rip+0x193129]
0015d7f7add rdi, 16
0015d7fbmov rsi, r12
0015d7femov rbx, rsp
0015d801mov rsp, [r14+64]
0015d805call caml_initialize
0015d80amov rsp, rbx
0015d80dlea rsi, [rip+0x193034]
0015d814lea rdi, [rip+0x193105]
0015d81badd rdi, 80
0015d81fmov rbx, rsp
0015d822mov rsp, [r14+64]
0015d826call caml_initialize
0015d82bmov rsp, rbx
0015d82elea rsi, [rip+0x193033]
0015d835lea rdi, [rip+0x1930e4]
0015d83cadd rdi, 24
0015d840mov rbx, rsp
0015d843mov rsp, [r14+64]
0015d847call caml_initialize
0015d84cmov rsp, rbx
0015d84flea rsi, [rip+0x193032]
0015d856lea rdi, [rip+0x1930c3]
0015d85dadd rdi, 32
0015d861mov rbx, rsp
0015d864mov rsp, [r14+64]
0015d868call caml_initialize
0015d86dmov rsp, rbx
0015d870lea rsi, [rip+0x193031]
0015d877lea rdi, [rip+0x1930a2]
0015d87eadd rdi, 48
0015d882mov rbx, rsp
0015d885mov rsp, [r14+64]
0015d889call caml_initialize
0015d88emov rsp, rbx
0015d891lea rsi, [rip+0x193028]
0015d898lea rdi, [rip+0x193081]
0015d89fadd rdi, 40
0015d8a3mov rbx, rsp
0015d8a6mov rsp, [r14+64]
0015d8aacall caml_initialize
0015d8afmov rsp, rbx
0015d8b2lea rsi, [rip+0x19301f]
0015d8b9lea rdi, [rip+0x193060]
0015d8c0add rdi, 56
0015d8c4mov rbx, rsp
0015d8c7mov rsp, [r14+64]
0015d8cbcall caml_initialize
0015d8d0mov rsp, rbx
0015d8d3lea rsi, [rip+0x193016]
0015d8dalea rdi, [rip+0x19303f]
0015d8e1add rdi, 64
0015d8e5mov rbx, rsp
0015d8e8mov rsp, [r14+64]
0015d8eccall caml_initialize
0015d8f1mov rsp, rbx
0015d8f4mov eax, 1
0015d8f9ret
0015d760

0015d8fa
0015d8fa // align 0x10

0015d900
0015d900camlSubst.subst_472:
0015d900mov rsi, rdi
0015d903cmp r15, [r14]
0015d906jbe 0x15d916
0015d908
0015d908loc_15d908:
0015d908add rsi, 32
0015d90cmov edi, 1
0015d911jmp 0x15d920
0015d916
0015d916loc_15d916:
0015d916call caml_call_gc
0015d91bjmp 0x15d908
0015d900

0015d91d
0015d91d // align 0x10

0015d920
0015d920Subst..ocaml_lex_subst_rec:
0015d920lea r10, [rsp-392]
0015d928cmp r10, [r14+40]
0015d92cjb 0x15dee9
0015d932
0015d932loc_15d932:
0015d932sub rsp, 56
0015d936
0015d936loc_15d936:
0015d936mov [rsp+32], rax
0015d93bmov rdx, rbx
0015d93emov [rsp+40], rdx
0015d943mov rbx, rdi
0015d946mov [rsp+48], rsi
0015d94bcmp r15, [r14]
0015d94ejbe 0x15deda
0015d954
0015d954loc_15d954:
0015d954lea rax, [rip+0x1934d5]
0015d95bmov rdi, rdx
0015d95ecall Stdlib.Lexing.engine
0015d963cmp rax, 13
0015d967jbe 0x15d990
0015d969mov [rsp], rax
0015d96dmov rax, [rsp+40]
0015d972mov rbx, [rax]
0015d975mov rdi, [rbx]
0015d978call rdi
0015d97amov rax, [rsp+32]
0015d97fmov rbx, [rsp+40]
0015d984mov rdi, [rsp]
0015d988mov rsi, [rsp+48]
0015d98djmp 0x15d936
0015d98fnop
0015d990
0015d990loc_15d990:
0015d990sar rax, 1
0015d993lea rdx, [rip+0xcd182]
0015d99amovsxd rax, [rdx+4*rax]
0015d99eadd rdx, rax
0015d9a1jmp rdx
0015d9a3nop
0015d9a4mov rax, [rsp+40]
0015d9a9mov rbx, [rax+32]
0015d9admov rdi, rbx
0015d9b0add rdi, 4
0015d9b4sub rdi, rbx
0015d9b7inc rdi
0015d9bamov rax, [rax+8]
0015d9becall Stdlib.Bytes.sub
0015d9c3mov [rsp], rax
0015d9c7mov eax, 71
0015d9cccall camlLexstate.is_plain_833
0015d9d1cmp rax, 1
0015d9d5je 0x15da5c
0015d9dbmov rdi, [rsp]
0015d9dfmov rax, [rdi-8]
0015d9e3shr rax, 10
0015d9e7lea rax, [8*rax-1]
0015d9efmovzx rbx, [rdi+rax]
0015d9f4sub rax, rbx
0015d9f7cmp rax, 1
0015d9fbjbe 0x15dee4
0015da01movzx rax, [rdi+1]
0015da06lea rbx, [rax+rax-97]
0015da0bsub r15, 40
0015da0fcmp r15, [r14]
0015da12jb 0x15ded0
0015da18
0015da18loc_15da18:
0015da18lea rax, [r15+8]
0015da1cmov [rax-8], 4343
0015da24lea rdi, [rip+1813]
0015da2bmov [rax], rdi
0015da2emov rdi, 0x100000000000005
0015da38mov [rax+8], rdi
0015da3cmov rdi, [rsp+48]
0015da41add rdi, -32
0015da45mov [rax+16], rdi
0015da49mov rdi, [rsp+32]
0015da4emov [rax+24], rdi
0015da52call camlLexstate.scan_arg_855
0015da57jmp 0x15da7b
0015da59nop [rax]
0015da5c
0015da5cloc_15da5c:
0015da5clea rax, [rip+0x1932fd]
0015da63mov rax, [rax+96]
0015da67lea rbx, [rip+0x1c3f8a]
0015da6emov rdi, [rbx+48]
0015da72mov rbx, [rsp]
0015da76call camlDoOut.put_754
0015da7b
0015da7bloc_15da7b:
0015da7bmov rsi, [rsp+48]
0015da80add rsi, -32
0015da84add rsi, 32
0015da88mov edi, 1
0015da8dmov rax, [rsp+32]
0015da92mov rbx, [rsp+40]
0015da97jmp 0x15d936
0015da9cmov eax, 71
0015daa1call camlLexstate.is_plain_833
0015daa6cmp rax, 1
0015daaaje 0x15dad0
0015daaclea rax, [rip+0x1932ad]
0015dab3mov rax, [rax+96]
0015dab7lea rbx, [rip+0x1c3f3a]
0015dabemov rdi, [rbx+64]
0015dac2mov ebx, 71
0015dac7call camlDoOut.put_char_792
0015daccjmp 0x15daf2
0015dacenop
0015dad0
0015dad0loc_15dad0:
0015dad0lea rax, [rip+0x193289]
0015dad7mov rax, [rax+96]
0015dadblea rbx, [rip+0x1c3f16]
0015dae2mov rdi, [rbx+48]
0015dae6lea rbx, [rip+0x194e23]
0015daedcall camlDoOut.put_754
0015daf2
0015daf2loc_15daf2:
0015daf2mov rsi, [rsp+48]
0015daf7add rsi, -32
0015dafbadd rsi, 32
0015daffmov edi, 1
0015db04mov rax, [rsp+32]
0015db09mov rbx, [rsp+40]
0015db0ejmp 0x15d936
0015db13nop
0015db14lea rax, [rip+0x193245]
0015db1bmov rax, [rax+96]
0015db1flea rbx, [rip+0x1c3ed2]
0015db26mov rdi, [rbx+56]
0015db2amov rbx, [rsp+40]
0015db2fcall camlDoOut.blit_760
0015db34mov rsi, [rsp+48]
0015db39add rsi, -32
0015db3dadd rsi, 32
0015db41mov edi, 1
0015db46mov rax, [rsp+32]
0015db4bmov rbx, [rsp+40]
0015db50jmp 0x15d936
0015db55nop [rax]
0015db58mov rax, [rsp+40]
0015db5dmov rbx, [rax+32]
0015db61mov rdi, rbx
0015db64add rdi, 14
0015db68sub rdi, rbx
0015db6binc rdi
0015db6emov rax, [rax+8]
0015db72call Stdlib.Bytes.sub
0015db77mov [rsp], rax
0015db7blea rax, [rip+0x1c39be]
0015db82mov rbx, [rax+80]
0015db86mov [rbx], 3
0015db8dmov rax, [rax+64]
0015db91call camlDoOut.reset_705
0015db96lea rax, [rip+0x1bd5b3]
0015db9dmov rdi, [rax+128]
0015dba4add rdi, 24
0015dba8mov ebx, 41
0015dbadmov rax, [rsp+40]
0015dbb2call Saver..ocaml_lex_arg_rec
0015dbb7lea rax, [rip+0x1c3982]
0015dbbemov rbx, [rax+80]
0015dbc2mov [rbx], 1
0015dbc9mov rax, [rax+64]
0015dbcdcall camlDoOut.to_string_830
0015dbd2mov [rsp+8], rax
0015dbd7lea rax, [rip+0x193182]
0015dbdemov rax, [rax+96]
0015dbe2lea rbx, [rip+0x1c3e0f]
0015dbe9mov rdi, [rbx+48]
0015dbedmov rbx, [rsp]
0015dbf1call camlDoOut.put_754
0015dbf6lea rax, [rip+0x193163]
0015dbfdmov rax, [rax+96]
0015dc01lea rbx, [rip+0x1c3df0]
0015dc08mov rdi, [rbx+48]
0015dc0cmov rbx, [rsp+8]
0015dc11call camlDoOut.put_754
0015dc16mov rsi, [rsp+48]
0015dc1badd rsi, -32
0015dc1fadd rsi, 32
0015dc23mov edi, 1
0015dc28mov rax, [rsp+32]
0015dc2dmov rbx, [rsp+40]
0015dc32jmp 0x15d936
0015dc37nop
0015dc38mov rax, [rsp+40]
0015dc3dmov rdi, [rax+40]
0015dc41mov rbx, [rax+32]
0015dc45sub rdi, rbx
0015dc48inc rdi
0015dc4bmov rax, [rax+8]
0015dc4fcall Stdlib.Bytes.sub
0015dc54mov rbx, rax
0015dc57mov [rsp+16], rbx
0015dc5cmov rax, [rsp+32]
0015dc61cmp rax, 1
0015dc65je 0x15de3c
0015dc6blea r11, [rip+390]
0015dc72push r11
0015dc74push [r14+48]
0015dc78mov [r14+48], rsp
0015dc7cmov rax, rbx
0015dc7fcall camlLatexmacros.find_fail_942
0015dc84mov [rsp+16], rax
0015dc89mov rax, [rax+8]
0015dc8dmov [rsp+24], rax
0015dc92movzx rax, [rax-8]
0015dc97test rax, rax
0015dc9ajne 0x15ddcc
0015dca0lea rax, [rip+0x1b6cc1]
0015dca7mov rbx, [rax+216]
0015dcaemov rbx, [rbx]
0015dcb1mov rax, [rax+184]
0015dcb8mov rdi, [rax+240]
0015dcbfmov rax, [rsp+32]
0015dcc4call Stdlib.Set.mem
0015dcc9cmp rax, 1
0015dccdjne 0x15ddcc
0015dcd3lea rax, [rip+0x1cc396]
0015dcdamov rax, [rax+80]
0015dcdemov rax, [rax]
0015dce1cmp rax, 5
0015dce5jle 0x15dd18
0015dce7mov rax, [rsp+32]
0015dcecmov [rsp+40], rax
0015dcf1lea rbx, [rip+0x194b88]
0015dcf8lea rax, [rip+0x1cf919]
0015dcffmov rax, [rax+312]
0015dd06call Stdlib.Printf.fprintf
0015dd0bmov rbx, rax
0015dd0emov rdi, [rbx]
0015dd11mov rax, [rsp+40]
0015dd16call rdi
0015dd18
0015dd18loc_15dd18:
0015dd18mov rax, [rsp+16]
0015dd1dmov rbx, [rax]
0015dd20mov rax, [rsp+32]
0015dd25mov rdi, [rsp+56]
0015dd2acall camlLexstate.make_stack_1175
0015dd2fmov [rsp+16], rax
0015dd34lea rax, [rip+0x193025]
0015dd3bmov rax, [rax+96]
0015dd3flea rbx, [rip+0x1c3cb2]
0015dd46mov rdi, [rbx+64]
0015dd4amov ebx, 247
0015dd4fcall camlDoOut.put_char_792
0015dd54sub r15, 40
0015dd58cmp r15, [r14]
0015dd5bjb 0x15dec6
0015dd61
0015dd61loc_15dd61:
0015dd61lea rax, [r15+8]
0015dd65mov [rax-8], 4343
0015dd6dlea rbx, [rip+1052]
0015dd74mov [rax], rbx
0015dd77mov rbx, 0x100000000000005
0015dd81mov [rax+8], rbx
0015dd85mov rbx, [rsp+64]
0015dd8aadd rbx, -32
0015dd8emov [rax+16], rbx
0015dd92mov rbx, [rsp+48]
0015dd97mov [rax+24], rbx
0015dd9bmov rbx, [rsp+24]
0015dda0mov rdi, [rsp+16]
0015dda5call camlLexstate.scan_body_856
0015ddaalea rax, [rip+0x192faf]
0015ddb1mov rax, [rax+96]
0015ddb5lea rbx, [rip+0x1c3c3c]
0015ddbcmov rdi, [rbx+64]
0015ddc0mov ebx, 251
0015ddc5call camlDoOut.put_char_792
0015ddcajmp 0x15ddec
0015ddcc
0015ddccloc_15ddcc:
0015ddcclea rax, [rip+0x192f8d]
0015ddd3mov rax, [rax+96]
0015ddd7lea rbx, [rip+0x1c3c1a]
0015dddemov rdi, [rbx+48]
0015dde2mov rbx, [rsp+32]
0015dde7call camlDoOut.put_754
0015ddec
0015ddecloc_15ddec:
0015ddecpop [r14+48]
0015ddf0add rsp, 8
0015ddf4jmp 0x15de57
0015ddf6nop
0015ddf8lea rbx, [rip+0x1b6b69]
0015ddffmov rbx, [rbx]
0015de02cmp rax, rbx
0015de05jne 0x15de2c
0015de07lea rax, [rip+0x192f52]
0015de0emov rax, [rax+96]
0015de12lea rbx, [rip+0x1c3bdf]
0015de19mov rdi, [rbx+48]
0015de1dmov rbx, [rsp+16]
0015de22call camlDoOut.put_754
0015de27jmp 0x15de57
0015de29nop [rax]
0015de2c
0015de2cloc_15de2c:
0015de2cmov rsp, [r14+48]
0015de30pop [r14+48]
0015de34pop r11
0015de36jmp r11
0015de39nop [rax]
0015de3c
0015de3cloc_15de3c:
0015de3clea rax, [rip+0x192f1d]
0015de43mov rax, [rax+96]
0015de47lea rdi, [rip+0x1c3baa]
0015de4emov rdi, [rdi+48]
0015de52call camlDoOut.put_754
0015de57
0015de57loc_15de57:
0015de57mov rsi, [rsp+48]
0015de5cadd rsi, -32
0015de60add rsi, 32
0015de64mov edi, 1
0015de69mov rax, [rsp+32]
0015de6emov rbx, [rsp+40]
0015de73jmp 0x15d936
0015de78mov eax, 1
0015de7dadd rsp, 56
0015de81ret
0015de82nop
0015de84sub r15, 24
0015de88cmp r15, [r14]
0015de8bjb 0x15debf
0015de8d
0015de8dloc_15de8d:
0015de8dlea rax, [r15+8]
0015de91mov [rax-8], 2048
0015de99lea rbx, [rip+0x1b8b00]
0015dea0mov rbx, [rbx+104]
0015dea4mov [rax], rbx
0015dea7lea rbx, [rip+0x194932]
0015deaemov [rax+8], rbx
0015deb2mov rsp, [r14+48]
0015deb6pop [r14+48]
0015debapop r11
0015debcjmp r11
0015debf
0015debfloc_15debf:
0015debfcall caml_call_gc
0015dec4jmp 0x15de8d
0015dec6
0015dec6loc_15dec6:
0015dec6call caml_call_gc
0015decbjmp 0x15dd61
0015ded0
0015ded0loc_15ded0:
0015ded0call caml_call_gc
0015ded5jmp 0x15da18
0015deda
0015dedaloc_15deda:
0015dedacall caml_call_gc
0015dedfjmp 0x15d954
0015dee4
0015dee4loc_15dee4:
0015dee4call caml_ml_array_bound_error
0015dee9
0015dee9loc_15dee9:
0015dee9push 42
0015deebcall caml_call_realloc_stack
0015def0pop r10
0015def2jmp 0x15d932
0015d920