File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001791a0
001791a0camlCounter.hot_start_486:
001791a0lea r10, [rsp-344]
001791a8cmp r10, [r14+40]
001791acjb 0x179271
001791b2
001791b2loc_1791b2:
001791b2sub rsp, 24
001791b6mov [rsp], rax
001791balea rax, [rip+0x19a87f]
001791c1mov rax, [rax+80]
001791c5call Stdlib.Hashtbl.clear
001791casub r15, 32
001791cecmp r15, [r14]
001791d1jb 0x179267
001791d7
001791d7loc_1791d7:
001791d7lea rbx, [r15+8]
001791dbmov [rbx-8], 3319
001791e3lea rax, [rip+150]
001791eamov [rbx], rax
001791edmov rax, 0x100000000000005
001791f7mov [rbx+8], rax
001791fbmov rdi, [rsp]
001791ffmov [rbx+16], rdi
00179203mov eax, 1
00179208mov rdi, [rdi-8]
0017920cshr rdi, 9
00179210or rdi, 1
00179214add rdi, -2
00179218cmp rax, rdi
0017921bjg 0x179256
0017921dmov [rsp+16], rdi
00179222mov [rsp+8], rax
00179227mov [rsp], rbx
0017922b
0017922bloc_17922b:
0017922bmov rbx, [rsp]
0017922fcall camlCounter.create_rec_646
00179234mov rax, [rsp+8]
00179239mov rbx, rax
0017923cadd rax, 2
00179240mov [rsp+8], rax
00179245mov rdi, [rsp+16]
0017924acmp rbx, rdi
0017924dje 0x179256
0017924fcmp r15, [r14]
00179252ja 0x17922b
00179254jmp 0x179260
00179256
00179256loc_179256:
00179256mov eax, 1
0017925badd rsp, 24
0017925fret
00179260
00179260loc_179260:
00179260call caml_call_gc
00179265jmp 0x17922b
00179267
00179267loc_179267:
00179267call caml_call_gc
0017926cjmp 0x1791d7
00179271
00179271loc_179271:
00179271push 36
00179273call caml_call_realloc_stack
00179278pop r10
0017927ajmp 0x1791b2
001791a0
001791a0camlCounter.hot_start_486:
001791a0lea r10, [rsp-344]
001791a8cmp r10, [r14+40]
001791acjb 0x179271
001791b2
001791b2loc_1791b2:
001791b2sub rsp, 24
001791b6mov [rsp], rax
001791balea rax, [rip+0x19a87f]
001791c1mov rax, [rax+80]
001791c5call Stdlib.Hashtbl.clear
001791casub r15, 32
001791cecmp r15, [r14]
001791d1jb 0x179267
001791d7
001791d7loc_1791d7:
001791d7lea rbx, [r15+8]
001791dbmov [rbx-8], 3319
001791e3lea rax, [rip+150]
001791eamov [rbx], rax
001791edmov rax, 0x100000000000005
001791f7mov [rbx+8], rax
001791fbmov rdi, [rsp]
001791ffmov [rbx+16], rdi
00179203mov eax, 1
00179208mov rdi, [rdi-8]
0017920cshr rdi, 9
00179210or rdi, 1
00179214add rdi, -2
00179218cmp rax, rdi
0017921bjg 0x179256
0017921dmov [rsp+16], rdi
00179222mov [rsp+8], rax
00179227mov [rsp], rbx
0017922b
0017922bloc_17922b:
0017922bmov rbx, [rsp]
0017922fcall camlCounter.create_rec_646
00179234mov rax, [rsp+8]
00179239mov rbx, rax
0017923cadd rax, 2
00179240mov [rsp+8], rax
00179245mov rdi, [rsp+16]
0017924acmp rbx, rdi
0017924dje 0x179256
0017924fcmp r15, [r14]
00179252ja 0x17922b
00179254jmp 0x179260
00179256
00179256loc_179256:
00179256mov eax, 1
0017925badd rsp, 24
0017925fret
00179260
00179260loc_179260:
00179260call caml_call_gc
00179265jmp 0x17922b
00179267
00179267loc_179267:
00179267call caml_call_gc
0017926cjmp 0x1791d7
00179271
00179271loc_179271:
00179271push 36
00179273call caml_call_realloc_stack
00179278pop r10
0017927ajmp 0x1791b2
001791a0
0017927f
0017927f // align 0x10
0017927f // align 0x10
00179280
00179280camlCounter.create_rec_646:
00179280lea r10, [rsp-360]
00179288cmp r10, [r14+40]
0017928cjb 0x1793e0
00179292
00179292loc_179292:
00179292sub rsp, 24
00179296mov [rsp+8], rbx
0017929bmov rbx, [rbx+16]
0017929fmov rdi, [rbx-8]
001792a3shr rdi, 9
001792a7cmp rdi, rax
001792aajbe 0x1793db
001792b0mov rax, [rbx+4*rax-4]
001792b5mov [rsp+16], rax
001792balea r11, [rip+43]
001792c1push r11
001792c3push [r14+48]
001792c7mov [r14+48], rsp
001792cbmov rbx, [rax]
001792celea rax, [rip+0x19a76b]
001792d5mov rax, [rax+80]
001792d9call Stdlib.Hashtbl.find
001792depop [r14+48]
001792e2add rsp, 8
001792e6jmp 0x1793cc
001792ebnop
001792eclea rbx, [rip+0x1b4325]
001792f3mov rbx, [rbx+56]
001792f7cmp rax, rbx
001792fajne 0x1793bc
00179300sub r15, 24
00179304cmp r15, [r14]
00179307jb 0x1793d1
0017930d
0017930dloc_17930d:
0017930dlea rdi, [r15+8]
00179311mov [rsp], rdi
00179315mov [rdi-8], 2048
0017931dmov rbx, [rsp+16]
00179322mov rax, [rbx+8]
00179326mov [rdi], rax
00179329mov [rdi+8], 1
00179331mov rbx, [rbx]
00179334lea rax, [rip+0x19a705]
0017933bmov rax, [rax+80]
0017933fcall Stdlib.Hashtbl.add
00179344mov rax, [rsp+16]
00179349mov rbx, [rax+16]
0017934dmov rax, [rsp+8]
00179352call Stdlib.List.map
00179357mov rdi, [rsp]
0017935badd rdi, 8
0017935fmov rsi, rax
00179362mov rbx, rsp
00179365mov rsp, [r14+64]
00179369call caml_modify
0017936emov rsp, rbx
00179371lea rax, [rip+0x1b0cf8]
00179378mov rax, [rax+80]
0017937cmov rax, [rax]
0017937fcmp rax, 3
00179383jle 0x1793b2
00179385lea rbx, [rip+0x19a924]
0017938clea rax, [rip+0x1b4285]
00179393mov rax, [rax+312]
0017939acall camlStdlib.output_string_253
0017939fmov rax, [rsp+8]
001793a4mov rax, [rax+16]
001793a8mov rbx, [rsp+16]
001793adcall camlCounter.prerr_cc_360
001793b2
001793b2loc_1793b2:
001793b2mov rax, [rsp]
001793b6add rsp, 24
001793baret
001793bbnop
001793bc
001793bcloc_1793bc:
001793bcmov rsp, [r14+48]
001793c0pop [r14+48]
001793c4pop r11
001793c6jmp r11
001793c9nop [rax]
001793cc
001793ccloc_1793cc:
001793ccadd rsp, 24
001793d0ret
001793d1
001793d1loc_1793d1:
001793d1call caml_call_gc
001793d6jmp 0x17930d
001793db
001793dbloc_1793db:
001793dbcall caml_ml_array_bound_error
001793e0
001793e0loc_1793e0:
001793e0push 38
001793e2call caml_call_realloc_stack
001793e7pop r10
001793e9jmp 0x179292
00179280
00179280camlCounter.create_rec_646:
00179280lea r10, [rsp-360]
00179288cmp r10, [r14+40]
0017928cjb 0x1793e0
00179292
00179292loc_179292:
00179292sub rsp, 24
00179296mov [rsp+8], rbx
0017929bmov rbx, [rbx+16]
0017929fmov rdi, [rbx-8]
001792a3shr rdi, 9
001792a7cmp rdi, rax
001792aajbe 0x1793db
001792b0mov rax, [rbx+4*rax-4]
001792b5mov [rsp+16], rax
001792balea r11, [rip+43]
001792c1push r11
001792c3push [r14+48]
001792c7mov [r14+48], rsp
001792cbmov rbx, [rax]
001792celea rax, [rip+0x19a76b]
001792d5mov rax, [rax+80]
001792d9call Stdlib.Hashtbl.find
001792depop [r14+48]
001792e2add rsp, 8
001792e6jmp 0x1793cc
001792ebnop
001792eclea rbx, [rip+0x1b4325]
001792f3mov rbx, [rbx+56]
001792f7cmp rax, rbx
001792fajne 0x1793bc
00179300sub r15, 24
00179304cmp r15, [r14]
00179307jb 0x1793d1
0017930d
0017930dloc_17930d:
0017930dlea rdi, [r15+8]
00179311mov [rsp], rdi
00179315mov [rdi-8], 2048
0017931dmov rbx, [rsp+16]
00179322mov rax, [rbx+8]
00179326mov [rdi], rax
00179329mov [rdi+8], 1
00179331mov rbx, [rbx]
00179334lea rax, [rip+0x19a705]
0017933bmov rax, [rax+80]
0017933fcall Stdlib.Hashtbl.add
00179344mov rax, [rsp+16]
00179349mov rbx, [rax+16]
0017934dmov rax, [rsp+8]
00179352call Stdlib.List.map
00179357mov rdi, [rsp]
0017935badd rdi, 8
0017935fmov rsi, rax
00179362mov rbx, rsp
00179365mov rsp, [r14+64]
00179369call caml_modify
0017936emov rsp, rbx
00179371lea rax, [rip+0x1b0cf8]
00179378mov rax, [rax+80]
0017937cmov rax, [rax]
0017937fcmp rax, 3
00179383jle 0x1793b2
00179385lea rbx, [rip+0x19a924]
0017938clea rax, [rip+0x1b4285]
00179393mov rax, [rax+312]
0017939acall camlStdlib.output_string_253
0017939fmov rax, [rsp+8]
001793a4mov rax, [rax+16]
001793a8mov rbx, [rsp+16]
001793adcall camlCounter.prerr_cc_360
001793b2
001793b2loc_1793b2:
001793b2mov rax, [rsp]
001793b6add rsp, 24
001793baret
001793bbnop
001793bc
001793bcloc_1793bc:
001793bcmov rsp, [r14+48]
001793c0pop [r14+48]
001793c4pop r11
001793c6jmp r11
001793c9nop [rax]
001793cc
001793ccloc_1793cc:
001793ccadd rsp, 24
001793d0ret
001793d1
001793d1loc_1793d1:
001793d1call caml_call_gc
001793d6jmp 0x17930d
001793db
001793dbloc_1793db:
001793dbcall caml_ml_array_bound_error
001793e0
001793e0loc_1793e0:
001793e0push 38
001793e2call caml_call_realloc_stack
001793e7pop r10
001793e9jmp 0x179292
00179280
001793ee
001793ee // align 0x10
001793ee // align 0x10
001793f0
001793f0camlCounter.unkown_651:
001793f0lea r10, [rsp-328]
001793f8cmp r10, [r14+40]
001793fcjb 0x179436
001793fe
001793feloc_1793fe:
001793fesub rsp, 8
00179402mov [rsp], rax
00179406lea rax, [rip+0x19a873]
0017940dcall camlStdlib.$5e_139
00179412mov rbx, rax
00179415mov rax, [rsp]
00179419call camlStdlib.$5e_139
0017941emov rbx, rax
00179421lea rax, [rip+0x19a868]
00179428call camlStdlib.$5e_139
0017942dadd rsp, 8
00179431jmp 0x1919c0
00179436
00179436loc_179436:
00179436push 34
00179438call caml_call_realloc_stack
0017943dpop r10
0017943fjmp 0x1793fe
001793f0
001793f0camlCounter.unkown_651:
001793f0lea r10, [rsp-328]
001793f8cmp r10, [r14+40]
001793fcjb 0x179436
001793fe
001793feloc_1793fe:
001793fesub rsp, 8
00179402mov [rsp], rax
00179406lea rax, [rip+0x19a873]
0017940dcall camlStdlib.$5e_139
00179412mov rbx, rax
00179415mov rax, [rsp]
00179419call camlStdlib.$5e_139
0017941emov rbx, rax
00179421lea rax, [rip+0x19a868]
00179428call camlStdlib.$5e_139
0017942dadd rsp, 8
00179431jmp 0x1919c0
00179436
00179436loc_179436:
00179436push 34
00179438call caml_call_realloc_stack
0017943dpop r10
0017943fjmp 0x1793fe
001793f0
00179441
00179441 // align 0x10
00179441 // align 0x10
00179450
00179450camlCounter.find_counter_655:
00179450mov rbx, rax
00179453lea rax, [rip+0x19a5e6]
0017945amov rax, [rax+80]
0017945ejmp 0x1e7950
00179450
00179450camlCounter.find_counter_655:
00179450mov rbx, rax
00179453lea rax, [rip+0x19a5e6]
0017945amov rax, [rax+80]
0017945ejmp 0x1e7950
00179450
00179463
00179463 // align 0x10
00179463 // align 0x10
00179470
00179470camlCounter.value_counter_658:
00179470lea r10, [rsp-344]
00179478cmp r10, [r14+40]
0017947cjb 0x1794f9
0017947e
0017947eloc_17947e:
0017947esub rsp, 8
00179482mov rbx, rax
00179485mov [rsp], rbx
00179489lea r11, [rip+40]
00179490push r11
00179492push [r14+48]
00179496mov [r14+48], rsp
0017949alea rax, [rip+0x19a59f]
001794a1mov rax, [rax+80]
001794a5call Stdlib.Hashtbl.find
001794aamov rax, [rax]
001794adpop [r14+48]
001794b1add rsp, 8
001794b5jmp 0x1794f4
001794b7nop
001794b8lea rbx, [rip+0x1b4159]
001794bfmov rbx, [rbx+56]
001794c3cmp rax, rbx
001794c6jne 0x1794e4
001794c8lea rbx, [rip+0x19a7a1]
001794cfmov rax, [rsp]
001794d3call camlCounter.unkown_651
001794d8mov eax, 1
001794ddadd rsp, 8
001794e1ret
001794e2nop
001794e4
001794e4loc_1794e4:
001794e4mov rsp, [r14+48]
001794e8pop [r14+48]
001794ecpop r11
001794eejmp r11
001794f1nop [rax]
001794f4
001794f4loc_1794f4:
001794f4add rsp, 8
001794f8ret
001794f9
001794f9loc_1794f9:
001794f9push 36
001794fbcall caml_call_realloc_stack
00179500pop r10
00179502jmp 0x17947e
00179470
00179470camlCounter.value_counter_658:
00179470lea r10, [rsp-344]
00179478cmp r10, [r14+40]
0017947cjb 0x1794f9
0017947e
0017947eloc_17947e:
0017947esub rsp, 8
00179482mov rbx, rax
00179485mov [rsp], rbx
00179489lea r11, [rip+40]
00179490push r11
00179492push [r14+48]
00179496mov [r14+48], rsp
0017949alea rax, [rip+0x19a59f]
001794a1mov rax, [rax+80]
001794a5call Stdlib.Hashtbl.find
001794aamov rax, [rax]
001794adpop [r14+48]
001794b1add rsp, 8
001794b5jmp 0x1794f4
001794b7nop
001794b8lea rbx, [rip+0x1b4159]
001794bfmov rbx, [rbx+56]
001794c3cmp rax, rbx
001794c6jne 0x1794e4
001794c8lea rbx, [rip+0x19a7a1]
001794cfmov rax, [rsp]
001794d3call camlCounter.unkown_651
001794d8mov eax, 1
001794ddadd rsp, 8
001794e1ret
001794e2nop
001794e4
001794e4loc_1794e4:
001794e4mov rsp, [r14+48]
001794e8pop [r14+48]
001794ecpop r11
001794eejmp r11
001794f1nop [rax]
001794f4
001794f4loc_1794f4:
001794f4add rsp, 8
001794f8ret
001794f9
001794f9loc_1794f9:
001794f9push 36
001794fbcall caml_call_realloc_stack
00179500pop r10
00179502jmp 0x17947e
00179470
00179507
00179507 // align 0x10
00179507 // align 0x10
00179510
00179510camlCounter.def_counter_662:
00179510lea r10, [rsp-360]
00179518cmp r10, [r14+40]
0017951cjb 0x179778
00179522
00179522loc_179522:
00179522sub rsp, 24
00179526mov rdi, rax
00179529mov [rsp+16], rdi
0017952emov [rsp], rbx
00179532lea r11, [rip+89]
00179539push r11
0017953bpush [r14+48]
0017953fmov [r14+48], rsp
00179543lea rax, [rip+0x19a4f6]
0017954amov rax, [rax+80]
0017954emov rbx, rdi
00179551call Stdlib.Hashtbl.find
00179556lea rbx, [rip+0x19a6cb]
0017955dmov rax, [rsp+32]
00179562call camlStdlib.$5e_139
00179567mov rbx, rax
0017956alea rax, [rip+0x19a6e7]
00179571call camlStdlib.$5e_139
00179576call camlMisc.warning_287
0017957blea rax, [rip+0x19b3e6]
00179582mov rax, [rax]
00179585mov rsp, [r14+48]
00179589pop [r14+48]
0017958dpop r11
0017958fjmp r11
00179592lea rbx, [rip+0x1b407f]
00179599mov rbx, [rbx+56]
0017959dcmp rax, rbx
001795a0jne 0x179750
001795a6lea r11, [rip+147]
001795adpush r11
001795afpush [r14+48]
001795b3mov [r14+48], rsp
001795b7mov rbx, [rsp+16]
001795bcmov rax, [rbx-8]
001795c0shr rax, 10
001795c4cmp rax, 2
001795c8jl 0x1795d4
001795camov [rsp+16], rbx
001795cfjmp 0x179600
001795d1nop [rax]
001795d4
001795d4loc_1795d4:
001795d4mov rax, [rbx]
001795d7mov rdi, 0x700000000000000
001795e1cmp rax, rdi
001795e4jne 0x1795f0
001795e6mov eax, 1
001795ebjmp 0x1795f8
001795ednop [rax]
001795f0
001795f0loc_1795f0:
001795f0mov [rsp+16], rbx
001795f5jmp 0x179600
001795f7nop
001795f8
001795f8loc_1795f8:
001795f8mov [rsp+16], rax
001795fdjmp 0x179634
001795ffnop
00179600
00179600loc_179600:
00179600lea rax, [rip+0x19a439]
00179607mov rax, [rax+80]
0017960bcall Stdlib.Hashtbl.find
00179610sub r15, 16
00179614cmp r15, [r14]
00179617jb 0x17976e
0017961d
0017961dloc_17961d:
0017961dlea rbx, [r15+8]
00179621mov [rbx-8], 1024
00179629mov [rbx], rax
0017962cmov rax, rbx
0017962fmov [rsp+16], rax
00179634
00179634loc_179634:
00179634pop [r14+48]
00179638add rsp, 8
0017963cjmp 0x1796b4
0017963enop
00179640lea rbx, [rip+0x1b3fd1]
00179647mov rbx, [rbx+56]
0017964bcmp rax, rbx
0017964ejne 0x1796a0
00179650lea rbx, [rip+0x19a599]
00179657mov rax, [rsp]
0017965bcall camlStdlib.$5e_139
00179660mov rbx, rax
00179663lea rax, [rip+0x19a596]
0017966acall camlStdlib.$5e_139
0017966fmov rbx, rax
00179672mov rax, [rsp+16]
00179677call camlStdlib.$5e_139
0017967cmov rbx, rax
0017967flea rax, [rip+0x19a58a]
00179686call camlStdlib.$5e_139
0017968bmov rbx, rax
0017968emov rax, [rsp]
00179692call camlCounter.unkown_651
00179697mov eax, 1
0017969cjmp 0x1796b0
0017969enop
001796a0
001796a0loc_1796a0:
001796a0mov rsp, [r14+48]
001796a4pop [r14+48]
001796a8pop r11
001796aajmp r11
001796adnop [rax]
001796b0
001796b0loc_1796b0:
001796b0mov [rsp], rax
001796b4
001796b4loc_1796b4:
001796b4sub r15, 24
001796b8cmp r15, [r14]
001796bbjb 0x179764
001796c1
001796c1loc_1796c1:
001796c1lea rdi, [r15+8]
001796c5mov [rsp+8], rdi
001796camov [rdi-8], 2048
001796d2mov [rdi], 1
001796d9mov [rdi+8], 1
001796e1lea rax, [rip+0x19a358]
001796e8mov rax, [rax+80]
001796ecmov rbx, [rsp+16]
001796f1call Stdlib.Hashtbl.add
001796f6mov rax, [rsp]
001796fatest al, 1
001796fcje 0x179708
001796femov eax, 1
00179703add rsp, 24
00179707ret
00179708
00179708loc_179708:
00179708mov rdi, [rax]
0017970bsub r15, 24
0017970fcmp r15, [r14]
00179712jb 0x17975d
00179714
00179714loc_179714:
00179714lea rsi, [r15+8]
00179718mov [rsi-8], 2048
00179720mov rax, [rsp+8]
00179725mov [rsi], rax
00179728mov rax, [rdi+8]
0017972cmov [rsi+8], rax
00179730add rdi, 8
00179734mov rbx, rsp
00179737mov rsp, [r14+64]
0017973bcall caml_modify
00179740mov rsp, rbx
00179743mov eax, 1
00179748add rsp, 24
0017974cret
0017974dnop [rax]
00179750
00179750loc_179750:
00179750mov rsp, [r14+48]
00179754pop [r14+48]
00179758pop r11
0017975ajmp r11
0017975d
0017975dloc_17975d:
0017975dcall caml_call_gc
00179762jmp 0x179714
00179764
00179764loc_179764:
00179764call caml_call_gc
00179769jmp 0x1796c1
0017976e
0017976eloc_17976e:
0017976ecall caml_call_gc
00179773jmp 0x17961d
00179778
00179778loc_179778:
00179778push 38
0017977acall caml_call_realloc_stack
0017977fpop r10
00179781jmp 0x179522
00179510
00179510camlCounter.def_counter_662:
00179510lea r10, [rsp-360]
00179518cmp r10, [r14+40]
0017951cjb 0x179778
00179522
00179522loc_179522:
00179522sub rsp, 24
00179526mov rdi, rax
00179529mov [rsp+16], rdi
0017952emov [rsp], rbx
00179532lea r11, [rip+89]
00179539push r11
0017953bpush [r14+48]
0017953fmov [r14+48], rsp
00179543lea rax, [rip+0x19a4f6]
0017954amov rax, [rax+80]
0017954emov rbx, rdi
00179551call Stdlib.Hashtbl.find
00179556lea rbx, [rip+0x19a6cb]
0017955dmov rax, [rsp+32]
00179562call camlStdlib.$5e_139
00179567mov rbx, rax
0017956alea rax, [rip+0x19a6e7]
00179571call camlStdlib.$5e_139
00179576call camlMisc.warning_287
0017957blea rax, [rip+0x19b3e6]
00179582mov rax, [rax]
00179585mov rsp, [r14+48]
00179589pop [r14+48]
0017958dpop r11
0017958fjmp r11
00179592lea rbx, [rip+0x1b407f]
00179599mov rbx, [rbx+56]
0017959dcmp rax, rbx
001795a0jne 0x179750
001795a6lea r11, [rip+147]
001795adpush r11
001795afpush [r14+48]
001795b3mov [r14+48], rsp
001795b7mov rbx, [rsp+16]
001795bcmov rax, [rbx-8]
001795c0shr rax, 10
001795c4cmp rax, 2
001795c8jl 0x1795d4
001795camov [rsp+16], rbx
001795cfjmp 0x179600
001795d1nop [rax]
001795d4
001795d4loc_1795d4:
001795d4mov rax, [rbx]
001795d7mov rdi, 0x700000000000000
001795e1cmp rax, rdi
001795e4jne 0x1795f0
001795e6mov eax, 1
001795ebjmp 0x1795f8
001795ednop [rax]
001795f0
001795f0loc_1795f0:
001795f0mov [rsp+16], rbx
001795f5jmp 0x179600
001795f7nop
001795f8
001795f8loc_1795f8:
001795f8mov [rsp+16], rax
001795fdjmp 0x179634
001795ffnop
00179600
00179600loc_179600:
00179600lea rax, [rip+0x19a439]
00179607mov rax, [rax+80]
0017960bcall Stdlib.Hashtbl.find
00179610sub r15, 16
00179614cmp r15, [r14]
00179617jb 0x17976e
0017961d
0017961dloc_17961d:
0017961dlea rbx, [r15+8]
00179621mov [rbx-8], 1024
00179629mov [rbx], rax
0017962cmov rax, rbx
0017962fmov [rsp+16], rax
00179634
00179634loc_179634:
00179634pop [r14+48]
00179638add rsp, 8
0017963cjmp 0x1796b4
0017963enop
00179640lea rbx, [rip+0x1b3fd1]
00179647mov rbx, [rbx+56]
0017964bcmp rax, rbx
0017964ejne 0x1796a0
00179650lea rbx, [rip+0x19a599]
00179657mov rax, [rsp]
0017965bcall camlStdlib.$5e_139
00179660mov rbx, rax
00179663lea rax, [rip+0x19a596]
0017966acall camlStdlib.$5e_139
0017966fmov rbx, rax
00179672mov rax, [rsp+16]
00179677call camlStdlib.$5e_139
0017967cmov rbx, rax
0017967flea rax, [rip+0x19a58a]
00179686call camlStdlib.$5e_139
0017968bmov rbx, rax
0017968emov rax, [rsp]
00179692call camlCounter.unkown_651
00179697mov eax, 1
0017969cjmp 0x1796b0
0017969enop
001796a0
001796a0loc_1796a0:
001796a0mov rsp, [r14+48]
001796a4pop [r14+48]
001796a8pop r11
001796aajmp r11
001796adnop [rax]
001796b0
001796b0loc_1796b0:
001796b0mov [rsp], rax
001796b4
001796b4loc_1796b4:
001796b4sub r15, 24
001796b8cmp r15, [r14]
001796bbjb 0x179764
001796c1
001796c1loc_1796c1:
001796c1lea rdi, [r15+8]
001796c5mov [rsp+8], rdi
001796camov [rdi-8], 2048
001796d2mov [rdi], 1
001796d9mov [rdi+8], 1
001796e1lea rax, [rip+0x19a358]
001796e8mov rax, [rax+80]
001796ecmov rbx, [rsp+16]
001796f1call Stdlib.Hashtbl.add
001796f6mov rax, [rsp]
001796fatest al, 1
001796fcje 0x179708
001796femov eax, 1
00179703add rsp, 24
00179707ret
00179708
00179708loc_179708:
00179708mov rdi, [rax]
0017970bsub r15, 24
0017970fcmp r15, [r14]
00179712jb 0x17975d
00179714
00179714loc_179714:
00179714lea rsi, [r15+8]
00179718mov [rsi-8], 2048
00179720mov rax, [rsp+8]
00179725mov [rsi], rax
00179728mov rax, [rdi+8]
0017972cmov [rsi+8], rax
00179730add rdi, 8
00179734mov rbx, rsp
00179737mov rsp, [r14+64]
0017973bcall caml_modify
00179740mov rsp, rbx
00179743mov eax, 1
00179748add rsp, 24
0017974cret
0017974dnop [rax]
00179750
00179750loc_179750:
00179750mov rsp, [r14+48]
00179754pop [r14+48]
00179758pop r11
0017975ajmp r11
0017975d
0017975dloc_17975d:
0017975dcall caml_call_gc
00179762jmp 0x179714
00179764
00179764loc_179764:
00179764call caml_call_gc
00179769jmp 0x1796c1
0017976e
0017976eloc_17976e:
0017976ecall caml_call_gc
00179773jmp 0x17961d
00179778
00179778loc_179778:
00179778push 38
0017977acall caml_call_realloc_stack
0017977fpop r10
00179781jmp 0x179522
00179510
00179786
00179786 // align 0x10
00179786 // align 0x10
00179790
00179790camlCounter.add_counter_693:
00179790lea r10, [rsp-352]
00179798cmp r10, [r14+40]
0017979cjb 0x179831
001797a2
001797a2loc_1797a2:
001797a2sub rsp, 16
001797a6mov rdi, rax
001797a9mov [rsp], rdi
001797admov [rsp+8], rbx
001797b2lea r11, [rip+63]
001797b9push r11
001797bbpush [r14+48]
001797bfmov [r14+48], rsp
001797c3lea rax, [rip+0x19a276]
001797camov rax, [rax+80]
001797cemov rbx, rdi
001797d1call Stdlib.Hashtbl.find
001797d6mov rbx, [rax]
001797d9mov rdi, [rsp+24]
001797delea rbx, [rbx+rdi-1]
001797e3mov [rax], rbx
001797e6mov eax, 1
001797ebpop [r14+48]
001797efadd rsp, 8
001797f3jmp 0x17982c
001797f5nop [rax]
001797f8lea rbx, [rip+0x1b3e19]
001797ffmov rbx, [rbx+56]
00179803cmp rax, rbx
00179806jne 0x17981c
00179808lea rbx, [rip+0x19a3a9]
0017980fmov rax, [rsp]
00179813add rsp, 16
00179817jmp 0x1793f0
0017981c
0017981cloc_17981c:
0017981cmov rsp, [r14+48]
00179820pop [r14+48]
00179824pop r11
00179826jmp r11
00179829nop [rax]
0017982c
0017982cloc_17982c:
0017982cadd rsp, 16
00179830ret
00179831
00179831loc_179831:
00179831push 37
00179833call caml_call_realloc_stack
00179838pop r10
0017983ajmp 0x1797a2
00179790
00179790camlCounter.add_counter_693:
00179790lea r10, [rsp-352]
00179798cmp r10, [r14+40]
0017979cjb 0x179831
001797a2
001797a2loc_1797a2:
001797a2sub rsp, 16
001797a6mov rdi, rax
001797a9mov [rsp], rdi
001797admov [rsp+8], rbx
001797b2lea r11, [rip+63]
001797b9push r11
001797bbpush [r14+48]
001797bfmov [r14+48], rsp
001797c3lea rax, [rip+0x19a276]
001797camov rax, [rax+80]
001797cemov rbx, rdi
001797d1call Stdlib.Hashtbl.find
001797d6mov rbx, [rax]
001797d9mov rdi, [rsp+24]
001797delea rbx, [rbx+rdi-1]
001797e3mov [rax], rbx
001797e6mov eax, 1
001797ebpop [r14+48]
001797efadd rsp, 8
001797f3jmp 0x17982c
001797f5nop [rax]
001797f8lea rbx, [rip+0x1b3e19]
001797ffmov rbx, [rbx+56]
00179803cmp rax, rbx
00179806jne 0x17981c
00179808lea rbx, [rip+0x19a3a9]
0017980fmov rax, [rsp]
00179813add rsp, 16
00179817jmp 0x1793f0
0017981c
0017981cloc_17981c:
0017981cmov rsp, [r14+48]
00179820pop [r14+48]
00179824pop r11
00179826jmp r11
00179829nop [rax]
0017982c
0017982cloc_17982c:
0017982cadd rsp, 16
00179830ret
00179831
00179831loc_179831:
00179831push 37
00179833call caml_call_realloc_stack
00179838pop r10
0017983ajmp 0x1797a2
00179790
0017983f
0017983f // align 0x10
0017983f // align 0x10
00179840
00179840camlCounter.set_counter_698:
00179840lea r10, [rsp-352]
00179848cmp r10, [r14+40]
0017984cjb 0x1798d9
00179852
00179852loc_179852:
00179852sub rsp, 16
00179856mov rdi, rax
00179859mov [rsp], rdi
0017985dmov [rsp+8], rbx
00179862lea r11, [rip+55]
00179869push r11
0017986bpush [r14+48]
0017986fmov [r14+48], rsp
00179873lea rax, [rip+0x19a1c6]
0017987amov rax, [rax+80]
0017987emov rbx, rdi
00179881call Stdlib.Hashtbl.find
00179886mov rbx, [rsp+24]
0017988bmov [rax], rbx
0017988emov eax, 1
00179893pop [r14+48]
00179897add rsp, 8
0017989bjmp 0x1798d4
0017989dnop [rax]
001798a0lea rbx, [rip+0x1b3d71]
001798a7mov rbx, [rbx+56]
001798abcmp rax, rbx
001798aejne 0x1798c4
001798b0lea rbx, [rip+0x19a2e9]
001798b7mov rax, [rsp]
001798bbadd rsp, 16
001798bfjmp 0x1793f0
001798c4
001798c4loc_1798c4:
001798c4mov rsp, [r14+48]
001798c8pop [r14+48]
001798ccpop r11
001798cejmp r11
001798d1nop [rax]
001798d4
001798d4loc_1798d4:
001798d4add rsp, 16
001798d8ret
001798d9
001798d9loc_1798d9:
001798d9push 37
001798dbcall caml_call_realloc_stack
001798e0pop r10
001798e2jmp 0x179852
00179840
00179840camlCounter.set_counter_698:
00179840lea r10, [rsp-352]
00179848cmp r10, [r14+40]
0017984cjb 0x1798d9
00179852
00179852loc_179852:
00179852sub rsp, 16
00179856mov rdi, rax
00179859mov [rsp], rdi
0017985dmov [rsp+8], rbx
00179862lea r11, [rip+55]
00179869push r11
0017986bpush [r14+48]
0017986fmov [r14+48], rsp
00179873lea rax, [rip+0x19a1c6]
0017987amov rax, [rax+80]
0017987emov rbx, rdi
00179881call Stdlib.Hashtbl.find
00179886mov rbx, [rsp+24]
0017988bmov [rax], rbx
0017988emov eax, 1
00179893pop [r14+48]
00179897add rsp, 8
0017989bjmp 0x1798d4
0017989dnop [rax]
001798a0lea rbx, [rip+0x1b3d71]
001798a7mov rbx, [rbx+56]
001798abcmp rax, rbx
001798aejne 0x1798c4
001798b0lea rbx, [rip+0x19a2e9]
001798b7mov rax, [rsp]
001798bbadd rsp, 16
001798bfjmp 0x1793f0
001798c4
001798c4loc_1798c4:
001798c4mov rsp, [r14+48]
001798c8pop [r14+48]
001798ccpop r11
001798cejmp r11
001798d1nop [rax]
001798d4
001798d4loc_1798d4:
001798d4add rsp, 16
001798d8ret
001798d9
001798d9loc_1798d9:
001798d9push 37
001798dbcall caml_call_realloc_stack
001798e0pop r10
001798e2jmp 0x179852
00179840
001798e7
001798e7 // align 0x10
001798e7 // align 0x10
001798f0
001798f0camlCounter.step_counter_703:
001798f0lea r10, [rsp-344]
001798f8cmp r10, [r14+40]
001798fcjb 0x179985
00179902
00179902loc_179902:
00179902sub rsp, 8
00179906mov rbx, rax
00179909mov [rsp], rbx
0017990dlea r11, [rip+56]
00179914push r11
00179916push [r14+48]
0017991amov [r14+48], rsp
0017991elea rax, [rip+0x19a11b]
00179925mov rax, [rax+80]
00179929call Stdlib.Hashtbl.find
0017992eadd [rax], 2
00179932mov rbx, [rax+8]
00179936lea rax, [rip+0x199f93]
0017993dcall Stdlib.List.iter
00179942pop [r14+48]
00179946add rsp, 8
0017994ajmp 0x179980
0017994clea rbx, [rip+0x1b3cc5]
00179953mov rbx, [rbx+56]
00179957cmp rax, rbx
0017995ajne 0x179970
0017995clea rbx, [rip+0x19a225]
00179963mov rax, [rsp]
00179967add rsp, 8
0017996bjmp 0x1793f0
00179970
00179970loc_179970:
00179970mov rsp, [r14+48]
00179974pop [r14+48]
00179978pop r11
0017997ajmp r11
0017997dnop [rax]
00179980
00179980loc_179980:
00179980add rsp, 8
00179984ret
00179985
00179985loc_179985:
00179985push 36
00179987call caml_call_realloc_stack
0017998cpop r10
0017998ejmp 0x179902
001798f0
001798f0camlCounter.step_counter_703:
001798f0lea r10, [rsp-344]
001798f8cmp r10, [r14+40]
001798fcjb 0x179985
00179902
00179902loc_179902:
00179902sub rsp, 8
00179906mov rbx, rax
00179909mov [rsp], rbx
0017990dlea r11, [rip+56]
00179914push r11
00179916push [r14+48]
0017991amov [r14+48], rsp
0017991elea rax, [rip+0x19a11b]
00179925mov rax, [rax+80]
00179929call Stdlib.Hashtbl.find
0017992eadd [rax], 2
00179932mov rbx, [rax+8]
00179936lea rax, [rip+0x199f93]
0017993dcall Stdlib.List.iter
00179942pop [r14+48]
00179946add rsp, 8
0017994ajmp 0x179980
0017994clea rbx, [rip+0x1b3cc5]
00179953mov rbx, [rbx+56]
00179957cmp rax, rbx
0017995ajne 0x179970
0017995clea rbx, [rip+0x19a225]
00179963mov rax, [rsp]
00179967add rsp, 8
0017996bjmp 0x1793f0
00179970
00179970loc_179970:
00179970mov rsp, [r14+48]
00179974pop [r14+48]
00179978pop r11
0017997ajmp r11
0017997dnop [rax]
00179980
00179980loc_179980:
00179980add rsp, 8
00179984ret
00179985
00179985loc_179985:
00179985push 36
00179987call caml_call_realloc_stack
0017998cpop r10
0017998ejmp 0x179902
001798f0
00179993
00179993 // align 0x10
00179993 // align 0x10
001799ad
001799ad // align 0x10
001799ad // align 0x10
001799b0
001799b0camlCounter.addtoreset_708:
001799b0lea r10, [rsp-360]
001799b8cmp r10, [r14+40]
001799bcjb 0x179abf
001799c2
001799c2loc_1799c2:
001799c2sub rsp, 24
001799c6mov rdi, rax
001799c9mov [rsp], rdi
001799cdmov [rsp+8], rbx
001799d2lea r11, [rip+135]
001799d9push r11
001799dbpush [r14+48]
001799dfmov [r14+48], rsp
001799e3lea rax, [rip+0x19a056]
001799eamov rax, [rax+80]
001799eemov rbx, rdi
001799f1call Stdlib.Hashtbl.find
001799f6mov [rsp+32], rax
001799fblea rax, [rip+0x19a03e]
00179a02mov rax, [rax+80]
00179a06mov rbx, [rsp+24]
00179a0bcall Stdlib.Hashtbl.find
00179a10sub r15, 24
00179a14cmp r15, [r14]
00179a17jb 0x179ab5
00179a1d
00179a1dloc_179a1d:
00179a1dlea rsi, [r15+8]
00179a21mov [rsi-8], 2048
00179a29mov rbx, [rsp+32]
00179a2emov [rsi], rbx
00179a31mov rbx, [rax+8]
00179a35mov [rsi+8], rbx
00179a39add rax, 8
00179a3dmov rdi, rax
00179a40mov rbx, rsp
00179a43mov rsp, [r14+64]
00179a47call caml_modify
00179a4cmov rsp, rbx
00179a4fmov eax, 1
00179a54pop [r14+48]
00179a58add rsp, 8
00179a5cjmp 0x179ab0
00179a5enop
00179a60lea rbx, [rip+0x1b3bb1]
00179a67mov rbx, [rbx+56]
00179a6bcmp rax, rbx
00179a6ejne 0x179aa0
00179a70lea rax, [rip+0x19a101]
00179a77mov rbx, [rsp+8]
00179a7ccall camlStdlib.$5e_139
00179a81mov rbx, rax
00179a84mov rax, [rsp]
00179a88call camlStdlib.$5e_139
00179a8dlea rbx, [rip+0x19a0cc]
00179a94add rsp, 24
00179a98jmp 0x1793f0
00179a9dnop [rax]
00179aa0
00179aa0loc_179aa0:
00179aa0mov rsp, [r14+48]
00179aa4pop [r14+48]
00179aa8pop r11
00179aaajmp r11
00179aadnop [rax]
00179ab0
00179ab0loc_179ab0:
00179ab0add rsp, 24
00179ab4ret
00179ab5
00179ab5loc_179ab5:
00179ab5call caml_call_gc
00179abajmp 0x179a1d
00179abf
00179abfloc_179abf:
00179abfpush 38
00179ac1call caml_call_realloc_stack
00179ac6pop r10
00179ac8jmp 0x1799c2
001799b0
001799b0camlCounter.addtoreset_708:
001799b0lea r10, [rsp-360]
001799b8cmp r10, [r14+40]
001799bcjb 0x179abf
001799c2
001799c2loc_1799c2:
001799c2sub rsp, 24
001799c6mov rdi, rax
001799c9mov [rsp], rdi
001799cdmov [rsp+8], rbx
001799d2lea r11, [rip+135]
001799d9push r11
001799dbpush [r14+48]
001799dfmov [r14+48], rsp
001799e3lea rax, [rip+0x19a056]
001799eamov rax, [rax+80]
001799eemov rbx, rdi
001799f1call Stdlib.Hashtbl.find
001799f6mov [rsp+32], rax
001799fblea rax, [rip+0x19a03e]
00179a02mov rax, [rax+80]
00179a06mov rbx, [rsp+24]
00179a0bcall Stdlib.Hashtbl.find
00179a10sub r15, 24
00179a14cmp r15, [r14]
00179a17jb 0x179ab5
00179a1d
00179a1dloc_179a1d:
00179a1dlea rsi, [r15+8]
00179a21mov [rsi-8], 2048
00179a29mov rbx, [rsp+32]
00179a2emov [rsi], rbx
00179a31mov rbx, [rax+8]
00179a35mov [rsi+8], rbx
00179a39add rax, 8
00179a3dmov rdi, rax
00179a40mov rbx, rsp
00179a43mov rsp, [r14+64]
00179a47call caml_modify
00179a4cmov rsp, rbx
00179a4fmov eax, 1
00179a54pop [r14+48]
00179a58add rsp, 8
00179a5cjmp 0x179ab0
00179a5enop
00179a60lea rbx, [rip+0x1b3bb1]
00179a67mov rbx, [rbx+56]
00179a6bcmp rax, rbx
00179a6ejne 0x179aa0
00179a70lea rax, [rip+0x19a101]
00179a77mov rbx, [rsp+8]
00179a7ccall camlStdlib.$5e_139
00179a81mov rbx, rax
00179a84mov rax, [rsp]
00179a88call camlStdlib.$5e_139
00179a8dlea rbx, [rip+0x19a0cc]
00179a94add rsp, 24
00179a98jmp 0x1793f0
00179a9dnop [rax]
00179aa0
00179aa0loc_179aa0:
00179aa0mov rsp, [r14+48]
00179aa4pop [r14+48]
00179aa8pop r11
00179aaajmp r11
00179aadnop [rax]
00179ab0
00179ab0loc_179ab0:
00179ab0add rsp, 24
00179ab4ret
00179ab5
00179ab5loc_179ab5:
00179ab5call caml_call_gc
00179abajmp 0x179a1d
00179abf
00179abfloc_179abf:
00179abfpush 38
00179ac1call caml_call_realloc_stack
00179ac6pop r10
00179ac8jmp 0x1799c2
001799b0
00179acd
00179acd // align 0x10
00179acd // align 0x10
00179ad0
00179ad0camlCounter.removefromreset_709:
00179ad0lea r10, [rsp-368]
00179ad8cmp r10, [r14+40]
00179adcjb 0x179c17
00179ae2
00179ae2loc_179ae2:
00179ae2sub rsp, 32
00179ae6mov rdi, rax
00179ae9mov [rsp], rdi
00179aedmov [rsp+8], rbx
00179af2lea r11, [rip+191]
00179af9push r11
00179afbpush [r14+48]
00179affmov [r14+48], rsp
00179b03lea rax, [rip+0x199f36]
00179b0amov rax, [rax+80]
00179b0emov rbx, rdi
00179b11call Stdlib.Hashtbl.find
00179b16mov [rsp+32], rax
00179b1blea rax, [rip+0x199f1e]
00179b22mov rax, [rax+80]
00179b26mov rbx, [rsp+24]
00179b2bcall Stdlib.Hashtbl.find
00179b30mov [rsp+40], rax
00179b35sub r15, 40
00179b39cmp r15, [r14]
00179b3cjb 0x179c0d
00179b42
00179b42loc_179b42:
00179b42lea rsi, [r15+8]
00179b46mov [rsi-8], 4343
00179b4elea rbx, [rip-0x82b35]
00179b55mov [rsi], rbx
00179b58mov rbx, 0x200000000000007
00179b62mov [rsi+8], rbx
00179b66lea rbx, [rip+195]
00179b6dmov [rsi+16], rbx
00179b71mov rbx, [rsp+32]
00179b76mov [rsi+24], rbx
00179b7amov edi, 1
00179b7fmov rbx, [rax+8]
00179b83mov rax, rsi
00179b86call Stdlib.List.fold_right
00179b8bmov rdi, [rsp+40]
00179b90add rdi, 8
00179b94mov rsi, rax
00179b97mov rbx, rsp
00179b9amov rsp, [r14+64]
00179b9ecall caml_modify
00179ba3mov rsp, rbx
00179ba6mov eax, 1
00179babpop [r14+48]
00179bafadd rsp, 8
00179bb3jmp 0x179c08
00179bb5nop [rax]
00179bb8lea rbx, [rip+0x1b3a59]
00179bbfmov rbx, [rbx+56]
00179bc3cmp rax, rbx
00179bc6jne 0x179bf8
00179bc8lea rax, [rip+0x199fa9]
00179bcfmov rbx, [rsp+8]
00179bd4call camlStdlib.$5e_139
00179bd9mov rbx, rax
00179bdcmov rax, [rsp]
00179be0call camlStdlib.$5e_139
00179be5lea rbx, [rip+0x199f54]
00179becadd rsp, 32
00179bf0jmp 0x1793f0
00179bf5nop [rax]
00179bf8
00179bf8loc_179bf8:
00179bf8mov rsp, [r14+48]
00179bfcpop [r14+48]
00179c00pop r11
00179c02jmp r11
00179c05nop [rax]
00179c08
00179c08loc_179c08:
00179c08add rsp, 32
00179c0cret
00179c0d
00179c0dloc_179c0d:
00179c0dcall caml_call_gc
00179c12jmp 0x179b42
00179c17
00179c17loc_179c17:
00179c17push 39
00179c19call caml_call_realloc_stack
00179c1epop r10
00179c20jmp 0x179ae2
00179ad0
00179ad0camlCounter.removefromreset_709:
00179ad0lea r10, [rsp-368]
00179ad8cmp r10, [r14+40]
00179adcjb 0x179c17
00179ae2
00179ae2loc_179ae2:
00179ae2sub rsp, 32
00179ae6mov rdi, rax
00179ae9mov [rsp], rdi
00179aedmov [rsp+8], rbx
00179af2lea r11, [rip+191]
00179af9push r11
00179afbpush [r14+48]
00179affmov [r14+48], rsp
00179b03lea rax, [rip+0x199f36]
00179b0amov rax, [rax+80]
00179b0emov rbx, rdi
00179b11call Stdlib.Hashtbl.find
00179b16mov [rsp+32], rax
00179b1blea rax, [rip+0x199f1e]
00179b22mov rax, [rax+80]
00179b26mov rbx, [rsp+24]
00179b2bcall Stdlib.Hashtbl.find
00179b30mov [rsp+40], rax
00179b35sub r15, 40
00179b39cmp r15, [r14]
00179b3cjb 0x179c0d
00179b42
00179b42loc_179b42:
00179b42lea rsi, [r15+8]
00179b46mov [rsi-8], 4343
00179b4elea rbx, [rip-0x82b35]
00179b55mov [rsi], rbx
00179b58mov rbx, 0x200000000000007
00179b62mov [rsi+8], rbx
00179b66lea rbx, [rip+195]
00179b6dmov [rsi+16], rbx
00179b71mov rbx, [rsp+32]
00179b76mov [rsi+24], rbx
00179b7amov edi, 1
00179b7fmov rbx, [rax+8]
00179b83mov rax, rsi
00179b86call Stdlib.List.fold_right
00179b8bmov rdi, [rsp+40]
00179b90add rdi, 8
00179b94mov rsi, rax
00179b97mov rbx, rsp
00179b9amov rsp, [r14+64]
00179b9ecall caml_modify
00179ba3mov rsp, rbx
00179ba6mov eax, 1
00179babpop [r14+48]
00179bafadd rsp, 8
00179bb3jmp 0x179c08
00179bb5nop [rax]
00179bb8lea rbx, [rip+0x1b3a59]
00179bbfmov rbx, [rbx+56]
00179bc3cmp rax, rbx
00179bc6jne 0x179bf8
00179bc8lea rax, [rip+0x199fa9]
00179bcfmov rbx, [rsp+8]
00179bd4call camlStdlib.$5e_139
00179bd9mov rbx, rax
00179bdcmov rax, [rsp]
00179be0call camlStdlib.$5e_139
00179be5lea rbx, [rip+0x199f54]
00179becadd rsp, 32
00179bf0jmp 0x1793f0
00179bf5nop [rax]
00179bf8
00179bf8loc_179bf8:
00179bf8mov rsp, [r14+48]
00179bfcpop [r14+48]
00179c00pop r11
00179c02jmp r11
00179c05nop [rax]
00179c08
00179c08loc_179c08:
00179c08add rsp, 32
00179c0cret
00179c0d
00179c0dloc_179c0d:
00179c0dcall caml_call_gc
00179c12jmp 0x179b42
00179c17
00179c17loc_179c17:
00179c17push 39
00179c19call caml_call_realloc_stack
00179c1epop r10
00179c20jmp 0x179ae2
00179ad0
00179c25
00179c25 // align 0x10
00179c25 // align 0x10
00179c30
00179c30camlCounter.fun_806:
00179c30mov rsi, rax
00179c33mov rax, [rdi+24]
00179c37cmp rsi, rax
00179c3ajne 0x179c40
00179c3cmov rax, rbx
00179c3fret
00179c40
00179c40loc_179c40:
00179c40sub r15, 24
00179c44cmp r15, [r14]
00179c47jb 0x179c5d
00179c49
00179c49loc_179c49:
00179c49lea rax, [r15+8]
00179c4dmov [rax-8], 2048
00179c55mov [rax], rsi
00179c58mov [rax+8], rbx
00179c5cret
00179c5d
00179c5dloc_179c5d:
00179c5dcall caml_call_gc
00179c62jmp 0x179c49
00179c30
00179c30camlCounter.fun_806:
00179c30mov rsi, rax
00179c33mov rax, [rdi+24]
00179c37cmp rsi, rax
00179c3ajne 0x179c40
00179c3cmov rax, rbx
00179c3fret
00179c40
00179c40loc_179c40:
00179c40sub r15, 24
00179c44cmp r15, [r14]
00179c47jb 0x179c5d
00179c49
00179c49loc_179c49:
00179c49lea rax, [r15+8]
00179c4dmov [rax-8], 2048
00179c55mov [rax], rsi
00179c58mov [rax+8], rbx
00179c5cret
00179c5d
00179c5dloc_179c5d:
00179c5dcall caml_call_gc
00179c62jmp 0x179c49
00179c30
00179c64
00179c64 // align 0x10
00179c64 // align 0x10
00179c70
00179c70camlCounter.entry:
00179c70lea r10, [rsp-320]
00179c78cmp r10, [r14+40]
00179c7cjb 0x179e6f
00179c82
00179c82loc_179c82:
00179c82lea rsi, [rip+0x199f47]
00179c89lea rdi, [rip+0x199db0]
00179c90add rdi, 72
00179c94mov rbx, rsp
00179c97mov rsp, [r14+64]
00179c9bcall caml_initialize
00179ca0mov rsp, rbx
00179ca3lea rax, [rip+0x1f035e]
00179caamov rax, [rax+272]
00179cb1mov rax, [rax]
00179cb4mov ebx, 39
00179cb9call Stdlib.Hashtbl.create_inner
00179cbelea rdi, [rip+0x199d7b]
00179cc5add rdi, 80
00179cc9mov rsi, rax
00179cccmov rbx, rsp
00179ccfmov rsp, [r14+64]
00179cd3call caml_initialize
00179cd8mov rsp, rbx
00179cdblea rsi, [rip+0x199c06]
00179ce2lea rdi, [rip+0x199d57]
00179ce9add rdi, 88
00179cedmov rbx, rsp
00179cf0mov rsp, [r14+64]
00179cf4call caml_initialize
00179cf9mov rsp, rbx
00179cfclea rsi, [rip+0x199c1d]
00179d03lea r12, [rip+0x199bfe]
00179d0alea rdi, [rip+0x199d2f]
00179d11mov rbx, rsp
00179d14mov rsp, [r14+64]
00179d18call caml_initialize
00179d1dmov rsp, rbx
00179d20lea rdi, [rip+0x199d19]
00179d27add rdi, 8
00179d2bmov rsi, r12
00179d2emov rbx, rsp
00179d31mov rsp, [r14+64]
00179d35call caml_initialize
00179d3amov rsp, rbx
00179d3dlea rsi, [rip+0x199bf4]
00179d44lea rdi, [rip+0x199cf5]
00179d4badd rdi, 96
00179d4fmov rbx, rsp
00179d52mov rsp, [r14+64]
00179d56call caml_initialize
00179d5bmov rsp, rbx
00179d5elea rsi, [rip+0x199bf3]
00179d65lea rdi, [rip+0x199cd4]
00179d6cadd rdi, 104
00179d70mov rbx, rsp
00179d73mov rsp, [r14+64]
00179d77call caml_initialize
00179d7cmov rsp, rbx
00179d7flea rsi, [rip+0x199bea]
00179d86lea rdi, [rip+0x199cb3]
00179d8dadd rdi, 16
00179d91mov rbx, rsp
00179d94mov rsp, [r14+64]
00179d98call caml_initialize
00179d9dmov rsp, rbx
00179da0lea rsi, [rip+0x199be1]
00179da7lea rdi, [rip+0x199c92]
00179daeadd rdi, 24
00179db2mov rbx, rsp
00179db5mov rsp, [r14+64]
00179db9call caml_initialize
00179dbemov rsp, rbx
00179dc1lea rsi, [rip+0x199be0]
00179dc8lea rdi, [rip+0x199c71]
00179dcfadd rdi, 40
00179dd3mov rbx, rsp
00179dd6mov rsp, [r14+64]
00179ddacall caml_initialize
00179ddfmov rsp, rbx
00179de2lea rsi, [rip+0x199bdf]
00179de9lea rdi, [rip+0x199c50]
00179df0add rdi, 32
00179df4mov rbx, rsp
00179df7mov rsp, [r14+64]
00179dfbcall caml_initialize
00179e00mov rsp, rbx
00179e03lea rsi, [rip+0x199bde]
00179e0alea rdi, [rip+0x199c2f]
00179e11add rdi, 48
00179e15mov rbx, rsp
00179e18mov rsp, [r14+64]
00179e1ccall caml_initialize
00179e21mov rsp, rbx
00179e24lea rsi, [rip+0x199bf5]
00179e2blea r12, [rip+0x199bce]
00179e32lea rdi, [rip+0x199c07]
00179e39add rdi, 56
00179e3dmov rbx, rsp
00179e40mov rsp, [r14+64]
00179e44call caml_initialize
00179e49mov rsp, rbx
00179e4clea rdi, [rip+0x199bed]
00179e53add rdi, 64
00179e57mov rsi, r12
00179e5amov rbx, rsp
00179e5dmov rsp, [r14+64]
00179e61call caml_initialize
00179e66mov rsp, rbx
00179e69mov eax, 1
00179e6eret
00179e6f
00179e6floc_179e6f:
00179e6fpush 33
00179e71call caml_call_realloc_stack
00179e76pop r10
00179e78jmp 0x179c82
00179c70
00179c70camlCounter.entry:
00179c70lea r10, [rsp-320]
00179c78cmp r10, [r14+40]
00179c7cjb 0x179e6f
00179c82
00179c82loc_179c82:
00179c82lea rsi, [rip+0x199f47]
00179c89lea rdi, [rip+0x199db0]
00179c90add rdi, 72
00179c94mov rbx, rsp
00179c97mov rsp, [r14+64]
00179c9bcall caml_initialize
00179ca0mov rsp, rbx
00179ca3lea rax, [rip+0x1f035e]
00179caamov rax, [rax+272]
00179cb1mov rax, [rax]
00179cb4mov ebx, 39
00179cb9call Stdlib.Hashtbl.create_inner
00179cbelea rdi, [rip+0x199d7b]
00179cc5add rdi, 80
00179cc9mov rsi, rax
00179cccmov rbx, rsp
00179ccfmov rsp, [r14+64]
00179cd3call caml_initialize
00179cd8mov rsp, rbx
00179cdblea rsi, [rip+0x199c06]
00179ce2lea rdi, [rip+0x199d57]
00179ce9add rdi, 88
00179cedmov rbx, rsp
00179cf0mov rsp, [r14+64]
00179cf4call caml_initialize
00179cf9mov rsp, rbx
00179cfclea rsi, [rip+0x199c1d]
00179d03lea r12, [rip+0x199bfe]
00179d0alea rdi, [rip+0x199d2f]
00179d11mov rbx, rsp
00179d14mov rsp, [r14+64]
00179d18call caml_initialize
00179d1dmov rsp, rbx
00179d20lea rdi, [rip+0x199d19]
00179d27add rdi, 8
00179d2bmov rsi, r12
00179d2emov rbx, rsp
00179d31mov rsp, [r14+64]
00179d35call caml_initialize
00179d3amov rsp, rbx
00179d3dlea rsi, [rip+0x199bf4]
00179d44lea rdi, [rip+0x199cf5]
00179d4badd rdi, 96
00179d4fmov rbx, rsp
00179d52mov rsp, [r14+64]
00179d56call caml_initialize
00179d5bmov rsp, rbx
00179d5elea rsi, [rip+0x199bf3]
00179d65lea rdi, [rip+0x199cd4]
00179d6cadd rdi, 104
00179d70mov rbx, rsp
00179d73mov rsp, [r14+64]
00179d77call caml_initialize
00179d7cmov rsp, rbx
00179d7flea rsi, [rip+0x199bea]
00179d86lea rdi, [rip+0x199cb3]
00179d8dadd rdi, 16
00179d91mov rbx, rsp
00179d94mov rsp, [r14+64]
00179d98call caml_initialize
00179d9dmov rsp, rbx
00179da0lea rsi, [rip+0x199be1]
00179da7lea rdi, [rip+0x199c92]
00179daeadd rdi, 24
00179db2mov rbx, rsp
00179db5mov rsp, [r14+64]
00179db9call caml_initialize
00179dbemov rsp, rbx
00179dc1lea rsi, [rip+0x199be0]
00179dc8lea rdi, [rip+0x199c71]
00179dcfadd rdi, 40
00179dd3mov rbx, rsp
00179dd6mov rsp, [r14+64]
00179ddacall caml_initialize
00179ddfmov rsp, rbx
00179de2lea rsi, [rip+0x199bdf]
00179de9lea rdi, [rip+0x199c50]
00179df0add rdi, 32
00179df4mov rbx, rsp
00179df7mov rsp, [r14+64]
00179dfbcall caml_initialize
00179e00mov rsp, rbx
00179e03lea rsi, [rip+0x199bde]
00179e0alea rdi, [rip+0x199c2f]
00179e11add rdi, 48
00179e15mov rbx, rsp
00179e18mov rsp, [r14+64]
00179e1ccall caml_initialize
00179e21mov rsp, rbx
00179e24lea rsi, [rip+0x199bf5]
00179e2blea r12, [rip+0x199bce]
00179e32lea rdi, [rip+0x199c07]
00179e39add rdi, 56
00179e3dmov rbx, rsp
00179e40mov rsp, [r14+64]
00179e44call caml_initialize
00179e49mov rsp, rbx
00179e4clea rdi, [rip+0x199bed]
00179e53add rdi, 64
00179e57mov rsi, r12
00179e5amov rbx, rsp
00179e5dmov rsp, [r14+64]
00179e61call caml_initialize
00179e66mov rsp, rbx
00179e69mov eax, 1
00179e6eret
00179e6f
00179e6floc_179e6f:
00179e6fpush 33
00179e71call caml_call_realloc_stack
00179e76pop r10
00179e78jmp 0x179c82
00179c70
00179e7d
00179e7d // align 0x10
00179e7d // align 0x10
00179e80
00179e80camlLatexmacros.pretty_macro_839:
00179e80lea r10, [rsp-328]
00179e88cmp r10, [r14+40]
00179e8cjb 0x179ecd
00179e8e
00179e8eloc_179e8e:
00179e8esub rsp, 8
00179e92mov [rsp], rbx
00179e96lea rbx, [rip+0x19cb03]
00179e9dmov rbx, [rbx+32]
00179ea1mov rdi, [rbx]
00179ea4call rdi
00179ea6lea rbx, [rip+0x19af7b]
00179eadlea rax, [rip+0x1b3764]
00179eb4mov rax, [rax+312]
00179ebbcall camlStdlib.output_string_253
00179ec0mov rax, [rsp]
00179ec4add rsp, 8
00179ec8jmp 0x17c1a0
00179ecd
00179ecdloc_179ecd:
00179ecdpush 34
00179ecfcall caml_call_realloc_stack
00179ed4pop r10
00179ed6jmp 0x179e8e
00179e80
00179e80camlLatexmacros.pretty_macro_839:
00179e80lea r10, [rsp-328]
00179e88cmp r10, [r14+40]
00179e8cjb 0x179ecd
00179e8e
00179e8eloc_179e8e:
00179e8esub rsp, 8
00179e92mov [rsp], rbx
00179e96lea rbx, [rip+0x19cb03]
00179e9dmov rbx, [rbx+32]
00179ea1mov rdi, [rbx]
00179ea4call rdi
00179ea6lea rbx, [rip+0x19af7b]
00179eadlea rax, [rip+0x1b3764]
00179eb4mov rax, [rax+312]
00179ebbcall camlStdlib.output_string_253
00179ec0mov rax, [rsp]
00179ec4add rsp, 8
00179ec8jmp 0x17c1a0
00179ecd
00179ecdloc_179ecd:
00179ecdpush 34
00179ecfcall caml_call_realloc_stack
00179ed4pop r10
00179ed6jmp 0x179e8e
00179e80
00179ed8
00179ed8 // align 0x10
00179ed8 // align 0x10
00179ee0
00179ee0camlLatexmacros.hidden_pretty_table_843:
00179ee0lea r10, [rsp-344]
00179ee8cmp r10, [r14+40]
00179eecjb 0x17a017
00179ef2
00179ef2loc_179ef2:
00179ef2sub rsp, 24
00179ef6mov [rsp], rax
00179efalea rax, [rip+0x1f0107]
00179f01mov rax, [rax+272]
00179f08mov rax, [rax]
00179f0bmov ebx, 195
00179f10call Stdlib.Hashtbl.create_inner
00179f15mov [rsp+16], rax
00179f1asub r15, 96
00179f1ecmp r15, [r14]
00179f21jb 0x17a00d
00179f27
00179f27loc_179f27:
00179f27lea rbx, [r15+8]
00179f2badd rbx, 80
00179f2fmov [rsp+8], rbx
00179f34mov [rbx-8], 1024
00179f3cmov [rbx], 1
00179f43lea rdi, [rbx-40]
00179f47mov [rdi-8], 4343
00179f4flea rsi, [rip+218]
00179f56mov [rdi], rsi
00179f59mov rsi, 0x100000000000005
00179f63mov [rdi+8], rsi
00179f67mov [rdi+16], rax
00179f6bmov [rdi+24], rbx
00179f6flea rax, [rdi-40]
00179f73mov [rax-8], 4343
00179f7blea rbx, [rip-0x82f62]
00179f82mov [rax], rbx
00179f85mov rbx, 0x200000000000007
00179f8fmov [rax+8], rbx
00179f93lea rbx, [rip+374]
00179f9amov [rax+16], rbx
00179f9emov [rax+24], rdi
00179fa2mov rbx, [rsp]
00179fa6call Stdlib.Hashtbl.iter
00179fabmov rax, [rsp+8]
00179fb0mov rax, [rax]
00179fb3mov [rsp], rax
00179fb7lea rbx, [rip+0x19af7a]
00179fbelea rax, [rip+0x1b3653]
00179fc5mov rax, [rax+312]
00179fcccall Stdlib.Printf.fprintf
00179fd1mov rbx, rax
00179fd4mov rdi, [rbx]
00179fd7mov rax, [rsp]
00179fdbcall rdi
00179fddlea rax, [rip+0x19a64c]
00179fe4mov rbx, [rsp+16]
00179fe9call Stdlib.Hashtbl.iter
00179feelea rax, [rip+0x1b3623]
00179ff5mov rdi, [rax+312]
00179ffclea rax, [rip+0x95c4d]
0017a003call caml_c_call
0017a008add rsp, 24
0017a00cret
0017a00d
0017a00dloc_17a00d:
0017a00dcall caml_call_gc
0017a012jmp 0x179f27
0017a017
0017a017loc_17a017:
0017a017push 36
0017a019call caml_call_realloc_stack
0017a01epop r10
0017a020jmp 0x179ef2
00179ee0
00179ee0camlLatexmacros.hidden_pretty_table_843:
00179ee0lea r10, [rsp-344]
00179ee8cmp r10, [r14+40]
00179eecjb 0x17a017
00179ef2
00179ef2loc_179ef2:
00179ef2sub rsp, 24
00179ef6mov [rsp], rax
00179efalea rax, [rip+0x1f0107]
00179f01mov rax, [rax+272]
00179f08mov rax, [rax]
00179f0bmov ebx, 195
00179f10call Stdlib.Hashtbl.create_inner
00179f15mov [rsp+16], rax
00179f1asub r15, 96
00179f1ecmp r15, [r14]
00179f21jb 0x17a00d
00179f27
00179f27loc_179f27:
00179f27lea rbx, [r15+8]
00179f2badd rbx, 80
00179f2fmov [rsp+8], rbx
00179f34mov [rbx-8], 1024
00179f3cmov [rbx], 1
00179f43lea rdi, [rbx-40]
00179f47mov [rdi-8], 4343
00179f4flea rsi, [rip+218]
00179f56mov [rdi], rsi
00179f59mov rsi, 0x100000000000005
00179f63mov [rdi+8], rsi
00179f67mov [rdi+16], rax
00179f6bmov [rdi+24], rbx
00179f6flea rax, [rdi-40]
00179f73mov [rax-8], 4343
00179f7blea rbx, [rip-0x82f62]
00179f82mov [rax], rbx
00179f85mov rbx, 0x200000000000007
00179f8fmov [rax+8], rbx
00179f93lea rbx, [rip+374]
00179f9amov [rax+16], rbx
00179f9emov [rax+24], rdi
00179fa2mov rbx, [rsp]
00179fa6call Stdlib.Hashtbl.iter
00179fabmov rax, [rsp+8]
00179fb0mov rax, [rax]
00179fb3mov [rsp], rax
00179fb7lea rbx, [rip+0x19af7a]
00179fbelea rax, [rip+0x1b3653]
00179fc5mov rax, [rax+312]
00179fcccall Stdlib.Printf.fprintf
00179fd1mov rbx, rax
00179fd4mov rdi, [rbx]
00179fd7mov rax, [rsp]
00179fdbcall rdi
00179fddlea rax, [rip+0x19a64c]
00179fe4mov rbx, [rsp+16]
00179fe9call Stdlib.Hashtbl.iter
00179feelea rax, [rip+0x1b3623]
00179ff5mov rdi, [rax+312]
00179ffclea rax, [rip+0x95c4d]
0017a003call caml_c_call
0017a008add rsp, 24
0017a00cret
0017a00d
0017a00dloc_17a00d:
0017a00dcall caml_call_gc
0017a012jmp 0x179f27
0017a017
0017a017loc_17a017:
0017a017push 36
0017a019call caml_call_realloc_stack
0017a01epop r10
0017a020jmp 0x179ef2
00179ee0
0017a025
0017a025 // align 0x10
0017a025 // align 0x10
0017a030
0017a030camlLatexmacros.incr_848:
0017a030lea r10, [rsp-360]
0017a038cmp r10, [r14+40]
0017a03cjb 0x17a0f5
0017a042
0017a042loc_17a042:
0017a042sub rsp, 24
0017a046mov rdi, rax
0017a049mov [rsp+16], rdi
0017a04emov [rsp+8], rbx
0017a053mov rax, [rbx+24]
0017a057add [rax], 2
0017a05blea r11, [rip+34]
0017a062push r11
0017a064push [r14+48]
0017a068mov [r14+48], rsp
0017a06cmov rax, [rbx+16]
0017a070mov rbx, rdi
0017a073call Stdlib.Hashtbl.find
0017a078pop [r14+48]
0017a07cadd rsp, 8
0017a080jmp 0x17a0e0
0017a082nop
0017a084lea rbx, [rip+0x1b358d]
0017a08bmov rbx, [rbx+56]
0017a08fcmp rax, rbx
0017a092jne 0x17a0cc
0017a094sub r15, 16
0017a098cmp r15, [r14]
0017a09bjb 0x17a0ee
0017a09d
0017a09dloc_17a09d:
0017a09dlea rdi, [r15+8]
0017a0a1mov [rsp], rdi
0017a0a5mov [rdi-8], 1024
0017a0admov [rdi], 1
0017a0b4mov rax, [rsp+8]
0017a0b9mov rax, [rax+16]
0017a0bdmov rbx, [rsp+16]
0017a0c2call Stdlib.Hashtbl.add
0017a0c7jmp 0x17a0dc
0017a0c9nop [rax]
0017a0cc
0017a0ccloc_17a0cc:
0017a0ccmov rsp, [r14+48]
0017a0d0pop [r14+48]
0017a0d4pop r11
0017a0d6jmp r11
0017a0d9nop [rax]
0017a0dc
0017a0dcloc_17a0dc:
0017a0dcmov rax, [rsp]
0017a0e0
0017a0e0loc_17a0e0:
0017a0e0add [rax], 2
0017a0e4mov eax, 1
0017a0e9add rsp, 24
0017a0edret
0017a0ee
0017a0eeloc_17a0ee:
0017a0eecall caml_call_gc
0017a0f3jmp 0x17a09d
0017a0f5
0017a0f5loc_17a0f5:
0017a0f5push 38
0017a0f7call caml_call_realloc_stack
0017a0fcpop r10
0017a0fejmp 0x17a042
0017a030
0017a030camlLatexmacros.incr_848:
0017a030lea r10, [rsp-360]
0017a038cmp r10, [r14+40]
0017a03cjb 0x17a0f5
0017a042
0017a042loc_17a042:
0017a042sub rsp, 24
0017a046mov rdi, rax
0017a049mov [rsp+16], rdi
0017a04emov [rsp+8], rbx
0017a053mov rax, [rbx+24]
0017a057add [rax], 2
0017a05blea r11, [rip+34]
0017a062push r11
0017a064push [r14+48]
0017a068mov [r14+48], rsp
0017a06cmov rax, [rbx+16]
0017a070mov rbx, rdi
0017a073call Stdlib.Hashtbl.find
0017a078pop [r14+48]
0017a07cadd rsp, 8
0017a080jmp 0x17a0e0
0017a082nop
0017a084lea rbx, [rip+0x1b358d]
0017a08bmov rbx, [rbx+56]
0017a08fcmp rax, rbx
0017a092jne 0x17a0cc
0017a094sub r15, 16
0017a098cmp r15, [r14]
0017a09bjb 0x17a0ee
0017a09d
0017a09dloc_17a09d:
0017a09dlea rdi, [r15+8]
0017a0a1mov [rsp], rdi
0017a0a5mov [rdi-8], 1024
0017a0admov [rdi], 1
0017a0b4mov rax, [rsp+8]
0017a0b9mov rax, [rax+16]
0017a0bdmov rbx, [rsp+16]
0017a0c2call Stdlib.Hashtbl.add
0017a0c7jmp 0x17a0dc
0017a0c9nop [rax]
0017a0cc
0017a0ccloc_17a0cc:
0017a0ccmov rsp, [r14+48]
0017a0d0pop [r14+48]
0017a0d4pop r11
0017a0d6jmp r11
0017a0d9nop [rax]
0017a0dc
0017a0dcloc_17a0dc:
0017a0dcmov rax, [rsp]
0017a0e0
0017a0e0loc_17a0e0:
0017a0e0add [rax], 2
0017a0e4mov eax, 1
0017a0e9add rsp, 24
0017a0edret
0017a0ee
0017a0eeloc_17a0ee:
0017a0eecall caml_call_gc
0017a0f3jmp 0x17a09d
0017a0f5
0017a0f5loc_17a0f5:
0017a0f5push 38
0017a0f7call caml_call_realloc_stack
0017a0fcpop r10
0017a0fejmp 0x17a042
0017a030
0017a103
0017a103 // align 0x10
0017a103 // align 0x10
0017a110
0017a110camlLatexmacros.fun_1049:
0017a110lea r10, [rsp-352]
0017a118cmp r10, [r14+40]
0017a11cjb 0x17a18f
0017a11e
0017a11eloc_17a11e:
0017a11esub rsp, 32
0017a122mov [rsp+24], rax
0017a127mov [rsp+8], rbx
0017a12cmov [rsp+16], rdi
0017a131mov [rsp], rax
0017a135lea rbx, [rip+0x19aeac]
0017a13clea rax, [rip+0x1b34d5]
0017a143mov rax, [rax+312]
0017a14acall Stdlib.Printf.fprintf
0017a14fmov rbx, rax
0017a152mov rdi, [rbx]
0017a155mov rax, [rsp]
0017a159call rdi
0017a15bmov rax, [rsp+8]
0017a160mov rbx, [rax+8]
0017a164mov rax, [rax]
0017a167call camlLatexmacros.pretty_macro_839
0017a16clea rax, [rip+0x19ae65]
0017a173call camlStdlib.prerr_endline_390
0017a178mov rax, [rsp+16]
0017a17dmov rbx, [rax+24]
0017a181mov rax, [rsp+24]
0017a186add rsp, 32
0017a18ajmp 0x17a030
0017a18f
0017a18floc_17a18f:
0017a18fpush 37
0017a191call caml_call_realloc_stack
0017a196pop r10
0017a198jmp 0x17a11e
0017a110
0017a110camlLatexmacros.fun_1049:
0017a110lea r10, [rsp-352]
0017a118cmp r10, [r14+40]
0017a11cjb 0x17a18f
0017a11e
0017a11eloc_17a11e:
0017a11esub rsp, 32
0017a122mov [rsp+24], rax
0017a127mov [rsp+8], rbx
0017a12cmov [rsp+16], rdi
0017a131mov [rsp], rax
0017a135lea rbx, [rip+0x19aeac]
0017a13clea rax, [rip+0x1b34d5]
0017a143mov rax, [rax+312]
0017a14acall Stdlib.Printf.fprintf
0017a14fmov rbx, rax
0017a152mov rdi, [rbx]
0017a155mov rax, [rsp]
0017a159call rdi
0017a15bmov rax, [rsp+8]
0017a160mov rbx, [rax+8]
0017a164mov rax, [rax]
0017a167call camlLatexmacros.pretty_macro_839
0017a16clea rax, [rip+0x19ae65]
0017a173call camlStdlib.prerr_endline_390
0017a178mov rax, [rsp+16]
0017a17dmov rbx, [rax+24]
0017a181mov rax, [rsp+24]
0017a186add rsp, 32
0017a18ajmp 0x17a030
0017a18f
0017a18floc_17a18f:
0017a18fpush 37
0017a191call caml_call_realloc_stack
0017a196pop r10
0017a198jmp 0x17a11e
0017a110
0017a19a
0017a19a // align 0x10
0017a19a // align 0x10
0017a1a0
0017a1a0camlLatexmacros.fun_1063:
0017a1a0lea r10, [rsp-336]
0017a1a8cmp r10, [r14+40]
0017a1acjb 0x17a209
0017a1ae
0017a1aeloc_17a1ae:
0017a1aesub rsp, 16
0017a1b2cmp r15, [r14]
0017a1b5jbe 0x17a202
0017a1b7
0017a1b7loc_17a1b7:
0017a1b7mov rbx, [rbx]
0017a1bacmp rbx, 3
0017a1bejle 0x17a1f8
0017a1c0mov [rsp+8], rbx
0017a1c5mov [rsp], rax
0017a1c9lea rbx, [rip+0x19acf0]
0017a1d0lea rax, [rip+0x1b3441]
0017a1d7mov rax, [rax+312]
0017a1decall Stdlib.Printf.fprintf
0017a1e3mov rdi, rax
0017a1e6mov rax, [rsp]
0017a1eamov rbx, [rsp+8]
0017a1efadd rsp, 16
0017a1f3jmp 0xf73e0
0017a1f8
0017a1f8loc_17a1f8:
0017a1f8mov eax, 1
0017a1fdadd rsp, 16
0017a201ret
0017a202
0017a202loc_17a202:
0017a202call caml_call_gc
0017a207jmp 0x17a1b7
0017a209
0017a209loc_17a209:
0017a209push 35
0017a20bcall caml_call_realloc_stack
0017a210pop r10
0017a212jmp 0x17a1ae
0017a1a0
0017a1a0camlLatexmacros.fun_1063:
0017a1a0lea r10, [rsp-336]
0017a1a8cmp r10, [r14+40]
0017a1acjb 0x17a209
0017a1ae
0017a1aeloc_17a1ae:
0017a1aesub rsp, 16
0017a1b2cmp r15, [r14]
0017a1b5jbe 0x17a202
0017a1b7
0017a1b7loc_17a1b7:
0017a1b7mov rbx, [rbx]
0017a1bacmp rbx, 3
0017a1bejle 0x17a1f8
0017a1c0mov [rsp+8], rbx
0017a1c5mov [rsp], rax
0017a1c9lea rbx, [rip+0x19acf0]
0017a1d0lea rax, [rip+0x1b3441]
0017a1d7mov rax, [rax+312]
0017a1decall Stdlib.Printf.fprintf
0017a1e3mov rdi, rax
0017a1e6mov rax, [rsp]
0017a1eamov rbx, [rsp+8]
0017a1efadd rsp, 16
0017a1f3jmp 0xf73e0
0017a1f8
0017a1f8loc_17a1f8:
0017a1f8mov eax, 1
0017a1fdadd rsp, 16
0017a201ret
0017a202
0017a202loc_17a202:
0017a202call caml_call_gc
0017a207jmp 0x17a1b7
0017a209
0017a209loc_17a209:
0017a209push 35
0017a20bcall caml_call_realloc_stack
0017a210pop r10
0017a212jmp 0x17a1ae
0017a1a0
0017a214
0017a214 // align 0x10
0017a214 // align 0x10
0017a220
0017a220camlLatexmacros.pretty_table_881:
0017a220lea r10, [rsp-328]
0017a228cmp r10, [r14+40]
0017a22cjb 0x17a2b3
0017a232
0017a232loc_17a232:
0017a232sub rsp, 8
0017a236lea rax, [rip+0x19a72b]
0017a23dmov rax, [rax+240]
0017a244mov rax, [rax]
0017a247mov [rsp], rax
0017a24blea rbx, [rip+0x19abfe]
0017a252lea rax, [rip+0x1b33bf]
0017a259mov rax, [rax+312]
0017a260call Stdlib.Printf.fprintf
0017a265mov rbx, rax
0017a268mov rdi, [rbx]
0017a26bmov rax, [rsp]
0017a26fcall rdi
0017a271lea rax, [rip+0x19abc0]
0017a278call camlStdlib.prerr_endline_390
0017a27dlea rax, [rip+0x19a6e4]
0017a284mov rax, [rax+200]
0017a28bcall camlLatexmacros.hidden_pretty_table_843
0017a290lea rax, [rip+0x19ab79]
0017a297call camlStdlib.prerr_endline_390
0017a29clea rax, [rip+0x19a6c5]
0017a2a3mov rax, [rax+192]
0017a2aaadd rsp, 8
0017a2aejmp 0x179ee0
0017a2b3
0017a2b3loc_17a2b3:
0017a2b3push 34
0017a2b5call caml_call_realloc_stack
0017a2bapop r10
0017a2bcjmp 0x17a232
0017a220
0017a220camlLatexmacros.pretty_table_881:
0017a220lea r10, [rsp-328]
0017a228cmp r10, [r14+40]
0017a22cjb 0x17a2b3
0017a232
0017a232loc_17a232:
0017a232sub rsp, 8
0017a236lea rax, [rip+0x19a72b]
0017a23dmov rax, [rax+240]
0017a244mov rax, [rax]
0017a247mov [rsp], rax
0017a24blea rbx, [rip+0x19abfe]
0017a252lea rax, [rip+0x1b33bf]
0017a259mov rax, [rax+312]
0017a260call Stdlib.Printf.fprintf
0017a265mov rbx, rax
0017a268mov rdi, [rbx]
0017a26bmov rax, [rsp]
0017a26fcall rdi
0017a271lea rax, [rip+0x19abc0]
0017a278call camlStdlib.prerr_endline_390
0017a27dlea rax, [rip+0x19a6e4]
0017a284mov rax, [rax+200]
0017a28bcall camlLatexmacros.hidden_pretty_table_843
0017a290lea rax, [rip+0x19ab79]
0017a297call camlStdlib.prerr_endline_390
0017a29clea rax, [rip+0x19a6c5]
0017a2a3mov rax, [rax+192]
0017a2aaadd rsp, 8
0017a2aejmp 0x179ee0
0017a2b3
0017a2b3loc_17a2b3:
0017a2b3push 34
0017a2b5call caml_call_realloc_stack
0017a2bapop r10
0017a2bcjmp 0x17a232
0017a220
0017a2c1
0017a2c1 // align 0x10
0017a2c1 // align 0x10
0017a2d0
0017a2d0camlLatexmacros.checkpoint_884:
0017a2d0lea r10, [rsp-344]
0017a2d8cmp r10, [r14+40]
0017a2dcjb 0x17a3a9
0017a2e2
0017a2e2loc_17a2e2:
0017a2e2sub rsp, 24
0017a2e6lea rax, [rip+0x19a67b]
0017a2edmov rbx, [rax+216]
0017a2f4mov rbx, [rbx]
0017a2f7mov [rsp+16], rbx
0017a2fcmov rax, [rax+192]
0017a303call Stdlib.Hashtbl.copy
0017a308mov [rsp+8], rax
0017a30dlea rax, [rip+0x19a654]
0017a314mov rax, [rax+200]
0017a31bcall Stdlib.Hashtbl.copy
0017a320mov [rsp], rax
0017a324lea rax, [rip+0x19a63d]
0017a32bmov rax, [rax+208]
0017a332call Stdlib.Hashtbl.copy
0017a337mov rbx, rax
0017a33asub r15, 64
0017a33ecmp r15, [r14]
0017a341jb 0x17a3a2
0017a343
0017a343loc_17a343:
0017a343lea rax, [r15+8]
0017a347mov [rax-8], 7168
0017a34flea rdi, [rip+0x19a612]
0017a356mov rsi, [rdi+240]
0017a35dmov rsi, [rsi]
0017a360mov [rax], rsi
0017a363mov rsi, [rdi+224]
0017a36amov rsi, [rsi]
0017a36dmov [rax+8], rsi
0017a371mov rdi, [rdi+232]
0017a378mov rdi, [rdi]
0017a37bmov [rax+16], rdi
0017a37fmov [rax+24], rbx
0017a383mov rbx, [rsp]
0017a387mov [rax+32], rbx
0017a38bmov rbx, [rsp+8]
0017a390mov [rax+40], rbx
0017a394mov rbx, [rsp+16]
0017a399mov [rax+48], rbx
0017a39dadd rsp, 24
0017a3a1ret
0017a3a2
0017a3a2loc_17a3a2:
0017a3a2call caml_call_gc
0017a3a7jmp 0x17a343
0017a3a9
0017a3a9loc_17a3a9:
0017a3a9push 36
0017a3abcall caml_call_realloc_stack
0017a3b0pop r10
0017a3b2jmp 0x17a2e2
0017a2d0
0017a2d0camlLatexmacros.checkpoint_884:
0017a2d0lea r10, [rsp-344]
0017a2d8cmp r10, [r14+40]
0017a2dcjb 0x17a3a9
0017a2e2
0017a2e2loc_17a2e2:
0017a2e2sub rsp, 24
0017a2e6lea rax, [rip+0x19a67b]
0017a2edmov rbx, [rax+216]
0017a2f4mov rbx, [rbx]
0017a2f7mov [rsp+16], rbx
0017a2fcmov rax, [rax+192]
0017a303call Stdlib.Hashtbl.copy
0017a308mov [rsp+8], rax
0017a30dlea rax, [rip+0x19a654]
0017a314mov rax, [rax+200]
0017a31bcall Stdlib.Hashtbl.copy
0017a320mov [rsp], rax
0017a324lea rax, [rip+0x19a63d]
0017a32bmov rax, [rax+208]
0017a332call Stdlib.Hashtbl.copy
0017a337mov rbx, rax
0017a33asub r15, 64
0017a33ecmp r15, [r14]
0017a341jb 0x17a3a2
0017a343
0017a343loc_17a343:
0017a343lea rax, [r15+8]
0017a347mov [rax-8], 7168
0017a34flea rdi, [rip+0x19a612]
0017a356mov rsi, [rdi+240]
0017a35dmov rsi, [rsi]
0017a360mov [rax], rsi
0017a363mov rsi, [rdi+224]
0017a36amov rsi, [rsi]
0017a36dmov [rax+8], rsi
0017a371mov rdi, [rdi+232]
0017a378mov rdi, [rdi]
0017a37bmov [rax+16], rdi
0017a37fmov [rax+24], rbx
0017a383mov rbx, [rsp]
0017a387mov [rax+32], rbx
0017a38bmov rbx, [rsp+8]
0017a390mov [rax+40], rbx
0017a394mov rbx, [rsp+16]
0017a399mov [rax+48], rbx
0017a39dadd rsp, 24
0017a3a1ret
0017a3a2
0017a3a2loc_17a3a2:
0017a3a2call caml_call_gc
0017a3a7jmp 0x17a343
0017a3a9
0017a3a9loc_17a3a9:
0017a3a9push 36
0017a3abcall caml_call_realloc_stack
0017a3b0pop r10
0017a3b2jmp 0x17a2e2
0017a2d0
0017a3b7
0017a3b7 // align 0x10
0017a3b7 // align 0x10
0017a3c0
0017a3c0camlLatexmacros.hot_start_885:
0017a3c0lea r10, [rsp-352]
0017a3c8cmp r10, [r14+40]
0017a3ccjb 0x17a4a9
0017a3d2
0017a3d2loc_17a3d2:
0017a3d2sub rsp, 32
0017a3d6mov [rsp], rdi
0017a3damov r12, rsi
0017a3ddmov [rsp+8], rdx
0017a3e2mov [rsp+16], rcx
0017a3e7mov [rsp+24], r8
0017a3eclea rdi, [rip+0x19a575]
0017a3f3mov rsi, [rdi+240]
0017a3famov [rsi], rax
0017a3fdmov rdi, [rdi+224]
0017a404mov rsi, rbx
0017a407mov rbx, rsp
0017a40amov rsp, [r14+64]
0017a40ecall caml_modify
0017a413mov rsp, rbx
0017a416lea rax, [rip+0x19a54b]
0017a41dmov rdi, [rax+232]
0017a424mov rsi, [rsp]
0017a428mov rbx, rsp
0017a42bmov rsp, [r14+64]
0017a42fcall caml_modify
0017a434mov rsp, rbx
0017a437lea rax, [rip+0x19a52a]
0017a43emov rbx, [rax+208]
0017a445mov rax, r12
0017a448call camlMisc.copy_hashtbl_321
0017a44dlea rax, [rip+0x19a514]
0017a454mov rbx, [rax+200]
0017a45bmov rax, [rsp+8]
0017a460call camlMisc.copy_hashtbl_321
0017a465lea rax, [rip+0x19a4fc]
0017a46cmov rbx, [rax+192]
0017a473mov rax, [rsp+16]
0017a478call camlMisc.copy_hashtbl_321
0017a47dlea rax, [rip+0x19a4e4]
0017a484mov rdi, [rax+216]
0017a48bmov rsi, [rsp+24]
0017a490mov rbx, rsp
0017a493mov rsp, [r14+64]
0017a497call caml_modify
0017a49cmov rsp, rbx
0017a49fmov eax, 1
0017a4a4add rsp, 32
0017a4a8ret
0017a4a9
0017a4a9loc_17a4a9:
0017a4a9push 37
0017a4abcall caml_call_realloc_stack
0017a4b0pop r10
0017a4b2jmp 0x17a3d2
0017a3c0
0017a3c0camlLatexmacros.hot_start_885:
0017a3c0lea r10, [rsp-352]
0017a3c8cmp r10, [r14+40]
0017a3ccjb 0x17a4a9
0017a3d2
0017a3d2loc_17a3d2:
0017a3d2sub rsp, 32
0017a3d6mov [rsp], rdi
0017a3damov r12, rsi
0017a3ddmov [rsp+8], rdx
0017a3e2mov [rsp+16], rcx
0017a3e7mov [rsp+24], r8
0017a3eclea rdi, [rip+0x19a575]
0017a3f3mov rsi, [rdi+240]
0017a3famov [rsi], rax
0017a3fdmov rdi, [rdi+224]
0017a404mov rsi, rbx
0017a407mov rbx, rsp
0017a40amov rsp, [r14+64]
0017a40ecall caml_modify
0017a413mov rsp, rbx
0017a416lea rax, [rip+0x19a54b]
0017a41dmov rdi, [rax+232]
0017a424mov rsi, [rsp]
0017a428mov rbx, rsp
0017a42bmov rsp, [r14+64]
0017a42fcall caml_modify
0017a434mov rsp, rbx
0017a437lea rax, [rip+0x19a52a]
0017a43emov rbx, [rax+208]
0017a445mov rax, r12
0017a448call camlMisc.copy_hashtbl_321
0017a44dlea rax, [rip+0x19a514]
0017a454mov rbx, [rax+200]
0017a45bmov rax, [rsp+8]
0017a460call camlMisc.copy_hashtbl_321
0017a465lea rax, [rip+0x19a4fc]
0017a46cmov rbx, [rax+192]
0017a473mov rax, [rsp+16]
0017a478call camlMisc.copy_hashtbl_321
0017a47dlea rax, [rip+0x19a4e4]
0017a484mov rdi, [rax+216]
0017a48bmov rsi, [rsp+24]
0017a490mov rbx, rsp
0017a493mov rsp, [r14+64]
0017a497call caml_modify
0017a49cmov rsp, rbx
0017a49fmov eax, 1
0017a4a4add rsp, 32
0017a4a8ret
0017a4a9
0017a4a9loc_17a4a9:
0017a4a9push 37
0017a4abcall caml_call_realloc_stack
0017a4b0pop r10
0017a4b2jmp 0x17a3d2
0017a3c0
0017a4b7
0017a4b7 // align 0x10
0017a4b7 // align 0x10
0017a4c0
0017a4c0camlLatexmacros.open_group_895:
0017a4c0lea rax, [rip+0x19a4a1]
0017a4c7mov rbx, [rax+240]
0017a4ceadd [rbx], 2
0017a4d2mov rbx, [rax+224]
0017a4d9mov rbx, [rbx]
0017a4dcmov rdi, [rax+232]
0017a4e3sub r15, 24
0017a4e7cmp r15, [r14]
0017a4eajb 0x17a539
0017a4ec
0017a4ecloc_17a4ec:
0017a4eclea rsi, [r15+8]
0017a4f0mov [rsi-8], 2048
0017a4f8mov [rsi], rbx
0017a4fbmov rax, [rdi]
0017a4femov [rsi+8], rax
0017a502mov rbx, rsp
0017a505mov rsp, [r14+64]
0017a509call caml_modify
0017a50emov rsp, rbx
0017a511mov esi, 1
0017a516lea rax, [rip+0x19a44b]
0017a51dmov rdi, [rax+224]
0017a524mov rbx, rsp
0017a527mov rsp, [r14+64]
0017a52bcall caml_modify
0017a530mov rsp, rbx
0017a533mov eax, 1
0017a538ret
0017a539
0017a539loc_17a539:
0017a539call caml_call_gc
0017a53ejmp 0x17a4ec
0017a4c0
0017a4c0camlLatexmacros.open_group_895:
0017a4c0lea rax, [rip+0x19a4a1]
0017a4c7mov rbx, [rax+240]
0017a4ceadd [rbx], 2
0017a4d2mov rbx, [rax+224]
0017a4d9mov rbx, [rbx]
0017a4dcmov rdi, [rax+232]
0017a4e3sub r15, 24
0017a4e7cmp r15, [r14]
0017a4eajb 0x17a539
0017a4ec
0017a4ecloc_17a4ec:
0017a4eclea rsi, [r15+8]
0017a4f0mov [rsi-8], 2048
0017a4f8mov [rsi], rbx
0017a4fbmov rax, [rdi]
0017a4femov [rsi+8], rax
0017a502mov rbx, rsp
0017a505mov rsp, [r14+64]
0017a509call caml_modify
0017a50emov rsp, rbx
0017a511mov esi, 1
0017a516lea rax, [rip+0x19a44b]
0017a51dmov rdi, [rax+224]
0017a524mov rbx, rsp
0017a527mov rsp, [r14+64]
0017a52bcall caml_modify
0017a530mov rsp, rbx
0017a533mov eax, 1
0017a538ret
0017a539
0017a539loc_17a539:
0017a539call caml_call_gc
0017a53ejmp 0x17a4ec
0017a4c0
0017a540
0017a540camlLatexmacros.close_group_896:
0017a540lea r10, [rsp-320]
0017a548cmp r10, [r14+40]
0017a54cjb 0x17a5bf
0017a54e
0017a54eloc_17a54e:
0017a54elea rax, [rip+0x19a413]
0017a555mov rbx, [rax+240]
0017a55cmov rbx, [rbx]
0017a55fcmp rbx, 1
0017a563jle 0x17a57b
0017a565mov rax, [rax+224]
0017a56cmov rbx, [rax]
0017a56flea rax, [rip+0x19a0da]
0017a576call Stdlib.Set.iter
0017a57b
0017a57bloc_17a57b:
0017a57blea rax, [rip+0x19a3e6]
0017a582mov rbx, [rax+240]
0017a589add [rbx], -2
0017a58dmov rax, [rax+232]
0017a594call camlMyStack.pop_292
0017a599lea rbx, [rip+0x19a3c8]
0017a5a0mov rdi, [rbx+224]
0017a5a7mov rsi, rax
0017a5aamov rbx, rsp
0017a5admov rsp, [r14+64]
0017a5b1call caml_modify
0017a5b6mov rsp, rbx
0017a5b9mov eax, 1
0017a5beret
0017a5bf
0017a5bfloc_17a5bf:
0017a5bfpush 33
0017a5c1call caml_call_realloc_stack
0017a5c6pop r10
0017a5c8jmp 0x17a54e
0017a540
0017a540camlLatexmacros.close_group_896:
0017a540lea r10, [rsp-320]
0017a548cmp r10, [r14+40]
0017a54cjb 0x17a5bf
0017a54e
0017a54eloc_17a54e:
0017a54elea rax, [rip+0x19a413]
0017a555mov rbx, [rax+240]
0017a55cmov rbx, [rbx]
0017a55fcmp rbx, 1
0017a563jle 0x17a57b
0017a565mov rax, [rax+224]
0017a56cmov rbx, [rax]
0017a56flea rax, [rip+0x19a0da]
0017a576call Stdlib.Set.iter
0017a57b
0017a57bloc_17a57b:
0017a57blea rax, [rip+0x19a3e6]
0017a582mov rbx, [rax+240]
0017a589add [rbx], -2
0017a58dmov rax, [rax+232]
0017a594call camlMyStack.pop_292
0017a599lea rbx, [rip+0x19a3c8]
0017a5a0mov rdi, [rbx+224]
0017a5a7mov rsi, rax
0017a5aamov rbx, rsp
0017a5admov rsp, [r14+64]
0017a5b1call caml_modify
0017a5b6mov rsp, rbx
0017a5b9mov eax, 1
0017a5beret
0017a5bf
0017a5bfloc_17a5bf:
0017a5bfpush 33
0017a5c1call caml_call_realloc_stack
0017a5c6pop r10
0017a5c8jmp 0x17a54e
0017a540
0017a5ca
0017a5ca // align 0x10
0017a5ca // align 0x10
0017a5d0
0017a5d0camlLatexmacros.fun_1082:
0017a5d0mov rbx, rax
0017a5d3lea rax, [rip+0x19a38e]
0017a5damov rax, [rax+192]
0017a5e1jmp 0x1e7880
0017a5d0
0017a5d0camlLatexmacros.fun_1082:
0017a5d0mov rbx, rax
0017a5d3lea rax, [rip+0x19a38e]
0017a5damov rax, [rax+192]
0017a5e1jmp 0x1e7880
0017a5d0
0017a5e6
0017a5e6 // align 0x10
0017a5e6 // align 0x10
0017a5f0
0017a5f0camlLatexmacros.get_level_902:
0017a5f0lea rax, [rip+0x19a371]
0017a5f7mov rax, [rax+240]
0017a5femov rax, [rax]
0017a601ret
0017a5f0
0017a5f0camlLatexmacros.get_level_902:
0017a5f0lea rax, [rip+0x19a371]
0017a5f7mov rax, [rax+240]
0017a5femov rax, [rax]
0017a601ret
0017a5f0
0017a602
0017a602 // align 0x10
0017a602 // align 0x10
0017a610
0017a610camlLatexmacros.pre_purge_905:
0017a610lea r10, [rsp-336]
0017a618cmp r10, [r14+40]
0017a61cjb 0x17a692
0017a61e
0017a61eloc_17a61e:
0017a61esub rsp, 16
0017a622mov [rsp], rax
0017a626mov [rsp+8], rbx
0017a62blea rdi, [rip+0x19a336]
0017a632mov rdi, [rdi+184]
0017a639mov rdi, [rdi+240]
0017a640call Stdlib.Set.mem
0017a645cmp rax, 1
0017a649je 0x17a688
0017a64blea rax, [rip+0x19a316]
0017a652mov rax, [rax+192]
0017a659mov rbx, [rsp]
0017a65dcall Stdlib.Hashtbl.remove
0017a662lea rax, [rip+0x19a2ff]
0017a669mov rax, [rax+184]
0017a670mov rdi, [rax+24]
0017a674mov rax, [rsp]
0017a678mov rbx, [rsp+8]
0017a67dadd rsp, 16
0017a681jmp 0x1ba750
0017a686
0017a686 66 90 f.
0017a688
0017a688loc_17a688:
0017a688mov rax, [rsp+8]
0017a68dadd rsp, 16
0017a691ret
0017a692
0017a692loc_17a692:
0017a692push 35
0017a694call caml_call_realloc_stack
0017a699pop r10
0017a69bjmp 0x17a61e
0017a610
0017a610camlLatexmacros.pre_purge_905:
0017a610lea r10, [rsp-336]
0017a618cmp r10, [r14+40]
0017a61cjb 0x17a692
0017a61e
0017a61eloc_17a61e:
0017a61esub rsp, 16
0017a622mov [rsp], rax
0017a626mov [rsp+8], rbx
0017a62blea rdi, [rip+0x19a336]
0017a632mov rdi, [rdi+184]
0017a639mov rdi, [rdi+240]
0017a640call Stdlib.Set.mem
0017a645cmp rax, 1
0017a649je 0x17a688
0017a64blea rax, [rip+0x19a316]
0017a652mov rax, [rax+192]
0017a659mov rbx, [rsp]
0017a65dcall Stdlib.Hashtbl.remove
0017a662lea rax, [rip+0x19a2ff]
0017a669mov rax, [rax+184]
0017a670mov rdi, [rax+24]
0017a674mov rax, [rsp]
0017a678mov rbx, [rsp+8]
0017a67dadd rsp, 16
0017a681jmp 0x1ba750
0017a686
0017a686 66 90 f.
0017a688
0017a688loc_17a688:
0017a688mov rax, [rsp+8]
0017a68dadd rsp, 16
0017a691ret
0017a692
0017a692loc_17a692:
0017a692push 35
0017a694call caml_call_realloc_stack
0017a699pop r10
0017a69bjmp 0x17a61e
0017a610
0017a69d
0017a69d // align 0x10
0017a69d // align 0x10
0017a6a0
0017a6a0camlLatexmacros.hidden_global_def_909:
0017a6a0lea r10, [rsp-344]
0017a6a8cmp r10, [r14+40]
0017a6acjb 0x17a7c3
0017a6b2
0017a6b2loc_17a6b2:
0017a6b2sub rsp, 24
0017a6b6mov rdi, rax
0017a6b9mov [rsp+8], rdi
0017a6bemov [rsp], rbx
0017a6c2lea rax, [rip+0x19a29f]
0017a6c9mov rbx, [rax+240]
0017a6d0mov rbx, [rbx]
0017a6d3cmp rbx, 1
0017a6d7jle 0x17a799
0017a6ddmov rax, [rax+192]
0017a6e4mov rbx, rdi
0017a6e7call Stdlib.Hashtbl.mem
0017a6eccmp rax, 1
0017a6f0je 0x17a799
0017a6f6lea rax, [rip+0x19a26b]
0017a6fdmov rax, [rax+224]
0017a704mov rbx, [rax]
0017a707mov rax, [rsp+8]
0017a70ccall camlLatexmacros.pre_purge_905
0017a711lea rbx, [rip+0x19a250]
0017a718mov rdi, [rbx+224]
0017a71fmov rsi, rax
0017a722mov rbx, rsp
0017a725mov rsp, [r14+64]
0017a729call caml_modify
0017a72emov rsp, rbx
0017a731sub r15, 32
0017a735cmp r15, [r14]
0017a738jb 0x17a7b9
0017a73a
0017a73aloc_17a73a:
0017a73alea rax, [r15+8]
0017a73emov [rax-8], 3319
0017a746lea rbx, [rip+147]
0017a74dmov [rax], rbx
0017a750mov rbx, 0x100000000000005
0017a75amov [rax+8], rbx
0017a75emov rbx, [rsp+8]
0017a763mov [rax+16], rbx
0017a767lea rbx, [rip+0x19a1fa]
0017a76emov rbx, [rbx+232]
0017a775mov [rsp+16], rbx
0017a77amov rbx, [rbx]
0017a77dcall Stdlib.List.map
0017a782mov rdi, [rsp+16]
0017a787mov rsi, rax
0017a78amov rbx, rsp
0017a78dmov rsp, [r14+64]
0017a791call caml_modify
0017a796mov rsp, rbx
0017a799
0017a799loc_17a799:
0017a799lea rax, [rip+0x19a1c8]
0017a7a0mov rax, [rax+200]
0017a7a7mov rbx, [rsp+8]
0017a7acmov rdi, [rsp]
0017a7b0add rsp, 24
0017a7b4jmp 0x1e8060
0017a7b9
0017a7b9loc_17a7b9:
0017a7b9call caml_call_gc
0017a7bejmp 0x17a73a
0017a7c3
0017a7c3loc_17a7c3:
0017a7c3push 36
0017a7c5call caml_call_realloc_stack
0017a7capop r10
0017a7ccjmp 0x17a6b2
0017a6a0
0017a6a0camlLatexmacros.hidden_global_def_909:
0017a6a0lea r10, [rsp-344]
0017a6a8cmp r10, [r14+40]
0017a6acjb 0x17a7c3
0017a6b2
0017a6b2loc_17a6b2:
0017a6b2sub rsp, 24
0017a6b6mov rdi, rax
0017a6b9mov [rsp+8], rdi
0017a6bemov [rsp], rbx
0017a6c2lea rax, [rip+0x19a29f]
0017a6c9mov rbx, [rax+240]
0017a6d0mov rbx, [rbx]
0017a6d3cmp rbx, 1
0017a6d7jle 0x17a799
0017a6ddmov rax, [rax+192]
0017a6e4mov rbx, rdi
0017a6e7call Stdlib.Hashtbl.mem
0017a6eccmp rax, 1
0017a6f0je 0x17a799
0017a6f6lea rax, [rip+0x19a26b]
0017a6fdmov rax, [rax+224]
0017a704mov rbx, [rax]
0017a707mov rax, [rsp+8]
0017a70ccall camlLatexmacros.pre_purge_905
0017a711lea rbx, [rip+0x19a250]
0017a718mov rdi, [rbx+224]
0017a71fmov rsi, rax
0017a722mov rbx, rsp
0017a725mov rsp, [r14+64]
0017a729call caml_modify
0017a72emov rsp, rbx
0017a731sub r15, 32
0017a735cmp r15, [r14]
0017a738jb 0x17a7b9
0017a73a
0017a73aloc_17a73a:
0017a73alea rax, [r15+8]
0017a73emov [rax-8], 3319
0017a746lea rbx, [rip+147]
0017a74dmov [rax], rbx
0017a750mov rbx, 0x100000000000005
0017a75amov [rax+8], rbx
0017a75emov rbx, [rsp+8]
0017a763mov [rax+16], rbx
0017a767lea rbx, [rip+0x19a1fa]
0017a76emov rbx, [rbx+232]
0017a775mov [rsp+16], rbx
0017a77amov rbx, [rbx]
0017a77dcall Stdlib.List.map
0017a782mov rdi, [rsp+16]
0017a787mov rsi, rax
0017a78amov rbx, rsp
0017a78dmov rsp, [r14+64]
0017a791call caml_modify
0017a796mov rsp, rbx
0017a799
0017a799loc_17a799:
0017a799lea rax, [rip+0x19a1c8]
0017a7a0mov rax, [rax+200]
0017a7a7mov rbx, [rsp+8]
0017a7acmov rdi, [rsp]
0017a7b0add rsp, 24
0017a7b4jmp 0x1e8060
0017a7b9
0017a7b9loc_17a7b9:
0017a7b9call caml_call_gc
0017a7bejmp 0x17a73a
0017a7c3
0017a7c3loc_17a7c3:
0017a7c3push 36
0017a7c5call caml_call_realloc_stack
0017a7capop r10
0017a7ccjmp 0x17a6b2
0017a6a0
0017a7d1
0017a7d1 // align 0x10
0017a7d1 // align 0x10
0017a7e0
0017a7e0camlLatexmacros.fun_1089:
0017a7e0mov rdi, rax
0017a7e3mov rax, [rbx+16]
0017a7e7mov rbx, rdi
0017a7eajmp 0x17a610
0017a7e0
0017a7e0camlLatexmacros.fun_1089:
0017a7e0mov rdi, rax
0017a7e3mov rax, [rbx+16]
0017a7e7mov rbx, rdi
0017a7eajmp 0x17a610
0017a7e0
0017a7ef
0017a7ef // align 0x10
0017a7ef // align 0x10
0017a7f0
0017a7f0camlLatexmacros.hidden_local_def_914:
0017a7f0lea r10, [rsp-336]
0017a7f8cmp r10, [r14+40]
0017a7fcjb 0x17a8eb
0017a802
0017a802loc_17a802:
0017a802sub rsp, 16
0017a806mov rsi, rax
0017a809mov rdi, rbx
0017a80clea rax, [rip+0x19a155]
0017a813mov rbx, [rax+240]
0017a81amov rbx, [rbx]
0017a81dcmp rbx, 1
0017a821jle 0x17a8d8
0017a827mov [rsp], rdi
0017a82bmov [rsp+8], rsi
0017a830mov rbx, [rax+224]
0017a837mov rbx, [rbx]
0017a83amov rax, [rax+184]
0017a841mov rdi, [rax+240]
0017a848mov rax, rsi
0017a84bcall Stdlib.Set.mem
0017a850cmp rax, 1
0017a854je 0x17a870
0017a856lea rax, [rip+0x19a10b]
0017a85dmov rax, [rax+192]
0017a864mov rbx, [rsp+8]
0017a869call Stdlib.Hashtbl.remove
0017a86ejmp 0x17a8b6
0017a870
0017a870loc_17a870:
0017a870lea rax, [rip+0x19a0f1]
0017a877mov rbx, [rax+224]
0017a87emov rbx, [rbx]
0017a881mov rax, [rax+184]
0017a888mov rdi, [rax+8]
0017a88cmov rax, [rsp+8]
0017a891call Stdlib.Set.add
0017a896lea rbx, [rip+0x19a0cb]
0017a89dmov rdi, [rbx+224]
0017a8a4mov rsi, rax
0017a8a7mov rbx, rsp
0017a8aamov rsp, [r14+64]
0017a8aecall caml_modify
0017a8b3mov rsp, rbx
0017a8b6
0017a8b6loc_17a8b6:
0017a8b6lea rax, [rip+0x19a0ab]
0017a8bdmov rax, [rax+192]
0017a8c4mov rbx, [rsp+8]
0017a8c9mov rdi, [rsp]
0017a8cdadd rsp, 16
0017a8d1jmp 0x1e7690
0017a8d6
0017a8d6 66 90 f.
0017a8d8
0017a8d8loc_17a8d8:
0017a8d8mov rax, [rax+200]
0017a8dfmov rbx, rsi
0017a8e2add rsp, 16
0017a8e6jmp 0x1e8060
0017a8eb
0017a8ebloc_17a8eb:
0017a8ebpush 35
0017a8edcall caml_call_realloc_stack
0017a8f2pop r10
0017a8f4jmp 0x17a802
0017a7f0
0017a7f0camlLatexmacros.hidden_local_def_914:
0017a7f0lea r10, [rsp-336]
0017a7f8cmp r10, [r14+40]
0017a7fcjb 0x17a8eb
0017a802
0017a802loc_17a802:
0017a802sub rsp, 16
0017a806mov rsi, rax
0017a809mov rdi, rbx
0017a80clea rax, [rip+0x19a155]
0017a813mov rbx, [rax+240]
0017a81amov rbx, [rbx]
0017a81dcmp rbx, 1
0017a821jle 0x17a8d8
0017a827mov [rsp], rdi
0017a82bmov [rsp+8], rsi
0017a830mov rbx, [rax+224]
0017a837mov rbx, [rbx]
0017a83amov rax, [rax+184]
0017a841mov rdi, [rax+240]
0017a848mov rax, rsi
0017a84bcall Stdlib.Set.mem
0017a850cmp rax, 1
0017a854je 0x17a870
0017a856lea rax, [rip+0x19a10b]
0017a85dmov rax, [rax+192]
0017a864mov rbx, [rsp+8]
0017a869call Stdlib.Hashtbl.remove
0017a86ejmp 0x17a8b6
0017a870
0017a870loc_17a870:
0017a870lea rax, [rip+0x19a0f1]
0017a877mov rbx, [rax+224]
0017a87emov rbx, [rbx]
0017a881mov rax, [rax+184]
0017a888mov rdi, [rax+8]
0017a88cmov rax, [rsp+8]
0017a891call Stdlib.Set.add
0017a896lea rbx, [rip+0x19a0cb]
0017a89dmov rdi, [rbx+224]
0017a8a4mov rsi, rax
0017a8a7mov rbx, rsp
0017a8aamov rsp, [r14+64]
0017a8aecall caml_modify
0017a8b3mov rsp, rbx
0017a8b6
0017a8b6loc_17a8b6:
0017a8b6lea rax, [rip+0x19a0ab]
0017a8bdmov rax, [rax+192]
0017a8c4mov rbx, [rsp+8]
0017a8c9mov rdi, [rsp]
0017a8cdadd rsp, 16
0017a8d1jmp 0x1e7690
0017a8d6
0017a8d6 66 90 f.
0017a8d8
0017a8d8loc_17a8d8:
0017a8d8mov rax, [rax+200]
0017a8dfmov rbx, rsi
0017a8e2add rsp, 16
0017a8e6jmp 0x1e8060
0017a8eb
0017a8ebloc_17a8eb:
0017a8ebpush 35
0017a8edcall caml_call_realloc_stack
0017a8f2pop r10
0017a8f4jmp 0x17a802
0017a7f0
0017a8f9
0017a8f9 // align 0x10
0017a8f9 // align 0x10
0017a900
0017a900camlLatexmacros.hidden_find_918:
0017a900lea r10, [rsp-344]
0017a908cmp r10, [r14+40]
0017a90cjb 0x17a9b0
0017a912
0017a912loc_17a912:
0017a912sub rsp, 8
0017a916mov rbx, rax
0017a919lea rax, [rip+0x19a048]
0017a920mov rdi, [rax+240]
0017a927mov rdi, [rdi]
0017a92acmp rdi, 1
0017a92ejle 0x17a9a0
0017a930mov [rsp], rbx
0017a934lea r11, [rip+33]
0017a93bpush r11
0017a93dpush [r14+48]
0017a941mov [r14+48], rsp
0017a945mov rax, [rax+192]
0017a94ccall Stdlib.Hashtbl.find
0017a951pop [r14+48]
0017a955add rsp, 8
0017a959jmp 0x17a998
0017a95bnop
0017a95clea rbx, [rip+0x1b2cb5]
0017a963mov rbx, [rbx+56]
0017a967cmp rax, rbx
0017a96ajne 0x17a988
0017a96clea rax, [rip+0x199ff5]
0017a973mov rax, [rax+200]
0017a97amov rbx, [rsp]
0017a97eadd rsp, 8
0017a982jmp 0x1e7950
0017a987nop
0017a988
0017a988loc_17a988:
0017a988mov rsp, [r14+48]
0017a98cpop [r14+48]
0017a990pop r11
0017a992jmp r11
0017a995nop [rax]
0017a998
0017a998loc_17a998:
0017a998add rsp, 8
0017a99cret
0017a99dnop [rax]
0017a9a0
0017a9a0loc_17a9a0:
0017a9a0mov rax, [rax+200]
0017a9a7add rsp, 8
0017a9abjmp 0x1e7950
0017a9b0
0017a9b0loc_17a9b0:
0017a9b0push 36
0017a9b2call caml_call_realloc_stack
0017a9b7pop r10
0017a9b9jmp 0x17a912
0017a900
0017a900camlLatexmacros.hidden_find_918:
0017a900lea r10, [rsp-344]
0017a908cmp r10, [r14+40]
0017a90cjb 0x17a9b0
0017a912
0017a912loc_17a912:
0017a912sub rsp, 8
0017a916mov rbx, rax
0017a919lea rax, [rip+0x19a048]
0017a920mov rdi, [rax+240]
0017a927mov rdi, [rdi]
0017a92acmp rdi, 1
0017a92ejle 0x17a9a0
0017a930mov [rsp], rbx
0017a934lea r11, [rip+33]
0017a93bpush r11
0017a93dpush [r14+48]
0017a941mov [r14+48], rsp
0017a945mov rax, [rax+192]
0017a94ccall Stdlib.Hashtbl.find
0017a951pop [r14+48]
0017a955add rsp, 8
0017a959jmp 0x17a998
0017a95bnop
0017a95clea rbx, [rip+0x1b2cb5]
0017a963mov rbx, [rbx+56]
0017a967cmp rax, rbx
0017a96ajne 0x17a988
0017a96clea rax, [rip+0x199ff5]
0017a973mov rax, [rax+200]
0017a97amov rbx, [rsp]
0017a97eadd rsp, 8
0017a982jmp 0x1e7950
0017a987nop
0017a988
0017a988loc_17a988:
0017a988mov rsp, [r14+48]
0017a98cpop [r14+48]
0017a990pop r11
0017a992jmp r11
0017a995nop [rax]
0017a998
0017a998loc_17a998:
0017a998add rsp, 8
0017a99cret
0017a99dnop [rax]
0017a9a0
0017a9a0loc_17a9a0:
0017a9a0mov rax, [rax+200]
0017a9a7add rsp, 8
0017a9abjmp 0x1e7950
0017a9b0
0017a9b0loc_17a9b0:
0017a9b0push 36
0017a9b2call caml_call_realloc_stack
0017a9b7pop r10
0017a9b9jmp 0x17a912
0017a900
0017a9be
0017a9be // align 0x10
0017a9be // align 0x10
0017a9c0
0017a9c0camlLatexmacros.set_saved_macros_921:
0017a9c0lea r10, [rsp-320]
0017a9c8cmp r10, [r14+40]
0017a9ccjb 0x17aa13
0017a9ce
0017a9celoc_17a9ce:
0017a9cemov edi, 1
0017a9d3lea rax, [rip+0x199f8e]
0017a9damov rbx, [rax+200]
0017a9e1lea rax, [rip+0x199c80]
0017a9e8call Stdlib.Hashtbl.fold
0017a9edlea rbx, [rip+0x199f74]
0017a9f4mov rdi, [rbx+216]
0017a9fbmov rsi, rax
0017a9femov rbx, rsp
0017aa01mov rsp, [r14+64]
0017aa05call caml_modify
0017aa0amov rsp, rbx
0017aa0dmov eax, 1
0017aa12ret
0017aa13
0017aa13loc_17aa13:
0017aa13push 33
0017aa15call caml_call_realloc_stack
0017aa1apop r10
0017aa1cjmp 0x17a9ce
0017a9c0
0017a9c0camlLatexmacros.set_saved_macros_921:
0017a9c0lea r10, [rsp-320]
0017a9c8cmp r10, [r14+40]
0017a9ccjb 0x17aa13
0017a9ce
0017a9celoc_17a9ce:
0017a9cemov edi, 1
0017a9d3lea rax, [rip+0x199f8e]
0017a9damov rbx, [rax+200]
0017a9e1lea rax, [rip+0x199c80]
0017a9e8call Stdlib.Hashtbl.fold
0017a9edlea rbx, [rip+0x199f74]
0017a9f4mov rdi, [rbx+216]
0017a9fbmov rsi, rax
0017a9femov rbx, rsp
0017aa01mov rsp, [r14+64]
0017aa05call caml_modify
0017aa0amov rsp, rbx
0017aa0dmov eax, 1
0017aa12ret
0017aa13
0017aa13loc_17aa13:
0017aa13push 33
0017aa15call caml_call_realloc_stack
0017aa1apop r10
0017aa1cjmp 0x17a9ce
0017a9c0
0017aa1e
0017aa1e // align 0x10
0017aa1e // align 0x10
0017aa20
0017aa20camlLatexmacros.fun_1106:
0017aa20mov rsi, rax
0017aa23mov rax, [rbx+16]
0017aa27mov rdi, [rbx+24]
0017aa2bmov rbx, rsi
0017aa2ejmp 0x1b9fc0
0017aa20
0017aa20camlLatexmacros.fun_1106:
0017aa20mov rsi, rax
0017aa23mov rax, [rbx+16]
0017aa27mov rdi, [rbx+24]
0017aa2bmov rbx, rsi
0017aa2ejmp 0x1b9fc0
0017aa20
0017aa33
0017aa33 // align 0x10
0017aa33 // align 0x10
0017aa40
0017aa40camlLatexmacros.fun_1101:
0017aa40lea rbx, [rip+0x199f21]
0017aa47mov rbx, [rbx+184]
0017aa4emov rbx, [rbx+8]
0017aa52sub r15, 40
0017aa56cmp r15, [r14]
0017aa59jb 0x17aa8b
0017aa5b
0017aa5bloc_17aa5b:
0017aa5blea rdi, [r15+8]
0017aa5fmov [rdi-8], 4343
0017aa67lea rsi, [rip-78]
0017aa6emov [rdi], rsi
0017aa71mov rsi, 0x100000000000005
0017aa7bmov [rdi+8], rsi
0017aa7fmov [rdi+16], rax
0017aa83mov [rdi+24], rbx
0017aa87mov rax, rdi
0017aa8aret
0017aa8b
0017aa8bloc_17aa8b:
0017aa8bcall caml_call_gc
0017aa90jmp 0x17aa5b
0017aa40
0017aa40camlLatexmacros.fun_1101:
0017aa40lea rbx, [rip+0x199f21]
0017aa47mov rbx, [rbx+184]
0017aa4emov rbx, [rbx+8]
0017aa52sub r15, 40
0017aa56cmp r15, [r14]
0017aa59jb 0x17aa8b
0017aa5b
0017aa5bloc_17aa5b:
0017aa5blea rdi, [r15+8]
0017aa5fmov [rdi-8], 4343
0017aa67lea rsi, [rip-78]
0017aa6emov [rdi], rsi
0017aa71mov rsi, 0x100000000000005
0017aa7bmov [rdi+8], rsi
0017aa7fmov [rdi+16], rax
0017aa83mov [rdi+24], rbx
0017aa87mov rax, rdi
0017aa8aret
0017aa8b
0017aa8bloc_17aa8b:
0017aa8bcall caml_call_gc
0017aa90jmp 0x17aa5b
0017aa40
0017aa92
0017aa92 // align 0x10
0017aa92 // align 0x10
0017aaa0
0017aaa0camlLatexmacros.get_saved_macro_926:
0017aaa0lea rdi, [rip+0x199ec1]
0017aaa7mov rbx, [rdi+216]
0017aaaemov rbx, [rbx]
0017aab1mov rdi, [rdi+184]
0017aab8mov rdi, [rdi+240]
0017aabfjmp 0x1ba6c0
0017aaa0
0017aaa0camlLatexmacros.get_saved_macro_926:
0017aaa0lea rdi, [rip+0x199ec1]
0017aaa7mov rbx, [rdi+216]
0017aaaemov rbx, [rbx]
0017aab1mov rdi, [rdi+184]
0017aab8mov rdi, [rdi+240]
0017aabfjmp 0x1ba6c0
0017aaa0
0017aac4
0017aac4 // align 0x10
0017aac4 // align 0x10
0017aad0
0017aad0camlLatexmacros.register_init_929:
0017aad0lea r10, [rsp-352]
0017aad8cmp r10, [r14+40]
0017aadcjb 0x17abb9
0017aae2
0017aae2loc_17aae2:
0017aae2sub rsp, 16
0017aae6mov rdi, rax
0017aae9mov [rsp+8], rdi
0017aaeemov [rsp], rbx
0017aaf2lea rax, [rip+0x1af577]
0017aaf9mov rax, [rax+80]
0017aafdmov rax, [rax]
0017ab00cmp rax, 3
0017ab04jle 0x17ab1a
0017ab06lea rax, [rip+0x19a2d3]
0017ab0dmov rbx, rdi
0017ab10call camlStdlib.$5e_139
0017ab15call camlStdlib.prerr_endline_390
0017ab1a
0017ab1aloc_17ab1a:
0017ab1alea r11, [rip+83]
0017ab21push r11
0017ab23push [r14+48]
0017ab27mov [r14+48], rsp
0017ab2blea rax, [rip+0x199e36]
0017ab32mov rax, [rax+208]
0017ab39mov rbx, [rsp+24]
0017ab3ecall Stdlib.Hashtbl.find
0017ab43lea rbx, [rip+0x19a24e]
0017ab4amov rax, [rsp+24]
0017ab4fcall camlStdlib.$5e_139
0017ab54mov rbx, rax
0017ab57lea rax, [rip+0x19a24a]
0017ab5ecall camlStdlib.$5e_139
0017ab63call camlMisc.fatal_310
0017ab68pop [r14+48]
0017ab6cadd rsp, 8
0017ab70jmp 0x17abb4
0017ab72nop
0017ab74lea rbx, [rip+0x1b2a9d]
0017ab7bmov rbx, [rbx+56]
0017ab7fcmp rax, rbx
0017ab82jne 0x17aba4
0017ab84lea rax, [rip+0x199ddd]
0017ab8bmov rax, [rax+208]
0017ab92mov rbx, [rsp+8]
0017ab97mov rdi, [rsp]
0017ab9badd rsp, 16
0017ab9fjmp 0x1e7690
0017aba4
0017aba4loc_17aba4:
0017aba4mov rsp, [r14+48]
0017aba8pop [r14+48]
0017abacpop r11
0017abaejmp r11
0017abb1nop [rax]
0017abb4
0017abb4loc_17abb4:
0017abb4add rsp, 16
0017abb8ret
0017abb9
0017abb9loc_17abb9:
0017abb9push 37
0017abbbcall caml_call_realloc_stack
0017abc0pop r10
0017abc2jmp 0x17aae2
0017aad0
0017aad0camlLatexmacros.register_init_929:
0017aad0lea r10, [rsp-352]
0017aad8cmp r10, [r14+40]
0017aadcjb 0x17abb9
0017aae2
0017aae2loc_17aae2:
0017aae2sub rsp, 16
0017aae6mov rdi, rax
0017aae9mov [rsp+8], rdi
0017aaeemov [rsp], rbx
0017aaf2lea rax, [rip+0x1af577]
0017aaf9mov rax, [rax+80]
0017aafdmov rax, [rax]
0017ab00cmp rax, 3
0017ab04jle 0x17ab1a
0017ab06lea rax, [rip+0x19a2d3]
0017ab0dmov rbx, rdi
0017ab10call camlStdlib.$5e_139
0017ab15call camlStdlib.prerr_endline_390
0017ab1a
0017ab1aloc_17ab1a:
0017ab1alea r11, [rip+83]
0017ab21push r11
0017ab23push [r14+48]
0017ab27mov [r14+48], rsp
0017ab2blea rax, [rip+0x199e36]
0017ab32mov rax, [rax+208]
0017ab39mov rbx, [rsp+24]
0017ab3ecall Stdlib.Hashtbl.find
0017ab43lea rbx, [rip+0x19a24e]
0017ab4amov rax, [rsp+24]
0017ab4fcall camlStdlib.$5e_139
0017ab54mov rbx, rax
0017ab57lea rax, [rip+0x19a24a]
0017ab5ecall camlStdlib.$5e_139
0017ab63call camlMisc.fatal_310
0017ab68pop [r14+48]
0017ab6cadd rsp, 8
0017ab70jmp 0x17abb4
0017ab72nop
0017ab74lea rbx, [rip+0x1b2a9d]
0017ab7bmov rbx, [rbx+56]
0017ab7fcmp rax, rbx
0017ab82jne 0x17aba4
0017ab84lea rax, [rip+0x199ddd]
0017ab8bmov rax, [rax+208]
0017ab92mov rbx, [rsp+8]
0017ab97mov rdi, [rsp]
0017ab9badd rsp, 16
0017ab9fjmp 0x1e7690
0017aba4
0017aba4loc_17aba4:
0017aba4mov rsp, [r14+48]
0017aba8pop [r14+48]
0017abacpop r11
0017abaejmp r11
0017abb1nop [rax]
0017abb4
0017abb4loc_17abb4:
0017abb4add rsp, 16
0017abb8ret
0017abb9
0017abb9loc_17abb9:
0017abb9push 37
0017abbbcall caml_call_realloc_stack
0017abc0pop r10
0017abc2jmp 0x17aae2
0017aad0
0017abc7
0017abc7 // align 0x10
0017abc7 // align 0x10
0017abd0
0017abd0camlLatexmacros.exec_init_930:
0017abd0lea r10, [rsp-368]
0017abd8cmp r10, [r14+40]
0017abdcjb 0x17ad09
0017abe2
0017abe2loc_17abe2:
0017abe2sub rsp, 16
0017abe6mov rbx, rax
0017abe9mov [rsp], rbx
0017abedlea rax, [rip+0x1af47c]
0017abf4mov rax, [rax+80]
0017abf8mov rax, [rax]
0017abfbcmp rax, 3
0017abffjle 0x17ac12
0017ac01lea rax, [rip+0x19a160]
0017ac08call camlStdlib.$5e_139
0017ac0dcall camlStdlib.prerr_endline_390
0017ac12
0017ac12loc_17ac12:
0017ac12lea r11, [rip+175]
0017ac19push r11
0017ac1bpush [r14+48]
0017ac1fmov [r14+48], rsp
0017ac23lea rax, [rip+0x199d3e]
0017ac2amov rax, [rax+208]
0017ac31mov rbx, [rsp+16]
0017ac36call Stdlib.Hashtbl.find
0017ac3bmov [rsp+24], rax
0017ac40lea rax, [rip+0x199d21]
0017ac47mov rax, [rax+208]
0017ac4emov rbx, [rsp+16]
0017ac53call Stdlib.Hashtbl.remove
0017ac58lea r11, [rip+37]
0017ac5fpush r11
0017ac61push [r14+48]
0017ac65mov [r14+48], rsp
0017ac69mov eax, 1
0017ac6emov rbx, [rsp+40]
0017ac73mov rdi, [rbx]
0017ac76call rdi
0017ac78pop [r14+48]
0017ac7cadd rsp, 8
0017ac80jmp 0x17acbc
0017ac82nop
0017ac84lea rbx, [rip+0x199cdd]
0017ac8bmov rbx, [rbx]
0017ac8ecmp rax, rbx
0017ac91jne 0x17acac
0017ac93lea rax, [rip+0x19a08e]
0017ac9amov rbx, [rsp+16]
0017ac9fcall camlStdlib.$5e_139
0017aca4call camlMisc.warning_287
0017aca9jmp 0x17acbc
0017acabnop
0017acac
0017acacloc_17acac:
0017acacmov rsp, [r14+48]
0017acb0pop [r14+48]
0017acb4pop r11
0017acb6jmp r11
0017acb9nop [rax]
0017acbc
0017acbcloc_17acbc:
0017acbcpop [r14+48]
0017acc0add rsp, 8
0017acc4jmp 0x17ad04
0017acc6nop
0017acc8lea rbx, [rip+0x1b2949]
0017accfmov rbx, [rbx+56]
0017acd3cmp rax, rbx
0017acd6jne 0x17acf4
0017acd8lea rax, [rip+0x19a019]
0017acdfmov rbx, [rsp]
0017ace3call camlStdlib.$5e_139
0017ace8add rsp, 16
0017acecjmp 0x1919c0
0017acf1nop [rax]
0017acf4
0017acf4loc_17acf4:
0017acf4mov rsp, [r14+48]
0017acf8pop [r14+48]
0017acfcpop r11
0017acfejmp r11
0017ad01nop [rax]
0017ad04
0017ad04loc_17ad04:
0017ad04add rsp, 16
0017ad08ret
0017ad09
0017ad09loc_17ad09:
0017ad09push 39
0017ad0bcall caml_call_realloc_stack
0017ad10pop r10
0017ad12jmp 0x17abe2
0017abd0
0017abd0camlLatexmacros.exec_init_930:
0017abd0lea r10, [rsp-368]
0017abd8cmp r10, [r14+40]
0017abdcjb 0x17ad09
0017abe2
0017abe2loc_17abe2:
0017abe2sub rsp, 16
0017abe6mov rbx, rax
0017abe9mov [rsp], rbx
0017abedlea rax, [rip+0x1af47c]
0017abf4mov rax, [rax+80]
0017abf8mov rax, [rax]
0017abfbcmp rax, 3
0017abffjle 0x17ac12
0017ac01lea rax, [rip+0x19a160]
0017ac08call camlStdlib.$5e_139
0017ac0dcall camlStdlib.prerr_endline_390
0017ac12
0017ac12loc_17ac12:
0017ac12lea r11, [rip+175]
0017ac19push r11
0017ac1bpush [r14+48]
0017ac1fmov [r14+48], rsp
0017ac23lea rax, [rip+0x199d3e]
0017ac2amov rax, [rax+208]
0017ac31mov rbx, [rsp+16]
0017ac36call Stdlib.Hashtbl.find
0017ac3bmov [rsp+24], rax
0017ac40lea rax, [rip+0x199d21]
0017ac47mov rax, [rax+208]
0017ac4emov rbx, [rsp+16]
0017ac53call Stdlib.Hashtbl.remove
0017ac58lea r11, [rip+37]
0017ac5fpush r11
0017ac61push [r14+48]
0017ac65mov [r14+48], rsp
0017ac69mov eax, 1
0017ac6emov rbx, [rsp+40]
0017ac73mov rdi, [rbx]
0017ac76call rdi
0017ac78pop [r14+48]
0017ac7cadd rsp, 8
0017ac80jmp 0x17acbc
0017ac82nop
0017ac84lea rbx, [rip+0x199cdd]
0017ac8bmov rbx, [rbx]
0017ac8ecmp rax, rbx
0017ac91jne 0x17acac
0017ac93lea rax, [rip+0x19a08e]
0017ac9amov rbx, [rsp+16]
0017ac9fcall camlStdlib.$5e_139
0017aca4call camlMisc.warning_287
0017aca9jmp 0x17acbc
0017acabnop
0017acac
0017acacloc_17acac:
0017acacmov rsp, [r14+48]
0017acb0pop [r14+48]
0017acb4pop r11
0017acb6jmp r11
0017acb9nop [rax]
0017acbc
0017acbcloc_17acbc:
0017acbcpop [r14+48]
0017acc0add rsp, 8
0017acc4jmp 0x17ad04
0017acc6nop
0017acc8lea rbx, [rip+0x1b2949]
0017accfmov rbx, [rbx+56]
0017acd3cmp rax, rbx
0017acd6jne 0x17acf4
0017acd8lea rax, [rip+0x19a019]
0017acdfmov rbx, [rsp]
0017ace3call camlStdlib.$5e_139
0017ace8add rsp, 16
0017acecjmp 0x1919c0
0017acf1nop [rax]
0017acf4
0017acf4loc_17acf4:
0017acf4mov rsp, [r14+48]
0017acf8pop [r14+48]
0017acfcpop r11
0017acfejmp r11
0017ad01nop [rax]
0017ad04
0017ad04loc_17ad04:
0017ad04add rsp, 16
0017ad08ret
0017ad09
0017ad09loc_17ad09:
0017ad09push 39
0017ad0bcall caml_call_realloc_stack
0017ad10pop r10
0017ad12jmp 0x17abe2
0017abd0
0017ad17
0017ad17 // align 0x10
0017ad17 // align 0x10
0017ad20
0017ad20camlLatexmacros.exists_938:
0017ad20lea r10, [rsp-336]
0017ad28cmp r10, [r14+40]
0017ad2cjb 0x17ad7d
0017ad2e
0017ad2eloc_17ad2e:
0017ad2elea r11, [rip+31]
0017ad35push r11
0017ad37push [r14+48]
0017ad3bmov [r14+48], rsp
0017ad3fcall camlLatexmacros.hidden_find_918
0017ad44mov eax, 3
0017ad49pop [r14+48]
0017ad4dadd rsp, 8
0017ad51jmp 0x17ad7c
0017ad53nop
0017ad54lea rbx, [rip+0x1b28bd]
0017ad5bmov rbx, [rbx+56]
0017ad5fcmp rax, rbx
0017ad62jne 0x17ad6c
0017ad64mov eax, 1
0017ad69ret
0017ad6anop
0017ad6c
0017ad6cloc_17ad6c:
0017ad6cmov rsp, [r14+48]
0017ad70pop [r14+48]
0017ad74pop r11
0017ad76jmp r11
0017ad79nop [rax]
0017ad7c
0017ad7cloc_17ad7c:
0017ad7cret
0017ad7d
0017ad7dloc_17ad7d:
0017ad7dpush 35
0017ad7fcall caml_call_realloc_stack
0017ad84pop r10
0017ad86jmp 0x17ad2e
0017ad20
0017ad20camlLatexmacros.exists_938:
0017ad20lea r10, [rsp-336]
0017ad28cmp r10, [r14+40]
0017ad2cjb 0x17ad7d
0017ad2e
0017ad2eloc_17ad2e:
0017ad2elea r11, [rip+31]
0017ad35push r11
0017ad37push [r14+48]
0017ad3bmov [r14+48], rsp
0017ad3fcall camlLatexmacros.hidden_find_918
0017ad44mov eax, 3
0017ad49pop [r14+48]
0017ad4dadd rsp, 8
0017ad51jmp 0x17ad7c
0017ad53nop
0017ad54lea rbx, [rip+0x1b28bd]
0017ad5bmov rbx, [rbx+56]
0017ad5fcmp rax, rbx
0017ad62jne 0x17ad6c
0017ad64mov eax, 1
0017ad69ret
0017ad6anop
0017ad6c
0017ad6cloc_17ad6c:
0017ad6cmov rsp, [r14+48]
0017ad70pop [r14+48]
0017ad74pop r11
0017ad76jmp r11
0017ad79nop [rax]
0017ad7c
0017ad7cloc_17ad7c:
0017ad7cret
0017ad7d
0017ad7dloc_17ad7d:
0017ad7dpush 35
0017ad7fcall caml_call_realloc_stack
0017ad84pop r10
0017ad86jmp 0x17ad2e
0017ad20
0017ad88
0017ad88 // align 0x10
0017ad88 // align 0x10
0017ad90
0017ad90camlLatexmacros.find_941:
0017ad90lea r10, [rsp-344]
0017ad98cmp r10, [r14+40]
0017ad9cjb 0x17ae11
0017ad9e
0017ad9eloc_17ad9e:
0017ad9esub rsp, 8
0017ada2mov [rsp], rax
0017ada6lea r11, [rip+27]
0017adadpush r11
0017adafpush [r14+48]
0017adb3mov [r14+48], rsp
0017adb7call camlLatexmacros.hidden_find_918
0017adbcpop [r14+48]
0017adc0add rsp, 8
0017adc4jmp 0x17ae0c
0017adc6nop
0017adc8lea rbx, [rip+0x1b2849]
0017adcfmov rbx, [rbx+56]
0017add3cmp rax, rbx
0017add6jne 0x17adfc
0017add8lea rax, [rip+0x199ef9]
0017addfmov rbx, [rsp]
0017ade3call camlStdlib.$5e_139
0017ade8call camlMisc.warning_287
0017adedlea rax, [rip+0x199ea4]
0017adf4add rsp, 8
0017adf8ret
0017adf9nop [rax]
0017adfc
0017adfcloc_17adfc:
0017adfcmov rsp, [r14+48]
0017ae00pop [r14+48]
0017ae04pop r11
0017ae06jmp r11
0017ae09nop [rax]
0017ae0c
0017ae0cloc_17ae0c:
0017ae0cadd rsp, 8
0017ae10ret
0017ae11
0017ae11loc_17ae11:
0017ae11push 36
0017ae13call caml_call_realloc_stack
0017ae18pop r10
0017ae1ajmp 0x17ad9e
0017ad90
0017ad90camlLatexmacros.find_941:
0017ad90lea r10, [rsp-344]
0017ad98cmp r10, [r14+40]
0017ad9cjb 0x17ae11
0017ad9e
0017ad9eloc_17ad9e:
0017ad9esub rsp, 8
0017ada2mov [rsp], rax
0017ada6lea r11, [rip+27]
0017adadpush r11
0017adafpush [r14+48]
0017adb3mov [r14+48], rsp
0017adb7call camlLatexmacros.hidden_find_918
0017adbcpop [r14+48]
0017adc0add rsp, 8
0017adc4jmp 0x17ae0c
0017adc6nop
0017adc8lea rbx, [rip+0x1b2849]
0017adcfmov rbx, [rbx+56]
0017add3cmp rax, rbx
0017add6jne 0x17adfc
0017add8lea rax, [rip+0x199ef9]
0017addfmov rbx, [rsp]
0017ade3call camlStdlib.$5e_139
0017ade8call camlMisc.warning_287
0017adedlea rax, [rip+0x199ea4]
0017adf4add rsp, 8
0017adf8ret
0017adf9nop [rax]
0017adfc
0017adfcloc_17adfc:
0017adfcmov rsp, [r14+48]
0017ae00pop [r14+48]
0017ae04pop r11
0017ae06jmp r11
0017ae09nop [rax]
0017ae0c
0017ae0cloc_17ae0c:
0017ae0cadd rsp, 8
0017ae10ret
0017ae11
0017ae11loc_17ae11:
0017ae11push 36
0017ae13call caml_call_realloc_stack
0017ae18pop r10
0017ae1ajmp 0x17ad9e
0017ad90
0017ae1c
0017ae1c // align 0x10
0017ae1c // align 0x10
0017ae20
0017ae20camlLatexmacros.find_fail_942:
0017ae20lea r10, [rsp-336]
0017ae28cmp r10, [r14+40]
0017ae2cjb 0x17ae89
0017ae2e
0017ae2eloc_17ae2e:
0017ae2elea r11, [rip+27]
0017ae35push r11
0017ae37push [r14+48]
0017ae3bmov [r14+48], rsp
0017ae3fcall camlLatexmacros.hidden_find_918
0017ae44pop [r14+48]
0017ae48add rsp, 8
0017ae4cjmp 0x17ae88
0017ae4enop
0017ae50lea rbx, [rip+0x1b27c1]
0017ae57mov rbx, [rbx+56]
0017ae5bcmp rax, rbx
0017ae5ejne 0x17ae78
0017ae60lea rax, [rip+0x199b01]
0017ae67mov rax, [rax]
0017ae6amov rsp, [r14+48]
0017ae6epop [r14+48]
0017ae72pop r11
0017ae74jmp r11
0017ae77nop
0017ae78
0017ae78loc_17ae78:
0017ae78mov rsp, [r14+48]
0017ae7cpop [r14+48]
0017ae80pop r11
0017ae82jmp r11
0017ae85nop [rax]
0017ae88
0017ae88loc_17ae88:
0017ae88ret
0017ae89
0017ae89loc_17ae89:
0017ae89push 35
0017ae8bcall caml_call_realloc_stack
0017ae90pop r10
0017ae92jmp 0x17ae2e
0017ae20
0017ae20camlLatexmacros.find_fail_942:
0017ae20lea r10, [rsp-336]
0017ae28cmp r10, [r14+40]
0017ae2cjb 0x17ae89
0017ae2e
0017ae2eloc_17ae2e:
0017ae2elea r11, [rip+27]
0017ae35push r11
0017ae37push [r14+48]
0017ae3bmov [r14+48], rsp
0017ae3fcall camlLatexmacros.hidden_find_918
0017ae44pop [r14+48]
0017ae48add rsp, 8
0017ae4cjmp 0x17ae88
0017ae4enop
0017ae50lea rbx, [rip+0x1b27c1]
0017ae57mov rbx, [rbx+56]
0017ae5bcmp rax, rbx
0017ae5ejne 0x17ae78
0017ae60lea rax, [rip+0x199b01]
0017ae67mov rax, [rax]
0017ae6amov rsp, [r14+48]
0017ae6epop [r14+48]
0017ae72pop r11
0017ae74jmp r11
0017ae77nop
0017ae78
0017ae78loc_17ae78:
0017ae78mov rsp, [r14+48]
0017ae7cpop [r14+48]
0017ae80pop r11
0017ae82jmp r11
0017ae85nop [rax]
0017ae88
0017ae88loc_17ae88:
0017ae88ret
0017ae89
0017ae89loc_17ae89:
0017ae89push 35
0017ae8bcall caml_call_realloc_stack
0017ae90pop r10
0017ae92jmp 0x17ae2e
0017ae20
0017ae94
0017ae94 // align 0x10
0017ae94 // align 0x10
0017aea0
0017aea0camlLatexmacros.pretty_command_947:
0017aea0lea r10, [rsp-336]
0017aea8cmp r10, [r14+40]
0017aeacjb 0x17af0f
0017aeae
0017aeaeloc_17aeae:
0017aeaesub rsp, 16
0017aeb2mov [rsp], rax
0017aeb6call camlLatexmacros.find_941
0017aebbmov [rsp+8], rax
0017aec0mov rax, [rsp]
0017aec4mov [rsp], rax
0017aec8lea rbx, [rip+0x199d71]
0017aecflea rax, [rip+0x1b2742]
0017aed6mov rax, [rax+312]
0017aeddcall Stdlib.Printf.fprintf
0017aee2mov rbx, rax
0017aee5mov rdi, [rbx]
0017aee8mov rax, [rsp]
0017aeeccall rdi
0017aeeemov rax, [rsp+8]
0017aef3mov rbx, [rax+8]
0017aef7mov rax, [rax]
0017aefacall camlLatexmacros.pretty_macro_839
0017aefflea rax, [rip+0x19a0d2]
0017af06add rsp, 16
0017af0ajmp 0x196d50
0017af0f
0017af0floc_17af0f:
0017af0fpush 35
0017af11call caml_call_realloc_stack
0017af16pop r10
0017af18jmp 0x17aeae
0017aea0
0017aea0camlLatexmacros.pretty_command_947:
0017aea0lea r10, [rsp-336]
0017aea8cmp r10, [r14+40]
0017aeacjb 0x17af0f
0017aeae
0017aeaeloc_17aeae:
0017aeaesub rsp, 16
0017aeb2mov [rsp], rax
0017aeb6call camlLatexmacros.find_941
0017aebbmov [rsp+8], rax
0017aec0mov rax, [rsp]
0017aec4mov [rsp], rax
0017aec8lea rbx, [rip+0x199d71]
0017aecflea rax, [rip+0x1b2742]
0017aed6mov rax, [rax+312]
0017aeddcall Stdlib.Printf.fprintf
0017aee2mov rbx, rax
0017aee5mov rdi, [rbx]
0017aee8mov rax, [rsp]
0017aeeccall rdi
0017aeeemov rax, [rsp+8]
0017aef3mov rbx, [rax+8]
0017aef7mov rax, [rax]
0017aefacall camlLatexmacros.pretty_macro_839
0017aefflea rax, [rip+0x19a0d2]
0017af06add rsp, 16
0017af0ajmp 0x196d50
0017af0f
0017af0floc_17af0f:
0017af0fpush 35
0017af11call caml_call_realloc_stack
0017af16pop r10
0017af18jmp 0x17aeae
0017aea0
0017af1a
0017af1a // align 0x10
0017af1a // align 0x10
0017af20
0017af20camlLatexmacros.def_952:
0017af20lea r10, [rsp-352]
0017af28cmp r10, [r14+40]
0017af2cjb 0x17afd9
0017af32
0017af32loc_17af32:
0017af32sub rsp, 32
0017af36mov [rsp], rax
0017af3amov [rsp+16], rbx
0017af3fmov [rsp+24], rdi
0017af44lea rbx, [rip+0x1af125]
0017af4bmov rbx, [rbx+80]
0017af4fmov rbx, [rbx]
0017af52cmp rbx, 3
0017af56jle 0x17af9f
0017af58mov [rsp+8], rax
0017af5dlea rbx, [rip+0x199c44]
0017af64lea rax, [rip+0x1b26ad]
0017af6bmov rax, [rax+312]
0017af72call Stdlib.Printf.fprintf
0017af77mov rbx, rax
0017af7amov rdi, [rbx]
0017af7dmov rax, [rsp+8]
0017af82call rdi
0017af84mov rax, [rsp+16]
0017af89mov rbx, [rsp+24]
0017af8ecall camlLatexmacros.pretty_macro_839
0017af93lea rax, [rip+0x19a03e]
0017af9acall camlStdlib.prerr_endline_390
0017af9f
0017af9floc_17af9f:
0017af9fsub r15, 24
0017afa3cmp r15, [r14]
0017afa6jb 0x17afd2
0017afa8
0017afa8loc_17afa8:
0017afa8lea rbx, [r15+8]
0017afacmov [rbx-8], 2048
0017afb4mov rax, [rsp+16]
0017afb9mov [rbx], rax
0017afbcmov rax, [rsp+24]
0017afc1mov [rbx+8], rax
0017afc5mov rax, [rsp]
0017afc9add rsp, 32
0017afcdjmp 0x17a7f0
0017afd2
0017afd2loc_17afd2:
0017afd2call caml_call_gc
0017afd7jmp 0x17afa8
0017afd9
0017afd9loc_17afd9:
0017afd9push 37
0017afdbcall caml_call_realloc_stack
0017afe0pop r10
0017afe2jmp 0x17af32
0017af20
0017af20camlLatexmacros.def_952:
0017af20lea r10, [rsp-352]
0017af28cmp r10, [r14+40]
0017af2cjb 0x17afd9
0017af32
0017af32loc_17af32:
0017af32sub rsp, 32
0017af36mov [rsp], rax
0017af3amov [rsp+16], rbx
0017af3fmov [rsp+24], rdi
0017af44lea rbx, [rip+0x1af125]
0017af4bmov rbx, [rbx+80]
0017af4fmov rbx, [rbx]
0017af52cmp rbx, 3
0017af56jle 0x17af9f
0017af58mov [rsp+8], rax
0017af5dlea rbx, [rip+0x199c44]
0017af64lea rax, [rip+0x1b26ad]
0017af6bmov rax, [rax+312]
0017af72call Stdlib.Printf.fprintf
0017af77mov rbx, rax
0017af7amov rdi, [rbx]
0017af7dmov rax, [rsp+8]
0017af82call rdi
0017af84mov rax, [rsp+16]
0017af89mov rbx, [rsp+24]
0017af8ecall camlLatexmacros.pretty_macro_839
0017af93lea rax, [rip+0x19a03e]
0017af9acall camlStdlib.prerr_endline_390
0017af9f
0017af9floc_17af9f:
0017af9fsub r15, 24
0017afa3cmp r15, [r14]
0017afa6jb 0x17afd2
0017afa8
0017afa8loc_17afa8:
0017afa8lea rbx, [r15+8]
0017afacmov [rbx-8], 2048
0017afb4mov rax, [rsp+16]
0017afb9mov [rbx], rax
0017afbcmov rax, [rsp+24]
0017afc1mov [rbx+8], rax
0017afc5mov rax, [rsp]
0017afc9add rsp, 32
0017afcdjmp 0x17a7f0
0017afd2
0017afd2loc_17afd2:
0017afd2call caml_call_gc
0017afd7jmp 0x17afa8
0017afd9
0017afd9loc_17afd9:
0017afd9push 37
0017afdbcall caml_call_realloc_stack
0017afe0pop r10
0017afe2jmp 0x17af32
0017af20
0017afe7
0017afe7 // align 0x10
0017afe7 // align 0x10
0017aff0
0017aff0camlLatexmacros.global_def_953:
0017aff0lea r10, [rsp-352]
0017aff8cmp r10, [r14+40]
0017affcjb 0x17b0a9
0017b002
0017b002loc_17b002:
0017b002sub rsp, 32
0017b006mov [rsp], rax
0017b00amov [rsp+16], rbx
0017b00fmov [rsp+24], rdi
0017b014lea rbx, [rip+0x1af055]
0017b01bmov rbx, [rbx+80]
0017b01fmov rbx, [rbx]
0017b022cmp rbx, 3
0017b026jle 0x17b06f
0017b028mov [rsp+8], rax
0017b02dlea rbx, [rip+0x199b0c]
0017b034lea rax, [rip+0x1b25dd]
0017b03bmov rax, [rax+312]
0017b042call Stdlib.Printf.fprintf
0017b047mov rbx, rax
0017b04amov rdi, [rbx]
0017b04dmov rax, [rsp+8]
0017b052call rdi
0017b054mov rax, [rsp+16]
0017b059mov rbx, [rsp+24]
0017b05ecall camlLatexmacros.pretty_macro_839
0017b063lea rax, [rip+0x199f6e]
0017b06acall camlStdlib.prerr_endline_390
0017b06f
0017b06floc_17b06f:
0017b06fsub r15, 24
0017b073cmp r15, [r14]
0017b076jb 0x17b0a2
0017b078
0017b078loc_17b078:
0017b078lea rbx, [r15+8]
0017b07cmov [rbx-8], 2048
0017b084mov rax, [rsp+16]
0017b089mov [rbx], rax
0017b08cmov rax, [rsp+24]
0017b091mov [rbx+8], rax
0017b095mov rax, [rsp]
0017b099add rsp, 32
0017b09djmp 0x17a6a0
0017b0a2
0017b0a2loc_17b0a2:
0017b0a2call caml_call_gc
0017b0a7jmp 0x17b078
0017b0a9
0017b0a9loc_17b0a9:
0017b0a9push 37
0017b0abcall caml_call_realloc_stack
0017b0b0pop r10
0017b0b2jmp 0x17b002
0017aff0
0017aff0camlLatexmacros.global_def_953:
0017aff0lea r10, [rsp-352]
0017aff8cmp r10, [r14+40]
0017affcjb 0x17b0a9
0017b002
0017b002loc_17b002:
0017b002sub rsp, 32
0017b006mov [rsp], rax
0017b00amov [rsp+16], rbx
0017b00fmov [rsp+24], rdi
0017b014lea rbx, [rip+0x1af055]
0017b01bmov rbx, [rbx+80]
0017b01fmov rbx, [rbx]
0017b022cmp rbx, 3
0017b026jle 0x17b06f
0017b028mov [rsp+8], rax
0017b02dlea rbx, [rip+0x199b0c]
0017b034lea rax, [rip+0x1b25dd]
0017b03bmov rax, [rax+312]
0017b042call Stdlib.Printf.fprintf
0017b047mov rbx, rax
0017b04amov rdi, [rbx]
0017b04dmov rax, [rsp+8]
0017b052call rdi
0017b054mov rax, [rsp+16]
0017b059mov rbx, [rsp+24]
0017b05ecall camlLatexmacros.pretty_macro_839
0017b063lea rax, [rip+0x199f6e]
0017b06acall camlStdlib.prerr_endline_390
0017b06f
0017b06floc_17b06f:
0017b06fsub r15, 24
0017b073cmp r15, [r14]
0017b076jb 0x17b0a2
0017b078
0017b078loc_17b078:
0017b078lea rbx, [r15+8]
0017b07cmov [rbx-8], 2048
0017b084mov rax, [rsp+16]
0017b089mov [rbx], rax
0017b08cmov rax, [rsp+24]
0017b091mov [rbx+8], rax
0017b095mov rax, [rsp]
0017b099add rsp, 32
0017b09djmp 0x17a6a0
0017b0a2
0017b0a2loc_17b0a2:
0017b0a2call caml_call_gc
0017b0a7jmp 0x17b078
0017b0a9
0017b0a9loc_17b0a9:
0017b0a9push 37
0017b0abcall caml_call_realloc_stack
0017b0b0pop r10
0017b0b2jmp 0x17b002
0017aff0
0017b0b7
0017b0b7 // align 0x10
0017b0b7 // align 0x10
0017b0c0
0017b0c0camlLatexmacros.global_undef_954:
0017b0c0lea r10, [rsp-328]
0017b0c8cmp r10, [r14+40]
0017b0ccjb 0x17b107
0017b0ce
0017b0celoc_17b0ce:
0017b0cesub rsp, 8
0017b0d2mov rbx, rax
0017b0d5mov [rsp], rbx
0017b0d9lea rax, [rip+0x199888]
0017b0e0mov rax, [rax+200]
0017b0e7call Stdlib.Hashtbl.remove
0017b0eclea rax, [rip+0x199875]
0017b0f3mov rax, [rax+192]
0017b0famov rbx, [rsp]
0017b0feadd rsp, 8
0017b102jmp 0x1e7880
0017b107
0017b107loc_17b107:
0017b107push 34
0017b109call caml_call_realloc_stack
0017b10epop r10
0017b110jmp 0x17b0ce
0017b0c0
0017b0c0camlLatexmacros.global_undef_954:
0017b0c0lea r10, [rsp-328]
0017b0c8cmp r10, [r14+40]
0017b0ccjb 0x17b107
0017b0ce
0017b0celoc_17b0ce:
0017b0cesub rsp, 8
0017b0d2mov rbx, rax
0017b0d5mov [rsp], rbx
0017b0d9lea rax, [rip+0x199888]
0017b0e0mov rax, [rax+200]
0017b0e7call Stdlib.Hashtbl.remove
0017b0eclea rax, [rip+0x199875]
0017b0f3mov rax, [rax+192]
0017b0famov rbx, [rsp]
0017b0feadd rsp, 8
0017b102jmp 0x1e7880
0017b107
0017b107loc_17b107:
0017b107push 34
0017b109call caml_call_realloc_stack
0017b10epop r10
0017b110jmp 0x17b0ce
0017b0c0
0017b112
0017b112 // align 0x10
0017b112 // align 0x10
0017b120
0017b120camlLatexmacros.def_init_965:
0017b120lea r10, [rsp-336]
0017b128cmp r10, [r14+40]
0017b12cjb 0x17b1a7
0017b12e
0017b12eloc_17b12e:
0017b12esub rsp, 16
0017b132mov [rsp+8], rax
0017b137mov [rsp], rbx
0017b13bcall camlLatexmacros.exists_938
0017b140cmp rax, 1
0017b144je 0x17b16b
0017b146lea rbx, [rip+0x1999b3]
0017b14dmov rax, [rsp+8]
0017b152call camlStdlib.$5e_139
0017b157mov rbx, rax
0017b15alea rax, [rip+0x1999c7]
0017b161call camlStdlib.$5e_139
0017b166call camlMisc.fatal_310
0017b16b
0017b16bloc_17b16b:
0017b16bsub r15, 16
0017b16fcmp r15, [r14]
0017b172jb 0x17b1a0
0017b174
0017b174loc_17b174:
0017b174lea rdi, [r15+8]
0017b178mov [rdi-8], 1026
0017b180mov rax, [rsp]
0017b184mov [rdi], rax
0017b187lea rax, [rip+0x19b812]
0017b18emov rbx, [rax+56]
0017b192mov rax, [rsp+8]
0017b197add rsp, 16
0017b19bjmp 0x17af20
0017b1a0
0017b1a0loc_17b1a0:
0017b1a0call caml_call_gc
0017b1a5jmp 0x17b174
0017b1a7
0017b1a7loc_17b1a7:
0017b1a7push 35
0017b1a9call caml_call_realloc_stack
0017b1aepop r10
0017b1b0jmp 0x17b12e
0017b120
0017b120camlLatexmacros.def_init_965:
0017b120lea r10, [rsp-336]
0017b128cmp r10, [r14+40]
0017b12cjb 0x17b1a7
0017b12e
0017b12eloc_17b12e:
0017b12esub rsp, 16
0017b132mov [rsp+8], rax
0017b137mov [rsp], rbx
0017b13bcall camlLatexmacros.exists_938
0017b140cmp rax, 1
0017b144je 0x17b16b
0017b146lea rbx, [rip+0x1999b3]
0017b14dmov rax, [rsp+8]
0017b152call camlStdlib.$5e_139
0017b157mov rbx, rax
0017b15alea rax, [rip+0x1999c7]
0017b161call camlStdlib.$5e_139
0017b166call camlMisc.fatal_310
0017b16b
0017b16bloc_17b16b:
0017b16bsub r15, 16
0017b16fcmp r15, [r14]
0017b172jb 0x17b1a0
0017b174
0017b174loc_17b174:
0017b174lea rdi, [r15+8]
0017b178mov [rdi-8], 1026
0017b180mov rax, [rsp]
0017b184mov [rdi], rax
0017b187lea rax, [rip+0x19b812]
0017b18emov rbx, [rax+56]
0017b192mov rax, [rsp+8]
0017b197add rsp, 16
0017b19bjmp 0x17af20
0017b1a0
0017b1a0loc_17b1a0:
0017b1a0call caml_call_gc
0017b1a5jmp 0x17b174
0017b1a7
0017b1a7loc_17b1a7:
0017b1a7push 35
0017b1a9call caml_call_realloc_stack
0017b1aepop r10
0017b1b0jmp 0x17b12e
0017b120
0017b1b5
0017b1b5 // align 0x10
0017b1b5 // align 0x10
0017b1c0
0017b1c0camlLatexmacros.replace_969:
0017b1c0lea r10, [rsp-360]
0017b1c8cmp r10, [r14+40]
0017b1ccjb 0x17b2dd
0017b1d2
0017b1d2loc_17b1d2:
0017b1d2sub rsp, 24
0017b1d6mov [rsp+16], rax
0017b1dbmov [rsp], rbx
0017b1dflea r11, [rip+58]
0017b1e6push r11
0017b1e8push [r14+48]
0017b1ecmov [r14+48], rsp
0017b1f0call camlLatexmacros.hidden_find_918
0017b1f5sub r15, 16
0017b1f9cmp r15, [r14]
0017b1fcjb 0x17b2d3
0017b202
0017b202loc_17b202:
0017b202lea rbx, [r15+8]
0017b206mov [rsp+24], rbx
0017b20bmov [rbx-8], 1024
0017b213mov [rbx], rax
0017b216pop [r14+48]
0017b21aadd rsp, 8
0017b21ejmp 0x17b24d
0017b220lea rbx, [rip+0x1b23f1]
0017b227mov rbx, [rbx+56]
0017b22bcmp rax, rbx
0017b22ejne 0x17b238
0017b230mov ebx, 1
0017b235jmp 0x17b248
0017b237nop
0017b238
0017b238loc_17b238:
0017b238mov rsp, [r14+48]
0017b23cpop [r14+48]
0017b240pop r11
0017b242jmp r11
0017b245nop [rax]
0017b248
0017b248loc_17b248:
0017b248mov [rsp+8], rbx
0017b24d
0017b24dloc_17b24d:
0017b24dmov rax, [rsp]
0017b251test al, 1
0017b253je 0x17b2bc
0017b255test bl, 1
0017b258jne 0x17b2c9
0017b25alea rax, [rip+0x199707]
0017b261mov rbx, [rax+240]
0017b268mov rbx, [rbx]
0017b26bcmp rbx, 1
0017b26fjle 0x17b2a8
0017b271mov rax, [rax+224]
0017b278mov rbx, [rax]
0017b27bmov rax, [rsp+16]
0017b280call camlLatexmacros.pre_purge_905
0017b285lea rbx, [rip+0x1996dc]
0017b28cmov rdi, [rbx+224]
0017b293mov rsi, rax
0017b296mov rbx, rsp
0017b299mov rsp, [r14+64]
0017b29dcall caml_modify
0017b2a2mov rsp, rbx
0017b2a5jmp 0x17b2c9
0017b2a7nop
0017b2a8
0017b2a8loc_17b2a8:
0017b2a8mov rax, [rax+200]
0017b2afmov rbx, [rsp+16]
0017b2b4call Stdlib.Hashtbl.remove
0017b2b9jmp 0x17b2c9
0017b2bbnop
0017b2bc
0017b2bcloc_17b2bc:
0017b2bcmov rbx, [rax]
0017b2bfmov rax, [rsp+16]
0017b2c4call camlLatexmacros.hidden_local_def_914
0017b2c9
0017b2c9loc_17b2c9:
0017b2c9mov rax, [rsp+8]
0017b2ceadd rsp, 24
0017b2d2ret
0017b2d3
0017b2d3loc_17b2d3:
0017b2d3call caml_call_gc
0017b2d8jmp 0x17b202
0017b2dd
0017b2ddloc_17b2dd:
0017b2ddpush 38
0017b2dfcall caml_call_realloc_stack
0017b2e4pop r10
0017b2e6jmp 0x17b1d2
0017b1c0
0017b1c0camlLatexmacros.replace_969:
0017b1c0lea r10, [rsp-360]
0017b1c8cmp r10, [r14+40]
0017b1ccjb 0x17b2dd
0017b1d2
0017b1d2loc_17b1d2:
0017b1d2sub rsp, 24
0017b1d6mov [rsp+16], rax
0017b1dbmov [rsp], rbx
0017b1dflea r11, [rip+58]
0017b1e6push r11
0017b1e8push [r14+48]
0017b1ecmov [r14+48], rsp
0017b1f0call camlLatexmacros.hidden_find_918
0017b1f5sub r15, 16
0017b1f9cmp r15, [r14]
0017b1fcjb 0x17b2d3
0017b202
0017b202loc_17b202:
0017b202lea rbx, [r15+8]
0017b206mov [rsp+24], rbx
0017b20bmov [rbx-8], 1024
0017b213mov [rbx], rax
0017b216pop [r14+48]
0017b21aadd rsp, 8
0017b21ejmp 0x17b24d
0017b220lea rbx, [rip+0x1b23f1]
0017b227mov rbx, [rbx+56]
0017b22bcmp rax, rbx
0017b22ejne 0x17b238
0017b230mov ebx, 1
0017b235jmp 0x17b248
0017b237nop
0017b238
0017b238loc_17b238:
0017b238mov rsp, [r14+48]
0017b23cpop [r14+48]
0017b240pop r11
0017b242jmp r11
0017b245nop [rax]
0017b248
0017b248loc_17b248:
0017b248mov [rsp+8], rbx
0017b24d
0017b24dloc_17b24d:
0017b24dmov rax, [rsp]
0017b251test al, 1
0017b253je 0x17b2bc
0017b255test bl, 1
0017b258jne 0x17b2c9
0017b25alea rax, [rip+0x199707]
0017b261mov rbx, [rax+240]
0017b268mov rbx, [rbx]
0017b26bcmp rbx, 1
0017b26fjle 0x17b2a8
0017b271mov rax, [rax+224]
0017b278mov rbx, [rax]
0017b27bmov rax, [rsp+16]
0017b280call camlLatexmacros.pre_purge_905
0017b285lea rbx, [rip+0x1996dc]
0017b28cmov rdi, [rbx+224]
0017b293mov rsi, rax
0017b296mov rbx, rsp
0017b299mov rsp, [r14+64]
0017b29dcall caml_modify
0017b2a2mov rsp, rbx
0017b2a5jmp 0x17b2c9
0017b2a7nop
0017b2a8
0017b2a8loc_17b2a8:
0017b2a8mov rax, [rax+200]
0017b2afmov rbx, [rsp+16]
0017b2b4call Stdlib.Hashtbl.remove
0017b2b9jmp 0x17b2c9
0017b2bbnop
0017b2bc
0017b2bcloc_17b2bc:
0017b2bcmov rbx, [rax]
0017b2bfmov rax, [rsp+16]
0017b2c4call camlLatexmacros.hidden_local_def_914
0017b2c9
0017b2c9loc_17b2c9:
0017b2c9mov rax, [rsp+8]
0017b2ceadd rsp, 24
0017b2d2ret
0017b2d3
0017b2d3loc_17b2d3:
0017b2d3call caml_call_gc
0017b2d8jmp 0x17b202
0017b2dd
0017b2ddloc_17b2dd:
0017b2ddpush 38
0017b2dfcall caml_call_realloc_stack
0017b2e4pop r10
0017b2e6jmp 0x17b1d2
0017b1c0
Loading..