File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
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
0017b2eb
0017b2eb // align 0x10
0017b2eb // align 0x10
0017b2f0
0017b2f0camlLatexmacros.addto_975:
0017b2f0lea r10, [rsp-360]
0017b2f8cmp r10, [r14+40]
0017b2fcjb 0x17b491
0017b302
0017b302loc_17b302:
0017b302sub rsp, 24
0017b306mov [rsp+16], rax
0017b30bmov [rsp+8], rbx
0017b310lea r11, [rip+53]
0017b317push r11
0017b319push [r14+48]
0017b31dmov [r14+48], rsp
0017b321call camlLatexmacros.hidden_find_918
0017b326sub r15, 16
0017b32acmp r15, [r14]
0017b32djb 0x17b487
0017b333
0017b333loc_17b333:
0017b333lea rbx, [r15+8]
0017b337mov [rbx-8], 1024
0017b33fmov [rbx], rax
0017b342pop [r14+48]
0017b346add rsp, 8
0017b34ajmp 0x17b374
0017b34clea rbx, [rip+0x1b22c5]
0017b353mov rbx, [rbx+56]
0017b357cmp rax, rbx
0017b35ajne 0x17b364
0017b35cmov ebx, 1
0017b361jmp 0x17b374
0017b363nop
0017b364
0017b364loc_17b364:
0017b364mov rsp, [r14+48]
0017b368pop [r14+48]
0017b36cpop r11
0017b36ejmp r11
0017b371nop [rax]
0017b374
0017b374loc_17b374:
0017b374test bl, 1
0017b377je 0x17b3cc
0017b379sub r15, 40
0017b37dcmp r15, [r14]
0017b380jb 0x17b47d
0017b386
0017b386loc_17b386:
0017b386lea rax, [r15+8]
0017b38aadd rax, 24
0017b38emov [rax-8], 1024
0017b396mov rbx, [rsp+8]
0017b39bmov [rax], rbx
0017b39elea rbx, [rax-24]
0017b3a2mov [rbx-8], 2048
0017b3aalea rdi, [rip+0x19b5ef]
0017b3b1mov rdi, [rdi+56]
0017b3b5mov [rbx], rdi
0017b3b8mov [rbx+8], rax
0017b3bcmov rax, [rsp+16]
0017b3c1add rsp, 24
0017b3c5jmp 0x17a7f0
0017b3canop
0017b3cc
0017b3ccloc_17b3cc:
0017b3ccmov rax, [rbx]
0017b3cfmov rdi, [rax+8]
0017b3d3movzx rbx, [rdi-8]
0017b3d8test rbx, rbx
0017b3dbjne 0x17b45c
0017b3ddmov [rsp], rax
0017b3e1sub r15, 24
0017b3e5cmp r15, [r14]
0017b3e8jb 0x17b473
0017b3ee
0017b3eeloc_17b3ee:
0017b3eelea rbx, [r15+8]
0017b3f2mov [rbx-8], 2048
0017b3falea rax, [rip+0x1996ef]
0017b401mov [rbx], rax
0017b404mov rax, [rsp+8]
0017b409mov [rbx+8], rax
0017b40dmov rax, [rdi]
0017b410call camlStdlib.$40_196
0017b415sub r15, 40
0017b419cmp r15, [r14]
0017b41cjb 0x17b46c
0017b41e
0017b41eloc_17b41e:
0017b41elea rdi, [r15+8]
0017b422add rdi, 24
0017b426mov [rdi-8], 1024
0017b42emov [rdi], rax
0017b431lea rbx, [rdi-24]
0017b435mov [rbx-8], 2048
0017b43dmov rax, [rsp]
0017b441mov rax, [rax]
0017b444mov [rbx], rax
0017b447mov [rbx+8], rdi
0017b44bmov rax, [rsp+16]
0017b450add rsp, 24
0017b454jmp 0x17a7f0
0017b459nop [rax]
0017b45c
0017b45cloc_17b45c:
0017b45clea rax, [rip+0x199665]
0017b463add rsp, 24
0017b467jmp 0x1919c0
0017b46c
0017b46cloc_17b46c:
0017b46ccall caml_call_gc
0017b471jmp 0x17b41e
0017b473
0017b473loc_17b473:
0017b473call caml_call_gc
0017b478jmp 0x17b3ee
0017b47d
0017b47dloc_17b47d:
0017b47dcall caml_call_gc
0017b482jmp 0x17b386
0017b487
0017b487loc_17b487:
0017b487call caml_call_gc
0017b48cjmp 0x17b333
0017b491
0017b491loc_17b491:
0017b491push 38
0017b493call caml_call_realloc_stack
0017b498pop r10
0017b49ajmp 0x17b302
0017b2f0
0017b2f0camlLatexmacros.addto_975:
0017b2f0lea r10, [rsp-360]
0017b2f8cmp r10, [r14+40]
0017b2fcjb 0x17b491
0017b302
0017b302loc_17b302:
0017b302sub rsp, 24
0017b306mov [rsp+16], rax
0017b30bmov [rsp+8], rbx
0017b310lea r11, [rip+53]
0017b317push r11
0017b319push [r14+48]
0017b31dmov [r14+48], rsp
0017b321call camlLatexmacros.hidden_find_918
0017b326sub r15, 16
0017b32acmp r15, [r14]
0017b32djb 0x17b487
0017b333
0017b333loc_17b333:
0017b333lea rbx, [r15+8]
0017b337mov [rbx-8], 1024
0017b33fmov [rbx], rax
0017b342pop [r14+48]
0017b346add rsp, 8
0017b34ajmp 0x17b374
0017b34clea rbx, [rip+0x1b22c5]
0017b353mov rbx, [rbx+56]
0017b357cmp rax, rbx
0017b35ajne 0x17b364
0017b35cmov ebx, 1
0017b361jmp 0x17b374
0017b363nop
0017b364
0017b364loc_17b364:
0017b364mov rsp, [r14+48]
0017b368pop [r14+48]
0017b36cpop r11
0017b36ejmp r11
0017b371nop [rax]
0017b374
0017b374loc_17b374:
0017b374test bl, 1
0017b377je 0x17b3cc
0017b379sub r15, 40
0017b37dcmp r15, [r14]
0017b380jb 0x17b47d
0017b386
0017b386loc_17b386:
0017b386lea rax, [r15+8]
0017b38aadd rax, 24
0017b38emov [rax-8], 1024
0017b396mov rbx, [rsp+8]
0017b39bmov [rax], rbx
0017b39elea rbx, [rax-24]
0017b3a2mov [rbx-8], 2048
0017b3aalea rdi, [rip+0x19b5ef]
0017b3b1mov rdi, [rdi+56]
0017b3b5mov [rbx], rdi
0017b3b8mov [rbx+8], rax
0017b3bcmov rax, [rsp+16]
0017b3c1add rsp, 24
0017b3c5jmp 0x17a7f0
0017b3canop
0017b3cc
0017b3ccloc_17b3cc:
0017b3ccmov rax, [rbx]
0017b3cfmov rdi, [rax+8]
0017b3d3movzx rbx, [rdi-8]
0017b3d8test rbx, rbx
0017b3dbjne 0x17b45c
0017b3ddmov [rsp], rax
0017b3e1sub r15, 24
0017b3e5cmp r15, [r14]
0017b3e8jb 0x17b473
0017b3ee
0017b3eeloc_17b3ee:
0017b3eelea rbx, [r15+8]
0017b3f2mov [rbx-8], 2048
0017b3falea rax, [rip+0x1996ef]
0017b401mov [rbx], rax
0017b404mov rax, [rsp+8]
0017b409mov [rbx+8], rax
0017b40dmov rax, [rdi]
0017b410call camlStdlib.$40_196
0017b415sub r15, 40
0017b419cmp r15, [r14]
0017b41cjb 0x17b46c
0017b41e
0017b41eloc_17b41e:
0017b41elea rdi, [r15+8]
0017b422add rdi, 24
0017b426mov [rdi-8], 1024
0017b42emov [rdi], rax
0017b431lea rbx, [rdi-24]
0017b435mov [rbx-8], 2048
0017b43dmov rax, [rsp]
0017b441mov rax, [rax]
0017b444mov [rbx], rax
0017b447mov [rbx+8], rdi
0017b44bmov rax, [rsp+16]
0017b450add rsp, 24
0017b454jmp 0x17a7f0
0017b459nop [rax]
0017b45c
0017b45cloc_17b45c:
0017b45clea rax, [rip+0x199665]
0017b463add rsp, 24
0017b467jmp 0x1919c0
0017b46c
0017b46cloc_17b46c:
0017b46ccall caml_call_gc
0017b471jmp 0x17b41e
0017b473
0017b473loc_17b473:
0017b473call caml_call_gc
0017b478jmp 0x17b3ee
0017b47d
0017b47dloc_17b47d:
0017b47dcall caml_call_gc
0017b482jmp 0x17b386
0017b487
0017b487loc_17b487:
0017b487call caml_call_gc
0017b48cjmp 0x17b333
0017b491
0017b491loc_17b491:
0017b491push 38
0017b493call caml_call_realloc_stack
0017b498pop r10
0017b49ajmp 0x17b302
0017b2f0
0017b49f
0017b49f // align 0x10
0017b49f // align 0x10
0017b4a0
0017b4a0camlLatexmacros.invisible_982:
0017b4a0lea r10, [rsp-320]
0017b4a8cmp r10, [r14+40]
0017b4acjb 0x17bac2
0017b4b2
0017b4b2loc_17b4b2:
0017b4b2mov rbx, [rax-8]
0017b4b6shr rbx, 10
0017b4bacmp rbx, 2
0017b4beje 0x17b8c0
0017b4c4cmp rbx, 2
0017b4c8jge 0x17ba67
0017b4cemov rbx, [rax]
0017b4d1mov rdi, 0x20000656775485c
0017b4dbcmp rbx, rdi
0017b4dejge 0x17b6c8
0017b4e4mov rdi, 0x100656772616c5c
0017b4eecmp rbx, rdi
0017b4f1jge 0x17b5d4
0017b4f7mov rdi, 0x7265766c69735c
0017b501cmp rbx, rdi
0017b504jge 0x17b56c
0017b506mov rdi, 0x6572756769665c
0017b510cmp rbx, rdi
0017b513jge 0x17b540
0017b515mov rdi, 0x6563617073765c
0017b51fcmp rbx, rdi
0017b522je 0x17babc
0017b528mov rdi, 0x656c707275705c
0017b532cmp rbx, rdi
0017b535je 0x17babc
0017b53bjmp 0x17ba67
0017b540
0017b540loc_17b540:
0017b540mov rdi, 0x6572756769665c
0017b54acmp rbx, rdi
0017b54dje 0x17babc
0017b553mov rdi, 0x6e6f6f72616d5c
0017b55dcmp rbx, rdi
0017b560je 0x17babc
0017b566jmp 0x17ba67
0017b56b
0017b56b 90 .
0017b56c
0017b56cloc_17b56c:
0017b56cmov rdi, 0x100454752414c5c
0017b576cmp rbx, rdi
0017b579jge 0x17b5a8
0017b57bmov rdi, 0x7265766c69735c
0017b585cmp rbx, rdi
0017b588je 0x17babc
0017b58emov rdi, 0x776f6c6c65795c
0017b598cmp rbx, rdi
0017b59bje 0x17babc
0017b5a1jmp 0x17ba67
0017b5a6
0017b5a6 66 90 f.
0017b5a8
0017b5a8loc_17b5a8:
0017b5a8mov rdi, 0x100454752414c5c
0017b5b2cmp rbx, rdi
0017b5b5je 0x17babc
0017b5bbmov rdi, 0x100656772614c5c
0017b5c5cmp rbx, rdi
0017b5c8je 0x17babc
0017b5cejmp 0x17ba67
0017b5d3
0017b5d3 90 .
0017b5d4
0017b5d4loc_17b5d4:
0017b5d4mov rdi, 0x1006c6562616c5c
0017b5decmp rbx, rdi
0017b5e1jge 0x17b64c
0017b5e3mov rdi, 0x10065746968775c
0017b5edcmp rbx, rdi
0017b5f0jge 0x17b620
0017b5f2mov rdi, 0x100656772616c5c
0017b5fccmp rbx, rdi
0017b5ffje 0x17babc
0017b605mov rdi, 0x100656c6261745c
0017b60fcmp rbx, rdi
0017b612je 0x17babc
0017b618jmp 0x17ba67
0017b61d
0017b61d 0f 1f 00 ...
0017b620
0017b620loc_17b620:
0017b620mov rdi, 0x10065746968775c
0017b62acmp rbx, rdi
0017b62dje 0x17babc
0017b633mov rdi, 0x1006576696c6f5c
0017b63dcmp rbx, rdi
0017b640je 0x17babc
0017b646jmp 0x17ba67
0017b64b
0017b64b 90 .
0017b64c
0017b64cloc_17b64c:
0017b64cmov rdi, 0x1006e656572675c
0017b656cmp rbx, rdi
0017b659jge 0x17b688
0017b65bmov rdi, 0x1006c6562616c5c
0017b665cmp rbx, rdi
0017b668je 0x17babc
0017b66emov rdi, 0x1006c6c616d735c
0017b678cmp rbx, rdi
0017b67bje 0x17babc
0017b681jmp 0x17ba67
0017b686
0017b686 66 90 f.
0017b688
0017b688loc_17b688:
0017b688mov rdi, 0x1006e656572675c
0017b692cmp rbx, rdi
0017b695je 0x17babc
0017b69bmov rdi, 0x1007865646e695c
0017b6a5cmp rbx, rdi
0017b6a8je 0x17babc
0017b6aemov rdi, 0x20000617571615c
0017b6b8cmp rbx, rdi
0017b6bbje 0x17babc
0017b6c1jmp 0x17ba67
0017b6c6
0017b6c6 66 90 f.
0017b6c8
0017b6c8loc_17b6c8:
0017b6c8mov rdi, 0x200007976616e5c
0017b6d2cmp rbx, rdi
0017b6d5jge 0x17b7cc
0017b6dbmov rdi, 0x2000065756c625c
0017b6e5cmp rbx, rdi
0017b6e8jge 0x17b750
0017b6eamov rdi, 0x20000656d696c5c
0017b6f4cmp rbx, rdi
0017b6f7jge 0x17b724
0017b6f9mov rdi, 0x20000656775485c
0017b703cmp rbx, rdi
0017b706je 0x17babc
0017b70cmov rdi, 0x20000656775685c
0017b716cmp rbx, rdi
0017b719je 0x17babc
0017b71fjmp 0x17ba67
0017b724
0017b724loc_17b724:
0017b724mov rdi, 0x20000656d696c5c
0017b72ecmp rbx, rdi
0017b731je 0x17babc
0017b737mov rdi, 0x2000065736c655c
0017b741cmp rbx, rdi
0017b744je 0x17babc
0017b74ajmp 0x17ba67
0017b74f
0017b74f 90 .
0017b750
0017b750loc_17b750:
0017b750mov rdi, 0x20000726168635c
0017b75acmp rbx, rdi
0017b75djge 0x17b78c
0017b75fmov rdi, 0x2000065756c625c
0017b769cmp rbx, rdi
0017b76cje 0x17babc
0017b772mov rdi, 0x200006c6165745c
0017b77ccmp rbx, rdi
0017b77fje 0x17babc
0017b785jmp 0x17ba67
0017b78a
0017b78a 66 90 f.
0017b78c
0017b78cloc_17b78c:
0017b78cmov rdi, 0x20000726168635c
0017b796cmp rbx, rdi
0017b799je 0x17babc
0017b79fmov rdi, 0x20000796172675c
0017b7a9cmp rbx, rdi
0017b7acje 0x17babc
0017b7b2mov rdi, 0x20000796e69745c
0017b7bccmp rbx, rdi
0017b7bfje 0x17babc
0017b7c5jmp 0x17ba67
0017b7ca
0017b7ca 66 90 f.
0017b7cc
0017b7ccloc_17b7cc:
0017b7ccmov rdi, 0x4000000006c735c
0017b7d6cmp rbx, rdi
0017b7d9jge 0x17b844
0017b7dbmov rdi, 0x40000000066625c
0017b7e5cmp rbx, rdi
0017b7e8jge 0x17b818
0017b7eamov rdi, 0x200007976616e5c
0017b7f4cmp rbx, rdi
0017b7f7je 0x17babc
0017b7fdmov rdi, 0x30000006465725c
0017b807cmp rbx, rdi
0017b80aje 0x17babc
0017b810jmp 0x17ba67
0017b815
0017b815 0f 1f 00 ...
0017b818
0017b818loc_17b818:
0017b818mov rdi, 0x40000000066625c
0017b822cmp rbx, rdi
0017b825je 0x17babc
0017b82bmov rdi, 0x40000000069665c
0017b835cmp rbx, rdi
0017b838je 0x17babc
0017b83ejmp 0x17ba67
0017b843
0017b843 90 .
0017b844
0017b844loc_17b844:
0017b844mov rdi, 0x4000000006d725c
0017b84ecmp rbx, rdi
0017b851jge 0x17b880
0017b853mov rdi, 0x4000000006c735c
0017b85dcmp rbx, rdi
0017b860je 0x17babc
0017b866mov rdi, 0x4000000006d655c
0017b870cmp rbx, rdi
0017b873je 0x17babc
0017b879jmp 0x17ba67
0017b87e
0017b87e 66 90 f.
0017b880
0017b880loc_17b880:
0017b880mov rdi, 0x4000000006d725c
0017b88acmp rbx, rdi
0017b88dje 0x17babc
0017b893mov rdi, 0x40000000074695c
0017b89dcmp rbx, rdi
0017b8a0je 0x17babc
0017b8a6mov rdi, 0x40000000074745c
0017b8b0cmp rbx, rdi
0017b8b3je 0x17babc
0017b8b9jmp 0x17ba67
0017b8be
0017b8be 66 90 f.
0017b8c0
0017b8c0loc_17b8c0:
0017b8c0mov rbx, [rax+8]
0017b8c4mov rdi, 0x500000000006b61
0017b8cecmp rbx, rdi
0017b8d1jge 0x17b988
0017b8d7mov rdi, 0x20000657a697365
0017b8e1cmp rbx, rdi
0017b8e4jne 0x17b904
0017b8e6mov rbx, [rax]
0017b8e9mov rdi, 0x746f6e746f6f665c
0017b8f3cmp rbx, rdi
0017b8f6je 0x17babc
0017b8fcjmp 0x17ba67
0017b901
0017b901 0f 1f 00 ...
0017b904
0017b904loc_17b904:
0017b904mov rdi, 0x30000006b616572
0017b90ecmp rbx, rdi
0017b911jne 0x17b944
0017b913mov rbx, [rax]
0017b916mov rdi, 0x62656761706f6e5c
0017b920cmp rbx, rdi
0017b923je 0x17babc
0017b929mov rdi, 0x62656e696c6f6e5c
0017b933cmp rbx, rdi
0017b936je 0x17babc
0017b93cjmp 0x17ba67
0017b941
0017b941 0f 1f 00 ...
0017b944
0017b944loc_17b944:
0017b944mov rdi, 0x400000000657a69
0017b94ecmp rbx, rdi
0017b951jne 0x17ba67
0017b957mov rbx, [rax]
0017b95amov rdi, 0x736c616d726f6e5c
0017b964cmp rbx, rdi
0017b967je 0x17babc
0017b96dmov rdi, 0x737470697263735c
0017b977cmp rbx, rdi
0017b97aje 0x17babc
0017b980jmp 0x17ba67
0017b985
0017b985 0f 1f 00 ...
0017b988
0017b988loc_17b988:
0017b988mov rdi, 0x600000000000079
0017b992cmp rbx, rdi
0017b995jge 0x17ba00
0017b997mov rdi, 0x500000000006b61
0017b9a1cmp rbx, rdi
0017b9a4jne 0x17b9d4
0017b9a6mov rbx, [rax]
0017b9a9mov rdi, 0x657262656761705c
0017b9b3cmp rbx, rdi
0017b9b6je 0x17babc
0017b9bcmov rdi, 0x657262656e696c5c
0017b9c6cmp rbx, rdi
0017b9c9je 0x17babc
0017b9cfjmp 0x17ba67
0017b9d4
0017b9d4loc_17b9d4:
0017b9d4mov rdi, 0x500000000007261
0017b9decmp rbx, rdi
0017b9e1jne 0x17ba67
0017b9e7mov rbx, [rax]
0017b9eamov rdi, 0x706e696772616d5c
0017b9f4cmp rbx, rdi
0017b9f7je 0x17babc
0017b9fdjmp 0x17ba67
0017b9ff
0017b9ff 90 .
0017ba00
0017ba00loc_17ba00:
0017ba00mov rdi, 0x600000000000079
0017ba0acmp rbx, rdi
0017ba0djne 0x17ba28
0017ba0fmov rbx, [rax]
0017ba12mov rdi, 0x726173736f6c675c
0017ba1ccmp rbx, rdi
0017ba1fje 0x17babc
0017ba25jmp 0x17ba67
0017ba27
0017ba27 90 .
0017ba28
0017ba28loc_17ba28:
0017ba28mov rdi, 0x700000000000000
0017ba32cmp rbx, rdi
0017ba35jne 0x17ba67
0017ba37mov rbx, [rax]
0017ba3amov rdi, 0x616973686375665c
0017ba44cmp rbx, rdi
0017ba47je 0x17babc
0017ba49mov rdi, 0x656c7974736f6e5c
0017ba53cmp rbx, rdi
0017ba56je 0x17babc
0017ba58mov rdi, 0x73656c69666f6e5c
0017ba62cmp rbx, rdi
0017ba65je 0x17babc
0017ba67
0017ba67loc_17ba67:
0017ba67mov rbx, [rax-8]
0017ba6bshr rbx, 10
0017ba6flea rbx, [8*rbx-1]
0017ba77movzx rdi, [rax+rbx]
0017ba7csub rbx, rdi
0017ba7flea rbx, [rbx+rbx+1]
0017ba84cmp rbx, 7
0017ba88jl 0x17bab4
0017ba8amov edi, 7
0017ba8fmov ebx, 1
0017ba94call Stdlib.Bytes.sub
0017ba99lea rsi, [rip+0x199018]
0017baa0mov rdi, rax
0017baa3mov rbx, rsp
0017baa6mov rsp, [r14+64]
0017baaacall caml_string_equal
0017baafmov rsp, rbx
0017bab2ret
0017bab3
0017bab3 90 .
0017bab4
0017bab4loc_17bab4:
0017bab4mov eax, 1
0017bab9ret
0017baba
0017baba 66 90 f.
0017babc
0017babcloc_17babc:
0017babcmov eax, 3
0017bac1ret
0017bac2
0017bac2loc_17bac2:
0017bac2push 33
0017bac4call caml_call_realloc_stack
0017bac9pop r10
0017bacbjmp 0x17b4b2
0017b4a0
0017b4a0camlLatexmacros.invisible_982:
0017b4a0lea r10, [rsp-320]
0017b4a8cmp r10, [r14+40]
0017b4acjb 0x17bac2
0017b4b2
0017b4b2loc_17b4b2:
0017b4b2mov rbx, [rax-8]
0017b4b6shr rbx, 10
0017b4bacmp rbx, 2
0017b4beje 0x17b8c0
0017b4c4cmp rbx, 2
0017b4c8jge 0x17ba67
0017b4cemov rbx, [rax]
0017b4d1mov rdi, 0x20000656775485c
0017b4dbcmp rbx, rdi
0017b4dejge 0x17b6c8
0017b4e4mov rdi, 0x100656772616c5c
0017b4eecmp rbx, rdi
0017b4f1jge 0x17b5d4
0017b4f7mov rdi, 0x7265766c69735c
0017b501cmp rbx, rdi
0017b504jge 0x17b56c
0017b506mov rdi, 0x6572756769665c
0017b510cmp rbx, rdi
0017b513jge 0x17b540
0017b515mov rdi, 0x6563617073765c
0017b51fcmp rbx, rdi
0017b522je 0x17babc
0017b528mov rdi, 0x656c707275705c
0017b532cmp rbx, rdi
0017b535je 0x17babc
0017b53bjmp 0x17ba67
0017b540
0017b540loc_17b540:
0017b540mov rdi, 0x6572756769665c
0017b54acmp rbx, rdi
0017b54dje 0x17babc
0017b553mov rdi, 0x6e6f6f72616d5c
0017b55dcmp rbx, rdi
0017b560je 0x17babc
0017b566jmp 0x17ba67
0017b56b
0017b56b 90 .
0017b56c
0017b56cloc_17b56c:
0017b56cmov rdi, 0x100454752414c5c
0017b576cmp rbx, rdi
0017b579jge 0x17b5a8
0017b57bmov rdi, 0x7265766c69735c
0017b585cmp rbx, rdi
0017b588je 0x17babc
0017b58emov rdi, 0x776f6c6c65795c
0017b598cmp rbx, rdi
0017b59bje 0x17babc
0017b5a1jmp 0x17ba67
0017b5a6
0017b5a6 66 90 f.
0017b5a8
0017b5a8loc_17b5a8:
0017b5a8mov rdi, 0x100454752414c5c
0017b5b2cmp rbx, rdi
0017b5b5je 0x17babc
0017b5bbmov rdi, 0x100656772614c5c
0017b5c5cmp rbx, rdi
0017b5c8je 0x17babc
0017b5cejmp 0x17ba67
0017b5d3
0017b5d3 90 .
0017b5d4
0017b5d4loc_17b5d4:
0017b5d4mov rdi, 0x1006c6562616c5c
0017b5decmp rbx, rdi
0017b5e1jge 0x17b64c
0017b5e3mov rdi, 0x10065746968775c
0017b5edcmp rbx, rdi
0017b5f0jge 0x17b620
0017b5f2mov rdi, 0x100656772616c5c
0017b5fccmp rbx, rdi
0017b5ffje 0x17babc
0017b605mov rdi, 0x100656c6261745c
0017b60fcmp rbx, rdi
0017b612je 0x17babc
0017b618jmp 0x17ba67
0017b61d
0017b61d 0f 1f 00 ...
0017b620
0017b620loc_17b620:
0017b620mov rdi, 0x10065746968775c
0017b62acmp rbx, rdi
0017b62dje 0x17babc
0017b633mov rdi, 0x1006576696c6f5c
0017b63dcmp rbx, rdi
0017b640je 0x17babc
0017b646jmp 0x17ba67
0017b64b
0017b64b 90 .
0017b64c
0017b64cloc_17b64c:
0017b64cmov rdi, 0x1006e656572675c
0017b656cmp rbx, rdi
0017b659jge 0x17b688
0017b65bmov rdi, 0x1006c6562616c5c
0017b665cmp rbx, rdi
0017b668je 0x17babc
0017b66emov rdi, 0x1006c6c616d735c
0017b678cmp rbx, rdi
0017b67bje 0x17babc
0017b681jmp 0x17ba67
0017b686
0017b686 66 90 f.
0017b688
0017b688loc_17b688:
0017b688mov rdi, 0x1006e656572675c
0017b692cmp rbx, rdi
0017b695je 0x17babc
0017b69bmov rdi, 0x1007865646e695c
0017b6a5cmp rbx, rdi
0017b6a8je 0x17babc
0017b6aemov rdi, 0x20000617571615c
0017b6b8cmp rbx, rdi
0017b6bbje 0x17babc
0017b6c1jmp 0x17ba67
0017b6c6
0017b6c6 66 90 f.
0017b6c8
0017b6c8loc_17b6c8:
0017b6c8mov rdi, 0x200007976616e5c
0017b6d2cmp rbx, rdi
0017b6d5jge 0x17b7cc
0017b6dbmov rdi, 0x2000065756c625c
0017b6e5cmp rbx, rdi
0017b6e8jge 0x17b750
0017b6eamov rdi, 0x20000656d696c5c
0017b6f4cmp rbx, rdi
0017b6f7jge 0x17b724
0017b6f9mov rdi, 0x20000656775485c
0017b703cmp rbx, rdi
0017b706je 0x17babc
0017b70cmov rdi, 0x20000656775685c
0017b716cmp rbx, rdi
0017b719je 0x17babc
0017b71fjmp 0x17ba67
0017b724
0017b724loc_17b724:
0017b724mov rdi, 0x20000656d696c5c
0017b72ecmp rbx, rdi
0017b731je 0x17babc
0017b737mov rdi, 0x2000065736c655c
0017b741cmp rbx, rdi
0017b744je 0x17babc
0017b74ajmp 0x17ba67
0017b74f
0017b74f 90 .
0017b750
0017b750loc_17b750:
0017b750mov rdi, 0x20000726168635c
0017b75acmp rbx, rdi
0017b75djge 0x17b78c
0017b75fmov rdi, 0x2000065756c625c
0017b769cmp rbx, rdi
0017b76cje 0x17babc
0017b772mov rdi, 0x200006c6165745c
0017b77ccmp rbx, rdi
0017b77fje 0x17babc
0017b785jmp 0x17ba67
0017b78a
0017b78a 66 90 f.
0017b78c
0017b78cloc_17b78c:
0017b78cmov rdi, 0x20000726168635c
0017b796cmp rbx, rdi
0017b799je 0x17babc
0017b79fmov rdi, 0x20000796172675c
0017b7a9cmp rbx, rdi
0017b7acje 0x17babc
0017b7b2mov rdi, 0x20000796e69745c
0017b7bccmp rbx, rdi
0017b7bfje 0x17babc
0017b7c5jmp 0x17ba67
0017b7ca
0017b7ca 66 90 f.
0017b7cc
0017b7ccloc_17b7cc:
0017b7ccmov rdi, 0x4000000006c735c
0017b7d6cmp rbx, rdi
0017b7d9jge 0x17b844
0017b7dbmov rdi, 0x40000000066625c
0017b7e5cmp rbx, rdi
0017b7e8jge 0x17b818
0017b7eamov rdi, 0x200007976616e5c
0017b7f4cmp rbx, rdi
0017b7f7je 0x17babc
0017b7fdmov rdi, 0x30000006465725c
0017b807cmp rbx, rdi
0017b80aje 0x17babc
0017b810jmp 0x17ba67
0017b815
0017b815 0f 1f 00 ...
0017b818
0017b818loc_17b818:
0017b818mov rdi, 0x40000000066625c
0017b822cmp rbx, rdi
0017b825je 0x17babc
0017b82bmov rdi, 0x40000000069665c
0017b835cmp rbx, rdi
0017b838je 0x17babc
0017b83ejmp 0x17ba67
0017b843
0017b843 90 .
0017b844
0017b844loc_17b844:
0017b844mov rdi, 0x4000000006d725c
0017b84ecmp rbx, rdi
0017b851jge 0x17b880
0017b853mov rdi, 0x4000000006c735c
0017b85dcmp rbx, rdi
0017b860je 0x17babc
0017b866mov rdi, 0x4000000006d655c
0017b870cmp rbx, rdi
0017b873je 0x17babc
0017b879jmp 0x17ba67
0017b87e
0017b87e 66 90 f.
0017b880
0017b880loc_17b880:
0017b880mov rdi, 0x4000000006d725c
0017b88acmp rbx, rdi
0017b88dje 0x17babc
0017b893mov rdi, 0x40000000074695c
0017b89dcmp rbx, rdi
0017b8a0je 0x17babc
0017b8a6mov rdi, 0x40000000074745c
0017b8b0cmp rbx, rdi
0017b8b3je 0x17babc
0017b8b9jmp 0x17ba67
0017b8be
0017b8be 66 90 f.
0017b8c0
0017b8c0loc_17b8c0:
0017b8c0mov rbx, [rax+8]
0017b8c4mov rdi, 0x500000000006b61
0017b8cecmp rbx, rdi
0017b8d1jge 0x17b988
0017b8d7mov rdi, 0x20000657a697365
0017b8e1cmp rbx, rdi
0017b8e4jne 0x17b904
0017b8e6mov rbx, [rax]
0017b8e9mov rdi, 0x746f6e746f6f665c
0017b8f3cmp rbx, rdi
0017b8f6je 0x17babc
0017b8fcjmp 0x17ba67
0017b901
0017b901 0f 1f 00 ...
0017b904
0017b904loc_17b904:
0017b904mov rdi, 0x30000006b616572
0017b90ecmp rbx, rdi
0017b911jne 0x17b944
0017b913mov rbx, [rax]
0017b916mov rdi, 0x62656761706f6e5c
0017b920cmp rbx, rdi
0017b923je 0x17babc
0017b929mov rdi, 0x62656e696c6f6e5c
0017b933cmp rbx, rdi
0017b936je 0x17babc
0017b93cjmp 0x17ba67
0017b941
0017b941 0f 1f 00 ...
0017b944
0017b944loc_17b944:
0017b944mov rdi, 0x400000000657a69
0017b94ecmp rbx, rdi
0017b951jne 0x17ba67
0017b957mov rbx, [rax]
0017b95amov rdi, 0x736c616d726f6e5c
0017b964cmp rbx, rdi
0017b967je 0x17babc
0017b96dmov rdi, 0x737470697263735c
0017b977cmp rbx, rdi
0017b97aje 0x17babc
0017b980jmp 0x17ba67
0017b985
0017b985 0f 1f 00 ...
0017b988
0017b988loc_17b988:
0017b988mov rdi, 0x600000000000079
0017b992cmp rbx, rdi
0017b995jge 0x17ba00
0017b997mov rdi, 0x500000000006b61
0017b9a1cmp rbx, rdi
0017b9a4jne 0x17b9d4
0017b9a6mov rbx, [rax]
0017b9a9mov rdi, 0x657262656761705c
0017b9b3cmp rbx, rdi
0017b9b6je 0x17babc
0017b9bcmov rdi, 0x657262656e696c5c
0017b9c6cmp rbx, rdi
0017b9c9je 0x17babc
0017b9cfjmp 0x17ba67
0017b9d4
0017b9d4loc_17b9d4:
0017b9d4mov rdi, 0x500000000007261
0017b9decmp rbx, rdi
0017b9e1jne 0x17ba67
0017b9e7mov rbx, [rax]
0017b9eamov rdi, 0x706e696772616d5c
0017b9f4cmp rbx, rdi
0017b9f7je 0x17babc
0017b9fdjmp 0x17ba67
0017b9ff
0017b9ff 90 .
0017ba00
0017ba00loc_17ba00:
0017ba00mov rdi, 0x600000000000079
0017ba0acmp rbx, rdi
0017ba0djne 0x17ba28
0017ba0fmov rbx, [rax]
0017ba12mov rdi, 0x726173736f6c675c
0017ba1ccmp rbx, rdi
0017ba1fje 0x17babc
0017ba25jmp 0x17ba67
0017ba27
0017ba27 90 .
0017ba28
0017ba28loc_17ba28:
0017ba28mov rdi, 0x700000000000000
0017ba32cmp rbx, rdi
0017ba35jne 0x17ba67
0017ba37mov rbx, [rax]
0017ba3amov rdi, 0x616973686375665c
0017ba44cmp rbx, rdi
0017ba47je 0x17babc
0017ba49mov rdi, 0x656c7974736f6e5c
0017ba53cmp rbx, rdi
0017ba56je 0x17babc
0017ba58mov rdi, 0x73656c69666f6e5c
0017ba62cmp rbx, rdi
0017ba65je 0x17babc
0017ba67
0017ba67loc_17ba67:
0017ba67mov rbx, [rax-8]
0017ba6bshr rbx, 10
0017ba6flea rbx, [8*rbx-1]
0017ba77movzx rdi, [rax+rbx]
0017ba7csub rbx, rdi
0017ba7flea rbx, [rbx+rbx+1]
0017ba84cmp rbx, 7
0017ba88jl 0x17bab4
0017ba8amov edi, 7
0017ba8fmov ebx, 1
0017ba94call Stdlib.Bytes.sub
0017ba99lea rsi, [rip+0x199018]
0017baa0mov rdi, rax
0017baa3mov rbx, rsp
0017baa6mov rsp, [r14+64]
0017baaacall caml_string_equal
0017baafmov rsp, rbx
0017bab2ret
0017bab3
0017bab3 90 .
0017bab4
0017bab4loc_17bab4:
0017bab4mov eax, 1
0017bab9ret
0017baba
0017baba 66 90 f.
0017babc
0017babcloc_17babc:
0017babcmov eax, 3
0017bac1ret
0017bac2
0017bac2loc_17bac2:
0017bac2push 33
0017bac4call caml_call_realloc_stack
0017bac9pop r10
0017bacbjmp 0x17b4b2
0017b4a0
0017bad0
0017bad0camlLatexmacros.entry:
0017bad0lea r10, [rsp-336]
0017bad8cmp r10, [r14+40]
0017badcjb 0x17c0e4
0017bae2
0017bae2loc_17bae2:
0017bae2sub rsp, 16
0017bae6mov edi, 1
0017baebmov rbx, rsp
0017baeemov rsp, [r14+64]
0017baf2call caml_fresh_oo_id
0017baf7mov rsp, rbx
0017bafacall caml_alloc2
0017bafflea rsi, [r15+8]
0017bb03mov [rsi-8], 2296
0017bb0blea rbx, [rip+0x199516]
0017bb12mov [rsi], rbx
0017bb15mov [rsi+8], rax
0017bb19lea rdi, [rip+0x198e48]
0017bb20mov rbx, rsp
0017bb23mov rsp, [r14+64]
0017bb27call caml_initialize
0017bb2cmov rsp, rbx
0017bb2flea rbx, [rip+0x1c06ca]
0017bb36call caml_alloc1
0017bb3blea rax, [r15+8]
0017bb3fmov [rax-8], 1024
0017bb47mov rbx, [rbx+72]
0017bb4bmov [rax], rbx
0017bb4ecall Stdlib.Set.fun
0017bb53lea rdi, [rip+0x198e0e]
0017bb5aadd rdi, 184
0017bb61mov rsi, rax
0017bb64mov rbx, rsp
0017bb67mov rsp, [r14+64]
0017bb6bcall caml_initialize
0017bb70mov rsp, rbx
0017bb73lea rax, [rip+0x1ee48e]
0017bb7amov rax, [rax+272]
0017bb81mov rax, [rax]
0017bb84mov ebx, 195
0017bb89call Stdlib.Hashtbl.create_inner
0017bb8emov [rsp], rax
0017bb92lea rax, [rip+0x1ee46f]
0017bb99mov rax, [rax+272]
0017bba0mov rax, [rax]
0017bba3mov ebx, 195
0017bba8call Stdlib.Hashtbl.create_inner
0017bbadmov [rsp+8], rax
0017bbb2lea rax, [rip+0x1ee44f]
0017bbb9mov rax, [rax+272]
0017bbc0mov rax, [rax]
0017bbc3mov ebx, 11
0017bbc8call Stdlib.Hashtbl.create_inner
0017bbcdmov r13, rax
0017bbd0call caml_alloc1
0017bbd5lea r12, [r15+8]
0017bbd9mov [r12-8], 1024
0017bbe2mov [r12], 1
0017bbealea rdi, [rip+0x198d77]
0017bbf1add rdi, 192
0017bbf8mov rsi, [rsp]
0017bbfcmov rbx, rsp
0017bbffmov rsp, [r14+64]
0017bc03call caml_initialize
0017bc08mov rsp, rbx
0017bc0blea rdi, [rip+0x198d56]
0017bc12add rdi, 200
0017bc19mov rsi, [rsp+8]
0017bc1emov rbx, rsp
0017bc21mov rsp, [r14+64]
0017bc25call caml_initialize
0017bc2amov rsp, rbx
0017bc2dlea rdi, [rip+0x198d34]
0017bc34add rdi, 208
0017bc3bmov rsi, r13
0017bc3emov rbx, rsp
0017bc41mov rsp, [r14+64]
0017bc45call caml_initialize
0017bc4amov rsp, rbx
0017bc4dlea rdi, [rip+0x198d14]
0017bc54add rdi, 216
0017bc5bmov rsi, r12
0017bc5emov rbx, rsp
0017bc61mov rsp, [r14+64]
0017bc65call caml_initialize
0017bc6amov rsp, rbx
0017bc6dsub r15, 64
0017bc71call caml_allocN
0017bc76lea rsi, [r15+8]
0017bc7aadd rsi, 48
0017bc7emov [rsi-8], 1024
0017bc86mov [rsi], 1
0017bc8dlea r12, [rsi-32]
0017bc91mov [r12-8], 3072
0017bc9amov [r12], 1
0017bca2lea rax, [rip+0x19927f]
0017bca9mov [r12+8], rax
0017bcaemov [r12+16], 1
0017bcb7lea r13, [r12-16]
0017bcbcmov [r13-8], 1024
0017bcc4mov [r13], 1
0017bccclea rdi, [rip+0x198c95]
0017bcd3add rdi, 224
0017bcdamov rbx, rsp
0017bcddmov rsp, [r14+64]
0017bce1call caml_initialize
0017bce6mov rsp, rbx
0017bce9lea rdi, [rip+0x198c78]
0017bcf0add rdi, 232
0017bcf7mov rsi, r12
0017bcfamov rbx, rsp
0017bcfdmov rsp, [r14+64]
0017bd01call caml_initialize
0017bd06mov rsp, rbx
0017bd09lea rdi, [rip+0x198c58]
0017bd10add rdi, 240
0017bd17mov rsi, r13
0017bd1amov rbx, rsp
0017bd1dmov rsp, [r14+64]
0017bd21call caml_initialize
0017bd26mov rsp, rbx
0017bd29lea rsi, [rip+0x198958]
0017bd30lea rdi, [rip+0x198c31]
0017bd37add rdi, 24
0017bd3bmov rbx, rsp
0017bd3emov rsp, [r14+64]
0017bd42call caml_initialize
0017bd47mov rsp, rbx
0017bd4alea rsi, [rip+0x198957]
0017bd51lea rdi, [rip+0x198c10]
0017bd58add rdi, 248
0017bd5fmov rbx, rsp
0017bd62mov rsp, [r14+64]
0017bd66call caml_initialize
0017bd6bmov rsp, rbx
0017bd6elea rsi, [rip+0x19894b]
0017bd75lea rdi, [rip+0x198bec]
0017bd7cadd rdi, 32
0017bd80mov rbx, rsp
0017bd83mov rsp, [r14+64]
0017bd87call caml_initialize
0017bd8cmov rsp, rbx
0017bd8flea rsi, [rip+0x198962]
0017bd96lea r12, [rip+0x19893b]
0017bd9dlea rdi, [rip+0x198bc4]
0017bda4add rdi, 8
0017bda8mov rbx, rsp
0017bdabmov rsp, [r14+64]
0017bdafcall caml_initialize
0017bdb4mov rsp, rbx
0017bdb7lea rdi, [rip+0x198baa]
0017bdbeadd rdi, 16
0017bdc2mov rsi, r12
0017bdc5mov rbx, rsp
0017bdc8mov rsp, [r14+64]
0017bdcccall caml_initialize
0017bdd1mov rsp, rbx
0017bdd4lea rsi, [rip+0x19894d]
0017bddblea r12, [rip+0x19892e]
0017bde2lea rdi, [rip+0x198b7f]
0017bde9add rdi, 72
0017bdedmov rbx, rsp
0017bdf0mov rsp, [r14+64]
0017bdf4call caml_initialize
0017bdf9mov rsp, rbx
0017bdfclea rdi, [rip+0x198b65]
0017be03add rdi, 80
0017be07mov rsi, r12
0017be0amov rbx, rsp
0017be0dmov rsp, [r14+64]
0017be11call caml_initialize
0017be16mov rsp, rbx
0017be19lea rsi, [rip+0x198920]
0017be20lea rdi, [rip+0x198b41]
0017be27add rdi, 88
0017be2bmov rbx, rsp
0017be2emov rsp, [r14+64]
0017be32call caml_initialize
0017be37mov rsp, rbx
0017be3alea rsi, [rip+0x198917]
0017be41lea rdi, [rip+0x198b20]
0017be48add rdi, 256
0017be4fmov rbx, rsp
0017be52mov rsp, [r14+64]
0017be56call caml_initialize
0017be5bmov rsp, rbx
0017be5elea rsi, [rip+0x198913]
0017be65lea rdi, [rip+0x198afc]
0017be6cadd rdi, 264
0017be73mov rbx, rsp
0017be76mov rsp, [r14+64]
0017be7acall caml_initialize
0017be7fmov rsp, rbx
0017be82lea rsi, [rip+0x19890f]
0017be89lea rdi, [rip+0x198ad8]
0017be90add rdi, 272
0017be97mov rbx, rsp
0017be9amov rsp, [r14+64]
0017be9ecall caml_initialize
0017bea3mov rsp, rbx
0017bea6lea rsi, [rip+0x19890b]
0017beadlea rdi, [rip+0x198ab4]
0017beb4add rdi, 280
0017bebbmov rbx, rsp
0017bebemov rsp, [r14+64]
0017bec2call caml_initialize
0017bec7mov rsp, rbx
0017becalea rsi, [rip+0x1988ff]
0017bed1lea rdi, [rip+0x198a90]
0017bed8add rdi, 40
0017bedcmov rbx, rsp
0017bedfmov rsp, [r14+64]
0017bee3call caml_initialize
0017bee8mov rsp, rbx
0017beeblea rsi, [rip+0x1988f6]
0017bef2lea rdi, [rip+0x198a6f]
0017bef9add rdi, 48
0017befdmov rbx, rsp
0017bf00mov rsp, [r14+64]
0017bf04call caml_initialize
0017bf09mov rsp, rbx
0017bf0clea rsi, [rip+0x198905]
0017bf13lea r12, [rip+0x1988e6]
0017bf1alea rdi, [rip+0x198a47]
0017bf21add rdi, 56
0017bf25mov rbx, rsp
0017bf28mov rsp, [r14+64]
0017bf2ccall caml_initialize
0017bf31mov rsp, rbx
0017bf34lea rdi, [rip+0x198a2d]
0017bf3badd rdi, 64
0017bf3fmov rsi, r12
0017bf42mov rbx, rsp
0017bf45mov rsp, [r14+64]
0017bf49call caml_initialize
0017bf4emov rsp, rbx
0017bf51lea rsi, [rip+0x1988e0]
0017bf58lea rdi, [rip+0x198a09]
0017bf5fadd rdi, 96
0017bf63mov rbx, rsp
0017bf66mov rsp, [r14+64]
0017bf6acall caml_initialize
0017bf6fmov rsp, rbx
0017bf72lea rsi, [rip+0x1988ef]
0017bf79lea r12, [rip+0x1988d0]
0017bf80lea rdi, [rip+0x1989e1]
0017bf87add rdi, 104
0017bf8bmov rbx, rsp
0017bf8emov rsp, [r14+64]
0017bf92call caml_initialize
0017bf97mov rsp, rbx
0017bf9alea rdi, [rip+0x1989c7]
0017bfa1add rdi, 152
0017bfa8mov rsi, r12
0017bfabmov rbx, rsp
0017bfaemov rsp, [r14+64]
0017bfb2call caml_initialize
0017bfb7mov rsp, rbx
0017bfbalea rsi, [rip+0x1988bf]
0017bfc1lea rdi, [rip+0x1989a0]
0017bfc8add rdi, 112
0017bfccmov rbx, rsp
0017bfcfmov rsp, [r14+64]
0017bfd3call caml_initialize
0017bfd8mov rsp, rbx
0017bfdblea rsi, [rip+0x1988ee]
0017bfe2lea r12, [rip+0x1988c7]
0017bfe9lea r13, [rip+0x1988a8]
0017bff0lea rdi, [rip+0x198971]
0017bff7add rdi, 120
0017bffbmov rbx, rsp
0017bffemov rsp, [r14+64]
0017c002call caml_initialize
0017c007mov rsp, rbx
0017c00alea rdi, [rip+0x198957]
0017c011add rdi, 128
0017c018mov rsi, r12
0017c01bmov rbx, rsp
0017c01emov rsp, [r14+64]
0017c022call caml_initialize
0017c027mov rsp, rbx
0017c02alea rdi, [rip+0x198937]
0017c031add rdi, 136
0017c038mov rsi, r13
0017c03bmov rbx, rsp
0017c03emov rsp, [r14+64]
0017c042call caml_initialize
0017c047mov rsp, rbx
0017c04alea rsi, [rip+0x19889f]
0017c051lea rdi, [rip+0x198910]
0017c058add rdi, 144
0017c05fmov rbx, rsp
0017c062mov rsp, [r14+64]
0017c066call caml_initialize
0017c06bmov rsp, rbx
0017c06elea rsi, [rip+0x19889b]
0017c075lea rdi, [rip+0x1988ec]
0017c07cadd rdi, 160
0017c083mov rbx, rsp
0017c086mov rsp, [r14+64]
0017c08acall caml_initialize
0017c08fmov rsp, rbx
0017c092lea rsi, [rip+0x198897]
0017c099lea rdi, [rip+0x1988c8]
0017c0a0add rdi, 168
0017c0a7mov rbx, rsp
0017c0aamov rsp, [r14+64]
0017c0aecall caml_initialize
0017c0b3mov rsp, rbx
0017c0b6lea rsi, [rip+0x198893]
0017c0bdlea rdi, [rip+0x1988a4]
0017c0c4add rdi, 176
0017c0cbmov rbx, rsp
0017c0cemov rsp, [r14+64]
0017c0d2call caml_initialize
0017c0d7mov rsp, rbx
0017c0damov eax, 1
0017c0dfadd rsp, 16
0017c0e3ret
0017c0e4
0017c0e4loc_17c0e4:
0017c0e4push 35
0017c0e6call caml_call_realloc_stack
0017c0ebpop r10
0017c0edjmp 0x17bae2
0017bad0
0017bad0camlLatexmacros.entry:
0017bad0lea r10, [rsp-336]
0017bad8cmp r10, [r14+40]
0017badcjb 0x17c0e4
0017bae2
0017bae2loc_17bae2:
0017bae2sub rsp, 16
0017bae6mov edi, 1
0017baebmov rbx, rsp
0017baeemov rsp, [r14+64]
0017baf2call caml_fresh_oo_id
0017baf7mov rsp, rbx
0017bafacall caml_alloc2
0017bafflea rsi, [r15+8]
0017bb03mov [rsi-8], 2296
0017bb0blea rbx, [rip+0x199516]
0017bb12mov [rsi], rbx
0017bb15mov [rsi+8], rax
0017bb19lea rdi, [rip+0x198e48]
0017bb20mov rbx, rsp
0017bb23mov rsp, [r14+64]
0017bb27call caml_initialize
0017bb2cmov rsp, rbx
0017bb2flea rbx, [rip+0x1c06ca]
0017bb36call caml_alloc1
0017bb3blea rax, [r15+8]
0017bb3fmov [rax-8], 1024
0017bb47mov rbx, [rbx+72]
0017bb4bmov [rax], rbx
0017bb4ecall Stdlib.Set.fun
0017bb53lea rdi, [rip+0x198e0e]
0017bb5aadd rdi, 184
0017bb61mov rsi, rax
0017bb64mov rbx, rsp
0017bb67mov rsp, [r14+64]
0017bb6bcall caml_initialize
0017bb70mov rsp, rbx
0017bb73lea rax, [rip+0x1ee48e]
0017bb7amov rax, [rax+272]
0017bb81mov rax, [rax]
0017bb84mov ebx, 195
0017bb89call Stdlib.Hashtbl.create_inner
0017bb8emov [rsp], rax
0017bb92lea rax, [rip+0x1ee46f]
0017bb99mov rax, [rax+272]
0017bba0mov rax, [rax]
0017bba3mov ebx, 195
0017bba8call Stdlib.Hashtbl.create_inner
0017bbadmov [rsp+8], rax
0017bbb2lea rax, [rip+0x1ee44f]
0017bbb9mov rax, [rax+272]
0017bbc0mov rax, [rax]
0017bbc3mov ebx, 11
0017bbc8call Stdlib.Hashtbl.create_inner
0017bbcdmov r13, rax
0017bbd0call caml_alloc1
0017bbd5lea r12, [r15+8]
0017bbd9mov [r12-8], 1024
0017bbe2mov [r12], 1
0017bbealea rdi, [rip+0x198d77]
0017bbf1add rdi, 192
0017bbf8mov rsi, [rsp]
0017bbfcmov rbx, rsp
0017bbffmov rsp, [r14+64]
0017bc03call caml_initialize
0017bc08mov rsp, rbx
0017bc0blea rdi, [rip+0x198d56]
0017bc12add rdi, 200
0017bc19mov rsi, [rsp+8]
0017bc1emov rbx, rsp
0017bc21mov rsp, [r14+64]
0017bc25call caml_initialize
0017bc2amov rsp, rbx
0017bc2dlea rdi, [rip+0x198d34]
0017bc34add rdi, 208
0017bc3bmov rsi, r13
0017bc3emov rbx, rsp
0017bc41mov rsp, [r14+64]
0017bc45call caml_initialize
0017bc4amov rsp, rbx
0017bc4dlea rdi, [rip+0x198d14]
0017bc54add rdi, 216
0017bc5bmov rsi, r12
0017bc5emov rbx, rsp
0017bc61mov rsp, [r14+64]
0017bc65call caml_initialize
0017bc6amov rsp, rbx
0017bc6dsub r15, 64
0017bc71call caml_allocN
0017bc76lea rsi, [r15+8]
0017bc7aadd rsi, 48
0017bc7emov [rsi-8], 1024
0017bc86mov [rsi], 1
0017bc8dlea r12, [rsi-32]
0017bc91mov [r12-8], 3072
0017bc9amov [r12], 1
0017bca2lea rax, [rip+0x19927f]
0017bca9mov [r12+8], rax
0017bcaemov [r12+16], 1
0017bcb7lea r13, [r12-16]
0017bcbcmov [r13-8], 1024
0017bcc4mov [r13], 1
0017bccclea rdi, [rip+0x198c95]
0017bcd3add rdi, 224
0017bcdamov rbx, rsp
0017bcddmov rsp, [r14+64]
0017bce1call caml_initialize
0017bce6mov rsp, rbx
0017bce9lea rdi, [rip+0x198c78]
0017bcf0add rdi, 232
0017bcf7mov rsi, r12
0017bcfamov rbx, rsp
0017bcfdmov rsp, [r14+64]
0017bd01call caml_initialize
0017bd06mov rsp, rbx
0017bd09lea rdi, [rip+0x198c58]
0017bd10add rdi, 240
0017bd17mov rsi, r13
0017bd1amov rbx, rsp
0017bd1dmov rsp, [r14+64]
0017bd21call caml_initialize
0017bd26mov rsp, rbx
0017bd29lea rsi, [rip+0x198958]
0017bd30lea rdi, [rip+0x198c31]
0017bd37add rdi, 24
0017bd3bmov rbx, rsp
0017bd3emov rsp, [r14+64]
0017bd42call caml_initialize
0017bd47mov rsp, rbx
0017bd4alea rsi, [rip+0x198957]
0017bd51lea rdi, [rip+0x198c10]
0017bd58add rdi, 248
0017bd5fmov rbx, rsp
0017bd62mov rsp, [r14+64]
0017bd66call caml_initialize
0017bd6bmov rsp, rbx
0017bd6elea rsi, [rip+0x19894b]
0017bd75lea rdi, [rip+0x198bec]
0017bd7cadd rdi, 32
0017bd80mov rbx, rsp
0017bd83mov rsp, [r14+64]
0017bd87call caml_initialize
0017bd8cmov rsp, rbx
0017bd8flea rsi, [rip+0x198962]
0017bd96lea r12, [rip+0x19893b]
0017bd9dlea rdi, [rip+0x198bc4]
0017bda4add rdi, 8
0017bda8mov rbx, rsp
0017bdabmov rsp, [r14+64]
0017bdafcall caml_initialize
0017bdb4mov rsp, rbx
0017bdb7lea rdi, [rip+0x198baa]
0017bdbeadd rdi, 16
0017bdc2mov rsi, r12
0017bdc5mov rbx, rsp
0017bdc8mov rsp, [r14+64]
0017bdcccall caml_initialize
0017bdd1mov rsp, rbx
0017bdd4lea rsi, [rip+0x19894d]
0017bddblea r12, [rip+0x19892e]
0017bde2lea rdi, [rip+0x198b7f]
0017bde9add rdi, 72
0017bdedmov rbx, rsp
0017bdf0mov rsp, [r14+64]
0017bdf4call caml_initialize
0017bdf9mov rsp, rbx
0017bdfclea rdi, [rip+0x198b65]
0017be03add rdi, 80
0017be07mov rsi, r12
0017be0amov rbx, rsp
0017be0dmov rsp, [r14+64]
0017be11call caml_initialize
0017be16mov rsp, rbx
0017be19lea rsi, [rip+0x198920]
0017be20lea rdi, [rip+0x198b41]
0017be27add rdi, 88
0017be2bmov rbx, rsp
0017be2emov rsp, [r14+64]
0017be32call caml_initialize
0017be37mov rsp, rbx
0017be3alea rsi, [rip+0x198917]
0017be41lea rdi, [rip+0x198b20]
0017be48add rdi, 256
0017be4fmov rbx, rsp
0017be52mov rsp, [r14+64]
0017be56call caml_initialize
0017be5bmov rsp, rbx
0017be5elea rsi, [rip+0x198913]
0017be65lea rdi, [rip+0x198afc]
0017be6cadd rdi, 264
0017be73mov rbx, rsp
0017be76mov rsp, [r14+64]
0017be7acall caml_initialize
0017be7fmov rsp, rbx
0017be82lea rsi, [rip+0x19890f]
0017be89lea rdi, [rip+0x198ad8]
0017be90add rdi, 272
0017be97mov rbx, rsp
0017be9amov rsp, [r14+64]
0017be9ecall caml_initialize
0017bea3mov rsp, rbx
0017bea6lea rsi, [rip+0x19890b]
0017beadlea rdi, [rip+0x198ab4]
0017beb4add rdi, 280
0017bebbmov rbx, rsp
0017bebemov rsp, [r14+64]
0017bec2call caml_initialize
0017bec7mov rsp, rbx
0017becalea rsi, [rip+0x1988ff]
0017bed1lea rdi, [rip+0x198a90]
0017bed8add rdi, 40
0017bedcmov rbx, rsp
0017bedfmov rsp, [r14+64]
0017bee3call caml_initialize
0017bee8mov rsp, rbx
0017beeblea rsi, [rip+0x1988f6]
0017bef2lea rdi, [rip+0x198a6f]
0017bef9add rdi, 48
0017befdmov rbx, rsp
0017bf00mov rsp, [r14+64]
0017bf04call caml_initialize
0017bf09mov rsp, rbx
0017bf0clea rsi, [rip+0x198905]
0017bf13lea r12, [rip+0x1988e6]
0017bf1alea rdi, [rip+0x198a47]
0017bf21add rdi, 56
0017bf25mov rbx, rsp
0017bf28mov rsp, [r14+64]
0017bf2ccall caml_initialize
0017bf31mov rsp, rbx
0017bf34lea rdi, [rip+0x198a2d]
0017bf3badd rdi, 64
0017bf3fmov rsi, r12
0017bf42mov rbx, rsp
0017bf45mov rsp, [r14+64]
0017bf49call caml_initialize
0017bf4emov rsp, rbx
0017bf51lea rsi, [rip+0x1988e0]
0017bf58lea rdi, [rip+0x198a09]
0017bf5fadd rdi, 96
0017bf63mov rbx, rsp
0017bf66mov rsp, [r14+64]
0017bf6acall caml_initialize
0017bf6fmov rsp, rbx
0017bf72lea rsi, [rip+0x1988ef]
0017bf79lea r12, [rip+0x1988d0]
0017bf80lea rdi, [rip+0x1989e1]
0017bf87add rdi, 104
0017bf8bmov rbx, rsp
0017bf8emov rsp, [r14+64]
0017bf92call caml_initialize
0017bf97mov rsp, rbx
0017bf9alea rdi, [rip+0x1989c7]
0017bfa1add rdi, 152
0017bfa8mov rsi, r12
0017bfabmov rbx, rsp
0017bfaemov rsp, [r14+64]
0017bfb2call caml_initialize
0017bfb7mov rsp, rbx
0017bfbalea rsi, [rip+0x1988bf]
0017bfc1lea rdi, [rip+0x1989a0]
0017bfc8add rdi, 112
0017bfccmov rbx, rsp
0017bfcfmov rsp, [r14+64]
0017bfd3call caml_initialize
0017bfd8mov rsp, rbx
0017bfdblea rsi, [rip+0x1988ee]
0017bfe2lea r12, [rip+0x1988c7]
0017bfe9lea r13, [rip+0x1988a8]
0017bff0lea rdi, [rip+0x198971]
0017bff7add rdi, 120
0017bffbmov rbx, rsp
0017bffemov rsp, [r14+64]
0017c002call caml_initialize
0017c007mov rsp, rbx
0017c00alea rdi, [rip+0x198957]
0017c011add rdi, 128
0017c018mov rsi, r12
0017c01bmov rbx, rsp
0017c01emov rsp, [r14+64]
0017c022call caml_initialize
0017c027mov rsp, rbx
0017c02alea rdi, [rip+0x198937]
0017c031add rdi, 136
0017c038mov rsi, r13
0017c03bmov rbx, rsp
0017c03emov rsp, [r14+64]
0017c042call caml_initialize
0017c047mov rsp, rbx
0017c04alea rsi, [rip+0x19889f]
0017c051lea rdi, [rip+0x198910]
0017c058add rdi, 144
0017c05fmov rbx, rsp
0017c062mov rsp, [r14+64]
0017c066call caml_initialize
0017c06bmov rsp, rbx
0017c06elea rsi, [rip+0x19889b]
0017c075lea rdi, [rip+0x1988ec]
0017c07cadd rdi, 160
0017c083mov rbx, rsp
0017c086mov rsp, [r14+64]
0017c08acall caml_initialize
0017c08fmov rsp, rbx
0017c092lea rsi, [rip+0x198897]
0017c099lea rdi, [rip+0x1988c8]
0017c0a0add rdi, 168
0017c0a7mov rbx, rsp
0017c0aamov rsp, [r14+64]
0017c0aecall caml_initialize
0017c0b3mov rsp, rbx
0017c0b6lea rsi, [rip+0x198893]
0017c0bdlea rdi, [rip+0x1988a4]
0017c0c4add rdi, 176
0017c0cbmov rbx, rsp
0017c0cemov rsp, [r14+64]
0017c0d2call caml_initialize
0017c0d7mov rsp, rbx
0017c0damov eax, 1
0017c0dfadd rsp, 16
0017c0e3ret
0017c0e4
0017c0e4loc_17c0e4:
0017c0e4push 35
0017c0e6call caml_call_realloc_stack
0017c0ebpop r10
0017c0edjmp 0x17bae2
0017bad0
0017c0f2
0017c0f2 // align 0x10
0017c0f2 // align 0x10
0017c100
0017c100camlLexstate.fun_1473:
0017c100mov rdi, rax
0017c103mov rax, [rbx+16]
0017c107mov rbx, rdi
0017c10ajmp 0x1ab480
0017c100
0017c100camlLexstate.fun_1473:
0017c100mov rdi, rax
0017c103mov rax, [rbx+16]
0017c107mov rbx, rdi
0017c10ajmp 0x1ab480
0017c100
0017c10f
0017c10f // align 0x10
0017c10f // align 0x10
0017c110
0017c110camlLexstate.pretty_body_461:
0017c110lea r10, [rsp-320]
0017c118cmp r10, [r14+40]
0017c11cjb 0x17c178
0017c11e
0017c11eloc_17c11e:
0017c11elea rbx, [rip+0x19b2a3]
0017c125call Stdlib.Printf.fprintf
0017c12alea rbx, [rip+0x1b913f]
0017c131mov rbx, [rbx+136]
0017c138sub r15, 40
0017c13ccmp r15, [r14]
0017c13fjb 0x17c171
0017c141
0017c141loc_17c141:
0017c141lea rdi, [r15+8]
0017c145mov [rdi-8], 4343
0017c14dlea rsi, [rip+60]
0017c154mov [rdi], rsi
0017c157mov rsi, 0x100000000000005
0017c161mov [rdi+8], rsi
0017c165mov [rdi+16], rax
0017c169mov [rdi+24], rbx
0017c16dmov rax, rdi
0017c170ret
0017c171
0017c171loc_17c171:
0017c171call caml_call_gc
0017c176jmp 0x17c141
0017c178
0017c178loc_17c178:
0017c178push 33
0017c17acall caml_call_realloc_stack
0017c17fpop r10
0017c181jmp 0x17c11e
0017c110
0017c110camlLexstate.pretty_body_461:
0017c110lea r10, [rsp-320]
0017c118cmp r10, [r14+40]
0017c11cjb 0x17c178
0017c11e
0017c11eloc_17c11e:
0017c11elea rbx, [rip+0x19b2a3]
0017c125call Stdlib.Printf.fprintf
0017c12alea rbx, [rip+0x1b913f]
0017c131mov rbx, [rbx+136]
0017c138sub r15, 40
0017c13ccmp r15, [r14]
0017c13fjb 0x17c171
0017c141
0017c141loc_17c141:
0017c141lea rdi, [r15+8]
0017c145mov [rdi-8], 4343
0017c14dlea rsi, [rip+60]
0017c154mov [rdi], rsi
0017c157mov rsi, 0x100000000000005
0017c161mov [rdi+8], rsi
0017c165mov [rdi+16], rax
0017c169mov [rdi+24], rbx
0017c16dmov rax, rdi
0017c170ret
0017c171
0017c171loc_17c171:
0017c171call caml_call_gc
0017c176jmp 0x17c141
0017c178
0017c178loc_17c178:
0017c178push 33
0017c17acall caml_call_realloc_stack
0017c17fpop r10
0017c181jmp 0x17c11e
0017c110
0017c183
0017c183 // align 0x10
0017c183 // align 0x10
0017c190
0017c190camlLexstate.fun_1480:
0017c190mov rdi, rax
0017c193mov rax, [rbx+16]
0017c197mov rbx, rdi
0017c19ajmp 0x1a0330
0017c190
0017c190camlLexstate.fun_1480:
0017c190mov rdi, rax
0017c193mov rax, [rbx+16]
0017c197mov rbx, rdi
0017c19ajmp 0x1a0330
0017c190
0017c19f
0017c19f // align 0x10
0017c19f // align 0x10
0017c1a0
0017c1a0camlLexstate.pretty_action_557:
0017c1a0lea r10, [rsp-336]
0017c1a8cmp r10, [r14+40]
0017c1acjb 0x17c250
0017c1b2
0017c1b2loc_17c1b2:
0017c1b2sub rsp, 16
0017c1b6mov rbx, rax
0017c1b9cmp r15, [r14]
0017c1bcjbe 0x17c246
0017c1c2
0017c1c2loc_17c1c2:
0017c1c2movzx rax, [rbx-8]
0017c1c7cmp rax, 1
0017c1cbje 0x17c214
0017c1cdja 0x17c228
0017c1cfmov rax, [rbx]
0017c1d2mov [rsp+8], rax
0017c1d7lea rax, [rip+0x199d9a]
0017c1demov [rsp], rax
0017c1e2lea rbx, [rip+0x19ac9f]
0017c1e9lea rax, [rip+0x1b1428]
0017c1f0mov rax, [rax+312]
0017c1f7call Stdlib.Printf.fprintf
0017c1fcmov rdi, rax
0017c1ffmov rax, [rsp]
0017c203mov rbx, [rsp+8]
0017c208add rsp, 16
0017c20cjmp 0xf73e0
0017c211
0017c211 0f 1f 00 ...
0017c214
0017c214loc_17c214:
0017c214mov rbx, [rbx]
0017c217lea rax, [rip+0x199d42]
0017c21eadd rsp, 16
0017c222jmp 0x1a0330
0017c227
0017c227 90 .
0017c228
0017c228loc_17c228:
0017c228lea rbx, [rip+0x19b2f9]
0017c22flea rax, [rip+0x1b13e2]
0017c236mov rax, [rax+312]
0017c23dadd rsp, 16
0017c241jmp 0x1963d0
0017c246
0017c246loc_17c246:
0017c246call caml_call_gc
0017c24bjmp 0x17c1c2
0017c250
0017c250loc_17c250:
0017c250push 35
0017c252call caml_call_realloc_stack
0017c257pop r10
0017c259jmp 0x17c1b2
0017c1a0
0017c1a0camlLexstate.pretty_action_557:
0017c1a0lea r10, [rsp-336]
0017c1a8cmp r10, [r14+40]
0017c1acjb 0x17c250
0017c1b2
0017c1b2loc_17c1b2:
0017c1b2sub rsp, 16
0017c1b6mov rbx, rax
0017c1b9cmp r15, [r14]
0017c1bcjbe 0x17c246
0017c1c2
0017c1c2loc_17c1c2:
0017c1c2movzx rax, [rbx-8]
0017c1c7cmp rax, 1
0017c1cbje 0x17c214
0017c1cdja 0x17c228
0017c1cfmov rax, [rbx]
0017c1d2mov [rsp+8], rax
0017c1d7lea rax, [rip+0x199d9a]
0017c1demov [rsp], rax
0017c1e2lea rbx, [rip+0x19ac9f]
0017c1e9lea rax, [rip+0x1b1428]
0017c1f0mov rax, [rax+312]
0017c1f7call Stdlib.Printf.fprintf
0017c1fcmov rdi, rax
0017c1ffmov rax, [rsp]
0017c203mov rbx, [rsp+8]
0017c208add rsp, 16
0017c20cjmp 0xf73e0
0017c211
0017c211 0f 1f 00 ...
0017c214
0017c214loc_17c214:
0017c214mov rbx, [rbx]
0017c217lea rax, [rip+0x199d42]
0017c21eadd rsp, 16
0017c222jmp 0x1a0330
0017c227
0017c227 90 .
0017c228
0017c228loc_17c228:
0017c228lea rbx, [rip+0x19b2f9]
0017c22flea rax, [rip+0x1b13e2]
0017c236mov rax, [rax+312]
0017c23dadd rsp, 16
0017c241jmp 0x1963d0
0017c246
0017c246loc_17c246:
0017c246call caml_call_gc
0017c24bjmp 0x17c1c2
0017c250
0017c250loc_17c250:
0017c250push 35
0017c252call caml_call_realloc_stack
0017c257pop r10
0017c259jmp 0x17c1b2
0017c1a0
0017c25e
0017c25e // align 0x10
0017c25e // align 0x10
0017c260
0017c260camlLexstate.fun_1489:
0017c260mov rdi, rax
0017c263mov rax, [rbx+16]
0017c267mov rbx, rdi
0017c26ajmp 0x1a0330
0017c260
0017c260camlLexstate.fun_1489:
0017c260mov rdi, rax
0017c263mov rax, [rbx+16]
0017c267mov rbx, rdi
0017c26ajmp 0x1a0330
0017c260
0017c26f
0017c26f // align 0x10
0017c26f // align 0x10
0017c270
0017c270camlLexstate.fun_1484:
0017c270lea r10, [rsp-320]
0017c278cmp r10, [r14+40]
0017c27cjb 0x17c2d8
0017c27e
0017c27eloc_17c27e:
0017c27elea rbx, [rip+0x19b41b]
0017c285call Stdlib.Printf.fprintf
0017c28alea rbx, [rip+0x1b8fdf]
0017c291mov rbx, [rbx+136]
0017c298sub r15, 40
0017c29ccmp r15, [r14]
0017c29fjb 0x17c2d1
0017c2a1
0017c2a1loc_17c2a1:
0017c2a1lea rdi, [r15+8]
0017c2a5mov [rdi-8], 4343
0017c2adlea rsi, [rip-84]
0017c2b4mov [rdi], rsi
0017c2b7mov rsi, 0x100000000000005
0017c2c1mov [rdi+8], rsi
0017c2c5mov [rdi+16], rax
0017c2c9mov [rdi+24], rbx
0017c2cdmov rax, rdi
0017c2d0ret
0017c2d1
0017c2d1loc_17c2d1:
0017c2d1call caml_call_gc
0017c2d6jmp 0x17c2a1
0017c2d8
0017c2d8loc_17c2d8:
0017c2d8push 33
0017c2dacall caml_call_realloc_stack
0017c2dfpop r10
0017c2e1jmp 0x17c27e
0017c270
0017c270camlLexstate.fun_1484:
0017c270lea r10, [rsp-320]
0017c278cmp r10, [r14+40]
0017c27cjb 0x17c2d8
0017c27e
0017c27eloc_17c27e:
0017c27elea rbx, [rip+0x19b41b]
0017c285call Stdlib.Printf.fprintf
0017c28alea rbx, [rip+0x1b8fdf]
0017c291mov rbx, [rbx+136]
0017c298sub r15, 40
0017c29ccmp r15, [r14]
0017c29fjb 0x17c2d1
0017c2a1
0017c2a1loc_17c2a1:
0017c2a1lea rdi, [r15+8]
0017c2a5mov [rdi-8], 4343
0017c2adlea rsi, [rip-84]
0017c2b4mov [rdi], rsi
0017c2b7mov rsi, 0x100000000000005
0017c2c1mov [rdi+8], rsi
0017c2c5mov [rdi+16], rax
0017c2c9mov [rdi+24], rbx
0017c2cdmov rax, rdi
0017c2d0ret
0017c2d1
0017c2d1loc_17c2d1:
0017c2d1call caml_call_gc
0017c2d6jmp 0x17c2a1
0017c2d8
0017c2d8loc_17c2d8:
0017c2d8push 33
0017c2dacall caml_call_realloc_stack
0017c2dfpop r10
0017c2e1jmp 0x17c27e
0017c270
0017c2e3
0017c2e3 // align 0x10
0017c2e3 // align 0x10
0017c2f0
0017c2f0camlLexstate.fun_1495:
0017c2f0lea r10, [rsp-328]
0017c2f8cmp r10, [r14+40]
0017c2fcjb 0x17c33c
0017c2fe
0017c2feloc_17c2fe:
0017c2fesub rsp, 8
0017c302cmp r15, [r14]
0017c305jbe 0x17c335
0017c307
0017c307loc_17c307:
0017c307mov [rsp], rax
0017c30blea rbx, [rip+0x19b226]
0017c312lea rax, [rip+0x1b12ff]
0017c319mov rax, [rax+312]
0017c320call Stdlib.Printf.fprintf
0017c325mov rbx, rax
0017c328mov rdi, [rbx]
0017c32bmov rax, [rsp]
0017c32fadd rsp, 8
0017c333jmp rdi
0017c335
0017c335loc_17c335:
0017c335call caml_call_gc
0017c33ajmp 0x17c307
0017c33c
0017c33cloc_17c33c:
0017c33cpush 34
0017c33ecall caml_call_realloc_stack
0017c343pop r10
0017c345jmp 0x17c2fe
0017c2f0
0017c2f0camlLexstate.fun_1495:
0017c2f0lea r10, [rsp-328]
0017c2f8cmp r10, [r14+40]
0017c2fcjb 0x17c33c
0017c2fe
0017c2feloc_17c2fe:
0017c2fesub rsp, 8
0017c302cmp r15, [r14]
0017c305jbe 0x17c335
0017c307
0017c307loc_17c307:
0017c307mov [rsp], rax
0017c30blea rbx, [rip+0x19b226]
0017c312lea rax, [rip+0x1b12ff]
0017c319mov rax, [rax+312]
0017c320call Stdlib.Printf.fprintf
0017c325mov rbx, rax
0017c328mov rdi, [rbx]
0017c32bmov rax, [rsp]
0017c32fadd rsp, 8
0017c333jmp rdi
0017c335
0017c335loc_17c335:
0017c335call caml_call_gc
0017c33ajmp 0x17c307
0017c33c
0017c33cloc_17c33c:
0017c33cpush 34
0017c33ecall caml_call_realloc_stack
0017c343pop r10
0017c345jmp 0x17c2fe
0017c2f0
0017c347
0017c347 // align 0x10
0017c347 // align 0x10
0017c350
0017c350camlLexstate.is_empty_list_564:
0017c350cmp r15, [r14]
0017c353jbe 0x17c392
0017c355
0017c355loc_17c355:
0017c355test al, 1
0017c357je 0x17c360
0017c359mov eax, 3
0017c35eret
0017c35f
0017c35f 90 .
0017c360
0017c360loc_17c360:
0017c360mov rbx, [rax]
0017c363mov rdi, [rbx-8]
0017c367shr rdi, 10
0017c36blea rdi, [8*rdi-1]
0017c373movzx rbx, [rbx+rdi]
0017c378sub rdi, rbx
0017c37blea rbx, [rdi+rdi+1]
0017c380cmp rbx, 1
0017c384jne 0x17c38c
0017c386mov rax, [rax+8]
0017c38ajmp 0x17c350
0017c38c
0017c38cloc_17c38c:
0017c38cmov eax, 1
0017c391ret
0017c392
0017c392loc_17c392:
0017c392call caml_call_gc
0017c397jmp 0x17c355
0017c350
0017c350camlLexstate.is_empty_list_564:
0017c350cmp r15, [r14]
0017c353jbe 0x17c392
0017c355
0017c355loc_17c355:
0017c355test al, 1
0017c357je 0x17c360
0017c359mov eax, 3
0017c35eret
0017c35f
0017c35f 90 .
0017c360
0017c360loc_17c360:
0017c360mov rbx, [rax]
0017c363mov rdi, [rbx-8]
0017c367shr rdi, 10
0017c36blea rdi, [8*rdi-1]
0017c373movzx rbx, [rbx+rdi]
0017c378sub rdi, rbx
0017c37blea rbx, [rdi+rdi+1]
0017c380cmp rbx, 1
0017c384jne 0x17c38c
0017c386mov rax, [rax+8]
0017c38ajmp 0x17c350
0017c38c
0017c38cloc_17c38c:
0017c38cmov eax, 1
0017c391ret
0017c392
0017c392loc_17c392:
0017c392call caml_call_gc
0017c397jmp 0x17c355
0017c350
0017c399
0017c399 // align 0x10
0017c399 // align 0x10
0017c3a0
0017c3a0camlLexstate.pretty_pat_569:
0017c3a0lea rax, [rip+0x199be9]
0017c3a7jmp 0x1a0330
0017c3a0
0017c3a0camlLexstate.pretty_pat_569:
0017c3a0lea rax, [rip+0x199be9]
0017c3a7jmp 0x1a0330
0017c3a0
0017c3ac
0017c3ac // align 0x10
0017c3ac // align 0x10
0017c3b0
0017c3b0camlLexstate.fun_1503:
0017c3b0lea r10, [rsp-320]
0017c3b8cmp r10, [r14+40]
0017c3bcjb 0x17c3de
0017c3be
0017c3beloc_17c3be:
0017c3bemov rbx, rax
0017c3c1lea rax, [rip+0x1b1250]
0017c3c8mov rax, [rax+312]
0017c3cfcall camlStdlib.output_string_253
0017c3d4mov eax, 89
0017c3d9jmp 0x196c70
0017c3de
0017c3deloc_17c3de:
0017c3depush 33
0017c3e0call caml_call_realloc_stack
0017c3e5pop r10
0017c3e7jmp 0x17c3be
0017c3b0
0017c3b0camlLexstate.fun_1503:
0017c3b0lea r10, [rsp-320]
0017c3b8cmp r10, [r14+40]
0017c3bcjb 0x17c3de
0017c3be
0017c3beloc_17c3be:
0017c3bemov rbx, rax
0017c3c1lea rax, [rip+0x1b1250]
0017c3c8mov rax, [rax+312]
0017c3cfcall camlStdlib.output_string_253
0017c3d4mov eax, 89
0017c3d9jmp 0x196c70
0017c3de
0017c3deloc_17c3de:
0017c3depush 33
0017c3e0call caml_call_realloc_stack
0017c3e5pop r10
0017c3e7jmp 0x17c3be
0017c3b0
0017c3e9
0017c3e9 // align 0x10
0017c3e9 // align 0x10
0017c3f0
0017c3f0camlLexstate.is_subst_574:
0017c3f0movzx rax, [rax-8]
0017c3f5cmp rax, 2
0017c3f9jl 0x17c404
0017c3fbmov eax, 1
0017c400ret
0017c401
0017c401 0f 1f 00 ...
0017c404
0017c404loc_17c404:
0017c404mov eax, 3
0017c409ret
0017c3f0
0017c3f0camlLexstate.is_subst_574:
0017c3f0movzx rax, [rax-8]
0017c3f5cmp rax, 2
0017c3f9jl 0x17c404
0017c3fbmov eax, 1
0017c400ret
0017c401
0017c401 0f 1f 00 ...
0017c404
0017c404loc_17c404:
0017c404mov eax, 3
0017c409ret
0017c3f0
0017c40a
0017c40a // align 0x10
0017c40a // align 0x10
0017c410
0017c410camlLexstate.latex_pat_577:
0017c410lea r10, [rsp-336]
0017c418cmp r10, [r14+40]
0017c41cjb 0x17c4cb
0017c422
0017c422loc_17c422:
0017c422sub rsp, 16
0017c426mov [rsp+8], rax
0017c42bmov [rsp], rbx
0017c42ftest al, 1
0017c431je 0x17c43c
0017c433mov eax, 1
0017c438jmp 0x17c44a
0017c43a
0017c43a 66 90 f.
0017c43c
0017c43cloc_17c43c:
0017c43cmov rbx, [rax+8]
0017c440mov eax, 3
0017c445call Stdlib.List.length_aux
0017c44a
0017c44aloc_17c44a:
0017c44asub r15, 40
0017c44ecmp r15, [r14]
0017c451jb 0x17c4c4
0017c453
0017c453loc_17c453:
0017c453lea rdi, [r15+8]
0017c457mov [rdi-8], 4343
0017c45flea rbx, [rip-0x85446]
0017c466mov [rdi], rbx
0017c469mov rbx, 0x200000000000007
0017c473mov [rdi+8], rbx
0017c477lea rbx, [rip+98]
0017c47emov [rdi+16], rbx
0017c482mov [rdi+24], rax
0017c486mov eax, 1
0017c48bmov rbx, [rsp]
0017c48fcall camlLexstate.do_rec_582
0017c494sub r15, 24
0017c498cmp r15, [r14]
0017c49bjb 0x17c4bd
0017c49d
0017c49dloc_17c49d:
0017c49dlea rbx, [r15+8]
0017c4a1mov [rbx-8], 2048
0017c4a9mov rdi, [rsp+8]
0017c4aemov [rbx], rdi
0017c4b1mov [rbx+8], rax
0017c4b5mov rax, rbx
0017c4b8add rsp, 16
0017c4bcret
0017c4bd
0017c4bdloc_17c4bd:
0017c4bdcall caml_call_gc
0017c4c2jmp 0x17c49d
0017c4c4
0017c4c4loc_17c4c4:
0017c4c4call caml_call_gc
0017c4c9jmp 0x17c453
0017c4cb
0017c4cbloc_17c4cb:
0017c4cbpush 35
0017c4cdcall caml_call_realloc_stack
0017c4d2pop r10
0017c4d4jmp 0x17c422
0017c410
0017c410camlLexstate.latex_pat_577:
0017c410lea r10, [rsp-336]
0017c418cmp r10, [r14+40]
0017c41cjb 0x17c4cb
0017c422
0017c422loc_17c422:
0017c422sub rsp, 16
0017c426mov [rsp+8], rax
0017c42bmov [rsp], rbx
0017c42ftest al, 1
0017c431je 0x17c43c
0017c433mov eax, 1
0017c438jmp 0x17c44a
0017c43a
0017c43a 66 90 f.
0017c43c
0017c43cloc_17c43c:
0017c43cmov rbx, [rax+8]
0017c440mov eax, 3
0017c445call Stdlib.List.length_aux
0017c44a
0017c44aloc_17c44a:
0017c44asub r15, 40
0017c44ecmp r15, [r14]
0017c451jb 0x17c4c4
0017c453
0017c453loc_17c453:
0017c453lea rdi, [r15+8]
0017c457mov [rdi-8], 4343
0017c45flea rbx, [rip-0x85446]
0017c466mov [rdi], rbx
0017c469mov rbx, 0x200000000000007
0017c473mov [rdi+8], rbx
0017c477lea rbx, [rip+98]
0017c47emov [rdi+16], rbx
0017c482mov [rdi+24], rax
0017c486mov eax, 1
0017c48bmov rbx, [rsp]
0017c48fcall camlLexstate.do_rec_582
0017c494sub r15, 24
0017c498cmp r15, [r14]
0017c49bjb 0x17c4bd
0017c49d
0017c49dloc_17c49d:
0017c49dlea rbx, [r15+8]
0017c4a1mov [rbx-8], 2048
0017c4a9mov rdi, [rsp+8]
0017c4aemov [rbx], rdi
0017c4b1mov [rbx+8], rax
0017c4b5mov rax, rbx
0017c4b8add rsp, 16
0017c4bcret
0017c4bd
0017c4bdloc_17c4bd:
0017c4bdcall caml_call_gc
0017c4c2jmp 0x17c49d
0017c4c4
0017c4c4loc_17c4c4:
0017c4c4call caml_call_gc
0017c4c9jmp 0x17c453
0017c4cb
0017c4cbloc_17c4cb:
0017c4cbpush 35
0017c4cdcall caml_call_realloc_stack
0017c4d2pop r10
0017c4d4jmp 0x17c422
0017c410
0017c4d9
0017c4d9 // align 0x10
0017c4d9 // align 0x10
0017c4e0
0017c4e0camlLexstate.do_rec_582:
0017c4e0lea r10, [rsp-344]
0017c4e8cmp r10, [r14+40]
0017c4ecjb 0x17c55f
0017c4ee
0017c4eeloc_17c4ee:
0017c4eesub rsp, 24
0017c4f2
0017c4f2loc_17c4f2:
0017c4f2mov rsi, [rdi+24]
0017c4f6cmp rbx, rsi
0017c4f9jg 0x17c500
0017c4fbadd rsp, 24
0017c4ffret
0017c500
0017c500loc_17c500:
0017c500mov [rsp+16], rdi
0017c505mov [rsp+8], rbx
0017c50amov [rsp], rax
0017c50emov rax, rbx
0017c511call camlStdlib.string_of_int_175
0017c516mov rbx, rax
0017c519lea rax, [rip+0x19aff8]
0017c520call camlStdlib.$5e_139
0017c525sub r15, 24
0017c529cmp r15, [r14]
0017c52cjb 0x17c558
0017c52e
0017c52eloc_17c52e:
0017c52elea rdi, [r15+8]
0017c532mov [rdi-8], 2048
0017c53amov [rdi], rax
0017c53dmov rax, [rsp]
0017c541mov [rdi+8], rax
0017c545mov rbx, [rsp+8]
0017c54aadd rbx, -2
0017c54emov rax, rdi
0017c551mov rdi, [rsp+16]
0017c556jmp 0x17c4f2
0017c558
0017c558loc_17c558:
0017c558call caml_call_gc
0017c55djmp 0x17c52e
0017c55f
0017c55floc_17c55f:
0017c55fpush 36
0017c561call caml_call_realloc_stack
0017c566pop r10
0017c568jmp 0x17c4ee
0017c4e0
0017c4e0camlLexstate.do_rec_582:
0017c4e0lea r10, [rsp-344]
0017c4e8cmp r10, [r14+40]
0017c4ecjb 0x17c55f
0017c4ee
0017c4eeloc_17c4ee:
0017c4eesub rsp, 24
0017c4f2
0017c4f2loc_17c4f2:
0017c4f2mov rsi, [rdi+24]
0017c4f6cmp rbx, rsi
0017c4f9jg 0x17c500
0017c4fbadd rsp, 24
0017c4ffret
0017c500
0017c500loc_17c500:
0017c500mov [rsp+16], rdi
0017c505mov [rsp+8], rbx
0017c50amov [rsp], rax
0017c50emov rax, rbx
0017c511call camlStdlib.string_of_int_175
0017c516mov rbx, rax
0017c519lea rax, [rip+0x19aff8]
0017c520call camlStdlib.$5e_139
0017c525sub r15, 24
0017c529cmp r15, [r14]
0017c52cjb 0x17c558
0017c52e
0017c52eloc_17c52e:
0017c52elea rdi, [r15+8]
0017c532mov [rdi-8], 2048
0017c53amov [rdi], rax
0017c53dmov rax, [rsp]
0017c541mov [rdi+8], rax
0017c545mov rbx, [rsp+8]
0017c54aadd rbx, -2
0017c54emov rax, rdi
0017c551mov rdi, [rsp+16]
0017c556jmp 0x17c4f2
0017c558
0017c558loc_17c558:
0017c558call caml_call_gc
0017c55djmp 0x17c52e
0017c55f
0017c55floc_17c55f:
0017c55fpush 36
0017c561call caml_call_realloc_stack
0017c566pop r10
0017c568jmp 0x17c4ee
0017c4e0
0017c56a
0017c56a // align 0x10
0017c56a // align 0x10
0017c570
0017c570camlLexstate.mkarg_593:
0017c570sub r15, 24
0017c574cmp r15, [r14]
0017c577jb 0x17c590
0017c579
0017c579loc_17c579:
0017c579lea rdi, [r15+8]
0017c57dmov [rdi-8], 2048
0017c585mov [rdi], rax
0017c588mov [rdi+8], rbx
0017c58cmov rax, rdi
0017c58fret
0017c590
0017c590loc_17c590:
0017c590call caml_call_gc
0017c595jmp 0x17c579
0017c570
0017c570camlLexstate.mkarg_593:
0017c570sub r15, 24
0017c574cmp r15, [r14]
0017c577jb 0x17c590
0017c579
0017c579loc_17c579:
0017c579lea rdi, [r15+8]
0017c57dmov [rdi-8], 2048
0017c585mov [rdi], rax
0017c588mov [rdi+8], rbx
0017c58cmov rax, rdi
0017c58fret
0017c590
0017c590loc_17c590:
0017c590call caml_call_gc
0017c595jmp 0x17c579
0017c570
0017c597
0017c597 // align 0x10
0017c597 // align 0x10
0017c5a0
0017c5a0camlLexstate.effective_601:
0017c5a0cmp rax, 3
0017c5a4sete al
0017c5a7movzx rax, al
0017c5ablea rax, [rax+rax+1]
0017c5b0ret
0017c5a0
0017c5a0camlLexstate.effective_601:
0017c5a0cmp rax, 3
0017c5a4sete al
0017c5a7movzx rax, al
0017c5ablea rax, [rax+rax+1]
0017c5b0ret
0017c5a0
0017c5b1
0017c5b1 // align 0x10
0017c5b1 // align 0x10
0017c5c0
0017c5c0camlLexstate.get_subst_608:
0017c5c0lea rax, [rip+0x19a3d9]
0017c5c7mov rax, [rax+728]
0017c5cemov rax, [rax]
0017c5d1ret
0017c5c0
0017c5c0camlLexstate.get_subst_608:
0017c5c0lea rax, [rip+0x19a3d9]
0017c5c7mov rax, [rax+728]
0017c5cemov rax, [rax]
0017c5d1ret
0017c5c0
0017c5d2
0017c5d2 // align 0x10
0017c5d2 // align 0x10
0017c5e0
0017c5e0camlLexstate.pretty_subst_612:
0017c5e0lea r10, [rsp-360]
0017c5e8cmp r10, [r14+40]
0017c5ecjb 0x17c739
0017c5f2
0017c5f2loc_17c5f2:
0017c5f2sub rsp, 40
0017c5f6test al, 1
0017c5f8je 0x17c60c
0017c5falea rax, [rip+0x19aecf]
0017c601add rsp, 40
0017c605jmp 0x196d50
0017c60a
0017c60a 66 90 f.
0017c60c
0017c60cloc_17c60c:
0017c60cmov rax, [rax]
0017c60fmov rbx, [rax-8]
0017c613shr rbx, 9
0017c617or rbx, 1
0017c61bcmp rbx, 1
0017c61fje 0x17c720
0017c625mov [rsp], rax
0017c629lea rax, [rip+0x19ae90]
0017c630call camlStdlib.prerr_endline_390
0017c635mov eax, 1
0017c63amov rdi, [rsp]
0017c63emov rbx, [rdi-8]
0017c642shr rbx, 9
0017c646or rbx, 1
0017c64aadd rbx, -2
0017c64ecmp rax, rbx
0017c651jg 0x17c713
0017c657mov [rsp+32], rbx
0017c65cmov [rsp+24], rax
0017c661mov [rsp], rdi
0017c665
0017c665loc_17c665:
0017c665lea rbx, [rip+0x19ae44]
0017c66clea rax, [rip+0x1b0fa5]
0017c673mov rax, [rax+312]
0017c67acall camlStdlib.output_string_253
0017c67fmov rbx, [rsp]
0017c683mov rax, [rbx-8]
0017c687shr rax, 9
0017c68bmov rdi, [rsp+24]
0017c690cmp rax, rdi
0017c693jbe 0x17c734
0017c699mov rax, [rbx+4*rdi-4]
0017c69emov rax, [rax]
0017c6a1mov [rsp+16], rax
0017c6a6lea rax, [rip+0x19a2f3]
0017c6admov rax, [rax]
0017c6b0mov [rsp+8], rax
0017c6b5lea rbx, [rip+0x19adac]
0017c6bclea rax, [rip+0x1b0f55]
0017c6c3mov rax, [rax+312]
0017c6cacall Stdlib.Printf.fprintf
0017c6cfmov rdi, rax
0017c6d2mov rax, [rsp+8]
0017c6d7mov rbx, [rsp+16]
0017c6dccall caml_apply2
0017c6e1lea rax, [rip+0x19ad70]
0017c6e8call camlStdlib.prerr_endline_390
0017c6edmov rbx, [rsp+24]
0017c6f2mov rax, rbx
0017c6f5add rbx, 2
0017c6f9mov [rsp+24], rbx
0017c6femov rbx, [rsp+32]
0017c703cmp rax, rbx
0017c706je 0x17c713
0017c708cmp r15, [r14]
0017c70bja 0x17c665
0017c711jmp 0x17c72a
0017c713
0017c713loc_17c713:
0017c713mov eax, 1
0017c718add rsp, 40
0017c71cret
0017c71d
0017c71d 0f 1f 00 ...
0017c720
0017c720loc_17c720:
0017c720mov eax, 1
0017c725add rsp, 40
0017c729ret
0017c72a
0017c72aloc_17c72a:
0017c72acall caml_call_gc
0017c72fjmp 0x17c665
0017c734
0017c734loc_17c734:
0017c734call caml_ml_array_bound_error
0017c739
0017c739loc_17c739:
0017c739push 38
0017c73bcall caml_call_realloc_stack
0017c740pop r10
0017c742jmp 0x17c5f2
0017c5e0
0017c5e0camlLexstate.pretty_subst_612:
0017c5e0lea r10, [rsp-360]
0017c5e8cmp r10, [r14+40]
0017c5ecjb 0x17c739
0017c5f2
0017c5f2loc_17c5f2:
0017c5f2sub rsp, 40
0017c5f6test al, 1
0017c5f8je 0x17c60c
0017c5falea rax, [rip+0x19aecf]
0017c601add rsp, 40
0017c605jmp 0x196d50
0017c60a
0017c60a 66 90 f.
0017c60c
0017c60cloc_17c60c:
0017c60cmov rax, [rax]
0017c60fmov rbx, [rax-8]
0017c613shr rbx, 9
0017c617or rbx, 1
0017c61bcmp rbx, 1
0017c61fje 0x17c720
0017c625mov [rsp], rax
0017c629lea rax, [rip+0x19ae90]
0017c630call camlStdlib.prerr_endline_390
0017c635mov eax, 1
0017c63amov rdi, [rsp]
0017c63emov rbx, [rdi-8]
0017c642shr rbx, 9
0017c646or rbx, 1
0017c64aadd rbx, -2
0017c64ecmp rax, rbx
0017c651jg 0x17c713
0017c657mov [rsp+32], rbx
0017c65cmov [rsp+24], rax
0017c661mov [rsp], rdi
0017c665
0017c665loc_17c665:
0017c665lea rbx, [rip+0x19ae44]
0017c66clea rax, [rip+0x1b0fa5]
0017c673mov rax, [rax+312]
0017c67acall camlStdlib.output_string_253
0017c67fmov rbx, [rsp]
0017c683mov rax, [rbx-8]
0017c687shr rax, 9
0017c68bmov rdi, [rsp+24]
0017c690cmp rax, rdi
0017c693jbe 0x17c734
0017c699mov rax, [rbx+4*rdi-4]
0017c69emov rax, [rax]
0017c6a1mov [rsp+16], rax
0017c6a6lea rax, [rip+0x19a2f3]
0017c6admov rax, [rax]
0017c6b0mov [rsp+8], rax
0017c6b5lea rbx, [rip+0x19adac]
0017c6bclea rax, [rip+0x1b0f55]
0017c6c3mov rax, [rax+312]
0017c6cacall Stdlib.Printf.fprintf
0017c6cfmov rdi, rax
0017c6d2mov rax, [rsp+8]
0017c6d7mov rbx, [rsp+16]
0017c6dccall caml_apply2
0017c6e1lea rax, [rip+0x19ad70]
0017c6e8call camlStdlib.prerr_endline_390
0017c6edmov rbx, [rsp+24]
0017c6f2mov rax, rbx
0017c6f5add rbx, 2
0017c6f9mov [rsp+24], rbx
0017c6femov rbx, [rsp+32]
0017c703cmp rax, rbx
0017c706je 0x17c713
0017c708cmp r15, [r14]
0017c70bja 0x17c665
0017c711jmp 0x17c72a
0017c713
0017c713loc_17c713:
0017c713mov eax, 1
0017c718add rsp, 40
0017c71cret
0017c71d
0017c71d 0f 1f 00 ...
0017c720
0017c720loc_17c720:
0017c720mov eax, 1
0017c725add rsp, 40
0017c729ret
0017c72a
0017c72aloc_17c72a:
0017c72acall caml_call_gc
0017c72fjmp 0x17c665
0017c734
0017c734loc_17c734:
0017c734call caml_ml_array_bound_error
0017c739
0017c739loc_17c739:
0017c739push 38
0017c73bcall caml_call_realloc_stack
0017c740pop r10
0017c742jmp 0x17c5f2
0017c5e0
0017c747
0017c747 // align 0x10
0017c747 // align 0x10
0017c750
0017c750camlLexstate.pretty_subst_rec_667:
0017c750lea r10, [rsp-360]
0017c758cmp r10, [r14+40]
0017c75cjb 0x17c93d
0017c762
0017c762loc_17c762:
0017c762sub rsp, 40
0017c766mov rdi, rax
0017c769test bl, 1
0017c76cje 0x17c794
0017c76elea rax, [rip+0x1b0ea3]
0017c775mov rax, [rax+312]
0017c77cmov rbx, rdi
0017c77fcall camlStdlib.output_string_253
0017c784lea rax, [rip+0x19ad45]
0017c78badd rsp, 40
0017c78fjmp 0x196d50
0017c794
0017c794loc_17c794:
0017c794mov rax, [rbx]
0017c797mov rbx, [rax-8]
0017c79bshr rbx, 9
0017c79for rbx, 1
0017c7a3cmp rbx, 1
0017c7a7je 0x17c924
0017c7admov [rsp+8], rax
0017c7b2mov [rsp+16], rdi
0017c7b7lea rax, [rip+0x1b0e5a]
0017c7bemov rax, [rax+312]
0017c7c5mov rbx, rdi
0017c7c8call camlStdlib.output_string_253
0017c7cdlea rax, [rip+0x19acec]
0017c7d4call camlStdlib.prerr_endline_390
0017c7d9mov eax, 1
0017c7demov rdi, [rsp+8]
0017c7e3mov rbx, [rdi-8]
0017c7e7shr rbx, 9
0017c7ebor rbx, 1
0017c7efadd rbx, -2
0017c7f3cmp rax, rbx
0017c7f6jg 0x17c918
0017c7fcmov [rsp+32], rbx
0017c801mov [rsp+24], rax
0017c806mov [rsp+8], rdi
0017c80b
0017c80bloc_17c80b:
0017c80blea rax, [rip+0x1b0e06]
0017c812mov rax, [rax+312]
0017c819mov rbx, [rsp+16]
0017c81ecall camlStdlib.output_string_253
0017c823mov rax, [rsp+24]
0017c828add rax, 2
0017c82ccall camlStdlib.string_of_int_175
0017c831lea rbx, [rip+0x19ac00]
0017c838call camlStdlib.$5e_139
0017c83dmov rbx, rax
0017c840lea rax, [rip+0x19ac01]
0017c847call camlStdlib.$5e_139
0017c84cmov rbx, rax
0017c84flea rax, [rip+0x1b0dc2]
0017c856mov rax, [rax+312]
0017c85dcall camlStdlib.output_string_253
0017c862mov rbx, [rsp+8]
0017c867mov rax, [rbx-8]
0017c86bshr rax, 9
0017c86fmov rdi, [rsp+24]
0017c874cmp rax, rdi
0017c877jbe 0x17c938
0017c87dmov rax, [rbx+4*rdi-4]
0017c882mov rax, [rax]
0017c885mov [rsp], rax
0017c889lea rax, [rip+0x1b0d88]
0017c890mov rax, [rax+312]
0017c897call camlLexstate.pretty_body_461
0017c89cmov rbx, rax
0017c89fmov rdi, [rbx]
0017c8a2mov rax, [rsp]
0017c8a6call rdi
0017c8a8lea rax, [rip+0x19ab79]
0017c8afcall camlStdlib.prerr_endline_390
0017c8b4mov rbx, [rsp+8]
0017c8b9mov rax, [rbx-8]
0017c8bdshr rax, 9
0017c8c1mov rdi, [rsp+24]
0017c8c6cmp rax, rdi
0017c8c9jbe 0x17c938
0017c8cbmov rax, [rbx+4*rdi-4]
0017c8d0mov rax, [rax+8]
0017c8d4mov [rsp], rax
0017c8d8lea rax, [rip+0x19ab39]
0017c8dfmov rbx, [rsp+16]
0017c8e4call camlStdlib.$5e_139
0017c8e9mov rbx, [rsp]
0017c8edcall camlLexstate.pretty_subst_rec_667
0017c8f2mov rbx, [rsp+24]
0017c8f7mov rax, rbx
0017c8faadd rbx, 2
0017c8femov [rsp+24], rbx
0017c903mov rbx, [rsp+32]
0017c908cmp rax, rbx
0017c90bje 0x17c918
0017c90dcmp r15, [r14]
0017c910ja 0x17c80b
0017c916jmp 0x17c92e
0017c918
0017c918loc_17c918:
0017c918mov eax, 1
0017c91dadd rsp, 40
0017c921ret
0017c922
0017c922 66 90 f.
0017c924
0017c924loc_17c924:
0017c924mov eax, 1
0017c929add rsp, 40
0017c92dret
0017c92e
0017c92eloc_17c92e:
0017c92ecall caml_call_gc
0017c933jmp 0x17c80b
0017c938
0017c938loc_17c938:
0017c938call caml_ml_array_bound_error
0017c93d
0017c93dloc_17c93d:
0017c93dpush 38
0017c93fcall caml_call_realloc_stack
0017c944pop r10
0017c946jmp 0x17c762
0017c750
0017c750camlLexstate.pretty_subst_rec_667:
0017c750lea r10, [rsp-360]
0017c758cmp r10, [r14+40]
0017c75cjb 0x17c93d
0017c762
0017c762loc_17c762:
0017c762sub rsp, 40
0017c766mov rdi, rax
0017c769test bl, 1
0017c76cje 0x17c794
0017c76elea rax, [rip+0x1b0ea3]
0017c775mov rax, [rax+312]
0017c77cmov rbx, rdi
0017c77fcall camlStdlib.output_string_253
0017c784lea rax, [rip+0x19ad45]
0017c78badd rsp, 40
0017c78fjmp 0x196d50
0017c794
0017c794loc_17c794:
0017c794mov rax, [rbx]
0017c797mov rbx, [rax-8]
0017c79bshr rbx, 9
0017c79for rbx, 1
0017c7a3cmp rbx, 1
0017c7a7je 0x17c924
0017c7admov [rsp+8], rax
0017c7b2mov [rsp+16], rdi
0017c7b7lea rax, [rip+0x1b0e5a]
0017c7bemov rax, [rax+312]
0017c7c5mov rbx, rdi
0017c7c8call camlStdlib.output_string_253
0017c7cdlea rax, [rip+0x19acec]
0017c7d4call camlStdlib.prerr_endline_390
0017c7d9mov eax, 1
0017c7demov rdi, [rsp+8]
0017c7e3mov rbx, [rdi-8]
0017c7e7shr rbx, 9
0017c7ebor rbx, 1
0017c7efadd rbx, -2
0017c7f3cmp rax, rbx
0017c7f6jg 0x17c918
0017c7fcmov [rsp+32], rbx
0017c801mov [rsp+24], rax
0017c806mov [rsp+8], rdi
0017c80b
0017c80bloc_17c80b:
0017c80blea rax, [rip+0x1b0e06]
0017c812mov rax, [rax+312]
0017c819mov rbx, [rsp+16]
0017c81ecall camlStdlib.output_string_253
0017c823mov rax, [rsp+24]
0017c828add rax, 2
0017c82ccall camlStdlib.string_of_int_175
0017c831lea rbx, [rip+0x19ac00]
0017c838call camlStdlib.$5e_139
0017c83dmov rbx, rax
0017c840lea rax, [rip+0x19ac01]
0017c847call camlStdlib.$5e_139
0017c84cmov rbx, rax
0017c84flea rax, [rip+0x1b0dc2]
0017c856mov rax, [rax+312]
0017c85dcall camlStdlib.output_string_253
0017c862mov rbx, [rsp+8]
0017c867mov rax, [rbx-8]
0017c86bshr rax, 9
0017c86fmov rdi, [rsp+24]
0017c874cmp rax, rdi
0017c877jbe 0x17c938
0017c87dmov rax, [rbx+4*rdi-4]
0017c882mov rax, [rax]
0017c885mov [rsp], rax
0017c889lea rax, [rip+0x1b0d88]
0017c890mov rax, [rax+312]
0017c897call camlLexstate.pretty_body_461
0017c89cmov rbx, rax
0017c89fmov rdi, [rbx]
0017c8a2mov rax, [rsp]
0017c8a6call rdi
0017c8a8lea rax, [rip+0x19ab79]
0017c8afcall camlStdlib.prerr_endline_390
0017c8b4mov rbx, [rsp+8]
0017c8b9mov rax, [rbx-8]
0017c8bdshr rax, 9
0017c8c1mov rdi, [rsp+24]
0017c8c6cmp rax, rdi
0017c8c9jbe 0x17c938
0017c8cbmov rax, [rbx+4*rdi-4]
0017c8d0mov rax, [rax+8]
0017c8d4mov [rsp], rax
0017c8d8lea rax, [rip+0x19ab39]
0017c8dfmov rbx, [rsp+16]
0017c8e4call camlStdlib.$5e_139
0017c8e9mov rbx, [rsp]
0017c8edcall camlLexstate.pretty_subst_rec_667
0017c8f2mov rbx, [rsp+24]
0017c8f7mov rax, rbx
0017c8faadd rbx, 2
0017c8femov [rsp+24], rbx
0017c903mov rbx, [rsp+32]
0017c908cmp rax, rbx
0017c90bje 0x17c918
0017c90dcmp r15, [r14]
0017c910ja 0x17c80b
0017c916jmp 0x17c92e
0017c918
0017c918loc_17c918:
0017c918mov eax, 1
0017c91dadd rsp, 40
0017c921ret
0017c922
0017c922 66 90 f.
0017c924
0017c924loc_17c924:
0017c924mov eax, 1
0017c929add rsp, 40
0017c92dret
0017c92e
0017c92eloc_17c92e:
0017c92ecall caml_call_gc
0017c933jmp 0x17c80b
0017c938
0017c938loc_17c938:
0017c938call caml_ml_array_bound_error
0017c93d
0017c93dloc_17c93d:
0017c93dpush 38
0017c93fcall caml_call_realloc_stack
0017c944pop r10
0017c946jmp 0x17c762
0017c750
0017c94b
0017c94b // align 0x10
0017c94b // align 0x10
0017c950
0017c950camlLexstate.full_pretty_subst_672:
0017c950mov rbx, rax
0017c953lea rax, [rip+0x19aabe]
0017c95ajmp 0x17c750
0017c950
0017c950camlLexstate.full_pretty_subst_672:
0017c950mov rbx, rax
0017c953lea rax, [rip+0x19aabe]
0017c95ajmp 0x17c750
0017c950
0017c95f
0017c95f // align 0x10
0017c95f // align 0x10
0017c960
0017c960camlLexstate.string_to_arg_720:
0017c960sub r15, 24
0017c964cmp r15, [r14]
0017c967jb 0x17c991
0017c969
0017c969loc_17c969:
0017c969lea rbx, [r15+8]
0017c96dmov [rbx-8], 2048
0017c975mov [rbx], rax
0017c978lea rax, [rip+0x19a021]
0017c97fmov rax, [rax+728]
0017c986mov rax, [rax]
0017c989mov [rbx+8], rax
0017c98dmov rax, rbx
0017c990ret
0017c991
0017c991loc_17c991:
0017c991call caml_call_gc
0017c996jmp 0x17c969
0017c960
0017c960camlLexstate.string_to_arg_720:
0017c960sub r15, 24
0017c964cmp r15, [r14]
0017c967jb 0x17c991
0017c969
0017c969loc_17c969:
0017c969lea rbx, [r15+8]
0017c96dmov [rbx-8], 2048
0017c975mov [rbx], rax
0017c978lea rax, [rip+0x19a021]
0017c97fmov rax, [rax+728]
0017c986mov rax, [rax]
0017c989mov [rbx+8], rax
0017c98dmov rax, rbx
0017c990ret
0017c991
0017c991loc_17c991:
0017c991call caml_call_gc
0017c996jmp 0x17c969
0017c960
0017c998
0017c998 // align 0x10
0017c998 // align 0x10
0017c9a0
0017c9a0camlLexstate.pretty_lexbuf_726:
0017c9a0lea r10, [rsp-352]
0017c9a8cmp r10, [r14+40]
0017c9acjb 0x17cb88
0017c9b2
0017c9b2loc_17c9b2:
0017c9b2sub rsp, 32
0017c9b6mov [rsp+8], rax
0017c9bbmov rbx, [rax+40]
0017c9bfmov [rsp+24], rbx
0017c9c4mov rax, [rax+8]
0017c9c8mov rbx, [rax-8]
0017c9ccshr rbx, 10
0017c9d0lea rbx, [8*rbx-1]
0017c9d8movzx rax, [rax+rbx]
0017c9ddsub rbx, rax
0017c9e0lea rax, [rbx+rbx+1]
0017c9e5mov [rsp+16], rax
0017c9ealea rax, [rip+0x19a977]
0017c9f1call camlStdlib.prerr_endline_390
0017c9f6lea rax, [rip+0x1ad673]
0017c9fdmov rax, [rax+80]
0017ca01mov rax, [rax]
0017ca04cmp rax, 7
0017ca08jle 0x17ca1c
0017ca0amov rdi, [rsp+16]
0017ca0fmov rax, [rsp+24]
0017ca14sub rdi, rax
0017ca17inc rdi
0017ca1ajmp 0x17ca39
0017ca1c
0017ca1cloc_17ca1c:
0017ca1cmov ebx, 161
0017ca21mov rax, [rsp+16]
0017ca26mov rdi, [rsp+24]
0017ca2bsub rax, rdi
0017ca2einc rax
0017ca31call camlStdlib.min_44
0017ca36mov rdi, rax
0017ca39
0017ca39loc_17ca39:
0017ca39mov rsi, [rsp+16]
0017ca3emov rax, rsi
0017ca41mov rbx, [rsp+24]
0017ca46sub rax, rbx
0017ca49inc rax
0017ca4ccmp rdi, rax
0017ca4fje 0x17cb28
0017ca55mov [rsp], rdi
0017ca59mov [rsp+16], rsi
0017ca5emov [rsp+24], rbx
0017ca63lea rbx, [rip+0x19a8ee]
0017ca6alea rax, [rip+0x1b0ba7]
0017ca71mov rax, [rax+312]
0017ca78call camlStdlib.output_string_253
0017ca7dmov rdi, [rsp]
0017ca81sar rdi, 1
0017ca84mov rax, rdi
0017ca87shr rax, 63
0017ca8badd rdi, rax
0017ca8eor rdi, 1
0017ca92mov rax, [rsp+8]
0017ca97mov rax, [rax+8]
0017ca9bmov rbx, [rsp+24]
0017caa0call Stdlib.Bytes.sub
0017caa5mov rbx, rax
0017caa8lea rax, [rip+0x1b0b69]
0017caafmov rax, [rax+312]
0017cab6call camlStdlib.output_string_253
0017cabblea rbx, [rip+0x19a876]
0017cac2lea rax, [rip+0x1b0b4f]
0017cac9mov rax, [rax+312]
0017cad0call camlStdlib.output_string_253
0017cad5mov rdi, [rsp]
0017cad9sar rdi, 1
0017cadcmov rax, rdi
0017cadfshr rax, 63
0017cae3add rdi, rax
0017cae6or rdi, 1
0017caeamov rbx, [rsp+16]
0017caefsub rbx, rdi
0017caf2dec rbx
0017caf5mov rax, [rsp+8]
0017cafamov rax, [rax+8]
0017cafecall Stdlib.Bytes.sub
0017cb03mov rbx, rax
0017cb06lea rax, [rip+0x1b0b0b]
0017cb0dmov rax, [rax+312]
0017cb14call camlStdlib.output_string_253
0017cb19lea rax, [rip+0x19a808]
0017cb20call camlStdlib.prerr_endline_390
0017cb25jmp 0x17cb56
0017cb27
0017cb27 90 .
0017cb28
0017cb28loc_17cb28:
0017cb28mov rax, [rsp+8]
0017cb2dmov rax, [rax+8]
0017cb31call Stdlib.Bytes.sub
0017cb36lea rbx, [rip+0x19a7eb]
0017cb3dcall camlStdlib.$5e_139
0017cb42mov rbx, rax
0017cb45lea rax, [rip+0x19a80c]
0017cb4ccall camlStdlib.$5e_139
0017cb51call camlStdlib.prerr_endline_390
0017cb56
0017cb56loc_17cb56:
0017cb56mov rax, [rsp+8]
0017cb5bmov rax, [rax+40]
0017cb5fcall camlStdlib.string_of_int_175
0017cb64mov rbx, rax
0017cb67lea rax, [rip+0x19a7a2]
0017cb6ecall camlStdlib.$5e_139
0017cb73call camlStdlib.prerr_endline_390
0017cb78lea rax, [rip+0x19a779]
0017cb7fadd rsp, 32
0017cb83jmp 0x196d50
0017cb88
0017cb88loc_17cb88:
0017cb88push 37
0017cb8acall caml_call_realloc_stack
0017cb8fpop r10
0017cb91jmp 0x17c9b2
0017c9a0
0017c9a0camlLexstate.pretty_lexbuf_726:
0017c9a0lea r10, [rsp-352]
0017c9a8cmp r10, [r14+40]
0017c9acjb 0x17cb88
0017c9b2
0017c9b2loc_17c9b2:
0017c9b2sub rsp, 32
0017c9b6mov [rsp+8], rax
0017c9bbmov rbx, [rax+40]
0017c9bfmov [rsp+24], rbx
0017c9c4mov rax, [rax+8]
0017c9c8mov rbx, [rax-8]
0017c9ccshr rbx, 10
0017c9d0lea rbx, [8*rbx-1]
0017c9d8movzx rax, [rax+rbx]
0017c9ddsub rbx, rax
0017c9e0lea rax, [rbx+rbx+1]
0017c9e5mov [rsp+16], rax
0017c9ealea rax, [rip+0x19a977]
0017c9f1call camlStdlib.prerr_endline_390
0017c9f6lea rax, [rip+0x1ad673]
0017c9fdmov rax, [rax+80]
0017ca01mov rax, [rax]
0017ca04cmp rax, 7
0017ca08jle 0x17ca1c
0017ca0amov rdi, [rsp+16]
0017ca0fmov rax, [rsp+24]
0017ca14sub rdi, rax
0017ca17inc rdi
0017ca1ajmp 0x17ca39
0017ca1c
0017ca1cloc_17ca1c:
0017ca1cmov ebx, 161
0017ca21mov rax, [rsp+16]
0017ca26mov rdi, [rsp+24]
0017ca2bsub rax, rdi
0017ca2einc rax
0017ca31call camlStdlib.min_44
0017ca36mov rdi, rax
0017ca39
0017ca39loc_17ca39:
0017ca39mov rsi, [rsp+16]
0017ca3emov rax, rsi
0017ca41mov rbx, [rsp+24]
0017ca46sub rax, rbx
0017ca49inc rax
0017ca4ccmp rdi, rax
0017ca4fje 0x17cb28
0017ca55mov [rsp], rdi
0017ca59mov [rsp+16], rsi
0017ca5emov [rsp+24], rbx
0017ca63lea rbx, [rip+0x19a8ee]
0017ca6alea rax, [rip+0x1b0ba7]
0017ca71mov rax, [rax+312]
0017ca78call camlStdlib.output_string_253
0017ca7dmov rdi, [rsp]
0017ca81sar rdi, 1
0017ca84mov rax, rdi
0017ca87shr rax, 63
0017ca8badd rdi, rax
0017ca8eor rdi, 1
0017ca92mov rax, [rsp+8]
0017ca97mov rax, [rax+8]
0017ca9bmov rbx, [rsp+24]
0017caa0call Stdlib.Bytes.sub
0017caa5mov rbx, rax
0017caa8lea rax, [rip+0x1b0b69]
0017caafmov rax, [rax+312]
0017cab6call camlStdlib.output_string_253
0017cabblea rbx, [rip+0x19a876]
0017cac2lea rax, [rip+0x1b0b4f]
0017cac9mov rax, [rax+312]
0017cad0call camlStdlib.output_string_253
0017cad5mov rdi, [rsp]
0017cad9sar rdi, 1
0017cadcmov rax, rdi
0017cadfshr rax, 63
0017cae3add rdi, rax
0017cae6or rdi, 1
0017caeamov rbx, [rsp+16]
0017caefsub rbx, rdi
0017caf2dec rbx
0017caf5mov rax, [rsp+8]
0017cafamov rax, [rax+8]
0017cafecall Stdlib.Bytes.sub
0017cb03mov rbx, rax
0017cb06lea rax, [rip+0x1b0b0b]
0017cb0dmov rax, [rax+312]
0017cb14call camlStdlib.output_string_253
0017cb19lea rax, [rip+0x19a808]
0017cb20call camlStdlib.prerr_endline_390
0017cb25jmp 0x17cb56
0017cb27
0017cb27 90 .
0017cb28
0017cb28loc_17cb28:
0017cb28mov rax, [rsp+8]
0017cb2dmov rax, [rax+8]
0017cb31call Stdlib.Bytes.sub
0017cb36lea rbx, [rip+0x19a7eb]
0017cb3dcall camlStdlib.$5e_139
0017cb42mov rbx, rax
0017cb45lea rax, [rip+0x19a80c]
0017cb4ccall camlStdlib.$5e_139
0017cb51call camlStdlib.prerr_endline_390
0017cb56
0017cb56loc_17cb56:
0017cb56mov rax, [rsp+8]
0017cb5bmov rax, [rax+40]
0017cb5fcall camlStdlib.string_of_int_175
0017cb64mov rbx, rax
0017cb67lea rax, [rip+0x19a7a2]
0017cb6ecall camlStdlib.$5e_139
0017cb73call camlStdlib.prerr_endline_390
0017cb78lea rax, [rip+0x19a779]
0017cb7fadd rsp, 32
0017cb83jmp 0x196d50
0017cb88
0017cb88loc_17cb88:
0017cb88push 37
0017cb8acall caml_call_realloc_stack
0017cb8fpop r10
0017cb91jmp 0x17c9b2
0017c9a0
Loading..