Similarity

00179ad0
00179ad0camlCounter.removefromreset_709:
00179ad0lea r10, [rsp-368]
00179ad8cmp r10, [r14+40]
00179adcjb 0x179c17
00179ae2
00179ae2loc_179ae2:
00179ae2sub rsp, 32
00179ae6mov rdi, rax
00179ae9mov [rsp], rdi
00179aedmov [rsp+8], rbx
00179af2lea r11, [rip+191]
00179af9push r11
00179afbpush [r14+48]
00179affmov [r14+48], rsp
00179b03lea rax, [rip+0x199f36]
00179b0amov rax, [rax+80]
00179b0emov rbx, rdi
00179b11call Stdlib.Hashtbl.find
00179b16mov [rsp+32], rax
00179b1blea rax, [rip+0x199f1e]
00179b22mov rax, [rax+80]
00179b26mov rbx, [rsp+24]
00179b2bcall Stdlib.Hashtbl.find
00179b30mov [rsp+40], rax
00179b35sub r15, 40
00179b39cmp r15, [r14]
00179b3cjb 0x179c0d
00179b42
00179b42loc_179b42:
00179b42lea rsi, [r15+8]
00179b46mov [rsi-8], 4343
00179b4elea rbx, [rip-0x82b35]
00179b55mov [rsi], rbx
00179b58mov rbx, 0x200000000000007
00179b62mov [rsi+8], rbx
00179b66lea rbx, [rip+195]
00179b6dmov [rsi+16], rbx
00179b71mov rbx, [rsp+32]
00179b76mov [rsi+24], rbx
00179b7amov edi, 1
00179b7fmov rbx, [rax+8]
00179b83mov rax, rsi
00179b86call Stdlib.List.fold_right
00179b8bmov rdi, [rsp+40]
00179b90add rdi, 8
00179b94mov rsi, rax
00179b97mov rbx, rsp
00179b9amov rsp, [r14+64]
00179b9ecall caml_modify
00179ba3mov rsp, rbx
00179ba6mov eax, 1
00179babpop [r14+48]
00179bafadd rsp, 8
00179bb3jmp 0x179c08
00179bb5nop [rax]
00179bb8lea rbx, [rip+0x1b3a59]
00179bbfmov rbx, [rbx+56]
00179bc3cmp rax, rbx
00179bc6jne 0x179bf8
00179bc8lea rax, [rip+0x199fa9]
00179bcfmov rbx, [rsp+8]
00179bd4call camlStdlib.$5e_139
00179bd9mov rbx, rax
00179bdcmov rax, [rsp]
00179be0call camlStdlib.$5e_139
00179be5lea rbx, [rip+0x199f54]
00179becadd rsp, 32
00179bf0jmp 0x1793f0
00179bf5nop [rax]
00179bf8
00179bf8loc_179bf8:
00179bf8mov rsp, [r14+48]
00179bfcpop [r14+48]
00179c00pop r11
00179c02jmp r11
00179c05nop [rax]
00179c08
00179c08loc_179c08:
00179c08add rsp, 32
00179c0cret
00179c0d
00179c0dloc_179c0d:
00179c0dcall caml_call_gc
00179c12jmp 0x179b42
00179c17
00179c17loc_179c17:
00179c17push 39
00179c19call caml_call_realloc_stack
00179c1epop r10
00179c20jmp 0x179ae2
00179ad0

00179c25
00179c25 // align 0x10

00179c30
00179c30camlCounter.fun_806:
00179c30mov rsi, rax
00179c33mov rax, [rdi+24]
00179c37cmp rsi, rax
00179c3ajne 0x179c40
00179c3cmov rax, rbx
00179c3fret
00179c40
00179c40loc_179c40:
00179c40sub r15, 24
00179c44cmp r15, [r14]
00179c47jb 0x179c5d
00179c49
00179c49loc_179c49:
00179c49lea rax, [r15+8]
00179c4dmov [rax-8], 2048
00179c55mov [rax], rsi
00179c58mov [rax+8], rbx
00179c5cret
00179c5d
00179c5dloc_179c5d:
00179c5dcall caml_call_gc
00179c62jmp 0x179c49
00179c30

00179c64
00179c64 // align 0x10

00179c70
00179c70camlCounter.entry:
00179c70lea r10, [rsp-320]
00179c78cmp r10, [r14+40]
00179c7cjb 0x179e6f
00179c82
00179c82loc_179c82:
00179c82lea rsi, [rip+0x199f47]
00179c89lea rdi, [rip+0x199db0]
00179c90add rdi, 72
00179c94mov rbx, rsp
00179c97mov rsp, [r14+64]
00179c9bcall caml_initialize
00179ca0mov rsp, rbx
00179ca3lea rax, [rip+0x1f035e]
00179caamov rax, [rax+272]
00179cb1mov rax, [rax]
00179cb4mov ebx, 39
00179cb9call Stdlib.Hashtbl.create_inner
00179cbelea rdi, [rip+0x199d7b]
00179cc5add rdi, 80
00179cc9mov rsi, rax
00179cccmov rbx, rsp
00179ccfmov rsp, [r14+64]
00179cd3call caml_initialize
00179cd8mov rsp, rbx
00179cdblea rsi, [rip+0x199c06]
00179ce2lea rdi, [rip+0x199d57]
00179ce9add rdi, 88
00179cedmov rbx, rsp
00179cf0mov rsp, [r14+64]
00179cf4call caml_initialize
00179cf9mov rsp, rbx
00179cfclea rsi, [rip+0x199c1d]
00179d03lea r12, [rip+0x199bfe]
00179d0alea rdi, [rip+0x199d2f]
00179d11mov rbx, rsp
00179d14mov rsp, [r14+64]
00179d18call caml_initialize
00179d1dmov rsp, rbx
00179d20lea rdi, [rip+0x199d19]
00179d27add rdi, 8
00179d2bmov rsi, r12
00179d2emov rbx, rsp
00179d31mov rsp, [r14+64]
00179d35call caml_initialize
00179d3amov rsp, rbx
00179d3dlea rsi, [rip+0x199bf4]
00179d44lea rdi, [rip+0x199cf5]
00179d4badd rdi, 96
00179d4fmov rbx, rsp
00179d52mov rsp, [r14+64]
00179d56call caml_initialize
00179d5bmov rsp, rbx
00179d5elea rsi, [rip+0x199bf3]
00179d65lea rdi, [rip+0x199cd4]
00179d6cadd rdi, 104
00179d70mov rbx, rsp
00179d73mov rsp, [r14+64]
00179d77call caml_initialize
00179d7cmov rsp, rbx
00179d7flea rsi, [rip+0x199bea]
00179d86lea rdi, [rip+0x199cb3]
00179d8dadd rdi, 16
00179d91mov rbx, rsp
00179d94mov rsp, [r14+64]
00179d98call caml_initialize
00179d9dmov rsp, rbx
00179da0lea rsi, [rip+0x199be1]
00179da7lea rdi, [rip+0x199c92]
00179daeadd rdi, 24
00179db2mov rbx, rsp
00179db5mov rsp, [r14+64]
00179db9call caml_initialize
00179dbemov rsp, rbx
00179dc1lea rsi, [rip+0x199be0]
00179dc8lea rdi, [rip+0x199c71]
00179dcfadd rdi, 40
00179dd3mov rbx, rsp
00179dd6mov rsp, [r14+64]
00179ddacall caml_initialize
00179ddfmov rsp, rbx
00179de2lea rsi, [rip+0x199bdf]
00179de9lea rdi, [rip+0x199c50]
00179df0add rdi, 32
00179df4mov rbx, rsp
00179df7mov rsp, [r14+64]
00179dfbcall caml_initialize
00179e00mov rsp, rbx
00179e03lea rsi, [rip+0x199bde]
00179e0alea rdi, [rip+0x199c2f]
00179e11add rdi, 48
00179e15mov rbx, rsp
00179e18mov rsp, [r14+64]
00179e1ccall caml_initialize
00179e21mov rsp, rbx
00179e24lea rsi, [rip+0x199bf5]
00179e2blea r12, [rip+0x199bce]
00179e32lea rdi, [rip+0x199c07]
00179e39add rdi, 56
00179e3dmov rbx, rsp
00179e40mov rsp, [r14+64]
00179e44call caml_initialize
00179e49mov rsp, rbx
00179e4clea rdi, [rip+0x199bed]
00179e53add rdi, 64
00179e57mov rsi, r12
00179e5amov rbx, rsp
00179e5dmov rsp, [r14+64]
00179e61call caml_initialize
00179e66mov rsp, rbx
00179e69mov eax, 1
00179e6eret
00179e6f
00179e6floc_179e6f:
00179e6fpush 33
00179e71call caml_call_realloc_stack
00179e76pop r10
00179e78jmp 0x179c82
00179c70

00179e7d
00179e7d // align 0x10

00179e80
00179e80camlLatexmacros.pretty_macro_839:
00179e80lea r10, [rsp-328]
00179e88cmp r10, [r14+40]
00179e8cjb 0x179ecd
00179e8e
00179e8eloc_179e8e:
00179e8esub rsp, 8
00179e92mov [rsp], rbx
00179e96lea rbx, [rip+0x19cb03]
00179e9dmov rbx, [rbx+32]
00179ea1mov rdi, [rbx]
00179ea4call rdi
00179ea6lea rbx, [rip+0x19af7b]
00179eadlea rax, [rip+0x1b3764]
00179eb4mov rax, [rax+312]
00179ebbcall camlStdlib.output_string_253
00179ec0mov rax, [rsp]
00179ec4add rsp, 8
00179ec8jmp 0x17c1a0
00179ecd
00179ecdloc_179ecd:
00179ecdpush 34
00179ecfcall caml_call_realloc_stack
00179ed4pop r10
00179ed6jmp 0x179e8e
00179e80

00179ed8
00179ed8 // align 0x10

00179ee0
00179ee0camlLatexmacros.hidden_pretty_table_843:
00179ee0lea r10, [rsp-344]
00179ee8cmp r10, [r14+40]
00179eecjb 0x17a017
00179ef2
00179ef2loc_179ef2:
00179ef2sub rsp, 24
00179ef6mov [rsp], rax
00179efalea rax, [rip+0x1f0107]
00179f01mov rax, [rax+272]
00179f08mov rax, [rax]
00179f0bmov ebx, 195
00179f10call Stdlib.Hashtbl.create_inner
00179f15mov [rsp+16], rax
00179f1asub r15, 96
00179f1ecmp r15, [r14]
00179f21jb 0x17a00d
00179f27
00179f27loc_179f27:
00179f27lea rbx, [r15+8]
00179f2badd rbx, 80
00179f2fmov [rsp+8], rbx
00179f34mov [rbx-8], 1024
00179f3cmov [rbx], 1
00179f43lea rdi, [rbx-40]
00179f47mov [rdi-8], 4343
00179f4flea rsi, [rip+218]
00179f56mov [rdi], rsi
00179f59mov rsi, 0x100000000000005
00179f63mov [rdi+8], rsi
00179f67mov [rdi+16], rax
00179f6bmov [rdi+24], rbx
00179f6flea rax, [rdi-40]
00179f73mov [rax-8], 4343
00179f7blea rbx, [rip-0x82f62]
00179f82mov [rax], rbx
00179f85mov rbx, 0x200000000000007
00179f8fmov [rax+8], rbx
00179f93lea rbx, [rip+374]
00179f9amov [rax+16], rbx
00179f9emov [rax+24], rdi
00179fa2mov rbx, [rsp]
00179fa6call Stdlib.Hashtbl.iter
00179fabmov rax, [rsp+8]
00179fb0mov rax, [rax]
00179fb3mov [rsp], rax
00179fb7lea rbx, [rip+0x19af7a]
00179fbelea rax, [rip+0x1b3653]
00179fc5mov rax, [rax+312]
00179fcccall Stdlib.Printf.fprintf
00179fd1mov rbx, rax
00179fd4mov rdi, [rbx]
00179fd7mov rax, [rsp]
00179fdbcall rdi
00179fddlea rax, [rip+0x19a64c]
00179fe4mov rbx, [rsp+16]
00179fe9call Stdlib.Hashtbl.iter
00179feelea rax, [rip+0x1b3623]
00179ff5mov rdi, [rax+312]
00179ffclea rax, [rip+0x95c4d]
0017a003call caml_c_call
0017a008add rsp, 24
0017a00cret
0017a00d
0017a00dloc_17a00d:
0017a00dcall caml_call_gc
0017a012jmp 0x179f27
0017a017
0017a017loc_17a017:
0017a017push 36
0017a019call caml_call_realloc_stack
0017a01epop r10
0017a020jmp 0x179ef2
00179ee0

0017a025
0017a025 // align 0x10

0017a030
0017a030camlLatexmacros.incr_848:
0017a030lea r10, [rsp-360]
0017a038cmp r10, [r14+40]
0017a03cjb 0x17a0f5
0017a042
0017a042loc_17a042:
0017a042sub rsp, 24
0017a046mov rdi, rax
0017a049mov [rsp+16], rdi
0017a04emov [rsp+8], rbx
0017a053mov rax, [rbx+24]
0017a057add [rax], 2
0017a05blea r11, [rip+34]
0017a062push r11
0017a064push [r14+48]
0017a068mov [r14+48], rsp
0017a06cmov rax, [rbx+16]
0017a070mov rbx, rdi
0017a073call Stdlib.Hashtbl.find
0017a078pop [r14+48]
0017a07cadd rsp, 8
0017a080jmp 0x17a0e0
0017a082nop
0017a084lea rbx, [rip+0x1b358d]
0017a08bmov rbx, [rbx+56]
0017a08fcmp rax, rbx
0017a092jne 0x17a0cc
0017a094sub r15, 16
0017a098cmp r15, [r14]
0017a09bjb 0x17a0ee
0017a09d
0017a09dloc_17a09d:
0017a09dlea rdi, [r15+8]
0017a0a1mov [rsp], rdi
0017a0a5mov [rdi-8], 1024
0017a0admov [rdi], 1
0017a0b4mov rax, [rsp+8]
0017a0b9mov rax, [rax+16]
0017a0bdmov rbx, [rsp+16]
0017a0c2call Stdlib.Hashtbl.add
0017a0c7jmp 0x17a0dc
0017a0c9nop [rax]
0017a0cc
0017a0ccloc_17a0cc:
0017a0ccmov rsp, [r14+48]
0017a0d0pop [r14+48]
0017a0d4pop r11
0017a0d6jmp r11
0017a0d9nop [rax]
0017a0dc
0017a0dcloc_17a0dc:
0017a0dcmov rax, [rsp]
0017a0e0
0017a0e0loc_17a0e0:
0017a0e0add [rax], 2
0017a0e4mov eax, 1
0017a0e9add rsp, 24
0017a0edret
0017a0ee
0017a0eeloc_17a0ee:
0017a0eecall caml_call_gc
0017a0f3jmp 0x17a09d
0017a0f5
0017a0f5loc_17a0f5:
0017a0f5push 38
0017a0f7call caml_call_realloc_stack
0017a0fcpop r10
0017a0fejmp 0x17a042
0017a030

0017a103
0017a103 // align 0x10

0017a110
0017a110camlLatexmacros.fun_1049:
0017a110lea r10, [rsp-352]
0017a118cmp r10, [r14+40]
0017a11cjb 0x17a18f
0017a11e
0017a11eloc_17a11e:
0017a11esub rsp, 32
0017a122mov [rsp+24], rax
0017a127mov [rsp+8], rbx
0017a12cmov [rsp+16], rdi
0017a131mov [rsp], rax
0017a135lea rbx, [rip+0x19aeac]
0017a13clea rax, [rip+0x1b34d5]
0017a143mov rax, [rax+312]
0017a14acall Stdlib.Printf.fprintf
0017a14fmov rbx, rax
0017a152mov rdi, [rbx]
0017a155mov rax, [rsp]
0017a159call rdi
0017a15bmov rax, [rsp+8]
0017a160mov rbx, [rax+8]
0017a164mov rax, [rax]
0017a167call camlLatexmacros.pretty_macro_839
0017a16clea rax, [rip+0x19ae65]
0017a173call camlStdlib.prerr_endline_390
0017a178mov rax, [rsp+16]
0017a17dmov rbx, [rax+24]
0017a181mov rax, [rsp+24]
0017a186add rsp, 32
0017a18ajmp 0x17a030
0017a18f
0017a18floc_17a18f:
0017a18fpush 37
0017a191call caml_call_realloc_stack
0017a196pop r10
0017a198jmp 0x17a11e
0017a110

0017a19a
0017a19a // align 0x10

0017a1a0
0017a1a0camlLatexmacros.fun_1063:
0017a1a0lea r10, [rsp-336]
0017a1a8cmp r10, [r14+40]
0017a1acjb 0x17a209
0017a1ae
0017a1aeloc_17a1ae:
0017a1aesub rsp, 16
0017a1b2cmp r15, [r14]
0017a1b5jbe 0x17a202
0017a1b7
0017a1b7loc_17a1b7:
0017a1b7mov rbx, [rbx]
0017a1bacmp rbx, 3
0017a1bejle 0x17a1f8
0017a1c0mov [rsp+8], rbx
0017a1c5mov [rsp], rax
0017a1c9lea rbx, [rip+0x19acf0]
0017a1d0lea rax, [rip+0x1b3441]
0017a1d7mov rax, [rax+312]
0017a1decall Stdlib.Printf.fprintf
0017a1e3mov rdi, rax
0017a1e6mov rax, [rsp]
0017a1eamov rbx, [rsp+8]
0017a1efadd rsp, 16
0017a1f3jmp 0xf73e0
0017a1f8
0017a1f8loc_17a1f8:
0017a1f8mov eax, 1
0017a1fdadd rsp, 16
0017a201ret
0017a202
0017a202loc_17a202:
0017a202call caml_call_gc
0017a207jmp 0x17a1b7
0017a209
0017a209loc_17a209:
0017a209push 35
0017a20bcall caml_call_realloc_stack
0017a210pop r10
0017a212jmp 0x17a1ae
0017a1a0

0017a214
0017a214 // align 0x10

0017a220
0017a220camlLatexmacros.pretty_table_881:
0017a220lea r10, [rsp-328]
0017a228cmp r10, [r14+40]
0017a22cjb 0x17a2b3
0017a232
0017a232loc_17a232:
0017a232sub rsp, 8
0017a236lea rax, [rip+0x19a72b]
0017a23dmov rax, [rax+240]
0017a244mov rax, [rax]
0017a247mov [rsp], rax
0017a24blea rbx, [rip+0x19abfe]
0017a252lea rax, [rip+0x1b33bf]
0017a259mov rax, [rax+312]
0017a260call Stdlib.Printf.fprintf
0017a265mov rbx, rax
0017a268mov rdi, [rbx]
0017a26bmov rax, [rsp]
0017a26fcall rdi
0017a271lea rax, [rip+0x19abc0]
0017a278call camlStdlib.prerr_endline_390
0017a27dlea rax, [rip+0x19a6e4]
0017a284mov rax, [rax+200]
0017a28bcall camlLatexmacros.hidden_pretty_table_843
0017a290lea rax, [rip+0x19ab79]
0017a297call camlStdlib.prerr_endline_390
0017a29clea rax, [rip+0x19a6c5]
0017a2a3mov rax, [rax+192]
0017a2aaadd rsp, 8
0017a2aejmp 0x179ee0
0017a2b3
0017a2b3loc_17a2b3:
0017a2b3push 34
0017a2b5call caml_call_realloc_stack
0017a2bapop r10
0017a2bcjmp 0x17a232
0017a220

0017a2c1
0017a2c1 // align 0x10

0017a2d0
0017a2d0camlLatexmacros.checkpoint_884:
0017a2d0lea r10, [rsp-344]
0017a2d8cmp r10, [r14+40]
0017a2dcjb 0x17a3a9
0017a2e2
0017a2e2loc_17a2e2:
0017a2e2sub rsp, 24
0017a2e6lea rax, [rip+0x19a67b]
0017a2edmov rbx, [rax+216]
0017a2f4mov rbx, [rbx]
0017a2f7mov [rsp+16], rbx
0017a2fcmov rax, [rax+192]
0017a303call Stdlib.Hashtbl.copy
0017a308mov [rsp+8], rax
0017a30dlea rax, [rip+0x19a654]
0017a314mov rax, [rax+200]
0017a31bcall Stdlib.Hashtbl.copy
0017a320mov [rsp], rax
0017a324lea rax, [rip+0x19a63d]
0017a32bmov rax, [rax+208]
0017a332call Stdlib.Hashtbl.copy
0017a337mov rbx, rax
0017a33asub r15, 64
0017a33ecmp r15, [r14]
0017a341jb 0x17a3a2
0017a343
0017a343loc_17a343:
0017a343lea rax, [r15+8]
0017a347mov [rax-8], 7168
0017a34flea rdi, [rip+0x19a612]
0017a356mov rsi, [rdi+240]
0017a35dmov rsi, [rsi]
0017a360mov [rax], rsi
0017a363mov rsi, [rdi+224]
0017a36amov rsi, [rsi]
0017a36dmov [rax+8], rsi
0017a371mov rdi, [rdi+232]
0017a378mov rdi, [rdi]
0017a37bmov [rax+16], rdi
0017a37fmov [rax+24], rbx
0017a383mov rbx, [rsp]
0017a387mov [rax+32], rbx
0017a38bmov rbx, [rsp+8]
0017a390mov [rax+40], rbx
0017a394mov rbx, [rsp+16]
0017a399mov [rax+48], rbx
0017a39dadd rsp, 24
0017a3a1ret
0017a3a2
0017a3a2loc_17a3a2:
0017a3a2call caml_call_gc
0017a3a7jmp 0x17a343
0017a3a9
0017a3a9loc_17a3a9:
0017a3a9push 36
0017a3abcall caml_call_realloc_stack
0017a3b0pop r10
0017a3b2jmp 0x17a2e2
0017a2d0

0017a3b7
0017a3b7 // align 0x10

0017a3c0
0017a3c0camlLatexmacros.hot_start_885:
0017a3c0lea r10, [rsp-352]
0017a3c8cmp r10, [r14+40]
0017a3ccjb 0x17a4a9
0017a3d2
0017a3d2loc_17a3d2:
0017a3d2sub rsp, 32
0017a3d6mov [rsp], rdi
0017a3damov r12, rsi
0017a3ddmov [rsp+8], rdx
0017a3e2mov [rsp+16], rcx
0017a3e7mov [rsp+24], r8
0017a3eclea rdi, [rip+0x19a575]
0017a3f3mov rsi, [rdi+240]
0017a3famov [rsi], rax
0017a3fdmov rdi, [rdi+224]
0017a404mov rsi, rbx
0017a407mov rbx, rsp
0017a40amov rsp, [r14+64]
0017a40ecall caml_modify
0017a413mov rsp, rbx
0017a416lea rax, [rip+0x19a54b]
0017a41dmov rdi, [rax+232]
0017a424mov rsi, [rsp]
0017a428mov rbx, rsp
0017a42bmov rsp, [r14+64]
0017a42fcall caml_modify
0017a434mov rsp, rbx
0017a437lea rax, [rip+0x19a52a]
0017a43emov rbx, [rax+208]
0017a445mov rax, r12
0017a448call camlMisc.copy_hashtbl_321
0017a44dlea rax, [rip+0x19a514]
0017a454mov rbx, [rax+200]
0017a45bmov rax, [rsp+8]
0017a460call camlMisc.copy_hashtbl_321
0017a465lea rax, [rip+0x19a4fc]
0017a46cmov rbx, [rax+192]
0017a473mov rax, [rsp+16]
0017a478call camlMisc.copy_hashtbl_321
0017a47dlea rax, [rip+0x19a4e4]
0017a484mov rdi, [rax+216]
0017a48bmov rsi, [rsp+24]
0017a490mov rbx, rsp
0017a493mov rsp, [r14+64]
0017a497call caml_modify
0017a49cmov rsp, rbx
0017a49fmov eax, 1
0017a4a4add rsp, 32
0017a4a8ret
0017a4a9
0017a4a9loc_17a4a9:
0017a4a9push 37
0017a4abcall caml_call_realloc_stack
0017a4b0pop r10
0017a4b2jmp 0x17a3d2
0017a3c0

0017a4b7
0017a4b7 // align 0x10

0017a4c0
0017a4c0camlLatexmacros.open_group_895:
0017a4c0lea rax, [rip+0x19a4a1]
0017a4c7mov rbx, [rax+240]
0017a4ceadd [rbx], 2
0017a4d2mov rbx, [rax+224]
0017a4d9mov rbx, [rbx]
0017a4dcmov rdi, [rax+232]
0017a4e3sub r15, 24
0017a4e7cmp r15, [r14]
0017a4eajb 0x17a539
0017a4ec
0017a4ecloc_17a4ec:
0017a4eclea rsi, [r15+8]
0017a4f0mov [rsi-8], 2048
0017a4f8mov [rsi], rbx
0017a4fbmov rax, [rdi]
0017a4femov [rsi+8], rax
0017a502mov rbx, rsp
0017a505mov rsp, [r14+64]
0017a509call caml_modify
0017a50emov rsp, rbx
0017a511mov esi, 1
0017a516lea rax, [rip+0x19a44b]
0017a51dmov rdi, [rax+224]
0017a524mov rbx, rsp
0017a527mov rsp, [r14+64]
0017a52bcall caml_modify
0017a530mov rsp, rbx
0017a533mov eax, 1
0017a538ret
0017a539
0017a539loc_17a539:
0017a539call caml_call_gc
0017a53ejmp 0x17a4ec
0017a4c0

0017a540
0017a540camlLatexmacros.close_group_896:
0017a540lea r10, [rsp-320]
0017a548cmp r10, [r14+40]
0017a54cjb 0x17a5bf
0017a54e
0017a54eloc_17a54e:
0017a54elea rax, [rip+0x19a413]
0017a555mov rbx, [rax+240]
0017a55cmov rbx, [rbx]
0017a55fcmp rbx, 1
0017a563jle 0x17a57b
0017a565mov rax, [rax+224]
0017a56cmov rbx, [rax]
0017a56flea rax, [rip+0x19a0da]
0017a576call Stdlib.Set.iter
0017a57b
0017a57bloc_17a57b:
0017a57blea rax, [rip+0x19a3e6]
0017a582mov rbx, [rax+240]
0017a589add [rbx], -2
0017a58dmov rax, [rax+232]
0017a594call camlMyStack.pop_292
0017a599lea rbx, [rip+0x19a3c8]
0017a5a0mov rdi, [rbx+224]
0017a5a7mov rsi, rax
0017a5aamov rbx, rsp
0017a5admov rsp, [r14+64]
0017a5b1call caml_modify
0017a5b6mov rsp, rbx
0017a5b9mov eax, 1
0017a5beret
0017a5bf
0017a5bfloc_17a5bf:
0017a5bfpush 33
0017a5c1call caml_call_realloc_stack
0017a5c6pop r10
0017a5c8jmp 0x17a54e
0017a540

0017a5ca
0017a5ca // align 0x10

0017a5d0
0017a5d0camlLatexmacros.fun_1082:
0017a5d0mov rbx, rax
0017a5d3lea rax, [rip+0x19a38e]
0017a5damov rax, [rax+192]
0017a5e1jmp 0x1e7880
0017a5d0

0017a5e6
0017a5e6 // align 0x10

0017a5f0
0017a5f0camlLatexmacros.get_level_902:
0017a5f0lea rax, [rip+0x19a371]
0017a5f7mov rax, [rax+240]
0017a5femov rax, [rax]
0017a601ret
0017a5f0

0017a602
0017a602 // align 0x10

0017a610
0017a610camlLatexmacros.pre_purge_905:
0017a610lea r10, [rsp-336]
0017a618cmp r10, [r14+40]
0017a61cjb 0x17a692
0017a61e
0017a61eloc_17a61e:
0017a61esub rsp, 16
0017a622mov [rsp], rax
0017a626mov [rsp+8], rbx
0017a62blea rdi, [rip+0x19a336]
0017a632mov rdi, [rdi+184]
0017a639mov rdi, [rdi+240]
0017a640call Stdlib.Set.mem
0017a645cmp rax, 1
0017a649je 0x17a688
0017a64blea rax, [rip+0x19a316]
0017a652mov rax, [rax+192]
0017a659mov rbx, [rsp]
0017a65dcall Stdlib.Hashtbl.remove
0017a662lea rax, [rip+0x19a2ff]
0017a669mov rax, [rax+184]
0017a670mov rdi, [rax+24]
0017a674mov rax, [rsp]
0017a678mov rbx, [rsp+8]
0017a67dadd rsp, 16
0017a681jmp 0x1ba750
0017a686
0017a686 66 90 f.
0017a688
0017a688loc_17a688:
0017a688mov rax, [rsp+8]
0017a68dadd rsp, 16
0017a691ret
0017a692
0017a692loc_17a692:
0017a692push 35
0017a694call caml_call_realloc_stack
0017a699pop r10
0017a69bjmp 0x17a61e
0017a610

0017a69d
0017a69d // align 0x10

0017a6a0
0017a6a0camlLatexmacros.hidden_global_def_909:
0017a6a0lea r10, [rsp-344]
0017a6a8cmp r10, [r14+40]
0017a6acjb 0x17a7c3
0017a6b2
0017a6b2loc_17a6b2:
0017a6b2sub rsp, 24
0017a6b6mov rdi, rax
0017a6b9mov [rsp+8], rdi
0017a6bemov [rsp], rbx
0017a6c2lea rax, [rip+0x19a29f]
0017a6c9mov rbx, [rax+240]
0017a6d0mov rbx, [rbx]
0017a6d3cmp rbx, 1
0017a6d7jle 0x17a799
0017a6ddmov rax, [rax+192]
0017a6e4mov rbx, rdi
0017a6e7call Stdlib.Hashtbl.mem
0017a6eccmp rax, 1
0017a6f0je 0x17a799
0017a6f6lea rax, [rip+0x19a26b]
0017a6fdmov rax, [rax+224]
0017a704mov rbx, [rax]
0017a707mov rax, [rsp+8]
0017a70ccall camlLatexmacros.pre_purge_905
0017a711lea rbx, [rip+0x19a250]
0017a718mov rdi, [rbx+224]
0017a71fmov rsi, rax
0017a722mov rbx, rsp
0017a725mov rsp, [r14+64]
0017a729call caml_modify
0017a72emov rsp, rbx
0017a731sub r15, 32
0017a735cmp r15, [r14]
0017a738jb 0x17a7b9
0017a73a
0017a73aloc_17a73a:
0017a73alea rax, [r15+8]
0017a73emov [rax-8], 3319
0017a746lea rbx, [rip+147]
0017a74dmov [rax], rbx
0017a750mov rbx, 0x100000000000005
0017a75amov [rax+8], rbx
0017a75emov rbx, [rsp+8]
0017a763mov [rax+16], rbx
0017a767lea rbx, [rip+0x19a1fa]
0017a76emov rbx, [rbx+232]
0017a775mov [rsp+16], rbx
0017a77amov rbx, [rbx]
0017a77dcall Stdlib.List.map
0017a782mov rdi, [rsp+16]
0017a787mov rsi, rax
0017a78amov rbx, rsp
0017a78dmov rsp, [r14+64]
0017a791call caml_modify
0017a796mov rsp, rbx
0017a799
0017a799loc_17a799:
0017a799lea rax, [rip+0x19a1c8]
0017a7a0mov rax, [rax+200]
0017a7a7mov rbx, [rsp+8]
0017a7acmov rdi, [rsp]
0017a7b0add rsp, 24
0017a7b4jmp 0x1e8060
0017a7b9
0017a7b9loc_17a7b9:
0017a7b9call caml_call_gc
0017a7bejmp 0x17a73a
0017a7c3
0017a7c3loc_17a7c3:
0017a7c3push 36
0017a7c5call caml_call_realloc_stack
0017a7capop r10
0017a7ccjmp 0x17a6b2
0017a6a0

0017a7d1
0017a7d1 // align 0x10

0017a7e0
0017a7e0camlLatexmacros.fun_1089:
0017a7e0mov rdi, rax
0017a7e3mov rax, [rbx+16]
0017a7e7mov rbx, rdi
0017a7eajmp 0x17a610
0017a7e0

0017a7ef
0017a7ef // align 0x10

0017a7f0
0017a7f0camlLatexmacros.hidden_local_def_914:
0017a7f0lea r10, [rsp-336]
0017a7f8cmp r10, [r14+40]
0017a7fcjb 0x17a8eb
0017a802
0017a802loc_17a802:
0017a802sub rsp, 16
0017a806mov rsi, rax
0017a809mov rdi, rbx
0017a80clea rax, [rip+0x19a155]
0017a813mov rbx, [rax+240]
0017a81amov rbx, [rbx]
0017a81dcmp rbx, 1
0017a821jle 0x17a8d8
0017a827mov [rsp], rdi
0017a82bmov [rsp+8], rsi
0017a830mov rbx, [rax+224]
0017a837mov rbx, [rbx]
0017a83amov rax, [rax+184]
0017a841mov rdi, [rax+240]
0017a848mov rax, rsi
0017a84bcall Stdlib.Set.mem
0017a850cmp rax, 1
0017a854je 0x17a870
0017a856lea rax, [rip+0x19a10b]
0017a85dmov rax, [rax+192]
0017a864mov rbx, [rsp+8]
0017a869call Stdlib.Hashtbl.remove
0017a86ejmp 0x17a8b6
0017a870
0017a870loc_17a870:
0017a870lea rax, [rip+0x19a0f1]
0017a877mov rbx, [rax+224]
0017a87emov rbx, [rbx]
0017a881mov rax, [rax+184]
0017a888mov rdi, [rax+8]
0017a88cmov rax, [rsp+8]
0017a891call Stdlib.Set.add
0017a896lea rbx, [rip+0x19a0cb]
0017a89dmov rdi, [rbx+224]
0017a8a4mov rsi, rax
0017a8a7mov rbx, rsp
0017a8aamov rsp, [r14+64]
0017a8aecall caml_modify
0017a8b3mov rsp, rbx
0017a8b6
0017a8b6loc_17a8b6:
0017a8b6lea rax, [rip+0x19a0ab]
0017a8bdmov rax, [rax+192]
0017a8c4mov rbx, [rsp+8]
0017a8c9mov rdi, [rsp]
0017a8cdadd rsp, 16
0017a8d1jmp 0x1e7690
0017a8d6
0017a8d6 66 90 f.
0017a8d8
0017a8d8loc_17a8d8:
0017a8d8mov rax, [rax+200]
0017a8dfmov rbx, rsi
0017a8e2add rsp, 16
0017a8e6jmp 0x1e8060
0017a8eb
0017a8ebloc_17a8eb:
0017a8ebpush 35
0017a8edcall caml_call_realloc_stack
0017a8f2pop r10
0017a8f4jmp 0x17a802
0017a7f0

0017a8f9
0017a8f9 // align 0x10

0017a900
0017a900camlLatexmacros.hidden_find_918:
0017a900lea r10, [rsp-344]
0017a908cmp r10, [r14+40]
0017a90cjb 0x17a9b0
0017a912
0017a912loc_17a912:
0017a912sub rsp, 8
0017a916mov rbx, rax
0017a919lea rax, [rip+0x19a048]
0017a920mov rdi, [rax+240]
0017a927mov rdi, [rdi]
0017a92acmp rdi, 1
0017a92ejle 0x17a9a0
0017a930mov [rsp], rbx
0017a934lea r11, [rip+33]
0017a93bpush r11
0017a93dpush [r14+48]
0017a941mov [r14+48], rsp
0017a945mov rax, [rax+192]
0017a94ccall Stdlib.Hashtbl.find
0017a951pop [r14+48]
0017a955add rsp, 8
0017a959jmp 0x17a998
0017a95bnop
0017a95clea rbx, [rip+0x1b2cb5]
0017a963mov rbx, [rbx+56]
0017a967cmp rax, rbx
0017a96ajne 0x17a988
0017a96clea rax, [rip+0x199ff5]
0017a973mov rax, [rax+200]
0017a97amov rbx, [rsp]
0017a97eadd rsp, 8
0017a982jmp 0x1e7950
0017a987nop
0017a988
0017a988loc_17a988:
0017a988mov rsp, [r14+48]
0017a98cpop [r14+48]
0017a990pop r11
0017a992jmp r11
0017a995nop [rax]
0017a998
0017a998loc_17a998:
0017a998add rsp, 8
0017a99cret
0017a99dnop [rax]
0017a9a0
0017a9a0loc_17a9a0:
0017a9a0mov rax, [rax+200]
0017a9a7add rsp, 8
0017a9abjmp 0x1e7950
0017a9b0
0017a9b0loc_17a9b0:
0017a9b0push 36
0017a9b2call caml_call_realloc_stack
0017a9b7pop r10
0017a9b9jmp 0x17a912
0017a900

0017a9be
0017a9be // align 0x10

0017a9c0
0017a9c0camlLatexmacros.set_saved_macros_921:
0017a9c0lea r10, [rsp-320]
0017a9c8cmp r10, [r14+40]
0017a9ccjb 0x17aa13
0017a9ce
0017a9celoc_17a9ce:
0017a9cemov edi, 1
0017a9d3lea rax, [rip+0x199f8e]
0017a9damov rbx, [rax+200]
0017a9e1lea rax, [rip+0x199c80]
0017a9e8call Stdlib.Hashtbl.fold
0017a9edlea rbx, [rip+0x199f74]
0017a9f4mov rdi, [rbx+216]
0017a9fbmov rsi, rax
0017a9femov rbx, rsp
0017aa01mov rsp, [r14+64]
0017aa05call caml_modify
0017aa0amov rsp, rbx
0017aa0dmov eax, 1
0017aa12ret
0017aa13
0017aa13loc_17aa13:
0017aa13push 33
0017aa15call caml_call_realloc_stack
0017aa1apop r10
0017aa1cjmp 0x17a9ce
0017a9c0

0017aa1e
0017aa1e // align 0x10

0017aa20
0017aa20camlLatexmacros.fun_1106:
0017aa20mov rsi, rax
0017aa23mov rax, [rbx+16]
0017aa27mov rdi, [rbx+24]
0017aa2bmov rbx, rsi
0017aa2ejmp 0x1b9fc0
0017aa20

0017aa33
0017aa33 // align 0x10

0017aa40
0017aa40camlLatexmacros.fun_1101:
0017aa40lea rbx, [rip+0x199f21]
0017aa47mov rbx, [rbx+184]
0017aa4emov rbx, [rbx+8]
0017aa52sub r15, 40
0017aa56cmp r15, [r14]
0017aa59jb 0x17aa8b
0017aa5b
0017aa5bloc_17aa5b:
0017aa5blea rdi, [r15+8]
0017aa5fmov [rdi-8], 4343
0017aa67lea rsi, [rip-78]
0017aa6emov [rdi], rsi
0017aa71mov rsi, 0x100000000000005
0017aa7bmov [rdi+8], rsi
0017aa7fmov [rdi+16], rax
0017aa83mov [rdi+24], rbx
0017aa87mov rax, rdi
0017aa8aret
0017aa8b
0017aa8bloc_17aa8b:
0017aa8bcall caml_call_gc
0017aa90jmp 0x17aa5b
0017aa40

0017aa92
0017aa92 // align 0x10

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

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

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

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

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

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

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

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

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

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

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

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

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

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