Similarity

0010acc1
0010acc1 // align 0x10

0010acd0
0010acd0camlVerb.fun_4999:
0010acd0lea r10, [rsp-336]
0010acd8cmp r10, [r14+40]
0010acdcjb 0x10adb6
0010ace2
0010ace2loc_10ace2:
0010ace2sub rsp, 16
0010ace6mov [rsp+8], rbx
0010acebcmp r15, [r14]
0010aceejbe 0x10adac
0010acf4
0010acf4loc_10acf4:
0010acf4call camlLexstate.save_arg_1030
0010acf9mov rbx, rax
0010acfcmov eax, 1
0010ad01call camlSubst.do_do_subst_this_697
0010ad06mov [rsp], rax
0010ad0amov rax, [rsp+8]
0010ad0fmov rax, [rax+16]
0010ad13mov rbx, [rax+328]
0010ad1alea rax, [rip+0x17415f]
0010ad21mov rdi, [rbx]
0010ad24call rdi
0010ad26mov rax, [rsp+8]
0010ad2bmov rax, [rax+16]
0010ad2fmov rbx, [rax+56]
0010ad33mov eax, 1
0010ad38mov rdi, [rbx]
0010ad3bcall rdi
0010ad3dmov rax, [rsp+8]
0010ad42mov rax, [rax+16]
0010ad46mov rbx, [rax+352]
0010ad4dlea rax, [rip+0x17411c]
0010ad54mov rdi, [rbx]
0010ad57call rdi
0010ad59mov rax, [rsp+8]
0010ad5emov rax, [rax+16]
0010ad62mov rbx, [rax+352]
0010ad69mov rdi, [rbx]
0010ad6cmov rax, [rsp]
0010ad70call rdi
0010ad72mov rax, [rsp+8]
0010ad77mov rax, [rax+16]
0010ad7bmov rbx, [rax+352]
0010ad82lea rax, [rip+0x1740d7]
0010ad89mov rdi, [rbx]
0010ad8ccall rdi
0010ad8emov rax, [rsp+8]
0010ad93mov rax, [rax+16]
0010ad97mov rbx, [rax+344]
0010ad9emov eax, 1
0010ada3mov rdi, [rbx]
0010ada6add rsp, 16
0010adaajmp rdi
0010adac
0010adacloc_10adac:
0010adaccall caml_call_gc
0010adb1jmp 0x10acf4
0010adb6
0010adb6loc_10adb6:
0010adb6push 35
0010adb8call caml_call_realloc_stack
0010adbdpop r10
0010adbfjmp 0x10ace2
0010acd0

0010adc4
0010adc4 // align 0x10

0010add0
0010add0camlVerb.fun_5004:
0010add0lea r10, [rsp-336]
0010add8cmp r10, [r14+40]
0010addcjb 0x10ae2e
0010adde
0010addeloc_10adde:
0010addesub rsp, 16
0010ade2mov [rsp+8], rax
0010ade7mov [rsp], rbx
0010adebmov rax, [rbx+24]
0010adefmov rbx, [rax+328]
0010adf6lea rax, [rip+0x174083]
0010adfdmov rdi, [rbx]
0010ae00call rdi
0010ae02mov rax, [rsp]
0010ae06mov rax, [rax+24]
0010ae0amov rbx, [rax+56]
0010ae0emov eax, 1
0010ae13mov rdi, [rbx]
0010ae16call rdi
0010ae18mov rax, [rsp]
0010ae1cmov rbx, [rax+16]
0010ae20mov rax, [rsp+8]
0010ae25add rsp, 16
0010ae29jmp 0x1054b0
0010ae2e
0010ae2eloc_10ae2e:
0010ae2epush 35
0010ae30call caml_call_realloc_stack
0010ae35pop r10
0010ae37jmp 0x10adde
0010add0

0010ae39
0010ae39 // align 0x10

0010ae40
0010ae40camlVerb.fun_5009:
0010ae40cmp r15, [r14]
0010ae43jbe 0x10ae5a
0010ae45
0010ae45loc_10ae45:
0010ae45mov rax, [rbx+16]
0010ae49mov rbx, [rax+344]
0010ae50mov eax, 1
0010ae55mov rdi, [rbx]
0010ae58jmp rdi
0010ae5a
0010ae5aloc_10ae5a:
0010ae5acall caml_call_gc
0010ae5fjmp 0x10ae45
0010ae40

0010ae61
0010ae61 // align 0x10

0010ae70
0010ae70camlVerb.fun_5012:
0010ae70lea r10, [rsp-416]
0010ae78cmp r10, [r14+40]
0010ae7cjb 0x10b0ad
0010ae82
0010ae82loc_10ae82:
0010ae82sub rsp, 64
0010ae86mov [rsp], rax
0010ae8amov [rsp+40], rbx
0010ae8fcall camlLexstate.save_arg_1030
0010ae94mov [rsp+56], rax
0010ae99mov rax, [rsp+40]
0010ae9emov rax, [rax+24]
0010aea2mov rbx, [rax+224]
0010aea9mov rdi, [rbx]
0010aeacmov rax, [rsp]
0010aeb0call rdi
0010aeb2mov [rsp+8], rax
0010aeb7mov rax, [rsp]
0010aebbcall camlLexstate.save_arg_1030
0010aec0mov [rsp+32], rax
0010aec5lea r11, [rip+392]
0010aeccpush r11
0010aecepush [r14+48]
0010aed2mov [r14+48], rsp
0010aed6mov rax, [rsp+24]
0010aedbcall camlMyfiles.open_tex_528
0010aee0mov rbx, [rax+8]
0010aee4mov [rsp+40], rbx
0010aee9mov rbx, [rax]
0010aeecmov [rsp+16], rbx
0010aef1lea rax, [rip+0x21f178]
0010aef8mov rax, [rax+80]
0010aefcmov rax, [rax]
0010aeffcmp rax, 1
0010af03jle 0x10af16
0010af05lea rax, [rip+0x173eac]
0010af0ccall camlStdlib.$5e_139
0010af11call camlMisc.message_307
0010af16
0010af16loc_10af16:
0010af16mov eax, 1
0010af1bmov rbx, [rsp+40]
0010af20call Stdlib.Lexing.from_channel
0010af25mov [rsp+64], rax
0010af2amov eax, 1
0010af2fcall camlLexstate.start_lexstate_907
0010af34mov rax, [rsp+56]
0010af39mov rax, [rax+16]
0010af3dmov rax, [rax]
0010af40mov [rsp+32], rax
0010af45cmp rax, 1
0010af49je 0x10af57
0010af4blea rax, [rip+0x173e46]
0010af52call camlMisc.warning_287
0010af57
0010af57loc_10af57:
0010af57mov rax, [rsp+56]
0010af5cmov rax, [rax+16]
0010af60mov [rax], 3
0010af67mov rax, [rsp+16]
0010af6cmov rbx, [rsp+64]
0010af71call camlLocation.set_382
0010af76lea r11, [rip+83]
0010af7dpush r11
0010af7fpush [r14+48]
0010af83mov [r14+48], rsp
0010af87mov rax, [rsp+64]
0010af8cmov rax, [rax]
0010af8fcall camlMyLexing.from_string_309
0010af94mov rbx, [rsp+64]
0010af99mov rbx, [rbx+8]
0010af9dcall camlLexstate.record_lexbuf_869
0010afa2mov edi, 1
0010afa7mov rax, [rsp+72]
0010afacmov rax, [rax+24]
0010afb0mov rax, [rax+24]
0010afb4mov rbx, [rsp+80]
0010afb9mov rsi, [rsp+88]
0010afbecall camlLexstate.scan_this_may_cont_1215
0010afc3pop [r14+48]
0010afc7add rsp, 8
0010afcbjmp 0x10b00c
0010afcdnop [rax]
0010afd0mov [rsp+16], rax
0010afd5mov eax, 1
0010afdacall camlLexstate.restore_lexstate_882
0010afdfmov eax, 1
0010afe4call camlLocation.restore_386
0010afe9mov rdi, [rsp+40]
0010afeelea rax, [rip+0x104a5b]
0010aff5call caml_c_call
0010affamov rax, [rsp+16]
0010afffmov rsp, [r14+48]
0010b003pop [r14+48]
0010b007pop r11
0010b009jmp r11
0010b00c
0010b00cloc_10b00c:
0010b00cmov eax, 1
0010b011call camlLexstate.restore_lexstate_882
0010b016mov eax, 1
0010b01bcall camlLocation.restore_386
0010b020mov rdi, [rsp+40]
0010b025lea rax, [rip+0x104a24]
0010b02ccall caml_c_call
0010b031mov rax, [rsp+56]
0010b036mov rax, [rax+16]
0010b03amov rbx, [rsp+32]
0010b03fmov [rax], rbx
0010b042mov eax, 1
0010b047pop [r14+48]
0010b04badd rsp, 8
0010b04fjmp 0x10b0a8
0010b051nop [rax]
0010b054lea rbx, [rip+0x216c05]
0010b05bmov rdi, [rbx+8]
0010b05fcmp rax, rdi
0010b062jne 0x10b080
0010b064lea rax, [rip+0x173d0d]
0010b06bmov rbx, [rsp+8]
0010b070call camlStdlib.$5e_139
0010b075add rsp, 64
0010b079jmp 0x1919c0
0010b07enop
0010b080
0010b080loc_10b080:
0010b080mov rbx, [rbx]
0010b083mov rdi, [rax]
0010b086cmp rdi, rbx
0010b089jne 0x10b098
0010b08bmov rax, [rax+8]
0010b08fadd rsp, 64
0010b093jmp 0x1919c0
0010b098
0010b098loc_10b098:
0010b098mov rsp, [r14+48]
0010b09cpop [r14+48]
0010b0a0pop r11
0010b0a2jmp r11
0010b0a5nop [rax]
0010b0a8
0010b0a8loc_10b0a8:
0010b0a8add rsp, 64
0010b0acret
0010b0ad
0010b0adloc_10b0ad:
0010b0adpush 45
0010b0afcall caml_call_realloc_stack
0010b0b4pop r10
0010b0b6jmp 0x10ae82
0010ae70

0010b0bb
0010b0bb // align 0x10

0010b0c0
0010b0c0camlVerb.entry:
0010b0c0mov edi, 1
0010b0c5mov rbx, rsp
0010b0c8mov rsp, [r14+64]
0010b0cccall caml_fresh_oo_id
0010b0d1mov rsp, rbx
0010b0d4call caml_alloc2
0010b0d9lea rsi, [r15+8]
0010b0ddmov [rsi-8], 2296
0010b0e5lea rbx, [rip+0x177694]
0010b0ecmov [rsi], rbx
0010b0efmov [rsi+8], rax
0010b0f3lea rdi, [rip+0x173b0e]
0010b0famov rbx, rsp
0010b0fdmov rsp, [r14+64]
0010b101call caml_initialize
0010b106mov rsp, rbx
0010b109lea rsi, [rip+0x173ad8]
0010b110lea rdi, [rip+0x173af1]
0010b117add rdi, 8
0010b11bmov rbx, rsp
0010b11emov rsp, [r14+64]
0010b122call caml_initialize
0010b127mov rsp, rbx
0010b12amov eax, 1
0010b12fret
0010b0c0

0010b130
0010b130camlPackage.Make_1936:
0010b130lea r10, [rsp-368]
0010b138cmp r10, [r14+40]
0010b13cjb 0x10d4fc
0010b142
0010b142loc_10b142:
0010b142sub rsp, 48
0010b146mov r13, rax
0010b149mov [rsp+40], r13
0010b14emov [rsp+24], rbx
0010b153mov r12, rdi
0010b156mov [rsp+32], r12
0010b15bmov edi, 1
0010b160mov rbx, rsp
0010b163mov rsp, [r14+64]
0010b167call caml_fresh_oo_id
0010b16cmov rsp, rbx
0010b16fsub r15, 232
0010b176cmp r15, [r14]
0010b179jb 0x10d4f2
0010b17f
0010b17floc_10b17f:
0010b17flea rbx, [r15+8]
0010b183add rbx, 208
0010b18amov [rsp+16], rbx
0010b18fmov [rbx-8], 2296
0010b197lea rdi, [rip+0x18276a]
0010b19emov [rbx], rdi
0010b1a1mov [rbx+8], rax
0010b1a5lea rdi, [rbx-56]
0010b1a9mov [rdi-8], 6391
0010b1b1lea rsi, [rip-0x14628]
0010b1b8mov [rdi], rsi
0010b1bbmov rax, 0x500000000000007
0010b1c5mov [rdi+8], rax
0010b1c9lea rax, [rip+9024]
0010b1d0mov [rdi+16], rax
0010b1d4mov [rdi+24], rbx
0010b1d8mov [rdi+32], r12
0010b1dcmov [rdi+40], r13
0010b1e0lea rax, [rdi-56]
0010b1e4mov [rax-8], 6391
0010b1ecmov [rax], rsi
0010b1efmov rdx, 0x500000000000007
0010b1f9mov [rax+8], rdx
0010b1fdlea rdx, [rip+9548]
0010b204mov [rax+16], rdx
0010b208mov [rax+24], rbx
0010b20cmov [rax+32], rdi
0010b210mov [rax+40], r12
0010b214lea rbx, [rax-40]
0010b218mov [rsp+8], rbx
0010b21dmov [rbx-8], 4343
0010b225lea rdi, [rip-0x1446c]
0010b22cmov [rbx], rdi
0010b22fmov rdi, 0x400000000000007
0010b239mov [rbx+8], rdi
0010b23dlea rdi, [rip+9932]
0010b244mov [rbx+16], rdi
0010b248mov [rbx+24], rax
0010b24cadd rbx, -40
0010b250mov [rsp], rbx
0010b254mov [rbx-8], 4343
0010b25cmov [rbx], rsi
0010b25fmov rdi, 0x500000000000007
0010b269mov [rbx+8], rdi
0010b26dlea rdi, [rip+9916]
0010b274mov [rbx+16], rdi
0010b278mov [rbx+24], rax
0010b27clea rax, [rip+0x1e8ab5]
0010b283mov rdx, [rax+656]
0010b28amov rdi, [rax+88]
0010b28elea rsi, [rbx-16]
0010b292mov [rsi-8], 1024
0010b29amov [rsi], rdx
0010b29dmov rcx, [rbx+24]
0010b2a1mov edx, 361
0010b2a6lea rbx, [rip+0x181d93]
0010b2adlea rax, [rip+0x181e34]
0010b2b4call camlPackage.full_def_diacritic_810
0010b2b9lea rax, [rip+0x1e8a78]
0010b2c0mov rbx, [rax+648]
0010b2c7mov rdi, [rax+80]
0010b2cbsub r15, 16
0010b2cfcmp r15, [r14]
0010b2d2jb 0x10d4e8
0010b2d8
0010b2d8loc_10b2d8:
0010b2d8lea rsi, [r15+8]
0010b2dcmov [rsi-8], 1024
0010b2e4mov [rsi], rbx
0010b2e7mov rax, [rsp]
0010b2ebmov rcx, [rax+24]
0010b2efmov edx, 193
0010b2f4lea rbx, [rip+0x181c95]
0010b2fblea rax, [rip+0x181d1e]
0010b302call camlPackage.full_def_diacritic_810
0010b307lea rax, [rip+0x1e8a2a]
0010b30emov rdi, [rax+96]
0010b312mov rax, [rsp+8]
0010b317mov rcx, [rax+24]
0010b31bmov edx, 189
0010b320mov esi, 1
0010b325lea rbx, [rip+0x181b5c]
0010b32clea rax, [rip+0x181c3d]
0010b333call camlPackage.full_def_diacritic_810
0010b338lea rax, [rip+0x1e89f9]
0010b33fmov rdi, [rax+112]
0010b343mov rax, [rsp+8]
0010b348mov rcx, [rax+24]
0010b34cmov edx, 337
0010b351mov esi, 1
0010b356lea rbx, [rip+0x1819a3]
0010b35dlea rax, [rip+0x181a54]
0010b364call camlPackage.full_def_diacritic_810
0010b369lea rax, [rip+0x1e89c8]
0010b370mov rbx, [rax+640]
0010b377mov rdi, [rax+128]
0010b37esub r15, 16
0010b382cmp r15, [r14]
0010b385jb 0x10d4de
0010b38b
0010b38bloc_10b38b:
0010b38blea rsi, [r15+8]
0010b38fmov [rsi-8], 1024
0010b397mov [rsi], rbx
0010b39amov rax, [rsp]
0010b39emov rcx, [rax+24]
0010b3a2mov edx, 369
0010b3a7lea rbx, [rip+0x18187a]
0010b3aelea rax, [rip+0x18189b]
0010b3b5call camlPackage.full_def_diacritic_810
0010b3balea rax, [rip+0x1e8977]
0010b3c1mov rdi, [rax+104]
0010b3c5mov rax, [rsp+8]
0010b3camov rcx, [rax+24]
0010b3cemov edx, 253
0010b3d3mov esi, 1
0010b3d8lea rbx, [rip+0x181769]
0010b3dflea rax, [rip+0x181782]
0010b3e6call camlPackage.full_def_diacritic_810
0010b3eblea rax, [rip+0x1e8946]
0010b3f2mov rdi, [rax+144]
0010b3f9mov rax, [rsp+8]
0010b3femov rcx, [rax+24]
0010b402mov edx, 351
0010b407mov esi, 1
0010b40clea rbx, [rip+0x18165d]
0010b413lea rax, [rip+0x1816a6]
0010b41acall camlPackage.full_def_diacritic_810
0010b41flea rax, [rip+0x1e8912]
0010b426mov rdi, [rax+160]
0010b42dmov rax, [rsp+8]
0010b432mov rcx, [rax+24]
0010b436mov edx, 1467
0010b43bmov esi, 1
0010b440lea rbx, [rip+0x181549]
0010b447lea rax, [rip+0x181582]
0010b44ecall camlPackage.full_def_diacritic_810
0010b453lea rax, [rip+0x1e88de]
0010b45amov rdi, [rax+176]
0010b461mov rax, [rsp+8]
0010b466mov rcx, [rax+24]
0010b46amov edx, 1457
0010b46fmov esi, 1
0010b474lea rbx, [rip+0x181425]
0010b47blea rax, [rip+0x18147e]
0010b482call camlPackage.full_def_diacritic_810
0010b487lea rax, [rip+0x1e88aa]
0010b48emov rdi, [rax+184]
0010b495mov rax, [rsp+8]
0010b49amov rcx, [rax+24]
0010b49emov edx, 1459
0010b4a3mov esi, 1
0010b4a8lea rbx, [rip+0x1812d9]
0010b4aflea rax, [rip+0x1813ca]
0010b4b6call camlPackage.full_def_diacritic_810
0010b4bblea rax, [rip+0x1e8876]
0010b4c2mov rdi, [rax+192]
0010b4c9mov rax, [rsp+8]
0010b4cemov rcx, [rax+24]
0010b4d2mov edx, 1449
0010b4d7mov esi, 1
0010b4dclea rbx, [rip+0x1811cd]
0010b4e3lea rax, [rip+0x181266]
0010b4eacall camlPackage.full_def_diacritic_810
0010b4eflea rax, [rip+0x1e8842]
0010b4f6mov rdi, [rax+200]
0010b4fdmov rax, [rsp+8]
0010b502mov rcx, [rax+24]
0010b506mov edx, 191
0010b50bmov esi, 1
0010b510lea rbx, [rip+0x1810f9]
0010b517lea rax, [rip+0x181182]
0010b51ecall camlPackage.full_def_diacritic_810
0010b523lea rax, [rip+0x1e880e]
0010b52amov rdi, [rax+216]
0010b531mov rax, [rsp+8]
0010b536mov rcx, [rax+24]
0010b53amov edx, 1463
0010b53fmov esi, 1
0010b544lea rbx, [rip+0x180fd5]
0010b54blea rax, [rip+0x181056]
0010b552call camlPackage.full_def_diacritic_810
0010b557lea rax, [rip+0x1e87da]
0010b55emov rdi, [rax+120]
0010b562mov rax, [rsp+8]
0010b567mov rcx, [rax+24]
0010b56bmov edx, 1461
0010b570mov esi, 1
0010b575lea rbx, [rip+0x180f34]
0010b57clea rax, [rip+0x180f45]
0010b583call camlPackage.full_def_diacritic_810
0010b588lea rax, [rip+0x1e87a9]
0010b58fmov rdi, [rax+152]
0010b596mov rax, [rsp+8]
0010b59bmov rcx, [rax+24]
0010b59fmov edx, 1423
0010b5a4mov esi, 1
0010b5a9lea rbx, [rip+0x180ee0]
0010b5b0lea rax, [rip+0x180ee9]
0010b5b7call camlPackage.full_def_diacritic_810
0010b5bclea rax, [rip+0x1e8775]
0010b5c3mov rdi, [rax+224]
0010b5camov rax, [rsp+8]
0010b5cfmov rcx, [rax+24]
0010b5d3mov edx, 19423
0010b5d8mov esi, 1
0010b5ddlea rbx, [rip+0x180d74]
0010b5e4lea rax, [rip+0x180d95]
0010b5ebcall camlPackage.full_def_diacritic_810
0010b5f0lea rax, [rip+0x1e8741]
0010b5f7mov rdi, [rax+232]
0010b5femov rax, [rsp+8]
0010b603mov rcx, [rax+24]
0010b607mov edx, 1
0010b60cmov esi, 1
0010b611lea rbx, [rip+0x180ba8]
0010b618lea rax, [rip+0x180ca1]
0010b61fcall camlPackage.full_def_diacritic_810
0010b624sub r15, 128
0010b62bcmp r15, [r14]
0010b62ejb 0x10d4d4
0010b634
0010b634loc_10b634:
0010b634lea rax, [r15+8]
0010b638add rax, 72
0010b63cmov [rax-8], 6391
0010b644lea rbx, [rip-0x1462b]
0010b64bmov [rax], rbx
0010b64emov rbx, 0x200000000000007
0010b658mov [rax+8], rbx
0010b65clea rbx, [rip+8957]
0010b663mov [rax+16], rbx
0010b667mov rsi, [rsp+16]
0010b66cmov [rax+24], rsi
0010b670mov rdx, [rsp+32]
0010b675mov [rax+32], rdx
0010b679mov rbx, [rsp+40]
0010b67emov [rax+40], rbx
0010b682lea rbx, [rax-72]
0010b686mov [rbx-8], 8439
0010b68elea rdi, [rip+9563]
0010b695mov [rbx], rdi
0010b698mov rdi, 0x100000000000005
0010b6a2mov [rbx+8], rdi
0010b6a6mov [rbx+16], rsi
0010b6aamov [rbx+24], rax
0010b6aemov [rbx+32], rdx
0010b6b2lea rax, [rip+0x17fc5f]
0010b6b9mov [rbx+40], rax
0010b6bdlea rdi, [rip+0x17fc64]
0010b6c4mov [rbx+48], rdi
0010b6c8mov [rbx+56], 1731
0010b6d0mov rdi, [rdx+160]
0010b6d7call caml_apply2
0010b6dcsub r15, 32
0010b6e0cmp r15, [r14]
0010b6e3jb 0x10d4ca
0010b6e9
0010b6e9loc_10b6e9:
0010b6e9lea rbx, [r15+8]
0010b6edmov [rbx-8], 3319
0010b6f5lea rax, [rip+9780]
0010b6fcmov [rbx], rax
0010b6ffmov rax, 0x100000000000005
0010b709mov [rbx+8], rax
0010b70dmov rax, [rsp+32]
0010b712mov [rbx+16], rax
0010b716mov rdi, [rax+160]
0010b71dlea rax, [rip+0x17fbdc]
0010b724call caml_apply2
0010b729sub r15, 40
0010b72dcmp r15, [r14]
0010b730jb 0x10d4c0
0010b736
0010b736loc_10b736:
0010b736lea rbx, [r15+8]
0010b73amov [rbx-8], 4343
0010b742lea rax, [rip+9895]
0010b749mov [rbx], rax
0010b74cmov rax, 0x100000000000005
0010b756mov [rbx+8], rax
0010b75amov rax, [rsp+32]
0010b75fmov [rbx+16], rax
0010b763mov rdi, [rsp+40]
0010b768mov [rbx+24], rdi
0010b76cmov rdi, [rax+160]
0010b773lea rax, [rip+0x17fb66]
0010b77acall caml_apply2
0010b77fsub r15, 40
0010b783cmp r15, [r14]
0010b786jb 0x10d4b6
0010b78c
0010b78cloc_10b78c:
0010b78clea rbx, [r15+8]
0010b790mov [rbx-8], 4343
0010b798lea rax, [rip+10081]
0010b79fmov [rbx], rax
0010b7a2mov rax, 0x100000000000005
0010b7acmov [rbx+8], rax
0010b7b0mov rax, [rsp+32]
0010b7b5mov [rbx+16], rax
0010b7b9mov rdi, [rsp+40]
0010b7bemov [rbx+24], rdi
0010b7c2mov rdi, [rax+160]
0010b7c9lea rax, [rip+0x17faf0]
0010b7d0call caml_apply2
0010b7d5sub r15, 40
0010b7d9cmp r15, [r14]
0010b7dcjb 0x10d4ac
0010b7e2
0010b7e2loc_10b7e2:
0010b7e2lea rbx, [r15+8]
0010b7e6mov [rbx-8], 4343
0010b7eelea rax, [rip+10363]
0010b7f5mov [rbx], rax
0010b7f8mov rax, 0x100000000000005
0010b802mov [rbx+8], rax
0010b806mov rax, [rsp+32]
0010b80bmov [rbx+16], rax
0010b80fmov rdi, [rsp+40]
0010b814mov [rbx+24], rdi
0010b818mov rdi, [rax+160]
0010b81flea rax, [rip+0x17fa7a]
0010b826call caml_apply2
0010b82bsub r15, 40
0010b82fcmp r15, [r14]
0010b832jb 0x10d4a2
0010b838
0010b838loc_10b838:
0010b838lea rbx, [r15+8]
0010b83cmov [rbx-8], 4343
0010b844lea rax, [rip+10565]
0010b84bmov [rbx], rax
0010b84emov rax, 0x100000000000005
0010b858mov [rbx+8], rax
0010b85cmov rax, [rsp+32]
0010b861mov [rbx+16], rax
0010b865mov rdi, [rsp+40]
0010b86amov [rbx+24], rdi
0010b86emov rdi, [rax+160]
0010b875lea rax, [rip+0x17fa04]
0010b87ccall caml_apply2
0010b881sub r15, 40
0010b885cmp r15, [r14]
0010b888jb 0x10d498
0010b88e
0010b88eloc_10b88e:
0010b88elea rbx, [r15+8]
0010b892mov [rbx-8], 4343
0010b89alea rax, [rip+10847]
0010b8a1mov [rbx], rax
0010b8a4mov rax, 0x100000000000005
0010b8aemov [rbx+8], rax
0010b8b2mov rax, [rsp+32]
0010b8b7mov [rbx+16], rax
0010b8bbmov rdi, [rsp+40]
0010b8c0mov [rbx+24], rdi
0010b8c4mov rdi, [rax+160]
0010b8cblea rax, [rip+0x181ffe]
0010b8d2call caml_apply2
0010b8d7sub r15, 40
0010b8dbcmp r15, [r14]
0010b8dejb 0x10d48e
0010b8e4
0010b8e4loc_10b8e4:
0010b8e4lea rbx, [r15+8]
0010b8e8mov [rbx-8], 4343
0010b8f0lea rax, [rip+11369]
0010b8f7mov [rbx], rax
0010b8famov rax, 0x100000000000005
0010b904mov [rbx+8], rax
0010b908mov rax, [rsp+32]
0010b90dmov [rbx+16], rax
0010b911mov rdi, [rsp+40]
0010b916mov [rbx+24], rdi
0010b91amov rdi, [rax+160]
0010b921lea rax, [rip+0x181f90]
0010b928call caml_apply2
0010b92dsub r15, 32
0010b931cmp r15, [r14]
0010b934jb 0x10d484
0010b93a
0010b93aloc_10b93a:
0010b93alea rbx, [r15+8]
0010b93emov [rbx-8], 3319
0010b946lea rax, [rip+11587]
0010b94dmov [rbx], rax
0010b950mov rax, 0x100000000000005
0010b95amov [rbx+8], rax
0010b95emov rax, [rsp+40]
0010b963mov [rbx+16], rax
0010b967mov rax, [rsp+32]
0010b96cmov rdi, [rax+160]
0010b973lea rax, [rip+0x181f26]
0010b97acall caml_apply2
0010b97fsub r15, 32
0010b983cmp r15, [r14]
0010b986jb 0x10d47a
0010b98c
0010b98cloc_10b98c:
0010b98clea rbx, [r15+8]
0010b990mov [rbx-8], 3319
0010b998lea rax, [rip+11601]
0010b99fmov [rbx], rax
0010b9a2mov rax, 0x100000000000005
0010b9acmov [rbx+8], rax
0010b9b0mov rax, [rsp+32]
0010b9b5mov [rbx+16], rax
0010b9b9mov rdi, [rax+160]
0010b9c0lea rax, [rip+0x181ec1]
0010b9c7call caml_apply2
0010b9ccmov rax, [rsp+32]
0010b9d1mov rdi, [rax+160]
0010b9d8lea rbx, [rip+0x17f719]
0010b9dflea rax, [rip+0x181e8a]
0010b9e6call caml_apply2
0010b9ebsub r15, 32
0010b9efcmp r15, [r14]
0010b9f2jb 0x10d470
0010b9f8
0010b9f8loc_10b9f8:
0010b9f8lea rbx, [r15+8]
0010b9fcmov [rbx-8], 3319
0010ba04lea rax, [rip+11589]
0010ba0bmov [rbx], rax
0010ba0emov rax, 0x100000000000005
0010ba18mov [rbx+8], rax
0010ba1cmov rax, [rsp+32]
0010ba21mov [rbx+16], rax
0010ba25mov rdi, [rax+160]
0010ba2clea rax, [rip+0x181e25]
0010ba33call caml_apply2
0010ba38mov rax, [rsp+32]
0010ba3dmov rdi, [rax+160]
0010ba44lea rbx, [rip+0x17f6c5]
0010ba4blea rax, [rip+0x181dee]
0010ba52call caml_apply2
0010ba57sub r15, 32
0010ba5bcmp r15, [r14]
0010ba5ejb 0x10d466
0010ba64
0010ba64loc_10ba64:
0010ba64lea rbx, [r15+8]
0010ba68mov [rbx-8], 3319
0010ba70lea rax, [rip+11609]
0010ba77mov [rbx], rax
0010ba7amov rax, 0x100000000000005
0010ba84mov [rbx+8], rax
0010ba88mov rax, [rsp+32]
0010ba8dmov [rbx+16], rax
0010ba91mov rdi, [rax+160]
0010ba98lea rax, [rip+0x181d71]
0010ba9fcall caml_apply2
0010baa4sub r15, 32
0010baa8cmp r15, [r14]
0010baabjb 0x10d45c
0010bab1
0010bab1loc_10bab1:
0010bab1lea rbx, [r15+8]
0010bab5mov [rbx-8], 3319
0010babdlea rax, [rip+11628]
0010bac4mov [rbx], rax
0010bac7mov rax, 0x100000000000005
0010bad1mov [rbx+8], rax
0010bad5mov rax, [rsp+32]
0010badamov [rbx+16], rax
0010bademov rdi, [rax+160]
0010bae5lea rax, [rip+0x181d0c]
0010baeccall caml_apply2
0010baf1sub r15, 32
0010baf5cmp r15, [r14]
0010baf8jb 0x10d452
0010bafe
0010bafeloc_10bafe:
0010bafelea rbx, [r15+8]
0010bb02mov [rbx-8], 3319
0010bb0alea rax, [rip+11599]
0010bb11mov [rbx], rax
0010bb14mov rax, 0x100000000000005
0010bb1emov [rbx+8], rax
0010bb22mov rax, [rsp+32]
0010bb27mov [rbx+16], rax
0010bb2bmov rdi, [rax+160]
0010bb32lea rax, [rip+0x181ca7]
0010bb39call caml_apply2
0010bb3esub r15, 40
0010bb42cmp r15, [r14]
0010bb45jb 0x10d448
0010bb4b
0010bb4bloc_10bb4b:
0010bb4blea rdi, [r15+8]
0010bb4fmov [rsp], rdi
0010bb53mov [rdi-8], 4343
0010bb5blea rax, [rip-0x14b42]
0010bb62mov [rdi], rax
0010bb65mov rax, 0x200000000000007
0010bb6fmov [rdi+8], rax
0010bb73lea rax, [rip+11590]
0010bb7amov [rdi+16], rax
0010bb7emov rax, [rsp+32]
0010bb83mov [rdi+24], rax
0010bb87lea rax, [rip+0x21cab2]
0010bb8emov rbx, [rax+104]
0010bb92lea rax, [rip+0x181c2f]
0010bb99call camlPackage.def_print_956
0010bb9elea rax, [rip+0x21ca9b]
0010bba5mov rbx, [rax+120]
0010bba9lea rax, [rip+0x181c00]
0010bbb0mov rdi, [rsp]
0010bbb4call camlPackage.def_print_956
0010bbb9lea rax, [rip+0x26a1b0]
0010bbc0mov rbx, [rax+96]
0010bbc4lea rax, [rip+0x21ca75]
0010bbcbmov rax, [rax+120]
0010bbcfmov rdi, [rbx]
0010bbd2call rdi
0010bbd4mov rbx, rax
0010bbd7lea rax, [rip+0x181bba]
0010bbdemov rdi, [rsp]
0010bbe2call camlPackage.def_print_956
0010bbe7mov edi, 1
0010bbeclea rax, [rip+0x11717d]
0010bbf3call caml_c_call
0010bbf8mov rbx, rax
0010bbfblea rdi, [rip+0x181b5e]
0010bc02lea rax, [rip+0x17f51f]
0010bc09call Stdlib.Array.fold_right
0010bc0emov rbx, rax
0010bc11lea rax, [rip+0x181b68]
0010bc18mov rdi, [rsp]
0010bc1ccall camlPackage.def_print_956
0010bc21lea rax, [rip+0x21daf8]
0010bc28mov rbx, [rax]
0010bc2blea rax, [rip+0x181b16]
0010bc32mov rdi, [rsp]
0010bc36call camlPackage.def_print_956
0010bc3blea rax, [rip+0x21e12e]
0010bc42mov rbx, [rax+8]
0010bc46lea rax, [rip+0x181ae3]
0010bc4dmov rdi, [rsp]
0010bc51call camlPackage.def_print_956
0010bc56mov rax, [rsp+32]
0010bc5bmov rdi, [rax+160]
0010bc62lea rbx, [rip+0x17f4df]
0010bc69lea rax, [rip+0x181aa8]
0010bc70call caml_apply2
0010bc75sub r15, 32
0010bc79cmp r15, [r14]
0010bc7cjb 0x10d43e
0010bc82
0010bc82loc_10bc82:
0010bc82lea rbx, [r15+8]
0010bc86mov [rbx-8], 3319
0010bc8elea rax, [rip+11579]
0010bc95mov [rbx], rax
0010bc98mov rax, 0x100000000000005
0010bca2mov [rbx+8], rax
0010bca6mov rax, [rsp+32]
0010bcabmov [rbx+16], rax
0010bcafmov rdi, [rax+160]
0010bcb6lea rax, [rip+0x181a43]
0010bcbdcall caml_apply2
0010bcc2sub r15, 32
0010bcc6cmp r15, [r14]
0010bcc9jb 0x10d434
0010bccf
0010bccfloc_10bccf:
0010bccflea rbx, [r15+8]
0010bcd3mov [rbx-8], 3319
0010bcdblea rax, [rip+11566]
0010bce2mov [rbx], rax
0010bce5mov rax, 0x100000000000005
0010bcefmov [rbx+8], rax
0010bcf3mov rax, [rsp+32]
0010bcf8mov [rbx+16], rax
0010bcfcmov rdi, [rax+160]
0010bd03lea rax, [rip+0x1819de]
0010bd0acall caml_apply2
0010bd0fsub r15, 40
0010bd13cmp r15, [r14]
0010bd16jb 0x10d42a
0010bd1c
0010bd1cloc_10bd1c:
0010bd1clea rbx, [r15+8]
0010bd20mov [rbx-8], 4343
0010bd28lea rax, [rip+11697]
0010bd2fmov [rbx], rax
0010bd32mov rax, 0x100000000000005
0010bd3cmov [rbx+8], rax
0010bd40mov rax, [rsp+32]
0010bd45mov [rbx+16], rax
0010bd49mov rdi, [rsp+40]
0010bd4emov [rbx+24], rdi
0010bd52mov rdi, [rax+160]
0010bd59lea rax, [rip+0x181950]
0010bd60call caml_apply2
0010bd65sub r15, 40
0010bd69cmp r15, [r14]
0010bd6cjb 0x10d420
0010bd72
0010bd72loc_10bd72:
0010bd72lea rbx, [r15+8]
0010bd76mov [rbx-8], 4343
0010bd7elea rax, [rip+11771]
0010bd85mov [rbx], rax
0010bd88mov rax, 0x100000000000005
0010bd92mov [rbx+8], rax
0010bd96mov rax, [rsp+32]
0010bd9bmov [rbx+16], rax
0010bd9fmov rdi, [rsp+40]
0010bda4mov [rbx+24], rdi
0010bda8mov rdi, [rax+160]
0010bdaflea rax, [rip+0x1818ca]
0010bdb6call caml_apply2
0010bdbbsub r15, 40
0010bdbfcmp r15, [r14]
0010bdc2jb 0x10d416
0010bdc8
0010bdc8loc_10bdc8:
0010bdc8lea rbx, [r15+8]
0010bdccmov [rbx-8], 4343
0010bdd4lea rax, [rip+12149]
0010bddbmov [rbx], rax
0010bddemov rax, 0x100000000000005
0010bde8mov [rbx+8], rax
0010bdecmov rax, [rsp+32]
0010bdf1mov [rbx+16], rax
0010bdf5mov rdi, [rsp+40]
0010bdfamov [rbx+24], rdi
0010bdfemov rdi, [rax+160]
0010be05lea rax, [rip+0x1816e4]
0010be0ccall caml_apply2
0010be11sub r15, 40
0010be15cmp r15, [r14]
0010be18jb 0x10d40c
0010be1e
0010be1eloc_10be1e:
0010be1elea rbx, [r15+8]
0010be22mov [rbx-8], 4343
0010be2alea rax, [rip+12367]
0010be31mov [rbx], rax
0010be34mov rax, 0x100000000000005
0010be3emov [rbx+8], rax
0010be42mov rax, [rsp+32]
0010be47mov [rbx+16], rax
0010be4bmov rdi, [rsp+40]
0010be50mov [rbx+24], rdi
0010be54mov rdi, [rax+160]
0010be5blea rax, [rip+0x18147e]
0010be62call caml_apply2
0010be67mov ebx, 7
0010be6clea rax, [rip+0x181425]
0010be73call camlLexstate.latex_pat_577
0010be78mov rbx, rax
0010be7blea rdi, [rip+0x1813be]
0010be82lea rax, [rip+0x18143f]
0010be89call camlLatexmacros.def_952
0010be8emov ebx, 7
0010be93lea rax, [rip+0x1813fe]
0010be9acall camlLexstate.latex_pat_577
0010be9fmov rbx, rax
0010bea2lea rdi, [rip+0x181337]
0010bea9lea rax, [rip+0x181378]
0010beb0call camlLatexmacros.def_952
0010beb5sub r15, 32
0010beb9cmp r15, [r14]
0010bebcjb 0x10d402
0010bec2
0010bec2loc_10bec2:
0010bec2lea rbx, [r15+8]
0010bec6mov [rbx-8], 3319
0010becelea rax, [rip+12459]
0010bed5mov [rbx], rax
0010bed8mov rax, 0x100000000000005
0010bee2mov [rbx+8], rax
0010bee6mov rax, [rsp+32]
0010beebmov [rbx+16], rax
0010beefmov rdi, [rax+160]
0010bef6lea rax, [rip+0x1812cb]
0010befdcall caml_apply2
0010bf02sub r15, 32
0010bf06cmp r15, [r14]
0010bf09jb 0x10d3f8
0010bf0f
0010bf0floc_10bf0f:
0010bf0flea rbx, [r15+8]
0010bf13mov [rbx-8], 3319
0010bf1blea rax, [rip+12686]
0010bf22mov [rbx], rax
0010bf25mov rax, 0x100000000000005
0010bf2fmov [rbx+8], rax
0010bf33mov rax, [rsp+32]
0010bf38mov [rbx+16], rax
0010bf3cmov rdi, [rax+160]
0010bf43lea rax, [rip+0x181256]
0010bf4acall caml_apply2
0010bf4fsub r15, 32
0010bf53cmp r15, [r14]
0010bf56jb 0x10d3ee
0010bf5c
0010bf5cloc_10bf5c:
0010bf5clea rbx, [r15+8]
0010bf60mov [rbx-8], 3319
0010bf68lea rax, [rip+12705]
0010bf6fmov [rbx], rax
0010bf72mov rax, 0x100000000000005
0010bf7cmov [rbx+8], rax
0010bf80mov rax, [rsp+32]
0010bf85mov [rbx+16], rax
0010bf89mov rdi, [rax+160]
0010bf90lea rax, [rip+0x1811f1]
0010bf97call caml_apply2
0010bf9clea rax, [rip+0x17f285]
0010bfa3mov [rsp], rax
0010bfa7sub r15, 40
0010bfabcmp r15, [r14]
0010bfaejb 0x10d3e4
0010bfb4
0010bfb4loc_10bfb4:
0010bfb4lea rbx, [r15+8]
0010bfb8mov [rbx-8], 4343
0010bfc0lea rdi, [rip+12825]
0010bfc7mov [rbx], rdi
0010bfcamov rdi, 0x100000000000005
0010bfd4mov [rbx+8], rdi
0010bfd8mov [rbx+16], rax
0010bfdcmov rax, [rsp+32]
0010bfe1mov [rbx+24], rax
0010bfe5mov rdi, [rax+160]
0010bfeclea rax, [rip+0x181125]
0010bff3call caml_apply2
0010bff8sub r15, 40
0010bffccmp r15, [r14]
0010bfffjb 0x10d3da
0010c005
0010c005loc_10c005:
0010c005lea rbx, [r15+8]
0010c009mov [rbx-8], 4343
0010c011lea rax, [rip+12952]
0010c018mov [rbx], rax
0010c01bmov rax, 0x100000000000005
0010c025mov [rbx+8], rax
0010c029mov rax, [rsp]
0010c02dmov [rbx+16], rax
0010c031mov rax, [rsp+32]
0010c036mov [rbx+24], rax
0010c03amov rdi, [rax+160]
0010c041lea rax, [rip+0x181078]
0010c048call caml_apply2
0010c04dsub r15, 40
0010c051cmp r15, [r14]
0010c054jb 0x10d3d0
0010c05a
0010c05aloc_10c05a:
0010c05alea rbx, [r15+8]
0010c05emov [rbx-8], 4343
0010c066lea rax, [rip+13171]
0010c06dmov [rbx], rax
0010c070mov rax, 0x100000000000005
0010c07amov [rbx+8], rax
0010c07emov rax, [rsp]
0010c082mov [rbx+16], rax
0010c086mov rax, [rsp+32]
0010c08bmov [rbx+24], rax
0010c08fmov rdi, [rax+160]
0010c096lea rax, [rip+0x180ff3]
0010c09dcall caml_apply2
0010c0a2sub r15, 40
0010c0a6cmp r15, [r14]
0010c0a9jb 0x10d3c6
0010c0af
0010c0afloc_10c0af:
0010c0aflea rbx, [r15+8]
0010c0b3mov [rbx-8], 4343
0010c0bblea rax, [rip+13406]
0010c0c2mov [rbx], rax
0010c0c5mov rax, 0x100000000000005
0010c0cfmov [rbx+8], rax
0010c0d3mov rax, [rsp]
0010c0d7mov [rbx+16], rax
0010c0dbmov rax, [rsp+32]
0010c0e0mov [rbx+24], rax
0010c0e4mov rdi, [rax+160]
0010c0eblea rax, [rip+0x180f86]
0010c0f2call caml_apply2
0010c0f7sub r15, 32
0010c0fbcmp r15, [r14]
0010c0fejb 0x10d3bc
0010c104
0010c104loc_10c104:
0010c104lea rbx, [r15+8]
0010c108mov [rbx-8], 3319
0010c110lea rax, [rip+13657]
0010c117mov [rbx], rax
0010c11amov rax, 0x100000000000005
0010c124mov [rbx+8], rax
0010c128mov rax, [rsp+32]
0010c12dmov [rbx+16], rax
0010c131mov rdi, [rax+160]
0010c138lea rax, [rip+0x180f11]
0010c13fcall caml_apply2
0010c144sub r15, 96
0010c148cmp r15, [r14]
0010c14bjb 0x10d3b2
0010c151
0010c151loc_10c151:
0010c151lea rbx, [r15+8]
0010c155add rbx, 64
0010c159mov [rsp], rbx
0010c15dmov [rbx-8], 3319
0010c165lea rax, [rip+14260]
0010c16cmov [rbx], rax
0010c16fmov rax, 0x100000000000005
0010c179mov [rbx+8], rax
0010c17dmov rsi, [rsp+32]
0010c182mov [rbx+16], rsi
0010c186lea rax, [rbx-32]
0010c18amov [rsp+16], rax
0010c18fmov [rax-8], 3319
0010c197lea rdi, [rip+14498]
0010c19emov [rax], rdi
0010c1a1mov rdi, 0x100000000000005
0010c1abmov [rax+8], rdi
0010c1afmov [rax+16], rsi
0010c1b3add rax, -32
0010c1b7mov [rsp+8], rax
0010c1bcmov [rax-8], 3319
0010c1c4lea rdi, [rip+14661]
0010c1cbmov [rax], rdi
0010c1cemov rdi, 0x100000000000005
0010c1d8mov [rax+8], rdi
0010c1dcmov [rax+16], rsi
0010c1e0mov rdi, [rsi+160]
0010c1e7lea rax, [rip+0x180c3a]
0010c1eecall caml_apply2
0010c1f3mov rax, [rsp+32]
0010c1f8mov rdi, [rax+160]
0010c1fflea rax, [rip+0x180c0a]
0010c206mov rbx, [rsp]
0010c20acall caml_apply2
0010c20fmov rax, [rsp+32]
0010c214mov rdi, [rax+160]
0010c21blea rax, [rip+0x180bd6]
0010c222mov rbx, [rsp+8]
0010c227call caml_apply2
0010c22cmov rax, [rsp+32]
0010c231mov rdi, [rax+160]
0010c238lea rax, [rip+0x180ba1]
0010c23fmov rbx, [rsp+16]
0010c244call caml_apply2
0010c249sub r15, 32
0010c24dcmp r15, [r14]
0010c250jb 0x10d3a8
0010c256
0010c256loc_10c256:
0010c256lea rbx, [r15+8]
0010c25amov [rbx-8], 3319
0010c262lea rax, [rip+14903]
0010c269mov [rbx], rax
0010c26cmov rax, 0x100000000000005
0010c276mov [rbx+8], rax
0010c27amov rax, [rsp+32]
0010c27fmov [rbx+16], rax
0010c283mov rdi, [rax+160]
0010c28alea rax, [rip+0x180b37]
0010c291call caml_apply2
0010c296sub r15, 32
0010c29acmp r15, [r14]
0010c29djb 0x10d39e
0010c2a3
0010c2a3loc_10c2a3:
0010c2a3lea rbx, [r15+8]
0010c2a7mov [rbx-8], 3319
0010c2aflea rax, [rip+15322]
0010c2b6mov [rbx], rax
0010c2b9mov rax, 0x100000000000005
0010c2c3mov [rbx+8], rax
0010c2c7mov rax, [rsp+32]
0010c2ccmov [rbx+16], rax
0010c2d0mov rdi, [rax+160]
0010c2d7lea rax, [rip+0x180a82]
0010c2decall caml_apply2
0010c2e3sub r15, 32
0010c2e7cmp r15, [r14]
0010c2eajb 0x10d394
0010c2f0
0010c2f0loc_10c2f0:
0010c2f0lea rbx, [r15+8]
0010c2f4mov [rbx-8], 3319
0010c2fclea rax, [rip+15341]
0010c303mov [rbx], rax
0010c306mov rax, 0x100000000000005
0010c310mov [rbx+8], rax
0010c314mov rax, [rsp+32]
0010c319mov [rbx+16], rax
0010c31dmov rdi, [rax+160]
0010c324lea rax, [rip+0x180a1d]
0010c32bcall caml_apply2
0010c330sub r15, 64
0010c334cmp r15, [r14]
0010c337jb 0x10d38a
0010c33d
0010c33dloc_10c33d:
0010c33dlea rax, [r15+8]
0010c341add rax, 32
0010c345mov [rsp+8], rax
0010c34amov [rax-8], 3319
0010c352lea rbx, [rip+15351]
0010c359mov [rax], rbx
0010c35cmov rbx, 0x100000000000005
0010c366mov [rax+8], rbx
0010c36amov rsi, [rsp+32]
0010c36fmov [rax+16], rsi
0010c373lea rbx, [rax-32]
0010c377mov [rbx-8], 3319
0010c37flea rdi, [rip+15418]
0010c386mov [rbx], rdi
0010c389mov rdi, 0x100000000000005
0010c393mov [rbx+8], rdi
0010c397mov [rbx+16], rax
0010c39bmov rdi, [rsi+160]
0010c3a2lea rax, [rip+0x180987]
0010c3a9call caml_apply2
0010c3aesub r15, 40
0010c3b2cmp r15, [r14]
0010c3b5jb 0x10d380
0010c3bb
0010c3bbloc_10c3bb:
0010c3bblea rbx, [r15+8]
0010c3bfmov [rbx-8], 4343
0010c3c7lea rax, [rip+15458]
0010c3cemov [rbx], rax
0010c3d1mov rax, 0x100000000000005
0010c3dbmov [rbx+8], rax
0010c3dfmov rax, [rsp+8]
0010c3e4mov [rbx+16], rax
0010c3e8mov rax, [rsp+32]
0010c3edmov [rbx+24], rax
0010c3f1mov rdi, [rax+160]
0010c3f8lea rax, [rip+0x180919]
0010c3ffcall caml_apply2
0010c404sub r15, 40
0010c408cmp r15, [r14]
0010c40bjb 0x10d376
0010c411
0010c411loc_10c411:
0010c411lea rbx, [r15+8]
0010c415mov [rbx-8], 4343
0010c41dlea rax, [rip+15468]
0010c424mov [rbx], rax
0010c427mov rax, 0x100000000000005
0010c431mov [rbx+8], rax
0010c435mov rax, [rsp+8]
0010c43amov [rbx+16], rax
0010c43emov rax, [rsp+32]
0010c443mov [rbx+24], rax
0010c447mov rdi, [rax+160]
0010c44elea rax, [rip+0x180893]
0010c455call caml_apply2
0010c45asub r15, 40
0010c45ecmp r15, [r14]
0010c461jb 0x10d36c
0010c467
0010c467loc_10c467:
0010c467lea rbx, [r15+8]
0010c46bmov [rbx-8], 4343
0010c473lea rax, [rip+15510]
0010c47amov [rbx], rax
0010c47dmov rax, 0x100000000000005
0010c487mov [rbx+8], rax
0010c48bmov rax, [rsp+8]
0010c490mov [rbx+16], rax
0010c494mov rax, [rsp+32]
0010c499mov [rbx+24], rax
0010c49dmov rdi, [rax+160]
0010c4a4lea rax, [rip+0x180825]
0010c4abcall caml_apply2
0010c4b0sub r15, 40
0010c4b4cmp r15, [r14]
0010c4b7jb 0x10d362
0010c4bd
0010c4bdloc_10c4bd:
0010c4bdlea rbx, [r15+8]
0010c4c1mov [rbx-8], 4343
0010c4c9lea rax, [rip+15504]
0010c4d0mov [rbx], rax
0010c4d3mov rax, 0x100000000000005
0010c4ddmov [rbx+8], rax
0010c4e1mov rax, [rsp+8]
0010c4e6mov [rbx+16], rax
0010c4eamov rax, [rsp+32]
0010c4efmov [rbx+24], rax
0010c4f3mov rdi, [rax+160]
0010c4falea rax, [rip+0x1807b7]
0010c501call caml_apply2
0010c506sub r15, 40
0010c50acmp r15, [r14]
0010c50djb 0x10d358
0010c513
0010c513loc_10c513:
0010c513lea rbx, [r15+8]
0010c517mov [rbx-8], 4343
0010c51flea rax, [rip+15546]
0010c526mov [rbx], rax
0010c529mov rax, 0x100000000000005
0010c533mov [rbx+8], rax
0010c537mov rax, [rsp+8]
0010c53cmov [rbx+16], rax
0010c540mov rax, [rsp+32]
0010c545mov [rbx+24], rax
0010c549mov rdi, [rax+160]
0010c550lea rax, [rip+0x180731]
0010c557call caml_apply2
0010c55csub r15, 32
0010c560cmp r15, [r14]
0010c563jb 0x10d34e
0010c569
0010c569loc_10c569:
0010c569lea rbx, [r15+8]
0010c56dmov [rbx-8], 3319
0010c575lea rax, [rip+15652]
0010c57cmov [rbx], rax
0010c57fmov rax, 0x100000000000005
0010c589mov [rbx+8], rax
0010c58dmov rax, [rsp+8]
0010c592mov [rbx+16], rax
0010c596mov rax, [rsp+32]
0010c59bmov rdi, [rax+160]
0010c5a2lea rax, [rip+0x1806c7]
0010c5a9call caml_apply2
0010c5aesub r15, 40
0010c5b2cmp r15, [r14]
0010c5b5jb 0x10d344
0010c5bb
0010c5bbloc_10c5bb:
0010c5bblea rbx, [r15+8]
0010c5bfmov [rbx-8], 4343
0010c5c7lea rax, [rip+15682]
0010c5cemov [rbx], rax
0010c5d1mov rax, 0x100000000000005
0010c5dbmov [rbx+8], rax
0010c5dfmov rax, [rsp+32]
0010c5e4mov [rbx+16], rax
0010c5e8mov rax, [rsp+40]
0010c5edmov [rbx+24], rax
0010c5f1lea rax, [rip+0x180668]
0010c5f8call camlLatexmacros.register_init_929
0010c5fdsub r15, 32
0010c601cmp r15, [r14]
0010c604jb 0x10d33a
0010c60a
0010c60aloc_10c60a:
0010c60alea rbx, [r15+8]
0010c60emov [rbx-8], 3319
0010c616lea rax, [rip+17603]
0010c61dmov [rbx], rax
0010c620mov rax, 0x100000000000005
0010c62amov [rbx+8], rax
0010c62emov rax, [rsp+32]
0010c633mov [rbx+16], rax
0010c637lea rax, [rip+0x18051a]
0010c63ecall camlLatexmacros.register_init_929
0010c643sub r15, 48
0010c647cmp r15, [r14]
0010c64ajb 0x10d330
0010c650
0010c650loc_10c650:
0010c650lea rbx, [r15+8]
0010c654mov [rbx-8], 5367
0010c65clea rax, [rip+18333]
0010c663mov [rbx], rax
0010c666mov rax, 0x100000000000005
0010c670mov [rbx+8], rax
0010c674mov rax, [rsp+32]
0010c679mov [rbx+16], rax
0010c67dmov rax, [rsp+24]
0010c682mov [rbx+24], rax
0010c686mov rax, [rsp+40]
0010c68bmov [rbx+32], rax
0010c68flea rax, [rip+0x1803ea]
0010c696call camlLatexmacros.register_init_929
0010c69bsub r15, 40
0010c69fcmp r15, [r14]
0010c6a2jb 0x10d326
0010c6a8
0010c6a8loc_10c6a8:
0010c6a8lea rbx, [r15+8]
0010c6acmov [rbx-8], 4343
0010c6b4lea rax, [rip+19893]
0010c6bbmov [rbx], rax
0010c6bemov rax, 0x100000000000005
0010c6c8mov [rbx+8], rax
0010c6ccmov rax, [rsp+32]
0010c6d1mov [rbx+16], rax
0010c6d5mov rax, [rsp+40]
0010c6damov [rbx+24], rax
0010c6delea rax, [rip+0x1802fb]
0010c6e5call camlLatexmacros.register_init_929
0010c6easub r15, 40
0010c6eecmp r15, [r14]
0010c6f1jb 0x10d31c
0010c6f7
0010c6f7loc_10c6f7:
0010c6f7lea rbx, [r15+8]
0010c6fbmov [rbx-8], 4343
0010c703lea rax, [rip+20726]
0010c70amov [rbx], rax
0010c70dmov rax, 0x100000000000005
0010c717mov [rbx+8], rax
0010c71bmov rax, [rsp+32]
0010c720mov [rbx+16], rax
0010c724mov rax, [rsp+40]
0010c729mov [rbx+24], rax
0010c72dlea rax, [rip+0x1801dc]
0010c734call camlLatexmacros.register_init_929
0010c739sub r15, 32
0010c73dcmp r15, [r14]
0010c740jb 0x10d312
0010c746
0010c746loc_10c746:
0010c746lea rbx, [r15+8]
0010c74amov [rbx-8], 3319
0010c752lea rax, [rip+20999]
0010c759mov [rbx], rax
0010c75cmov rax, 0x100000000000005
0010c766mov [rbx+8], rax
0010c76amov rax, [rsp+32]
0010c76fmov [rbx+16], rax
0010c773lea rax, [rip+0x180136]
0010c77acall camlLatexmacros.register_init_929
0010c77fsub r15, 40
0010c783cmp r15, [r14]
0010c786jb 0x10d308
0010c78c
0010c78cloc_10c78c:
0010c78clea rbx, [r15+8]
0010c790mov [rbx-8], 4343
0010c798lea rax, [rip+21937]
0010c79fmov [rbx], rax
0010c7a2mov rax, 0x100000000000005
0010c7acmov [rbx+8], rax
0010c7b0mov rax, [rsp+32]
0010c7b5mov [rbx+16], rax
0010c7b9mov rax, [rsp+24]
0010c7bemov [rbx+24], rax
0010c7c2lea rax, [rip+0x17ffef]
0010c7c9call camlLatexmacros.register_init_929
0010c7cesub r15, 32
0010c7d2cmp r15, [r14]
0010c7d5jb 0x10d2fe
0010c7db
0010c7dbloc_10c7db:
0010c7dblea rbx, [r15+8]
0010c7dfmov [rsp], rbx
0010c7e3mov [rbx-8], 3319
0010c7eblea rax, [rip+22094]
0010c7f2mov [rbx], rax
0010c7f5mov rax, 0x100000000000005
0010c7ffmov [rbx+8], rax
0010c803mov rax, [rsp+32]
0010c808mov [rbx+16], rax
0010c80cmov rdi, [rax+160]
0010c813lea rax, [rip+0x17ff56]
0010c81acall caml_apply2
0010c81fsub r15, 56
0010c823cmp r15, [r14]
0010c826jb 0x10d2f4
0010c82c
0010c82cloc_10c82c:
0010c82clea rbx, [r15+8]
0010c830mov [rbx-8], 6391
0010c838lea rax, [rip+22097]
0010c83fmov [rbx], rax
0010c842mov rax, 0x100000000000005
0010c84cmov [rbx+8], rax
0010c850mov rax, [rsp]
0010c854mov [rbx+16], rax
0010c858mov rax, [rsp+32]
0010c85dmov [rbx+24], rax
0010c861mov rax, [rsp+24]
0010c866mov [rbx+32], rax
0010c86amov rax, [rsp+40]
0010c86fmov [rbx+40], rax
0010c873lea rax, [rip+0x17fee6]
0010c87acall camlLatexmacros.register_init_929
0010c87fsub r15, 32
0010c883cmp r15, [r14]
0010c886jb 0x10d2ea
0010c88c
0010c88cloc_10c88c:
0010c88clea rbx, [r15+8]
0010c890mov [rbx-8], 3319
0010c898lea rax, [rip+22977]
0010c89fmov [rbx], rax
0010c8a2mov rax, 0x100000000000005
0010c8acmov [rbx+8], rax
0010c8b0mov rax, [rsp+32]
0010c8b5mov [rbx+16], rax
0010c8b9lea rax, [rip+0x17fe08]
0010c8c0call camlLatexmacros.register_init_929
0010c8c5lea rax, [rip+0x17e93c]
0010c8cclea rbx, [rip+0x17e915]
0010c8d3sub r15, 136
0010c8dacmp r15, [r14]
0010c8ddjb 0x10d2e0
0010c8e3
0010c8e3loc_10c8e3:
0010c8e3lea rdi, [r15+8]
0010c8e7add rdi, 88
0010c8ebmov [rdi-8], 5367
0010c8f3lea rsi, [rip+24166]
0010c8famov [rdi], rsi
0010c8fdmov rsi, 0x100000000000005
0010c907mov [rdi+8], rsi
0010c90bmov [rdi+16], rax
0010c90fmov [rdi+24], rbx
0010c913mov rdx, [rsp+32]
0010c918mov [rdi+32], rdx
0010c91clea rsi, [rdi-40]
0010c920mov [rsi-8], 4343
0010c928lea rbx, [rip+25505]
0010c92fmov [rsi], rbx
0010c932mov rbx, 0x100000000000005
0010c93cmov [rsi+8], rbx
0010c940mov [rsi+16], rax
0010c944mov [rsi+24], rdx
0010c948lea rbx, [rsi-48]
0010c94cmov [rbx-8], 5367
0010c954lea rax, [rip+26405]
0010c95bmov [rbx], rax
0010c95emov rax, 0x100000000000005
0010c968mov [rbx+8], rax
0010c96cmov [rbx+16], rdi
0010c970mov [rbx+24], rsi
0010c974mov [rbx+32], rdx
0010c978lea rax, [rip+0x17f859]
0010c97fcall camlLatexmacros.register_init_929
0010c984sub r15, 40
0010c988cmp r15, [r14]
0010c98bjb 0x10d2d6
0010c991
0010c991loc_10c991:
0010c991lea rbx, [r15+8]
0010c995mov [rbx-8], 4343
0010c99dlea rax, [rip+26444]
0010c9a4mov [rbx], rax
0010c9a7mov rax, 0x100000000000005
0010c9b1mov [rbx+8], rax
0010c9b5mov rax, [rsp+32]
0010c9bamov [rbx+16], rax
0010c9bemov rax, [rsp+24]
0010c9c3mov [rbx+24], rax
0010c9c7lea rax, [rip+0x17f7b2]
0010c9cecall camlLatexmacros.register_init_929
0010c9d3sub r15, 40
0010c9d7cmp r15, [r14]
0010c9dajb 0x10d2cc
0010c9e0
0010c9e0loc_10c9e0:
0010c9e0lea rbx, [r15+8]
0010c9e4mov [rbx-8], 4343
0010c9eclea rax, [rip+26605]
0010c9f3mov [rbx], rax
0010c9f6mov rax, 0x100000000000005
0010ca00mov [rbx+8], rax
0010ca04mov rax, [rsp+8]
0010ca09mov [rbx+16], rax
0010ca0dmov rax, [rsp+32]
0010ca12mov [rbx+24], rax
0010ca16lea rax, [rip+0x17f743]
0010ca1dcall camlLatexmacros.register_init_929
0010ca22sub r15, 184
0010ca29cmp r15, [r14]
0010ca2cjb 0x10d2c2
0010ca32
0010ca32loc_10ca32:
0010ca32lea rax, [r15+8]
0010ca36add rax, 144
0010ca3cmov [rax-8], 4343
0010ca44lea rbx, [rip-0x15a2b]
0010ca4bmov [rax], rbx
0010ca4emov rdi, 0x200000000000007
0010ca58mov [rax+8], rdi
0010ca5clea rdi, [rip+27101]
0010ca63mov [rax+16], rdi
0010ca67mov rsi, [rsp+40]
0010ca6cmov [rax+24], rsi
0010ca70lea rdi, [rax-40]
0010ca74mov [rdi-8], 4343
0010ca7cmov [rdi], rbx
0010ca7fmov rdx, 0x200000000000007
0010ca89mov [rdi+8], rdx
0010ca8dlea rdx, [rip+27164]
0010ca94mov [rdi+16], rdx
0010ca98mov [rdi+24], rsi
0010ca9clea rdx, [rdi-40]
0010caa0mov [rdx-8], 4343
0010caa8mov [rdx], rbx
0010caabmov rbx, 0x200000000000007
0010cab5mov [rdx+8], rbx
0010cab9lea rbx, [rip+27232]
0010cac0mov [rdx+16], rbx
0010cac4mov r8, [rsp+32]
0010cac9mov [rdx+24], r8
0010cacdlea rbx, [rdx-64]
0010cad1mov [rbx-8], 7415
0010cad9lea rcx, [rip+27312]
0010cae0mov [rbx], rcx
0010cae3mov rcx, 0x100000000000005
0010caedmov [rbx+8], rcx
0010caf1mov [rbx+16], rax
0010caf5mov [rbx+24], rdi
0010caf9mov [rbx+32], rdx
0010cafdmov [rbx+40], r8
0010cb01mov [rbx+48], rsi
0010cb05lea rax, [rip+0x17f4b4]
0010cb0ccall camlLatexmacros.register_init_929
0010cb11sub r15, 32
0010cb15cmp r15, [r14]
0010cb18jb 0x10d2b8
0010cb1e
0010cb1eloc_10cb1e:
0010cb1elea rbx, [r15+8]
0010cb22mov [rbx-8], 3319
0010cb2alea rax, [rip+28191]
0010cb31mov [rbx], rax
0010cb34mov rax, 0x100000000000005
0010cb3emov [rbx+8], rax
0010cb42mov rax, [rsp+32]
0010cb47mov [rbx+16], rax
0010cb4bmov rdi, [rax+160]
0010cb52lea rax, [rip+0x17f3af]
0010cb59call caml_apply2
0010cb5esub r15, 32
0010cb62cmp r15, [r14]
0010cb65jb 0x10d2ae
0010cb6b
0010cb6bloc_10cb6b:
0010cb6blea rbx, [r15+8]
0010cb6fmov [rbx-8], 3319
0010cb77lea rax, [rip+28162]
0010cb7emov [rbx], rax
0010cb81mov rax, 0x100000000000005
0010cb8bmov [rbx+8], rax
0010cb8fmov rax, [rsp+32]
0010cb94mov [rbx+16], rax
0010cb98mov rdi, [rax+160]
0010cb9flea rax, [rip+0x17f342]
0010cba6call caml_apply2
0010cbabsub r15, 32
0010cbafcmp r15, [r14]
0010cbb2jb 0x10d2a4
0010cbb8
0010cbb8loc_10cbb8:
0010cbb8lea rbx, [r15+8]
0010cbbcmov [rbx-8], 3319
0010cbc4lea rax, [rip+28133]
0010cbcbmov [rbx], rax
0010cbcemov rax, 0x100000000000005
0010cbd8mov [rbx+8], rax
0010cbdcmov rax, [rsp+32]
0010cbe1mov [rbx+16], rax
0010cbe5mov rdi, [rax+160]
0010cbeclea rax, [rip+0x17f2d5]
0010cbf3call caml_apply2
0010cbf8sub r15, 32
0010cbfccmp r15, [r14]
0010cbffjb 0x10d29a
0010cc05
0010cc05loc_10cc05:
0010cc05lea rbx, [r15+8]
0010cc09mov [rbx-8], 3319
0010cc11lea rax, [rip+28104]
0010cc18mov [rbx], rax
0010cc1bmov rax, 0x100000000000005
0010cc25mov [rbx+8], rax
0010cc29mov rax, [rsp+32]
0010cc2emov [rbx+16], rax
0010cc32mov rdi, [rax+160]
0010cc39lea rax, [rip+0x17f270]
0010cc40call caml_apply2
0010cc45sub r15, 32
0010cc49cmp r15, [r14]
0010cc4cjb 0x10d290
0010cc52
0010cc52loc_10cc52:
0010cc52lea rbx, [r15+8]
0010cc56mov [rbx-8], 3319
0010cc5elea rax, [rip+28139]
0010cc65mov [rbx], rax
0010cc68mov rax, 0x100000000000005
0010cc72mov [rbx+8], rax
0010cc76mov rax, [rsp+32]
0010cc7bmov [rbx+16], rax
0010cc7flea rax, [rip+0x17f212]
0010cc86call camlLatexmacros.register_init_929
0010cc8bsub r15, 32
0010cc8fcmp r15, [r14]
0010cc92jb 0x10d286
0010cc98
0010cc98loc_10cc98:
0010cc98lea rbx, [r15+8]
0010cc9cmov [rbx-8], 3319
0010cca4lea rax, [rip+28309]
0010ccabmov [rbx], rax
0010ccaemov rax, 0x100000000000005
0010ccb8mov [rbx+8], rax
0010ccbcmov rax, [rsp+32]
0010ccc1mov [rbx+16], rax
0010ccc5lea rax, [rip+0x17f19c]
0010cccccall camlLatexmacros.register_init_929
0010ccd1sub r15, 216
0010ccd8cmp r15, [r14]
0010ccdbjb 0x10d27c
0010cce1
0010cce1loc_10cce1:
0010cce1lea rax, [r15+8]
0010cce5add rax, 176
0010ccebmov [rax-8], 4343
0010ccf3lea rsi, [rip-0x15cda]
0010ccfamov [rax], rsi
0010ccfdmov rbx, 0x200000000000007
0010cd07mov [rax+8], rbx
0010cd0blea rbx, [rip+28414]
0010cd12mov [rax+16], rbx
0010cd16mov rdi, [rsp+32]
0010cd1bmov [rax+24], rdi
0010cd1flea rbx, [rax-40]
0010cd23mov [rbx-8], 4343
0010cd2blea rdx, [rip-0x15e02]
0010cd32mov [rbx], rdx
0010cd35mov rdx, 0x300000000000007
0010cd3fmov [rbx+8], rdx
0010cd43lea rdx, [rip+28470]
0010cd4amov [rbx+16], rdx
0010cd4emov [rbx+24], rdi
0010cd52lea rdx, [rbx-40]
0010cd56mov [rdx-8], 4343
0010cd5elea rcx, [rip-0x15fa5]
0010cd65mov [rdx], rcx
0010cd68mov rcx, 0x400000000000007
0010cd72mov [rdx+8], rcx
0010cd76lea rcx, [rip+28531]
0010cd7dmov [rdx+16], rcx
0010cd81mov [rdx+24], rdi
0010cd85lea rcx, [rip+0x17e444]
0010cd8cmov [rsp+24], rcx
0010cd91lea rcx, [rdx-56]
0010cd95mov [rsp+16], rcx
0010cd9amov [rcx-8], 6391
0010cda2mov [rcx], rsi
0010cda5mov r8, 0x200000000000007
0010cdafmov [rcx+8], r8
0010cdb3lea r8, [rip+30374]
0010cdbamov [rcx+16], r8
0010cdbemov [rcx+24], rax
0010cdc2mov [rcx+32], rbx
0010cdc6mov [rcx+40], rdx
0010cdcalea rax, [rcx-40]
0010cdcemov [rsp], rax
0010cdd2mov [rax-8], 4343
0010cddamov [rax], rsi
0010cdddmov rbx, 0x200000000000007
0010cde7mov [rax+8], rbx
0010cdeblea rbx, [rip+30398]
0010cdf2mov [rax+16], rbx
0010cdf6mov [rax+24], rdi
0010cdfalea rax, [rip+0x17e95f]
0010ce01call Stdlib.Printf.sprintf
0010ce06mov rbx, [rsp]
0010ce0asub r15, 40
0010ce0ecmp r15, [r14]
0010ce11jb 0x10d272
0010ce17
0010ce17loc_10ce17:
0010ce17lea rdi, [r15+8]
0010ce1bmov [rsp+8], rdi
0010ce20mov [rdi-8], 4343
0010ce28lea rsi, [rip+30689]
0010ce2fmov [rdi], rsi
0010ce32mov rsi, 0x100000000000005
0010ce3cmov [rdi+8], rsi
0010ce40mov [rdi+16], rax
0010ce44mov [rdi+24], rbx
0010ce48lea rax, [rip+0x17e811]
0010ce4fcall Stdlib.Printf.sprintf
0010ce54mov rbx, [rsp]
0010ce58sub r15, 200
0010ce5fcmp r15, [r14]
0010ce62jb 0x10d268
0010ce68
0010ce68loc_10ce68:
0010ce68lea rdi, [r15+8]
0010ce6cadd rdi, 160
0010ce73mov [rdi-8], 4343
0010ce7blea rsi, [rip+30638]
0010ce82mov [rdi], rsi
0010ce85mov rsi, 0x100000000000005
0010ce8fmov [rdi+8], rsi
0010ce93mov [rdi+16], rax
0010ce97mov [rdi+24], rbx
0010ce9blea rbx, [rip+0x17e30e]
0010cea2lea rsi, [rip+0x17e2ef]
0010cea9lea rax, [rdi-56]
0010ceadmov [rax-8], 6391
0010ceb5lea rdx, [rip+31268]
0010cebcmov [rax], rdx
0010cebfmov rdx, 0x100000000000005
0010cec9mov [rax+8], rdx
0010cecdmov rdx, [rsp+8]
0010ced2mov [rax+16], rdx
0010ced6mov [rax+24], rdi
0010cedamov [rax+32], rbx
0010cedemov [rax+40], rsi
0010cee2lea rdi, [rax-48]
0010cee6mov [rdi-8], 5367
0010ceeelea rbx, [rip-0x15ed5]
0010cef5mov [rdi], rbx
0010cef8mov rbx, 0x200000000000007
0010cf02mov [rdi+8], rbx
0010cf06lea rbx, [rip+31779]
0010cf0dmov [rdi+16], rbx
0010cf11mov rbx, [rsp+16]
0010cf16mov [rdi+24], rbx
0010cf1amov rdx, [rsp+32]
0010cf1fmov [rdi+32], rdx
0010cf23lea rbx, [rdi-56]
0010cf27mov [rbx-8], 6391
0010cf2flea rsi, [rip+32234]
0010cf36mov [rbx], rsi
0010cf39mov rsi, 0x100000000000005
0010cf43mov [rbx+8], rsi
0010cf47mov rsi, [rsp+24]
0010cf4cmov [rbx+16], rsi
0010cf50mov [rbx+24], rax
0010cf54mov [rbx+32], rdi
0010cf58mov [rbx+40], rdx
0010cf5clea rax, [rip+0x17e635]
0010cf63call camlLatexmacros.register_init_929
0010cf68lea rax, [rip+0x17e211]
0010cf6fmov [rsp], rax
0010cf73lea rdi, [rip+0x17e1e6]
0010cf7amov [rsp+8], rdi
0010cf7fsub r15, 56
0010cf83cmp r15, [r14]
0010cf86jb 0x10d25e
0010cf8c
0010cf8cloc_10cf8c:
0010cf8clea rbx, [r15+8]
0010cf90mov [rbx-8], 6391
0010cf98lea rsi, [rip+33505]
0010cf9fmov [rbx], rsi
0010cfa2mov rsi, 0x100000000000005
0010cfacmov [rbx+8], rsi
0010cfb0mov [rbx+16], rax
0010cfb4mov [rbx+24], rdi
0010cfb8mov rax, [rsp+32]
0010cfbdmov [rbx+32], rax
0010cfc1mov rdi, [rsp+40]
0010cfc6mov [rbx+40], rdi
0010cfcamov rdi, [rax+160]
0010cfd1lea rax, [rip+0x17e550]
0010cfd8call caml_apply2
0010cfddsub r15, 56
0010cfe1cmp r15, [r14]
0010cfe4jb 0x10d254
0010cfea
0010cfealoc_10cfea:
0010cfealea rbx, [r15+8]
0010cfeemov [rbx-8], 6391
0010cff6lea rax, [rip+33699]
0010cffdmov [rbx], rax
0010d000mov rax, 0x100000000000005
0010d00amov [rbx+8], rax
0010d00emov rax, [rsp]
0010d012mov [rbx+16], rax
0010d016mov rax, [rsp+8]
0010d01bmov [rbx+24], rax
0010d01fmov rax, [rsp+32]
0010d024mov [rbx+32], rax
0010d028mov rdi, [rsp+40]
0010d02dmov [rbx+40], rdi
0010d031mov rdi, [rax+160]
0010d038lea rax, [rip+0x17e4a1]
0010d03fcall caml_apply2
0010d044sub r15, 56
0010d048cmp r15, [r14]
0010d04bjb 0x10d24a
0010d051
0010d051loc_10d051:
0010d051lea rbx, [r15+8]
0010d055mov [rbx-8], 6391
0010d05dlea rax, [rip+33900]
0010d064mov [rbx], rax
0010d067mov rax, 0x100000000000005
0010d071mov [rbx+8], rax
0010d075mov rax, [rsp]
0010d079mov [rbx+16], rax
0010d07dmov rax, [rsp+8]
0010d082mov [rbx+24], rax
0010d086mov rax, [rsp+32]
0010d08bmov [rbx+32], rax
0010d08fmov rdi, [rsp+40]
0010d094mov [rbx+40], rdi
0010d098mov rdi, [rax+160]
0010d09flea rax, [rip+0x17e40a]
0010d0a6call caml_apply2
0010d0absub r15, 32
0010d0afcmp r15, [r14]
0010d0b2jb 0x10d240
0010d0b8
0010d0b8loc_10d0b8:
0010d0b8lea rbx, [r15+8]
0010d0bcmov [rbx-8], 3319
0010d0c4lea rax, [rip+34101]
0010d0cbmov [rbx], rax
0010d0cemov rax, 0x100000000000005
0010d0d8mov [rbx+8], rax
0010d0dcmov rax, [rsp+40]
0010d0e1mov [rbx+16], rax
0010d0e5mov rax, [rsp+32]
0010d0eamov rdi, [rax+160]
0010d0f1lea rax, [rip+0x17e370]
0010d0f8call caml_apply2
0010d0fdsub r15, 32
0010d101cmp r15, [r14]
0010d104jb 0x10d236
0010d10a
0010d10aloc_10d10a:
0010d10alea rbx, [r15+8]
0010d10emov [rbx-8], 3319
0010d116lea rax, [rip+34147]
0010d11dmov [rbx], rax
0010d120mov rax, 0x100000000000005
0010d12amov [rbx+8], rax
0010d12emov rax, [rsp+40]
0010d133mov [rbx+16], rax
0010d137mov rax, [rsp+32]
0010d13cmov rdi, [rax+160]
0010d143lea rax, [rip+0x17e2e6]
0010d14acall caml_apply2
0010d14fsub r15, 56
0010d153cmp r15, [r14]
0010d156jb 0x10d22c
0010d15c
0010d15cloc_10d15c:
0010d15clea rbx, [r15+8]
0010d160mov [rbx-8], 6391
0010d168lea rax, [rip+34145]
0010d16fmov [rbx], rax
0010d172mov rax, 0x100000000000005
0010d17cmov [rbx+8], rax
0010d180mov rax, [rsp]
0010d184mov [rbx+16], rax
0010d188mov rax, [rsp+8]
0010d18dmov [rbx+24], rax
0010d191mov rax, [rsp+32]
0010d196mov [rbx+32], rax
0010d19amov rdi, [rsp+40]
0010d19fmov [rbx+40], rdi
0010d1a3mov rdi, [rax+160]
0010d1aalea rax, [rip+0x17e267]
0010d1b1call caml_apply2
0010d1b6sub r15, 56
0010d1bacmp r15, [r14]
0010d1bdjb 0x10d225
0010d1bf
0010d1bfloc_10d1bf:
0010d1bflea rbx, [r15+8]
0010d1c3mov [rbx-8], 6391
0010d1cblea rax, [rip+34334]
0010d1d2mov [rbx], rax
0010d1d5mov rax, 0x100000000000005
0010d1dfmov [rbx+8], rax
0010d1e3mov rax, [rsp]
0010d1e7mov [rbx+16], rax
0010d1ebmov rax, [rsp+8]
0010d1f0mov [rbx+24], rax
0010d1f4mov rax, [rsp+32]
0010d1f9mov [rbx+32], rax
0010d1fdmov rdi, [rsp+40]
0010d202mov [rbx+40], rdi
0010d206mov rdi, [rax+160]
0010d20dlea rax, [rip+0x17e1bc]
0010d214call caml_apply2
0010d219lea rax, [rip+0x17e188]
0010d220add rsp, 48
0010d224ret
0010d225
0010d225loc_10d225:
0010d225call caml_call_gc
0010d22ajmp 0x10d1bf
0010d22c
0010d22cloc_10d22c:
0010d22ccall caml_call_gc
0010d231jmp 0x10d15c
0010d236
0010d236loc_10d236:
0010d236call caml_call_gc
0010d23bjmp 0x10d10a
0010d240
0010d240loc_10d240:
0010d240call caml_call_gc
0010d245jmp 0x10d0b8
0010d24a
0010d24aloc_10d24a:
0010d24acall caml_call_gc
0010d24fjmp 0x10d051
0010d254
0010d254loc_10d254:
0010d254call caml_call_gc
0010d259jmp 0x10cfea
0010d25e
0010d25eloc_10d25e:
0010d25ecall caml_call_gc
0010d263jmp 0x10cf8c
0010d268
0010d268loc_10d268:
0010d268call caml_call_gc
0010d26djmp 0x10ce68
0010d272
0010d272loc_10d272:
0010d272call caml_call_gc
0010d277jmp 0x10ce17
0010d27c
0010d27cloc_10d27c:
0010d27ccall caml_call_gc
0010d281jmp 0x10cce1
0010d286
0010d286loc_10d286:
0010d286call caml_call_gc
0010d28bjmp 0x10cc98
0010d290
0010d290loc_10d290:
0010d290call caml_call_gc
0010d295jmp 0x10cc52
0010d29a
0010d29aloc_10d29a:
0010d29acall caml_call_gc
0010d29fjmp 0x10cc05
0010d2a4
0010d2a4loc_10d2a4:
0010d2a4call caml_call_gc
0010d2a9jmp 0x10cbb8
0010d2ae
0010d2aeloc_10d2ae:
0010d2aecall caml_call_gc
0010d2b3jmp 0x10cb6b
0010d2b8
0010d2b8loc_10d2b8:
0010d2b8call caml_call_gc
0010d2bdjmp 0x10cb1e
0010d2c2
0010d2c2loc_10d2c2:
0010d2c2call caml_call_gc
0010d2c7jmp 0x10ca32
0010d2cc
0010d2ccloc_10d2cc:
0010d2cccall caml_call_gc
0010d2d1jmp 0x10c9e0
0010d2d6
0010d2d6loc_10d2d6:
0010d2d6call caml_call_gc
0010d2dbjmp 0x10c991
0010d2e0
0010d2e0loc_10d2e0:
0010d2e0call caml_call_gc
0010d2e5jmp 0x10c8e3
0010d2ea
0010d2ealoc_10d2ea:
0010d2eacall caml_call_gc
0010d2efjmp 0x10c88c
0010d2f4
0010d2f4loc_10d2f4:
0010d2f4call caml_call_gc
0010d2f9jmp 0x10c82c
0010d2fe
0010d2feloc_10d2fe:
0010d2fecall caml_call_gc
0010d303jmp 0x10c7db
0010d308
0010d308loc_10d308:
0010d308call caml_call_gc
0010d30djmp 0x10c78c
0010d312
0010d312loc_10d312:
0010d312call caml_call_gc
0010d317jmp 0x10c746
0010d31c
0010d31cloc_10d31c:
0010d31ccall caml_call_gc
0010d321jmp 0x10c6f7
0010d326
0010d326loc_10d326:
0010d326call caml_call_gc
0010d32bjmp 0x10c6a8
0010d330
0010d330loc_10d330:
0010d330call caml_call_gc
0010d335jmp 0x10c650
0010d33a
0010d33aloc_10d33a:
0010d33acall caml_call_gc
0010d33fjmp 0x10c60a
0010d344
0010d344loc_10d344:
0010d344call caml_call_gc
0010d349jmp 0x10c5bb
0010d34e
0010d34eloc_10d34e:
0010d34ecall caml_call_gc
0010d353jmp 0x10c569
0010d358
0010d358loc_10d358:
0010d358call caml_call_gc
0010d35djmp 0x10c513
0010d362
0010d362loc_10d362:
0010d362call caml_call_gc
0010d367jmp 0x10c4bd
0010d36c
0010d36cloc_10d36c:
0010d36ccall caml_call_gc
0010d371jmp 0x10c467
0010d376
0010d376loc_10d376:
0010d376call caml_call_gc
0010d37bjmp 0x10c411
0010d380
0010d380loc_10d380:
0010d380call caml_call_gc
0010d385jmp 0x10c3bb
0010d38a
0010d38aloc_10d38a:
0010d38acall caml_call_gc
0010d38fjmp 0x10c33d
0010d394
0010d394loc_10d394:
0010d394call caml_call_gc
0010d399jmp 0x10c2f0
0010d39e
0010d39eloc_10d39e:
0010d39ecall caml_call_gc
0010d3a3jmp 0x10c2a3
0010d3a8
0010d3a8loc_10d3a8:
0010d3a8call caml_call_gc
0010d3adjmp 0x10c256
0010d3b2
0010d3b2loc_10d3b2:
0010d3b2call caml_call_gc
0010d3b7jmp 0x10c151
0010d3bc
0010d3bcloc_10d3bc:
0010d3bccall caml_call_gc
0010d3c1jmp 0x10c104
0010d3c6
0010d3c6loc_10d3c6:
0010d3c6call caml_call_gc
0010d3cbjmp 0x10c0af
0010d3d0
0010d3d0loc_10d3d0:
0010d3d0call caml_call_gc
0010d3d5jmp 0x10c05a
0010d3da
0010d3daloc_10d3da:
0010d3dacall caml_call_gc
0010d3dfjmp 0x10c005
0010d3e4
0010d3e4loc_10d3e4:
0010d3e4call caml_call_gc
0010d3e9jmp 0x10bfb4
0010d3ee
0010d3eeloc_10d3ee:
0010d3eecall caml_call_gc
0010d3f3jmp 0x10bf5c
0010d3f8
0010d3f8loc_10d3f8:
0010d3f8call caml_call_gc
0010d3fdjmp 0x10bf0f
0010d402
0010d402loc_10d402:
0010d402call caml_call_gc
0010d407jmp 0x10bec2
0010d40c
0010d40cloc_10d40c:
0010d40ccall caml_call_gc
0010d411jmp 0x10be1e
0010d416
0010d416loc_10d416:
0010d416call caml_call_gc
0010d41bjmp 0x10bdc8
0010d420
0010d420loc_10d420:
0010d420call caml_call_gc
0010d425jmp 0x10bd72
0010d42a
0010d42aloc_10d42a:
0010d42acall caml_call_gc
0010d42fjmp 0x10bd1c
0010d434
0010d434loc_10d434:
0010d434call caml_call_gc
0010d439jmp 0x10bccf
0010d43e
0010d43eloc_10d43e:
0010d43ecall caml_call_gc
0010d443jmp 0x10bc82
0010d448
0010d448loc_10d448:
0010d448call caml_call_gc
0010d44djmp 0x10bb4b
0010d452
0010d452loc_10d452:
0010d452call caml_call_gc
0010d457jmp 0x10bafe
0010d45c
0010d45cloc_10d45c:
0010d45ccall caml_call_gc
0010d461jmp 0x10bab1
0010d466
0010d466loc_10d466:
0010d466call caml_call_gc
0010d46bjmp 0x10ba64
0010d470
0010d470loc_10d470:
0010d470call caml_call_gc
0010d475jmp 0x10b9f8
0010d47a
0010d47aloc_10d47a:
0010d47acall caml_call_gc
0010d47fjmp 0x10b98c
0010d484
0010d484loc_10d484:
0010d484call caml_call_gc
0010d489jmp 0x10b93a
0010d48e
0010d48eloc_10d48e:
0010d48ecall caml_call_gc
0010d493jmp 0x10b8e4
0010d498
0010d498loc_10d498:
0010d498call caml_call_gc
0010d49djmp 0x10b88e
0010d4a2
0010d4a2loc_10d4a2:
0010d4a2call caml_call_gc
0010d4a7jmp 0x10b838
0010d4ac
0010d4acloc_10d4ac:
0010d4accall caml_call_gc
0010d4b1jmp 0x10b7e2
0010d4b6
0010d4b6loc_10d4b6:
0010d4b6call caml_call_gc
0010d4bbjmp 0x10b78c
0010d4c0
0010d4c0loc_10d4c0:
0010d4c0call caml_call_gc
0010d4c5jmp 0x10b736
0010d4ca
0010d4caloc_10d4ca:
0010d4cacall caml_call_gc
0010d4cfjmp 0x10b6e9
0010d4d4
0010d4d4loc_10d4d4:
0010d4d4call caml_call_gc
0010d4d9jmp 0x10b634
0010d4de
0010d4deloc_10d4de:
0010d4decall caml_call_gc
0010d4e3jmp 0x10b38b
0010d4e8
0010d4e8loc_10d4e8:
0010d4e8call caml_call_gc
0010d4edjmp 0x10b2d8
0010d4f2
0010d4f2loc_10d4f2:
0010d4f2call caml_call_gc
0010d4f7jmp 0x10b17f
0010d4fc
0010d4fcloc_10d4fc:
0010d4fcpush 39
0010d4fecall caml_call_realloc_stack
0010d503pop r10
0010d505jmp 0x10b142
0010b130