File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001335b0
001335b0camlLatexscan.fun_7063:
001335b0lea r10, [rsp-336]
001335b8cmp r10, [r14+40]
001335bcjb 0x1335f3
001335be
001335beloc_1335be:
001335besub rsp, 16
001335c2mov [rsp+8], rax
001335c7mov [rsp], rbx
001335cbmov rax, [rbx+24]
001335cfmov rbx, [rax+8]
001335d3mov eax, 1
001335d8mov rdi, [rbx]
001335dbcall rdi
001335ddmov rax, [rsp]
001335e1mov rbx, [rax+16]
001335e5mov rax, [rsp+8]
001335eaadd rsp, 16
001335eejmp 0x127b00
001335f3
001335f3loc_1335f3:
001335f3push 35
001335f5call caml_call_realloc_stack
001335fapop r10
001335fcjmp 0x1335be
001335b0
001335b0camlLatexscan.fun_7063:
001335b0lea r10, [rsp-336]
001335b8cmp r10, [r14+40]
001335bcjb 0x1335f3
001335be
001335beloc_1335be:
001335besub rsp, 16
001335c2mov [rsp+8], rax
001335c7mov [rsp], rbx
001335cbmov rax, [rbx+24]
001335cfmov rbx, [rax+8]
001335d3mov eax, 1
001335d8mov rdi, [rbx]
001335dbcall rdi
001335ddmov rax, [rsp]
001335e1mov rbx, [rax+16]
001335e5mov rax, [rsp+8]
001335eaadd rsp, 16
001335eejmp 0x127b00
001335f3
001335f3loc_1335f3:
001335f3push 35
001335f5call caml_call_realloc_stack
001335fapop r10
001335fcjmp 0x1335be
001335b0
001335fe
001335fe // align 0x10
001335fe // align 0x10
00133600
00133600camlLatexscan.fun_7069:
00133600lea r10, [rsp-336]
00133608cmp r10, [r14+40]
0013360cjb 0x133643
0013360e
0013360eloc_13360e:
0013360esub rsp, 16
00133612mov [rsp+8], rax
00133617mov [rsp], rbx
0013361bmov rax, [rbx+24]
0013361fmov rbx, [rax+16]
00133623mov eax, 1
00133628mov rdi, [rbx]
0013362bcall rdi
0013362dmov rax, [rsp]
00133631mov rbx, [rax+16]
00133635mov rax, [rsp+8]
0013363aadd rsp, 16
0013363ejmp 0x127b00
00133643
00133643loc_133643:
00133643push 35
00133645call caml_call_realloc_stack
0013364apop r10
0013364cjmp 0x13360e
00133600
00133600camlLatexscan.fun_7069:
00133600lea r10, [rsp-336]
00133608cmp r10, [r14+40]
0013360cjb 0x133643
0013360e
0013360eloc_13360e:
0013360esub rsp, 16
00133612mov [rsp+8], rax
00133617mov [rsp], rbx
0013361bmov rax, [rbx+24]
0013361fmov rbx, [rax+16]
00133623mov eax, 1
00133628mov rdi, [rbx]
0013362bcall rdi
0013362dmov rax, [rsp]
00133631mov rbx, [rax+16]
00133635mov rax, [rsp+8]
0013363aadd rsp, 16
0013363ejmp 0x127b00
00133643
00133643loc_133643:
00133643push 35
00133645call caml_call_realloc_stack
0013364apop r10
0013364cjmp 0x13360e
00133600
0013364e
0013364e // align 0x10
0013364e // align 0x10
00133650
00133650camlLatexscan.fun_7075:
00133650lea r10, [rsp-336]
00133658cmp r10, [r14+40]
0013365cjb 0x133693
0013365e
0013365eloc_13365e:
0013365esub rsp, 16
00133662mov [rsp+8], rax
00133667mov [rsp], rbx
0013366bmov rax, [rbx+24]
0013366fmov rbx, [rax+16]
00133673mov eax, 1
00133678mov rdi, [rbx]
0013367bcall rdi
0013367dmov rax, [rsp]
00133681mov rbx, [rax+16]
00133685mov rax, [rsp+8]
0013368aadd rsp, 16
0013368ejmp 0x127b00
00133693
00133693loc_133693:
00133693push 35
00133695call caml_call_realloc_stack
0013369apop r10
0013369cjmp 0x13365e
00133650
00133650camlLatexscan.fun_7075:
00133650lea r10, [rsp-336]
00133658cmp r10, [r14+40]
0013365cjb 0x133693
0013365e
0013365eloc_13365e:
0013365esub rsp, 16
00133662mov [rsp+8], rax
00133667mov [rsp], rbx
0013366bmov rax, [rbx+24]
0013366fmov rbx, [rax+16]
00133673mov eax, 1
00133678mov rdi, [rbx]
0013367bcall rdi
0013367dmov rax, [rsp]
00133681mov rbx, [rax+16]
00133685mov rax, [rsp+8]
0013368aadd rsp, 16
0013368ejmp 0x127b00
00133693
00133693loc_133693:
00133693push 35
00133695call caml_call_realloc_stack
0013369apop r10
0013369cjmp 0x13365e
00133650
0013369e
0013369e // align 0x10
0013369e // align 0x10
001336a0
001336a0camlLatexscan.fun_7081:
001336a0lea r10, [rsp-336]
001336a8cmp r10, [r14+40]
001336acjb 0x1336e3
001336ae
001336aeloc_1336ae:
001336aesub rsp, 16
001336b2mov [rsp+8], rax
001336b7mov [rsp], rbx
001336bbmov rax, [rbx+24]
001336bfmov rbx, [rax+24]
001336c3mov eax, 1
001336c8mov rdi, [rbx]
001336cbcall rdi
001336cdmov rax, [rsp]
001336d1mov rbx, [rax+16]
001336d5mov rax, [rsp+8]
001336daadd rsp, 16
001336dejmp 0x127b00
001336e3
001336e3loc_1336e3:
001336e3push 35
001336e5call caml_call_realloc_stack
001336eapop r10
001336ecjmp 0x1336ae
001336a0
001336a0camlLatexscan.fun_7081:
001336a0lea r10, [rsp-336]
001336a8cmp r10, [r14+40]
001336acjb 0x1336e3
001336ae
001336aeloc_1336ae:
001336aesub rsp, 16
001336b2mov [rsp+8], rax
001336b7mov [rsp], rbx
001336bbmov rax, [rbx+24]
001336bfmov rbx, [rax+24]
001336c3mov eax, 1
001336c8mov rdi, [rbx]
001336cbcall rdi
001336cdmov rax, [rsp]
001336d1mov rbx, [rax+16]
001336d5mov rax, [rsp+8]
001336daadd rsp, 16
001336dejmp 0x127b00
001336e3
001336e3loc_1336e3:
001336e3push 35
001336e5call caml_call_realloc_stack
001336eapop r10
001336ecjmp 0x1336ae
001336a0
001336ee
001336ee // align 0x10
001336ee // align 0x10
001336f0
001336f0camlLatexscan.fun_7087:
001336f0lea r10, [rsp-336]
001336f8cmp r10, [r14+40]
001336fcjb 0x13374e
001336fe
001336feloc_1336fe:
001336fesub rsp, 16
00133702mov [rsp+8], rbx
00133707cmp r15, [r14]
0013370ajbe 0x133747
0013370c
0013370cloc_13370c:
0013370cmov rbx, [rbx+16]
00133710mov [rsp], rbx
00133714call camlLexstate.save_arg_1030
00133719mov rbx, rax
0013371cmov rax, [rsp]
00133720mov rdi, [rax+16]
00133724mov rax, [rdi+16]
00133728mov rdi, [rdi+24]
0013372ccall camlLatexscan.do_get_prim_onarg_1872
00133731mov rbx, [rsp+8]
00133736mov rbx, [rbx+24]
0013373amov rbx, [rbx+32]
0013373emov rdi, [rbx]
00133741add rsp, 16
00133745jmp rdi
00133747
00133747loc_133747:
00133747call caml_call_gc
0013374cjmp 0x13370c
0013374e
0013374eloc_13374e:
0013374epush 35
00133750call caml_call_realloc_stack
00133755pop r10
00133757jmp 0x1336fe
001336f0
001336f0camlLatexscan.fun_7087:
001336f0lea r10, [rsp-336]
001336f8cmp r10, [r14+40]
001336fcjb 0x13374e
001336fe
001336feloc_1336fe:
001336fesub rsp, 16
00133702mov [rsp+8], rbx
00133707cmp r15, [r14]
0013370ajbe 0x133747
0013370c
0013370cloc_13370c:
0013370cmov rbx, [rbx+16]
00133710mov [rsp], rbx
00133714call camlLexstate.save_arg_1030
00133719mov rbx, rax
0013371cmov rax, [rsp]
00133720mov rdi, [rax+16]
00133724mov rax, [rdi+16]
00133728mov rdi, [rdi+24]
0013372ccall camlLatexscan.do_get_prim_onarg_1872
00133731mov rbx, [rsp+8]
00133736mov rbx, [rbx+24]
0013373amov rbx, [rbx+32]
0013373emov rdi, [rbx]
00133741add rsp, 16
00133745jmp rdi
00133747
00133747loc_133747:
00133747call caml_call_gc
0013374cjmp 0x13370c
0013374e
0013374eloc_13374e:
0013374epush 35
00133750call caml_call_realloc_stack
00133755pop r10
00133757jmp 0x1336fe
001336f0
00133759
00133759 // align 0x10
00133759 // align 0x10
00133760
00133760camlLatexscan.fun_7101:
00133760lea r10, [rsp-336]
00133768cmp r10, [r14+40]
0013376cjb 0x1337c1
0013376e
0013376eloc_13376e:
0013376esub rsp, 16
00133772mov [rsp+8], rbx
00133777cmp r15, [r14]
0013377ajbe 0x1337ba
0013377c
0013377cloc_13377c:
0013377cmov rbx, [rbx+16]
00133780mov [rsp], rbx
00133784call camlLexstate.save_arg_1030
00133789mov rbx, rax
0013378cmov rax, [rsp]
00133790mov rdi, [rax+16]
00133794mov rax, [rdi+16]
00133798mov rdi, [rdi+24]
0013379ccall camlLatexscan.do_get_prim_onarg_1872
001337a1mov rbx, [rsp+8]
001337a6mov rbx, [rbx+24]
001337aamov rbx, [rbx+632]
001337b1mov rdi, [rbx]
001337b4add rsp, 16
001337b8jmp rdi
001337ba
001337baloc_1337ba:
001337bacall caml_call_gc
001337bfjmp 0x13377c
001337c1
001337c1loc_1337c1:
001337c1push 35
001337c3call caml_call_realloc_stack
001337c8pop r10
001337cajmp 0x13376e
00133760
00133760camlLatexscan.fun_7101:
00133760lea r10, [rsp-336]
00133768cmp r10, [r14+40]
0013376cjb 0x1337c1
0013376e
0013376eloc_13376e:
0013376esub rsp, 16
00133772mov [rsp+8], rbx
00133777cmp r15, [r14]
0013377ajbe 0x1337ba
0013377c
0013377cloc_13377c:
0013377cmov rbx, [rbx+16]
00133780mov [rsp], rbx
00133784call camlLexstate.save_arg_1030
00133789mov rbx, rax
0013378cmov rax, [rsp]
00133790mov rdi, [rax+16]
00133794mov rax, [rdi+16]
00133798mov rdi, [rdi+24]
0013379ccall camlLatexscan.do_get_prim_onarg_1872
001337a1mov rbx, [rsp+8]
001337a6mov rbx, [rbx+24]
001337aamov rbx, [rbx+632]
001337b1mov rdi, [rbx]
001337b4add rsp, 16
001337b8jmp rdi
001337ba
001337baloc_1337ba:
001337bacall caml_call_gc
001337bfjmp 0x13377c
001337c1
001337c1loc_1337c1:
001337c1push 35
001337c3call caml_call_realloc_stack
001337c8pop r10
001337cajmp 0x13376e
00133760
001337cc
001337cc // align 0x10
001337cc // align 0x10
001337d0
001337d0camlLatexscan.fun_7115:
001337d0lea r10, [rsp-360]
001337d8cmp r10, [r14+40]
001337dcjb 0x1338a7
001337e2
001337e2loc_1337e2:
001337e2sub rsp, 40
001337e6mov rsi, rax
001337e9mov [rsp+8], rsi
001337eemov [rsp+16], rbx
001337f3cmp r15, [r14]
001337f6jbe 0x13389d
001337fc
001337fcloc_1337fc:
001337fcmov rdi, [rbx+24]
00133800lea rax, [rip+0x16ae61]
00133807mov rbx, rsi
0013380acall camlLatexscan.get_prim_opt_1900
0013380fmov [rsp+24], rax
00133814mov rax, [rsp+16]
00133819mov rax, [rax+16]
0013381dmov [rsp], rax
00133821mov rax, [rsp+8]
00133826call camlLexstate.save_arg_1030
0013382bmov rbx, rax
0013382emov rax, [rsp]
00133832mov rdi, [rax+16]
00133836mov rax, [rdi+16]
0013383amov rdi, [rdi+24]
0013383ecall camlLatexscan.do_get_prim_onarg_1872
00133843mov [rsp+32], rax
00133848mov rax, [rsp+16]
0013384dmov rax, [rax+16]
00133851mov [rsp], rax
00133855mov rax, [rsp+8]
0013385acall camlLexstate.save_arg_1030
0013385fmov rbx, rax
00133862mov rax, [rsp]
00133866mov rdi, [rax+16]
0013386amov rax, [rdi+16]
0013386emov rdi, [rdi+24]
00133872call camlLatexscan.do_get_prim_onarg_1872
00133877mov rdi, rax
0013387amov rax, [rsp+16]
0013387fmov rax, [rax+32]
00133883mov rsi, [rax+640]
0013388amov rax, [rsp+24]
0013388fmov rbx, [rsp+32]
00133894add rsp, 40
00133898jmp 0xf7370
0013389d
0013389dloc_13389d:
0013389dcall caml_call_gc
001338a2jmp 0x1337fc
001338a7
001338a7loc_1338a7:
001338a7push 38
001338a9call caml_call_realloc_stack
001338aepop r10
001338b0jmp 0x1337e2
001337d0
001337d0camlLatexscan.fun_7115:
001337d0lea r10, [rsp-360]
001337d8cmp r10, [r14+40]
001337dcjb 0x1338a7
001337e2
001337e2loc_1337e2:
001337e2sub rsp, 40
001337e6mov rsi, rax
001337e9mov [rsp+8], rsi
001337eemov [rsp+16], rbx
001337f3cmp r15, [r14]
001337f6jbe 0x13389d
001337fc
001337fcloc_1337fc:
001337fcmov rdi, [rbx+24]
00133800lea rax, [rip+0x16ae61]
00133807mov rbx, rsi
0013380acall camlLatexscan.get_prim_opt_1900
0013380fmov [rsp+24], rax
00133814mov rax, [rsp+16]
00133819mov rax, [rax+16]
0013381dmov [rsp], rax
00133821mov rax, [rsp+8]
00133826call camlLexstate.save_arg_1030
0013382bmov rbx, rax
0013382emov rax, [rsp]
00133832mov rdi, [rax+16]
00133836mov rax, [rdi+16]
0013383amov rdi, [rdi+24]
0013383ecall camlLatexscan.do_get_prim_onarg_1872
00133843mov [rsp+32], rax
00133848mov rax, [rsp+16]
0013384dmov rax, [rax+16]
00133851mov [rsp], rax
00133855mov rax, [rsp+8]
0013385acall camlLexstate.save_arg_1030
0013385fmov rbx, rax
00133862mov rax, [rsp]
00133866mov rdi, [rax+16]
0013386amov rax, [rdi+16]
0013386emov rdi, [rdi+24]
00133872call camlLatexscan.do_get_prim_onarg_1872
00133877mov rdi, rax
0013387amov rax, [rsp+16]
0013387fmov rax, [rax+32]
00133883mov rsi, [rax+640]
0013388amov rax, [rsp+24]
0013388fmov rbx, [rsp+32]
00133894add rsp, 40
00133898jmp 0xf7370
0013389d
0013389dloc_13389d:
0013389dcall caml_call_gc
001338a2jmp 0x1337fc
001338a7
001338a7loc_1338a7:
001338a7push 38
001338a9call caml_call_realloc_stack
001338aepop r10
001338b0jmp 0x1337e2
001337d0
001338b5
001338b5 // align 0x10
001338b5 // align 0x10
001338c0
001338c0camlLatexscan.fun_7141:
001338c0lea r10, [rsp-360]
001338c8cmp r10, [r14+40]
001338ccjb 0x1339a6
001338d2
001338d2loc_1338d2:
001338d2sub rsp, 40
001338d6mov [rsp+8], rax
001338dbmov [rsp+16], rbx
001338e0cmp r15, [r14]
001338e3jbe 0x13399c
001338e9
001338e9loc_1338e9:
001338e9mov rbx, [rbx+16]
001338edmov [rsp], rbx
001338f1call camlLexstate.save_arg_1030
001338f6mov rbx, rax
001338f9mov rax, [rsp]
001338fdmov rdi, [rax+16]
00133901mov rax, [rdi+16]
00133905mov rdi, [rdi+24]
00133909call camlLatexscan.do_get_prim_onarg_1872
0013390emov [rsp+24], rax
00133913mov rax, [rsp+16]
00133918mov rax, [rax+16]
0013391cmov [rsp], rax
00133920mov rax, [rsp+8]
00133925call camlLexstate.save_arg_1030
0013392amov rbx, rax
0013392dmov rax, [rsp]
00133931mov rdi, [rax+16]
00133935mov rax, [rdi+16]
00133939mov rdi, [rdi+24]
0013393dcall camlLatexscan.do_get_prim_onarg_1872
00133942mov [rsp+32], rax
00133947mov rax, [rsp+16]
0013394cmov rax, [rax+16]
00133950mov [rsp], rax
00133954mov rax, [rsp+8]
00133959call camlLexstate.save_arg_1030
0013395emov rbx, rax
00133961mov rax, [rsp]
00133965mov rdi, [rax+16]
00133969mov rax, [rdi+16]
0013396dmov rdi, [rdi+24]
00133971call camlLatexscan.do_get_prim_onarg_1872
00133976mov rdi, rax
00133979mov rax, [rsp+16]
0013397emov rax, [rax+24]
00133982mov rsi, [rax+648]
00133989mov rax, [rsp+24]
0013398emov rbx, [rsp+32]
00133993add rsp, 40
00133997jmp 0xf7370
0013399c
0013399cloc_13399c:
0013399ccall caml_call_gc
001339a1jmp 0x1338e9
001339a6
001339a6loc_1339a6:
001339a6push 38
001339a8call caml_call_realloc_stack
001339adpop r10
001339afjmp 0x1338d2
001338c0
001338c0camlLatexscan.fun_7141:
001338c0lea r10, [rsp-360]
001338c8cmp r10, [r14+40]
001338ccjb 0x1339a6
001338d2
001338d2loc_1338d2:
001338d2sub rsp, 40
001338d6mov [rsp+8], rax
001338dbmov [rsp+16], rbx
001338e0cmp r15, [r14]
001338e3jbe 0x13399c
001338e9
001338e9loc_1338e9:
001338e9mov rbx, [rbx+16]
001338edmov [rsp], rbx
001338f1call camlLexstate.save_arg_1030
001338f6mov rbx, rax
001338f9mov rax, [rsp]
001338fdmov rdi, [rax+16]
00133901mov rax, [rdi+16]
00133905mov rdi, [rdi+24]
00133909call camlLatexscan.do_get_prim_onarg_1872
0013390emov [rsp+24], rax
00133913mov rax, [rsp+16]
00133918mov rax, [rax+16]
0013391cmov [rsp], rax
00133920mov rax, [rsp+8]
00133925call camlLexstate.save_arg_1030
0013392amov rbx, rax
0013392dmov rax, [rsp]
00133931mov rdi, [rax+16]
00133935mov rax, [rdi+16]
00133939mov rdi, [rdi+24]
0013393dcall camlLatexscan.do_get_prim_onarg_1872
00133942mov [rsp+32], rax
00133947mov rax, [rsp+16]
0013394cmov rax, [rax+16]
00133950mov [rsp], rax
00133954mov rax, [rsp+8]
00133959call camlLexstate.save_arg_1030
0013395emov rbx, rax
00133961mov rax, [rsp]
00133965mov rdi, [rax+16]
00133969mov rax, [rdi+16]
0013396dmov rdi, [rdi+24]
00133971call camlLatexscan.do_get_prim_onarg_1872
00133976mov rdi, rax
00133979mov rax, [rsp+16]
0013397emov rax, [rax+24]
00133982mov rsi, [rax+648]
00133989mov rax, [rsp+24]
0013398emov rbx, [rsp+32]
00133993add rsp, 40
00133997jmp 0xf7370
0013399c
0013399cloc_13399c:
0013399ccall caml_call_gc
001339a1jmp 0x1338e9
001339a6
001339a6loc_1339a6:
001339a6push 38
001339a8call caml_call_realloc_stack
001339adpop r10
001339afjmp 0x1338d2
001338c0
001339b4
001339b4 // align 0x10
001339b4 // align 0x10
001339c0
001339c0camlLatexscan.fun_7175:
001339c0lea r10, [rsp-336]
001339c8cmp r10, [r14+40]
001339ccjb 0x133a21
001339ce
001339celoc_1339ce:
001339cesub rsp, 16
001339d2mov [rsp+8], rbx
001339d7cmp r15, [r14]
001339dajbe 0x133a1a
001339dc
001339dcloc_1339dc:
001339dcmov rbx, [rbx+16]
001339e0mov [rsp], rbx
001339e4call camlLexstate.save_arg_1030
001339e9mov rbx, rax
001339ecmov rax, [rsp]
001339f0mov rdi, [rax+16]
001339f4mov rax, [rdi+16]
001339f8mov rdi, [rdi+24]
001339fccall camlLatexscan.do_get_prim_onarg_1872
00133a01mov rbx, [rsp+8]
00133a06mov rbx, [rbx+24]
00133a0amov rbx, [rbx+392]
00133a11mov rdi, [rbx]
00133a14add rsp, 16
00133a18jmp rdi
00133a1a
00133a1aloc_133a1a:
00133a1acall caml_call_gc
00133a1fjmp 0x1339dc
00133a21
00133a21loc_133a21:
00133a21push 35
00133a23call caml_call_realloc_stack
00133a28pop r10
00133a2ajmp 0x1339ce
001339c0
001339c0camlLatexscan.fun_7175:
001339c0lea r10, [rsp-336]
001339c8cmp r10, [r14+40]
001339ccjb 0x133a21
001339ce
001339celoc_1339ce:
001339cesub rsp, 16
001339d2mov [rsp+8], rbx
001339d7cmp r15, [r14]
001339dajbe 0x133a1a
001339dc
001339dcloc_1339dc:
001339dcmov rbx, [rbx+16]
001339e0mov [rsp], rbx
001339e4call camlLexstate.save_arg_1030
001339e9mov rbx, rax
001339ecmov rax, [rsp]
001339f0mov rdi, [rax+16]
001339f4mov rax, [rdi+16]
001339f8mov rdi, [rdi+24]
001339fccall camlLatexscan.do_get_prim_onarg_1872
00133a01mov rbx, [rsp+8]
00133a06mov rbx, [rbx+24]
00133a0amov rbx, [rbx+392]
00133a11mov rdi, [rbx]
00133a14add rsp, 16
00133a18jmp rdi
00133a1a
00133a1aloc_133a1a:
00133a1acall caml_call_gc
00133a1fjmp 0x1339dc
00133a21
00133a21loc_133a21:
00133a21push 35
00133a23call caml_call_realloc_stack
00133a28pop r10
00133a2ajmp 0x1339ce
001339c0
00133a2c
00133a2c // align 0x10
00133a2c // align 0x10
00133a30
00133a30camlLatexscan.safe_len_2716:
00133a30test al, 1
00133a32jne 0x133a48
00133a34movzx rbx, [rax-8]
00133a39cmp rbx, 3
00133a3djl 0x133a48
00133a3fmov eax, 1
00133a44ret
00133a45
00133a45 0f 1f 00 ...
00133a48
00133a48loc_133a48:
00133a48ret
00133a30
00133a30camlLatexscan.safe_len_2716:
00133a30test al, 1
00133a32jne 0x133a48
00133a34movzx rbx, [rax-8]
00133a39cmp rbx, 3
00133a3djl 0x133a48
00133a3fmov eax, 1
00133a44ret
00133a45
00133a45 0f 1f 00 ...
00133a48
00133a48loc_133a48:
00133a48ret
00133a30
00133a49
00133a49 // align 0x10
00133a49 // align 0x10
00133a50
00133a50camlLatexscan.wrap_hr_2719:
00133a50sub r15, 56
00133a54cmp r15, [r14]
00133a57jb 0x133aa5
00133a59
00133a59loc_133a59:
00133a59lea rdi, [r15+8]
00133a5dmov [rdi-8], 6391
00133a65lea rsi, [rip+68]
00133a6cmov [rdi], rsi
00133a6fmov rsi, 0x100000000000005
00133a79mov [rdi+8], rsi
00133a7dmov rsi, [rbx+16]
00133a81mov [rdi+16], rsi
00133a85mov rsi, [rbx+24]
00133a89mov [rdi+24], rsi
00133a8dmov [rdi+32], rax
00133a91mov rax, [rbx+40]
00133a95mov [rdi+40], rax
00133a99mov rbx, [rbx+32]
00133a9dmov rax, rdi
00133aa0jmp 0x12cac0
00133aa5
00133aa5loc_133aa5:
00133aa5call caml_call_gc
00133aaajmp 0x133a59
00133a50
00133a50camlLatexscan.wrap_hr_2719:
00133a50sub r15, 56
00133a54cmp r15, [r14]
00133a57jb 0x133aa5
00133a59
00133a59loc_133a59:
00133a59lea rdi, [r15+8]
00133a5dmov [rdi-8], 6391
00133a65lea rsi, [rip+68]
00133a6cmov [rdi], rsi
00133a6fmov rsi, 0x100000000000005
00133a79mov [rdi+8], rsi
00133a7dmov rsi, [rbx+16]
00133a81mov [rdi+16], rsi
00133a85mov rsi, [rbx+24]
00133a89mov [rdi+24], rsi
00133a8dmov [rdi+32], rax
00133a91mov rax, [rbx+40]
00133a95mov [rdi+40], rax
00133a99mov rbx, [rbx+32]
00133a9dmov rax, rdi
00133aa0jmp 0x12cac0
00133aa5
00133aa5loc_133aa5:
00133aa5call caml_call_gc
00133aaajmp 0x133a59
00133a50
00133aac
00133aac // align 0x10
00133aac // align 0x10
00133ab0
00133ab0camlLatexscan.fun_7201:
00133ab0lea r10, [rsp-328]
00133ab8cmp r10, [r14+40]
00133abcjb 0x133b12
00133abe
00133abeloc_133abe:
00133abesub rsp, 8
00133ac2mov [rsp], rbx
00133ac6mov rbx, [rbx+16]
00133acamov eax, 1
00133acfcall camlLatexscan.top_open_group_1047
00133ad4mov rax, [rsp]
00133ad8mov rax, [rax+40]
00133adcmov rbx, [rax+48]
00133ae0mov eax, 1
00133ae5mov rdi, [rbx]
00133ae8call rdi
00133aeamov rax, [rsp]
00133aeemov rbx, [rax+32]
00133af2mov eax, 1
00133af7mov rdi, [rbx]
00133afacall rdi
00133afcmov rax, [rsp]
00133b00mov rbx, [rax+24]
00133b04mov eax, 1
00133b09add rsp, 8
00133b0djmp 0x124110
00133b12
00133b12loc_133b12:
00133b12push 34
00133b14call caml_call_realloc_stack
00133b19pop r10
00133b1bjmp 0x133abe
00133ab0
00133ab0camlLatexscan.fun_7201:
00133ab0lea r10, [rsp-328]
00133ab8cmp r10, [r14+40]
00133abcjb 0x133b12
00133abe
00133abeloc_133abe:
00133abesub rsp, 8
00133ac2mov [rsp], rbx
00133ac6mov rbx, [rbx+16]
00133acamov eax, 1
00133acfcall camlLatexscan.top_open_group_1047
00133ad4mov rax, [rsp]
00133ad8mov rax, [rax+40]
00133adcmov rbx, [rax+48]
00133ae0mov eax, 1
00133ae5mov rdi, [rbx]
00133ae8call rdi
00133aeamov rax, [rsp]
00133aeemov rbx, [rax+32]
00133af2mov eax, 1
00133af7mov rdi, [rbx]
00133afacall rdi
00133afcmov rax, [rsp]
00133b00mov rbx, [rax+24]
00133b04mov eax, 1
00133b09add rsp, 8
00133b0djmp 0x124110
00133b12
00133b12loc_133b12:
00133b12push 34
00133b14call caml_call_realloc_stack
00133b19pop r10
00133b1bjmp 0x133abe
00133ab0
00133b1d
00133b1d // align 0x10
00133b1d // align 0x10
00133b20
00133b20camlLatexscan.fun_7210:
00133b20lea r10, [rsp-352]
00133b28cmp r10, [r14+40]
00133b2cjb 0x133c12
00133b32
00133b32loc_133b32:
00133b32sub rsp, 32
00133b36mov [rsp+8], rax
00133b3bmov [rsp+24], rbx
00133b40mov rbx, [rbx+16]
00133b44mov [rsp], rbx
00133b48call camlLexstate.save_arg_1030
00133b4dmov rbx, rax
00133b50mov rax, [rsp]
00133b54mov rdi, [rax+16]
00133b58mov rax, [rdi+16]
00133b5cmov rdi, [rdi+24]
00133b60call camlLatexscan.do_get_prim_onarg_1872
00133b65mov [rsp+16], rax
00133b6amov rax, [rsp+24]
00133b6fmov rax, [rax+16]
00133b73mov [rsp], rax
00133b77mov rax, [rsp+8]
00133b7ccall camlLexstate.save_arg_1030
00133b81mov rbx, rax
00133b84mov rax, [rsp]
00133b88mov rdi, [rax+16]
00133b8cmov rax, [rdi+16]
00133b90mov rdi, [rdi+24]
00133b94call camlLatexscan.do_get_prim_onarg_1872
00133b99call camlGet.get_length_920
00133b9etest al, 1
00133ba0jne 0x133bb4
00133ba2movzx rbx, [rax-8]
00133ba7cmp rbx, 3
00133babjl 0x133bb4
00133badmov eax, 1
00133bb2jmp 0x133bb4
00133bb4
00133bb4loc_133bb4:
00133bb4sub r15, 48
00133bb8cmp r15, [r14]
00133bbbjb 0x133c0b
00133bbd
00133bbdloc_133bbd:
00133bbdlea rdi, [r15+8]
00133bc1mov [rdi-8], 5367
00133bc9lea rbx, [rip+80]
00133bd0mov [rdi], rbx
00133bd3mov rbx, 0x100000000000005
00133bddmov [rdi+8], rbx
00133be1mov rbx, [rsp+16]
00133be6mov [rdi+16], rbx
00133beamov [rdi+24], rax
00133beemov rbx, [rsp+24]
00133bf3mov rax, [rbx+40]
00133bf7mov [rdi+32], rax
00133bfbmov rbx, [rbx+32]
00133bffmov rax, rdi
00133c02add rsp, 32
00133c06jmp 0x133a50
00133c0b
00133c0bloc_133c0b:
00133c0bcall caml_call_gc
00133c10jmp 0x133bbd
00133c12
00133c12loc_133c12:
00133c12push 37
00133c14call caml_call_realloc_stack
00133c19pop r10
00133c1bjmp 0x133b32
00133b20
00133b20camlLatexscan.fun_7210:
00133b20lea r10, [rsp-352]
00133b28cmp r10, [r14+40]
00133b2cjb 0x133c12
00133b32
00133b32loc_133b32:
00133b32sub rsp, 32
00133b36mov [rsp+8], rax
00133b3bmov [rsp+24], rbx
00133b40mov rbx, [rbx+16]
00133b44mov [rsp], rbx
00133b48call camlLexstate.save_arg_1030
00133b4dmov rbx, rax
00133b50mov rax, [rsp]
00133b54mov rdi, [rax+16]
00133b58mov rax, [rdi+16]
00133b5cmov rdi, [rdi+24]
00133b60call camlLatexscan.do_get_prim_onarg_1872
00133b65mov [rsp+16], rax
00133b6amov rax, [rsp+24]
00133b6fmov rax, [rax+16]
00133b73mov [rsp], rax
00133b77mov rax, [rsp+8]
00133b7ccall camlLexstate.save_arg_1030
00133b81mov rbx, rax
00133b84mov rax, [rsp]
00133b88mov rdi, [rax+16]
00133b8cmov rax, [rdi+16]
00133b90mov rdi, [rdi+24]
00133b94call camlLatexscan.do_get_prim_onarg_1872
00133b99call camlGet.get_length_920
00133b9etest al, 1
00133ba0jne 0x133bb4
00133ba2movzx rbx, [rax-8]
00133ba7cmp rbx, 3
00133babjl 0x133bb4
00133badmov eax, 1
00133bb2jmp 0x133bb4
00133bb4
00133bb4loc_133bb4:
00133bb4sub r15, 48
00133bb8cmp r15, [r14]
00133bbbjb 0x133c0b
00133bbd
00133bbdloc_133bbd:
00133bbdlea rdi, [r15+8]
00133bc1mov [rdi-8], 5367
00133bc9lea rbx, [rip+80]
00133bd0mov [rdi], rbx
00133bd3mov rbx, 0x100000000000005
00133bddmov [rdi+8], rbx
00133be1mov rbx, [rsp+16]
00133be6mov [rdi+16], rbx
00133beamov [rdi+24], rax
00133beemov rbx, [rsp+24]
00133bf3mov rax, [rbx+40]
00133bf7mov [rdi+32], rax
00133bfbmov rbx, [rbx+32]
00133bffmov rax, rdi
00133c02add rsp, 32
00133c06jmp 0x133a50
00133c0b
00133c0bloc_133c0b:
00133c0bcall caml_call_gc
00133c10jmp 0x133bbd
00133c12
00133c12loc_133c12:
00133c12push 37
00133c14call caml_call_realloc_stack
00133c19pop r10
00133c1bjmp 0x133b32
00133b20
00133c20
00133c20camlLatexscan.fun_7240:
00133c20cmp r15, [r14]
00133c23jbe 0x133c47
00133c25
00133c25loc_133c25:
00133c25mov rax, [rbx+32]
00133c29mov rsi, [rax+448]
00133c30lea rdi, [rip+0x16a691]
00133c37mov rdx, [rbx+24]
00133c3bmov rax, [rbx+16]
00133c3fmov rbx, rdx
00133c42jmp 0xf7370
00133c47
00133c47loc_133c47:
00133c47call caml_call_gc
00133c4cjmp 0x133c25
00133c20
00133c20camlLatexscan.fun_7240:
00133c20cmp r15, [r14]
00133c23jbe 0x133c47
00133c25
00133c25loc_133c25:
00133c25mov rax, [rbx+32]
00133c29mov rsi, [rax+448]
00133c30lea rdi, [rip+0x16a691]
00133c37mov rdx, [rbx+24]
00133c3bmov rax, [rbx+16]
00133c3fmov rbx, rdx
00133c42jmp 0xf7370
00133c47
00133c47loc_133c47:
00133c47call caml_call_gc
00133c4cjmp 0x133c25
00133c20
00133c4e
00133c4e // align 0x10
00133c4e // align 0x10
00133c50
00133c50camlLatexscan.fun_7246:
00133c50lea r10, [rsp-360]
00133c58cmp r10, [r14+40]
00133c5cjb 0x133d93
00133c62
00133c62loc_133c62:
00133c62sub rsp, 40
00133c66mov rsi, rax
00133c69mov [rsp+8], rsi
00133c6emov [rsp+32], rbx
00133c73mov rdi, [rbx+24]
00133c77lea rax, [rip+0x16a9ea]
00133c7emov rbx, rsi
00133c81call camlLatexscan.get_prim_opt_1900
00133c86mov [rsp+16], rax
00133c8bmov rax, [rsp+32]
00133c90mov rax, [rax+16]
00133c94mov [rsp], rax
00133c98mov rax, [rsp+8]
00133c9dcall camlLexstate.save_arg_1030
00133ca2mov rbx, rax
00133ca5mov rax, [rsp]
00133ca9mov rdi, [rax+16]
00133cadmov rax, [rdi+16]
00133cb1mov rdi, [rdi+24]
00133cb5call camlLatexscan.do_get_prim_onarg_1872
00133cbacall camlGet.get_length_920
00133cbftest al, 1
00133cc1jne 0x133cdc
00133cc3movzx rbx, [rax-8]
00133cc8cmp rbx, 3
00133cccjl 0x133cdc
00133ccemov eax, 1
00133cd3mov [rsp+24], rax
00133cd8jmp 0x133ce1
00133cda
00133cda 66 90 f.
00133cdc
00133cdcloc_133cdc:
00133cdcmov [rsp+24], rax
00133ce1
00133ce1loc_133ce1:
00133ce1mov rax, [rsp+32]
00133ce6mov rax, [rax+16]
00133ceamov [rsp], rax
00133ceemov rax, [rsp+8]
00133cf3call camlLexstate.save_arg_1030
00133cf8mov rbx, rax
00133cfbmov rax, [rsp]
00133cffmov rdi, [rax+16]
00133d03mov rax, [rdi+16]
00133d07mov rdi, [rdi+24]
00133d0bcall camlLatexscan.do_get_prim_onarg_1872
00133d10call camlGet.get_length_920
00133d15test al, 1
00133d17jne 0x133d2c
00133d19movzx rbx, [rax-8]
00133d1ecmp rbx, 3
00133d22jl 0x133d2c
00133d24mov eax, 1
00133d29jmp 0x133d2c
00133d2b
00133d2b 90 .
00133d2c
00133d2cloc_133d2c:
00133d2csub r15, 56
00133d30cmp r15, [r14]
00133d33jb 0x133d8c
00133d35
00133d35loc_133d35:
00133d35lea rdi, [r15+8]
00133d39mov [rdi-8], 6391
00133d41lea rbx, [rip+104]
00133d48mov [rdi], rbx
00133d4bmov rbx, 0x100000000000005
00133d55mov [rdi+8], rbx
00133d59mov rbx, [rsp+16]
00133d5emov [rdi+16], rbx
00133d62mov rbx, [rsp+24]
00133d67mov [rdi+24], rbx
00133d6bmov [rdi+32], rax
00133d6fmov rbx, [rsp+32]
00133d74mov rax, [rbx+48]
00133d78mov [rdi+40], rax
00133d7cmov rbx, [rbx+40]
00133d80mov rax, rdi
00133d83add rsp, 40
00133d87jmp 0x133a50
00133d8c
00133d8cloc_133d8c:
00133d8ccall caml_call_gc
00133d91jmp 0x133d35
00133d93
00133d93loc_133d93:
00133d93push 38
00133d95call caml_call_realloc_stack
00133d9apop r10
00133d9cjmp 0x133c62
00133c50
00133c50camlLatexscan.fun_7246:
00133c50lea r10, [rsp-360]
00133c58cmp r10, [r14+40]
00133c5cjb 0x133d93
00133c62
00133c62loc_133c62:
00133c62sub rsp, 40
00133c66mov rsi, rax
00133c69mov [rsp+8], rsi
00133c6emov [rsp+32], rbx
00133c73mov rdi, [rbx+24]
00133c77lea rax, [rip+0x16a9ea]
00133c7emov rbx, rsi
00133c81call camlLatexscan.get_prim_opt_1900
00133c86mov [rsp+16], rax
00133c8bmov rax, [rsp+32]
00133c90mov rax, [rax+16]
00133c94mov [rsp], rax
00133c98mov rax, [rsp+8]
00133c9dcall camlLexstate.save_arg_1030
00133ca2mov rbx, rax
00133ca5mov rax, [rsp]
00133ca9mov rdi, [rax+16]
00133cadmov rax, [rdi+16]
00133cb1mov rdi, [rdi+24]
00133cb5call camlLatexscan.do_get_prim_onarg_1872
00133cbacall camlGet.get_length_920
00133cbftest al, 1
00133cc1jne 0x133cdc
00133cc3movzx rbx, [rax-8]
00133cc8cmp rbx, 3
00133cccjl 0x133cdc
00133ccemov eax, 1
00133cd3mov [rsp+24], rax
00133cd8jmp 0x133ce1
00133cda
00133cda 66 90 f.
00133cdc
00133cdcloc_133cdc:
00133cdcmov [rsp+24], rax
00133ce1
00133ce1loc_133ce1:
00133ce1mov rax, [rsp+32]
00133ce6mov rax, [rax+16]
00133ceamov [rsp], rax
00133ceemov rax, [rsp+8]
00133cf3call camlLexstate.save_arg_1030
00133cf8mov rbx, rax
00133cfbmov rax, [rsp]
00133cffmov rdi, [rax+16]
00133d03mov rax, [rdi+16]
00133d07mov rdi, [rdi+24]
00133d0bcall camlLatexscan.do_get_prim_onarg_1872
00133d10call camlGet.get_length_920
00133d15test al, 1
00133d17jne 0x133d2c
00133d19movzx rbx, [rax-8]
00133d1ecmp rbx, 3
00133d22jl 0x133d2c
00133d24mov eax, 1
00133d29jmp 0x133d2c
00133d2b
00133d2b 90 .
00133d2c
00133d2cloc_133d2c:
00133d2csub r15, 56
00133d30cmp r15, [r14]
00133d33jb 0x133d8c
00133d35
00133d35loc_133d35:
00133d35lea rdi, [r15+8]
00133d39mov [rdi-8], 6391
00133d41lea rbx, [rip+104]
00133d48mov [rdi], rbx
00133d4bmov rbx, 0x100000000000005
00133d55mov [rdi+8], rbx
00133d59mov rbx, [rsp+16]
00133d5emov [rdi+16], rbx
00133d62mov rbx, [rsp+24]
00133d67mov [rdi+24], rbx
00133d6bmov [rdi+32], rax
00133d6fmov rbx, [rsp+32]
00133d74mov rax, [rbx+48]
00133d78mov [rdi+40], rax
00133d7cmov rbx, [rbx+40]
00133d80mov rax, rdi
00133d83add rsp, 40
00133d87jmp 0x133a50
00133d8c
00133d8cloc_133d8c:
00133d8ccall caml_call_gc
00133d91jmp 0x133d35
00133d93
00133d93loc_133d93:
00133d93push 38
00133d95call caml_call_realloc_stack
00133d9apop r10
00133d9cjmp 0x133c62
00133c50
00133da1
00133da1 // align 0x10
00133da1 // align 0x10
00133db0
00133db0camlLatexscan.fun_7280:
00133db0cmp r15, [r14]
00133db3jbe 0x133dd4
00133db5
00133db5loc_133db5:
00133db5mov rax, [rbx+40]
00133db9mov rsi, [rax+448]
00133dc0mov rdi, [rbx+32]
00133dc4mov rdx, [rbx+24]
00133dc8mov rax, [rbx+16]
00133dccmov rbx, rdx
00133dcfjmp 0xf7370
00133dd4
00133dd4loc_133dd4:
00133dd4call caml_call_gc
00133dd9jmp 0x133db5
00133db0
00133db0camlLatexscan.fun_7280:
00133db0cmp r15, [r14]
00133db3jbe 0x133dd4
00133db5
00133db5loc_133db5:
00133db5mov rax, [rbx+40]
00133db9mov rsi, [rax+448]
00133dc0mov rdi, [rbx+32]
00133dc4mov rdx, [rbx+24]
00133dc8mov rax, [rbx+16]
00133dccmov rbx, rdx
00133dcfjmp 0xf7370
00133dd4
00133dd4loc_133dd4:
00133dd4call caml_call_gc
00133dd9jmp 0x133db5
00133db0
00133ddb
00133ddb // align 0x10
00133ddb // align 0x10
00133de0
00133de0camlLatexscan.fun_7286:
00133de0lea r10, [rsp-328]
00133de8cmp r10, [r14+40]
00133decjb 0x133e20
00133dee
00133deeloc_133dee:
00133deesub rsp, 8
00133df2mov rbx, [rbx+16]
00133df6mov [rsp], rbx
00133dfacall camlLexstate.save_arg_1030
00133dffmov rbx, rax
00133e02mov rax, [rsp]
00133e06mov rdi, [rax+16]
00133e0amov rax, [rdi+16]
00133e0emov rdi, [rdi+24]
00133e12call camlLatexscan.do_get_prim_onarg_1872
00133e17add rsp, 8
00133e1bjmp 0x17abd0
00133e20
00133e20loc_133e20:
00133e20push 34
00133e22call caml_call_realloc_stack
00133e27pop r10
00133e29jmp 0x133dee
00133de0
00133de0camlLatexscan.fun_7286:
00133de0lea r10, [rsp-328]
00133de8cmp r10, [r14+40]
00133decjb 0x133e20
00133dee
00133deeloc_133dee:
00133deesub rsp, 8
00133df2mov rbx, [rbx+16]
00133df6mov [rsp], rbx
00133dfacall camlLexstate.save_arg_1030
00133dffmov rbx, rax
00133e02mov rax, [rsp]
00133e06mov rdi, [rax+16]
00133e0amov rax, [rdi+16]
00133e0emov rdi, [rdi+24]
00133e12call camlLatexscan.do_get_prim_onarg_1872
00133e17add rsp, 8
00133e1bjmp 0x17abd0
00133e20
00133e20loc_133e20:
00133e20push 34
00133e22call caml_call_realloc_stack
00133e27pop r10
00133e29jmp 0x133dee
00133de0
00133e2b
00133e2b // align 0x10
00133e2b // align 0x10
00133e30
00133e30camlLatexscan.fun_7300:
00133e30lea r10, [rsp-376]
00133e38cmp r10, [r14+40]
00133e3cjb 0x133f45
00133e42
00133e42loc_133e42:
00133e42sub rsp, 40
00133e46mov [rsp], rax
00133e4amov [rsp+32], rbx
00133e4fmov rbx, [rbx+16]
00133e53mov eax, 1
00133e58call camlLatexscan.check_all_989
00133e5dmov [rsp+8], rax
00133e62mov rax, [rsp]
00133e66call camlLexstate.save_arg_1030
00133e6bmov [rsp+24], rax
00133e70mov rax, [rsp]
00133e74call camlLexstate.save_arg_1030
00133e79mov [rsp+16], rax
00133e7elea r11, [rip+103]
00133e85push r11
00133e87push [r14+48]
00133e8bmov [r14+48], rsp
00133e8fmov rax, [rsp+48]
00133e94mov rdi, [rax+32]
00133e98lea rbx, [rip+0x16a7c9]
00133e9flea rax, [rip+0x1661d2]
00133ea6call camlLatexscan.top_open_block_1029
00133eabmov rax, [rsp+48]
00133eb0mov rax, [rax+48]
00133eb4mov rbx, [rsp+40]
00133eb9call camlLexstate.scan_this_arg_1187
00133ebemov rax, [rsp+48]
00133ec3mov rbx, [rax+40]
00133ec7mov rax, [rbx+24]
00133ecbmov rax, [rax+128]
00133ed2mov rdi, [rbx+16]
00133ed6lea rbx, [rip+0x16619b]
00133eddcall camlLatexscan.top_close_block_aux_1030
00133ee2pop [r14+48]
00133ee6add rsp, 8
00133eeajmp 0x133f40
00133eecmov [rsp], rax
00133ef0mov rax, [rsp+32]
00133ef5mov rbx, [rax+24]
00133ef9mov rax, [rsp+8]
00133efecall camlLatexscan.hot_all_990
00133f03mov rax, [rsp]
00133f07call Stdlib.Printexc.to_string
00133f0cmov rbx, rax
00133f0flea rax, [rip+0x16a352]
00133f16call camlStdlib.$5e_139
00133f1bmov rbx, rax
00133f1emov eax, 1
00133f23call camlMisc.print_verb_303
00133f28mov rax, [rsp+32]
00133f2dmov rax, [rax+48]
00133f31mov rbx, [rsp+16]
00133f36add rsp, 40
00133f3ajmp 0x17f340
00133f3f
00133f3f 90 .
00133f40
00133f40loc_133f40:
00133f40add rsp, 40
00133f44ret
00133f45
00133f45loc_133f45:
00133f45push 40
00133f47call caml_call_realloc_stack
00133f4cpop r10
00133f4ejmp 0x133e42
00133e30
00133e30camlLatexscan.fun_7300:
00133e30lea r10, [rsp-376]
00133e38cmp r10, [r14+40]
00133e3cjb 0x133f45
00133e42
00133e42loc_133e42:
00133e42sub rsp, 40
00133e46mov [rsp], rax
00133e4amov [rsp+32], rbx
00133e4fmov rbx, [rbx+16]
00133e53mov eax, 1
00133e58call camlLatexscan.check_all_989
00133e5dmov [rsp+8], rax
00133e62mov rax, [rsp]
00133e66call camlLexstate.save_arg_1030
00133e6bmov [rsp+24], rax
00133e70mov rax, [rsp]
00133e74call camlLexstate.save_arg_1030
00133e79mov [rsp+16], rax
00133e7elea r11, [rip+103]
00133e85push r11
00133e87push [r14+48]
00133e8bmov [r14+48], rsp
00133e8fmov rax, [rsp+48]
00133e94mov rdi, [rax+32]
00133e98lea rbx, [rip+0x16a7c9]
00133e9flea rax, [rip+0x1661d2]
00133ea6call camlLatexscan.top_open_block_1029
00133eabmov rax, [rsp+48]
00133eb0mov rax, [rax+48]
00133eb4mov rbx, [rsp+40]
00133eb9call camlLexstate.scan_this_arg_1187
00133ebemov rax, [rsp+48]
00133ec3mov rbx, [rax+40]
00133ec7mov rax, [rbx+24]
00133ecbmov rax, [rax+128]
00133ed2mov rdi, [rbx+16]
00133ed6lea rbx, [rip+0x16619b]
00133eddcall camlLatexscan.top_close_block_aux_1030
00133ee2pop [r14+48]
00133ee6add rsp, 8
00133eeajmp 0x133f40
00133eecmov [rsp], rax
00133ef0mov rax, [rsp+32]
00133ef5mov rbx, [rax+24]
00133ef9mov rax, [rsp+8]
00133efecall camlLatexscan.hot_all_990
00133f03mov rax, [rsp]
00133f07call Stdlib.Printexc.to_string
00133f0cmov rbx, rax
00133f0flea rax, [rip+0x16a352]
00133f16call camlStdlib.$5e_139
00133f1bmov rbx, rax
00133f1emov eax, 1
00133f23call camlMisc.print_verb_303
00133f28mov rax, [rsp+32]
00133f2dmov rax, [rax+48]
00133f31mov rbx, [rsp+16]
00133f36add rsp, 40
00133f3ajmp 0x17f340
00133f3f
00133f3f 90 .
00133f40
00133f40loc_133f40:
00133f40add rsp, 40
00133f44ret
00133f45
00133f45loc_133f45:
00133f45push 40
00133f47call caml_call_realloc_stack
00133f4cpop r10
00133f4ejmp 0x133e42
00133e30
00133f53
00133f53 // align 0x10
00133f53 // align 0x10
00133f60
00133f60camlLatexscan.fun_7316:
00133f60lea r10, [rsp-328]
00133f68cmp r10, [r14+40]
00133f6cjb 0x133fd5
00133f6e
00133f6eloc_133f6e:
00133f6esub rsp, 8
00133f72mov rbx, [rbx+16]
00133f76mov [rsp], rbx
00133f7acall camlLexstate.save_arg_1030
00133f7fmov rbx, rax
00133f82mov rax, [rsp]
00133f86mov rdi, [rax+16]
00133f8amov rax, [rdi+16]
00133f8emov rdi, [rdi+24]
00133f92call camlLatexscan.do_get_prim_onarg_1872
00133f97sub r15, 24
00133f9bcmp r15, [r14]
00133f9ejb 0x133fce
00133fa0
00133fa0loc_133fa0:
00133fa0lea rbx, [r15+8]
00133fa4mov [rbx-8], 2048
00133faclea rdi, [rip+0x1f60bd]
00133fb3mov rdi, [rdi+16]
00133fb7mov [rbx], rdi
00133fbamov [rbx+8], rax
00133fbemov rax, rbx
00133fc1mov rsp, [r14+48]
00133fc5pop [r14+48]
00133fc9pop r11
00133fcbjmp r11
00133fce
00133fceloc_133fce:
00133fcecall caml_call_gc
00133fd3jmp 0x133fa0
00133fd5
00133fd5loc_133fd5:
00133fd5push 34
00133fd7call caml_call_realloc_stack
00133fdcpop r10
00133fdejmp 0x133f6e
00133f60
00133f60camlLatexscan.fun_7316:
00133f60lea r10, [rsp-328]
00133f68cmp r10, [r14+40]
00133f6cjb 0x133fd5
00133f6e
00133f6eloc_133f6e:
00133f6esub rsp, 8
00133f72mov rbx, [rbx+16]
00133f76mov [rsp], rbx
00133f7acall camlLexstate.save_arg_1030
00133f7fmov rbx, rax
00133f82mov rax, [rsp]
00133f86mov rdi, [rax+16]
00133f8amov rax, [rdi+16]
00133f8emov rdi, [rdi+24]
00133f92call camlLatexscan.do_get_prim_onarg_1872
00133f97sub r15, 24
00133f9bcmp r15, [r14]
00133f9ejb 0x133fce
00133fa0
00133fa0loc_133fa0:
00133fa0lea rbx, [r15+8]
00133fa4mov [rbx-8], 2048
00133faclea rdi, [rip+0x1f60bd]
00133fb3mov rdi, [rdi+16]
00133fb7mov [rbx], rdi
00133fbamov [rbx+8], rax
00133fbemov rax, rbx
00133fc1mov rsp, [r14+48]
00133fc5pop [r14+48]
00133fc9pop r11
00133fcbjmp r11
00133fce
00133fceloc_133fce:
00133fcecall caml_call_gc
00133fd3jmp 0x133fa0
00133fd5
00133fd5loc_133fd5:
00133fd5push 34
00133fd7call caml_call_realloc_stack
00133fdcpop r10
00133fdejmp 0x133f6e
00133f60
00133fe0
00133fe0camlLatexscan.fun_7330:
00133fe0lea r10, [rsp-328]
00133fe8cmp r10, [r14+40]
00133fecjb 0x13405c
00133fee
00133feeloc_133fee:
00133feesub rsp, 8
00133ff2mov [rsp], rbx
00133ff6call camlLexstate.save_arg_1030
00133ffbmov rbx, rax
00133ffemov eax, 1
00134003call camlSubst.do_do_subst_this_697
00134008sub r15, 40
0013400ccmp r15, [r14]
0013400fjb 0x134055
00134011
00134011loc_134011:
00134011lea rdi, [r15+8]
00134015mov [rdi-8], 4343
0013401dlea rbx, [rip+76]
00134024mov [rdi], rbx
00134027mov rbx, 0x100000000000005
00134031mov [rdi+8], rbx
00134035mov rsi, [rsp]
00134039mov rbx, [rsi+24]
0013403dmov [rdi+16], rbx
00134041mov [rdi+24], rax
00134045mov rbx, [rsi+16]
00134049mov rax, rdi
0013404cadd rsp, 8
00134050jmp 0x122ad0
00134055
00134055loc_134055:
00134055call caml_call_gc
0013405ajmp 0x134011
0013405c
0013405cloc_13405c:
0013405cpush 34
0013405ecall caml_call_realloc_stack
00134063pop r10
00134065jmp 0x133fee
00133fe0
00133fe0camlLatexscan.fun_7330:
00133fe0lea r10, [rsp-328]
00133fe8cmp r10, [r14+40]
00133fecjb 0x13405c
00133fee
00133feeloc_133fee:
00133feesub rsp, 8
00133ff2mov [rsp], rbx
00133ff6call camlLexstate.save_arg_1030
00133ffbmov rbx, rax
00133ffemov eax, 1
00134003call camlSubst.do_do_subst_this_697
00134008sub r15, 40
0013400ccmp r15, [r14]
0013400fjb 0x134055
00134011
00134011loc_134011:
00134011lea rdi, [r15+8]
00134015mov [rdi-8], 4343
0013401dlea rbx, [rip+76]
00134024mov [rdi], rbx
00134027mov rbx, 0x100000000000005
00134031mov [rdi+8], rbx
00134035mov rsi, [rsp]
00134039mov rbx, [rsi+24]
0013403dmov [rdi+16], rbx
00134041mov [rdi+24], rax
00134045mov rbx, [rsi+16]
00134049mov rax, rdi
0013404cadd rsp, 8
00134050jmp 0x122ad0
00134055
00134055loc_134055:
00134055call caml_call_gc
0013405ajmp 0x134011
0013405c
0013405cloc_13405c:
0013405cpush 34
0013405ecall caml_call_realloc_stack
00134063pop r10
00134065jmp 0x133fee
00133fe0
00134067
00134067 // align 0x10
00134067 // align 0x10
00134070
00134070camlLatexscan.fun_7340:
00134070mov rdi, [rbx+24]
00134074mov rax, [rbx+16]
00134078mov rbx, rdi
0013407bjmp 0x17f150
00134070
00134070camlLatexscan.fun_7340:
00134070mov rdi, [rbx+24]
00134074mov rax, [rbx+16]
00134078mov rbx, rdi
0013407bjmp 0x17f150
00134070
00134080
00134080camlLatexscan.entry:
00134080lea rsi, [rip+0x1639a9]
00134087lea rdi, [rip+0x1639e2]
0013408emov rbx, rsp
00134091mov rsp, [r14+64]
00134095call caml_initialize
0013409amov rsp, rbx
0013409dmov eax, 1
001340a2ret
00134080
00134080camlLatexscan.entry:
00134080lea rsi, [rip+0x1639a9]
00134087lea rdi, [rip+0x1639e2]
0013408emov rbx, rsp
00134091mov rsp, [r14+64]
00134095call caml_initialize
0013409amov rsp, rbx
0013409dmov eax, 1
001340a2ret
00134080
001340a3
001340a3 // align 0x10
001340a3 // align 0x10
001340b0
001340b0camlLexattr.add_style_acc_295:
001340b0sub rsp, 32
001340b4mov [rsp+8], rax
001340b9mov [rsp+16], rbx
001340bemov [rsp+24], rdi
001340c3mov [rsp], rsi
001340c7cmp r15, [r14]
001340cajbe 0x134121
001340cc
001340ccloc_1340cc:
001340ccmov rsi, -1
001340d3mov edi, 9
001340d8lea rax, [rip+0xc5bc1]
001340dfcall caml_c_call
001340e4mov r12, [rsp]
001340e8mov rdi, r12
001340ebadd rdi, 72
001340efmov rsi, rax
001340f2mov rbx, rsp
001340f5mov rsp, [r14+64]
001340f9call caml_modify
001340femov rsp, rbx
00134101mov edx, 1
00134106mov rax, [rsp+8]
0013410bmov rbx, [rsp+16]
00134110mov rdi, [rsp+24]
00134115mov rsi, r12
00134118add rsp, 32
0013411cjmp 0x134130
00134121
00134121loc_134121:
00134121call caml_call_gc
00134126jmp 0x1340cc
001340b0
001340b0camlLexattr.add_style_acc_295:
001340b0sub rsp, 32
001340b4mov [rsp+8], rax
001340b9mov [rsp+16], rbx
001340bemov [rsp+24], rdi
001340c3mov [rsp], rsi
001340c7cmp r15, [r14]
001340cajbe 0x134121
001340cc
001340ccloc_1340cc:
001340ccmov rsi, -1
001340d3mov edi, 9
001340d8lea rax, [rip+0xc5bc1]
001340dfcall caml_c_call
001340e4mov r12, [rsp]
001340e8mov rdi, r12
001340ebadd rdi, 72
001340efmov rsi, rax
001340f2mov rbx, rsp
001340f5mov rsp, [r14+64]
001340f9call caml_modify
001340femov rsp, rbx
00134101mov edx, 1
00134106mov rax, [rsp+8]
0013410bmov rbx, [rsp+16]
00134110mov rdi, [rsp+24]
00134115mov rsi, r12
00134118add rsp, 32
0013411cjmp 0x134130
00134121
00134121loc_134121:
00134121call caml_call_gc
00134126jmp 0x1340cc
001340b0
00134128
00134128 // align 0x10
00134128 // align 0x10
00134130
00134130Lexattr..ocaml_lex_add_style_acc_rec:
00134130lea r10, [rsp-360]
00134138cmp r10, [r14+40]
0013413cjb 0x13430e
00134142
00134142loc_134142:
00134142sub rsp, 40
00134146
00134146loc_134146:
00134146mov [rsp], rax
0013414amov [rsp+24], rbx
0013414fmov [rsp+8], rdi
00134154mov rdi, rsi
00134157mov [rsp+32], rdi
0013415cmov rbx, rdx
0013415fcmp r15, [r14]
00134162jbe 0x1342ff
00134168
00134168loc_134168:
00134168lea rax, [rip+0x199839]
0013416fcall Stdlib.Lexing.new_engine
00134174cmp rax, 5
00134178jbe 0x1341a8
0013417amov [rsp+16], rax
0013417fmov rax, [rsp+32]
00134184mov rbx, [rax]
00134187mov rdi, [rbx]
0013418acall rdi
0013418cmov rax, [rsp]
00134190mov rbx, [rsp+24]
00134195mov rdi, [rsp+8]
0013419amov rsi, [rsp+32]
0013419fmov rdx, [rsp+16]
001341a4jmp 0x134146
001341a6
001341a6 66 90 f.
001341a8
001341a8loc_1341a8:
001341a8sar rax, 1
001341abcmp rax, 1
001341afje 0x13424c
001341b5ja 0x1342b8
001341bbmov rsi, [rsp+32]
001341c0mov rax, [rsi+72]
001341c4mov rbx, [rax-8]
001341c8cmp rbx, 1023
001341cfjbe 0x134309
001341d5mov rdi, [rax]
001341d8cmp rbx, 2047
001341dfjbe 0x134309
001341e5mov rbx, [rax+8]
001341e9sub rdi, rbx
001341ecinc rdi
001341efmov rax, [rsi+8]
001341f3call Stdlib.Bytes.sub
001341f8mov rbx, [rsp+24]
001341fdmov [rsp+16], rbx
00134202mov [rsp+8], rax
00134207mov rax, [rsp]
0013420bmov [rsp], rax
0013420flea rax, [rip+0x199682]
00134216call Stdlib.Printf.sprintf
0013421bmov rsi, rax
0013421emov rax, [rsp]
00134222mov rbx, [rsp+8]
00134227mov rdi, [rsp+16]
0013422ccall caml_apply3
00134231mov edi, 3
00134236mov rbx, [rsp+24]
0013423bmov rsi, [rsp+32]
00134240add rsp, 40
00134244jmp 0x1340b0
00134249
00134249 0f 1f 00 ...
0013424c
0013424cloc_13424c:
0013424cmov rbx, [rsp+32]
00134251mov rax, [rbx+32]
00134255sar rax, 1
00134258mov rbx, [rbx+8]
0013425cmov rdi, [rbx-8]
00134260shr rdi, 10
00134264lea rdi, [8*rdi-1]
0013426cmovzx rsi, [rbx+rdi]
00134271sub rdi, rsi
00134274cmp rdi, rax
00134277jbe 0x134309
0013427dmovzx rax, [rbx+rax]
00134282lea rbx, [rax+rax+1]
00134287mov eax, 3
0013428ccall Stdlib.Bytes.make
00134291mov rbx, rax
00134294mov rax, [rsp]
00134298call camlStdlib.$5e_139
0013429dmov rbx, [rsp+24]
001342a2mov rdi, [rsp+8]
001342a7mov rsi, [rsp+32]
001342acadd rsp, 40
001342b0jmp 0x1340b0
001342b5
001342b5 0f 1f 00 ...
001342b8
001342b8loc_1342b8:
001342b8mov rax, [rsp+8]
001342bdcmp rax, 1
001342c1je 0x1342cc
001342c3mov rax, [rsp]
001342c7add rsp, 40
001342cbret
001342cc
001342ccloc_1342cc:
001342ccmov rax, [rsp+24]
001342d1mov [rsp+8], rax
001342d6mov rax, [rsp]
001342damov [rsp], rax
001342delea rax, [rip+0x199553]
001342e5call Stdlib.Printf.sprintf
001342eamov rdi, rax
001342edmov rax, [rsp]
001342f1mov rbx, [rsp+8]
001342f6add rsp, 40
001342fajmp 0xf73e0
001342ff
001342ffloc_1342ff:
001342ffcall caml_call_gc
00134304jmp 0x134168
00134309
00134309loc_134309:
00134309call caml_ml_array_bound_error
0013430e
0013430eloc_13430e:
0013430epush 38
00134310call caml_call_realloc_stack
00134315pop r10
00134317jmp 0x134142
00134130
00134130Lexattr..ocaml_lex_add_style_acc_rec:
00134130lea r10, [rsp-360]
00134138cmp r10, [r14+40]
0013413cjb 0x13430e
00134142
00134142loc_134142:
00134142sub rsp, 40
00134146
00134146loc_134146:
00134146mov [rsp], rax
0013414amov [rsp+24], rbx
0013414fmov [rsp+8], rdi
00134154mov rdi, rsi
00134157mov [rsp+32], rdi
0013415cmov rbx, rdx
0013415fcmp r15, [r14]
00134162jbe 0x1342ff
00134168
00134168loc_134168:
00134168lea rax, [rip+0x199839]
0013416fcall Stdlib.Lexing.new_engine
00134174cmp rax, 5
00134178jbe 0x1341a8
0013417amov [rsp+16], rax
0013417fmov rax, [rsp+32]
00134184mov rbx, [rax]
00134187mov rdi, [rbx]
0013418acall rdi
0013418cmov rax, [rsp]
00134190mov rbx, [rsp+24]
00134195mov rdi, [rsp+8]
0013419amov rsi, [rsp+32]
0013419fmov rdx, [rsp+16]
001341a4jmp 0x134146
001341a6
001341a6 66 90 f.
001341a8
001341a8loc_1341a8:
001341a8sar rax, 1
001341abcmp rax, 1
001341afje 0x13424c
001341b5ja 0x1342b8
001341bbmov rsi, [rsp+32]
001341c0mov rax, [rsi+72]
001341c4mov rbx, [rax-8]
001341c8cmp rbx, 1023
001341cfjbe 0x134309
001341d5mov rdi, [rax]
001341d8cmp rbx, 2047
001341dfjbe 0x134309
001341e5mov rbx, [rax+8]
001341e9sub rdi, rbx
001341ecinc rdi
001341efmov rax, [rsi+8]
001341f3call Stdlib.Bytes.sub
001341f8mov rbx, [rsp+24]
001341fdmov [rsp+16], rbx
00134202mov [rsp+8], rax
00134207mov rax, [rsp]
0013420bmov [rsp], rax
0013420flea rax, [rip+0x199682]
00134216call Stdlib.Printf.sprintf
0013421bmov rsi, rax
0013421emov rax, [rsp]
00134222mov rbx, [rsp+8]
00134227mov rdi, [rsp+16]
0013422ccall caml_apply3
00134231mov edi, 3
00134236mov rbx, [rsp+24]
0013423bmov rsi, [rsp+32]
00134240add rsp, 40
00134244jmp 0x1340b0
00134249
00134249 0f 1f 00 ...
0013424c
0013424cloc_13424c:
0013424cmov rbx, [rsp+32]
00134251mov rax, [rbx+32]
00134255sar rax, 1
00134258mov rbx, [rbx+8]
0013425cmov rdi, [rbx-8]
00134260shr rdi, 10
00134264lea rdi, [8*rdi-1]
0013426cmovzx rsi, [rbx+rdi]
00134271sub rdi, rsi
00134274cmp rdi, rax
00134277jbe 0x134309
0013427dmovzx rax, [rbx+rax]
00134282lea rbx, [rax+rax+1]
00134287mov eax, 3
0013428ccall Stdlib.Bytes.make
00134291mov rbx, rax
00134294mov rax, [rsp]
00134298call camlStdlib.$5e_139
0013429dmov rbx, [rsp+24]
001342a2mov rdi, [rsp+8]
001342a7mov rsi, [rsp+32]
001342acadd rsp, 40
001342b0jmp 0x1340b0
001342b5
001342b5 0f 1f 00 ...
001342b8
001342b8loc_1342b8:
001342b8mov rax, [rsp+8]
001342bdcmp rax, 1
001342c1je 0x1342cc
001342c3mov rax, [rsp]
001342c7add rsp, 40
001342cbret
001342cc
001342ccloc_1342cc:
001342ccmov rax, [rsp+24]
001342d1mov [rsp+8], rax
001342d6mov rax, [rsp]
001342damov [rsp], rax
001342delea rax, [rip+0x199553]
001342e5call Stdlib.Printf.sprintf
001342eamov rdi, rax
001342edmov rax, [rsp]
001342f1mov rbx, [rsp+8]
001342f6add rsp, 40
001342fajmp 0xf73e0
001342ff
001342ffloc_1342ff:
001342ffcall caml_call_gc
00134304jmp 0x134168
00134309
00134309loc_134309:
00134309call caml_ml_array_bound_error
0013430e
0013430eloc_13430e:
0013430epush 38
00134310call caml_call_realloc_stack
00134315pop r10
00134317jmp 0x134142
00134130
0013431c
0013431c // align 0x10
0013431c // align 0x10
00134320
00134320camlLexattr.add_style_488:
00134320lea r10, [rsp-328]
00134328cmp r10, [r14+40]
0013432cjb 0x13435a
0013432e
0013432eloc_13432e:
0013432esub rsp, 8
00134332mov [rsp], rax
00134336mov rax, rbx
00134339call camlMyLexing.from_string_309
0013433emov rsi, rax
00134341mov edi, 1
00134346lea rax, [rip+0x1994db]
0013434dmov rbx, [rsp]
00134351add rsp, 8
00134355jmp 0x1340b0
0013435a
0013435aloc_13435a:
0013435apush 34
0013435ccall caml_call_realloc_stack
00134361pop r10
00134363jmp 0x13432e
00134320
00134320camlLexattr.add_style_488:
00134320lea r10, [rsp-328]
00134328cmp r10, [r14+40]
0013432cjb 0x13435a
0013432e
0013432eloc_13432e:
0013432esub rsp, 8
00134332mov [rsp], rax
00134336mov rax, rbx
00134339call camlMyLexing.from_string_309
0013433emov rsi, rax
00134341mov edi, 1
00134346lea rax, [rip+0x1994db]
0013434dmov rbx, [rsp]
00134351add rsp, 8
00134355jmp 0x1340b0
0013435a
0013435aloc_13435a:
0013435apush 34
0013435ccall caml_call_realloc_stack
00134361pop r10
00134363jmp 0x13432e
00134320
00134365
00134365 // align 0x10
00134365 // align 0x10
00134370
00134370camlLexattr.entry:
00134370lea rsi, [rip+0x199631]
00134377lea rdi, [rip+0x198882]
0013437eadd rdi, 8
00134382mov rbx, rsp
00134385mov rsp, [r14+64]
00134389call caml_initialize
0013438emov rsp, rbx
00134391lea r12, [rip+0x198808]
00134398lea rdi, [rip+0x198861]
0013439fadd rdi, 16
001343a3mov rsi, r12
001343a6mov rbx, rsp
001343a9mov rsp, [r14+64]
001343adcall caml_initialize
001343b2mov rsp, rbx
001343b5mov rsi, r12
001343b8add rsi, 32
001343bclea rdi, [rip+0x19883d]
001343c3add rdi, 24
001343c7mov rbx, rsp
001343camov rsp, [r14+64]
001343cecall caml_initialize
001343d3mov rsp, rbx
001343d6lea rsi, [rip+0x198803]
001343ddlea rdi, [rip+0x19881c]
001343e4mov rbx, rsp
001343e7mov rsp, [r14+64]
001343ebcall caml_initialize
001343f0mov rsp, rbx
001343f3mov eax, 1
001343f8ret
00134370
00134370camlLexattr.entry:
00134370lea rsi, [rip+0x199631]
00134377lea rdi, [rip+0x198882]
0013437eadd rdi, 8
00134382mov rbx, rsp
00134385mov rsp, [r14+64]
00134389call caml_initialize
0013438emov rsp, rbx
00134391lea r12, [rip+0x198808]
00134398lea rdi, [rip+0x198861]
0013439fadd rdi, 16
001343a3mov rsi, r12
001343a6mov rbx, rsp
001343a9mov rsp, [r14+64]
001343adcall caml_initialize
001343b2mov rsp, rbx
001343b5mov rsi, r12
001343b8add rsi, 32
001343bclea rdi, [rip+0x19883d]
001343c3add rdi, 24
001343c7mov rbx, rsp
001343camov rsp, [r14+64]
001343cecall caml_initialize
001343d3mov rsp, rbx
001343d6lea rsi, [rip+0x198803]
001343ddlea rdi, [rip+0x19881c]
001343e4mov rbx, rsp
001343e7mov rsp, [r14+64]
001343ebcall caml_initialize
001343f0mov rsp, rbx
001343f3mov eax, 1
001343f8ret
00134370
001343f9
001343f9 // align 0x10
001343f9 // align 0x10
00134405
00134405 // align 0x10
00134405 // align 0x10
00134415
00134415 // align 0x10
00134415 // align 0x10
00134425
00134425 // align 0x10
00134425 // align 0x10
00134430
00134430camlInfo.finalize_701:
00134430lea r10, [rsp-344]
00134438cmp r10, [r14+40]
0013443cjb 0x1345c2
00134442
00134442loc_134442:
00134442sub rsp, 8
00134446cmp rax, 1
0013444aje 0x1345b4
00134450mov [rsp], rax
00134454lea rax, [rip+0x1f5c15]
0013445bmov rax, [rax+80]
0013445fmov rax, [rax]
00134462cmp rax, 3
00134466jle 0x134474
00134468lea rax, [rip+0x199f61]
0013446fcall camlStdlib.prerr_endline_390
00134474
00134474loc_134474:
00134474mov eax, 1
00134479call camlInfoRef.finalize_nodes_923
0013447emov rax, [rsp]
00134482call camlText.finalize_1415
00134487lea rax, [rip+0x1f41b2]
0013448emov rbx, [rax+88]
00134492cmp rbx, 1
00134496je 0x1344c8
00134498lea rax, [rip+0x1b2619]
0013449fmov rax, [rax+792]
001344a6mov rax, [rax]
001344a9mov rax, [rax+16]
001344adcall camlDoOut.to_string_830
001344b2call camlMyLexing.from_string_309
001344b7lea rbx, [rip+0x199f02]
001344bemov [rsp], rbx
001344c2jmp 0x134570
001344c7nop
001344c8
001344c8loc_1344c8:
001344c8lea r11, [rip+89]
001344cfpush r11
001344d1push [r14+48]
001344d5mov [r14+48], rsp
001344d9lea rbx, [rip+0x199ed0]
001344e0mov rax, [rax+128]
001344e7call camlStdlib.$5e_139
001344ecmov rdi, rax
001344efmov [rsp+16], rdi
001344f4mov ebx, 1
001344f9lea rax, [rip+0x1f9580]
00134500call camlStdlib.open_in_gen_288
00134505mov rbx, rax
00134508mov eax, 1
0013450dcall Stdlib.Lexing.from_channel
00134512mov rbx, [rsp+16]
00134517mov [rsp+16], rbx
0013451cpop [r14+48]
00134520add rsp, 8
00134524jmp 0x134570
00134526nop
00134528lea rbx, [rip+0x1f90e9]
0013452fmov rbx, [rbx+80]
00134533mov rdi, [rax]
00134536cmp rdi, rbx
00134539jne 0x134560
0013453bmov rbx, [rax+8]
0013453flea rax, [rip+0x199e3a]
00134546call camlStdlib.$5e_139
0013454bcall camlMisc.fatal_310
00134550mov rdi, [rax+8]
00134554mov rbx, [rax]
00134557mov rax, rdi
0013455amov [rsp], rbx
0013455ejmp 0x134570
00134560
00134560loc_134560:
00134560mov rsp, [r14+48]
00134564pop [r14+48]
00134568pop r11
0013456ajmp r11
0013456dnop [rax]
00134570
00134570loc_134570:
00134570call camlInfoRef.dump_926
00134575lea rax, [rip+0x1f40c4]
0013457cmov rax, [rax+88]
00134580cmp rax, 1
00134584jne 0x1345a8
00134586lea rax, [rip+0x1f5ae3]
0013458dmov rax, [rax+80]
00134591mov rax, [rax]
00134594cmp rax, 1
00134598jg 0x1345a8
0013459amov rax, [rsp]
0013459eadd rsp, 8
001345a2jmp 0x1917a0
001345a7nop
001345a8
001345a8loc_1345a8:
001345a8mov eax, 1
001345adadd rsp, 8
001345b1ret
001345b2nop
001345b4
001345b4loc_1345b4:
001345b4mov eax, 1
001345b9add rsp, 8
001345bdjmp 0x1546d0
001345c2
001345c2loc_1345c2:
001345c2push 36
001345c4call caml_call_realloc_stack
001345c9pop r10
001345cbjmp 0x134442
00134430
00134430camlInfo.finalize_701:
00134430lea r10, [rsp-344]
00134438cmp r10, [r14+40]
0013443cjb 0x1345c2
00134442
00134442loc_134442:
00134442sub rsp, 8
00134446cmp rax, 1
0013444aje 0x1345b4
00134450mov [rsp], rax
00134454lea rax, [rip+0x1f5c15]
0013445bmov rax, [rax+80]
0013445fmov rax, [rax]
00134462cmp rax, 3
00134466jle 0x134474
00134468lea rax, [rip+0x199f61]
0013446fcall camlStdlib.prerr_endline_390
00134474
00134474loc_134474:
00134474mov eax, 1
00134479call camlInfoRef.finalize_nodes_923
0013447emov rax, [rsp]
00134482call camlText.finalize_1415
00134487lea rax, [rip+0x1f41b2]
0013448emov rbx, [rax+88]
00134492cmp rbx, 1
00134496je 0x1344c8
00134498lea rax, [rip+0x1b2619]
0013449fmov rax, [rax+792]
001344a6mov rax, [rax]
001344a9mov rax, [rax+16]
001344adcall camlDoOut.to_string_830
001344b2call camlMyLexing.from_string_309
001344b7lea rbx, [rip+0x199f02]
001344bemov [rsp], rbx
001344c2jmp 0x134570
001344c7nop
001344c8
001344c8loc_1344c8:
001344c8lea r11, [rip+89]
001344cfpush r11
001344d1push [r14+48]
001344d5mov [r14+48], rsp
001344d9lea rbx, [rip+0x199ed0]
001344e0mov rax, [rax+128]
001344e7call camlStdlib.$5e_139
001344ecmov rdi, rax
001344efmov [rsp+16], rdi
001344f4mov ebx, 1
001344f9lea rax, [rip+0x1f9580]
00134500call camlStdlib.open_in_gen_288
00134505mov rbx, rax
00134508mov eax, 1
0013450dcall Stdlib.Lexing.from_channel
00134512mov rbx, [rsp+16]
00134517mov [rsp+16], rbx
0013451cpop [r14+48]
00134520add rsp, 8
00134524jmp 0x134570
00134526nop
00134528lea rbx, [rip+0x1f90e9]
0013452fmov rbx, [rbx+80]
00134533mov rdi, [rax]
00134536cmp rdi, rbx
00134539jne 0x134560
0013453bmov rbx, [rax+8]
0013453flea rax, [rip+0x199e3a]
00134546call camlStdlib.$5e_139
0013454bcall camlMisc.fatal_310
00134550mov rdi, [rax+8]
00134554mov rbx, [rax]
00134557mov rax, rdi
0013455amov [rsp], rbx
0013455ejmp 0x134570
00134560
00134560loc_134560:
00134560mov rsp, [r14+48]
00134564pop [r14+48]
00134568pop r11
0013456ajmp r11
0013456dnop [rax]
00134570
00134570loc_134570:
00134570call camlInfoRef.dump_926
00134575lea rax, [rip+0x1f40c4]
0013457cmov rax, [rax+88]
00134580cmp rax, 1
00134584jne 0x1345a8
00134586lea rax, [rip+0x1f5ae3]
0013458dmov rax, [rax+80]
00134591mov rax, [rax]
00134594cmp rax, 1
00134598jg 0x1345a8
0013459amov rax, [rsp]
0013459eadd rsp, 8
001345a2jmp 0x1917a0
001345a7nop
001345a8
001345a8loc_1345a8:
001345a8mov eax, 1
001345adadd rsp, 8
001345b1ret
001345b2nop
001345b4
001345b4loc_1345b4:
001345b4mov eax, 1
001345b9add rsp, 8
001345bdjmp 0x1546d0
001345c2
001345c2loc_1345c2:
001345c2push 36
001345c4call caml_call_realloc_stack
001345c9pop r10
001345cbjmp 0x134442
00134430
001345d0
001345d0camlInfo.entry:
001345d0sub rsp, 32
001345d4mov edi, 1
001345d9mov rbx, rsp
001345dcmov rsp, [r14+64]
001345e0call caml_fresh_oo_id
001345e5mov rsp, rbx
001345e8call caml_alloc2
001345edlea rsi, [r15+8]
001345f1mov [rsi-8], 2296
001345f9lea rbx, [rip+0x199df8]
00134600mov [rsi], rbx
00134603mov [rsi+8], rax
00134607lea rdi, [rip+0x199ab2]
0013460emov rbx, rsp
00134611mov rsp, [r14+64]
00134615call caml_initialize
0013461amov rsp, rbx
0013461dlea rax, [rip+0x1b2494]
00134624mov rsi, [rax+8]
00134628lea rdi, [rip+0x199a91]
0013462fadd rdi, 8
00134633mov rbx, rsp
00134636mov rsp, [r14+64]
0013463acall caml_initialize
0013463fmov rsp, rbx
00134642lea rax, [rip+0x1b246f]
00134649mov rsi, [rax+16]
0013464dlea rdi, [rip+0x199a6c]
00134654add rdi, 16
00134658mov rbx, rsp
0013465bmov rsp, [r14+64]
0013465fcall caml_initialize
00134664mov rsp, rbx
00134667lea rax, [rip+0x1b244a]
0013466emov rsi, [rax+24]
00134672lea rdi, [rip+0x199a47]
00134679add rdi, 24
0013467dmov rbx, rsp
00134680mov rsp, [r14+64]
00134684call caml_initialize
00134689mov rsp, rbx
0013468clea rax, [rip+0x1b2425]
00134693mov rsi, [rax+32]
00134697lea rdi, [rip+0x199a22]
0013469eadd rdi, 32
001346a2mov rbx, rsp
001346a5mov rsp, [r14+64]
001346a9call caml_initialize
001346aemov rsp, rbx
001346b1lea rax, [rip+0x1b2400]
001346b8mov rsi, [rax+40]
001346bclea rdi, [rip+0x1999fd]
001346c3add rdi, 40
001346c7mov rbx, rsp
001346camov rsp, [r14+64]
001346cecall caml_initialize
001346d3mov rsp, rbx
001346d6lea rax, [rip+0x1b23db]
001346ddmov rsi, [rax+48]
001346e1lea rdi, [rip+0x1999d8]
001346e8add rdi, 48
001346ecmov rbx, rsp
001346efmov rsp, [r14+64]
001346f3call caml_initialize
001346f8mov rsp, rbx
001346fblea rax, [rip+0x1b23b6]
00134702mov rsi, [rax+56]
00134706lea rdi, [rip+0x1999b3]
0013470dadd rdi, 56
00134711mov rbx, rsp
00134714mov rsp, [r14+64]
00134718call caml_initialize
0013471dmov rsp, rbx
00134720lea rax, [rip+0x1b2391]
00134727mov rsi, [rax+64]
0013472blea rdi, [rip+0x19998e]
00134732add rdi, 64
00134736mov rbx, rsp
00134739mov rsp, [r14+64]
0013473dcall caml_initialize
00134742mov rsp, rbx
00134745lea rax, [rip+0x1b236c]
0013474cmov rsi, [rax+72]
00134750lea rdi, [rip+0x199969]
00134757add rdi, 72
0013475bmov rbx, rsp
0013475emov rsp, [r14+64]
00134762call caml_initialize
00134767mov rsp, rbx
0013476alea rax, [rip+0x1b2347]
00134771mov rsi, [rax+80]
00134775lea rdi, [rip+0x199944]
0013477cadd rdi, 80
00134780mov rbx, rsp
00134783mov rsp, [r14+64]
00134787call caml_initialize
0013478cmov rsp, rbx
0013478flea rax, [rip+0x1b2322]
00134796mov rsi, [rax+88]
0013479alea rdi, [rip+0x19991f]
001347a1add rdi, 88
001347a5mov rbx, rsp
001347a8mov rsp, [r14+64]
001347accall caml_initialize
001347b1mov rsp, rbx
001347b4lea rax, [rip+0x1b22fd]
001347bbmov rsi, [rax+104]
001347bflea rdi, [rip+0x1998fa]
001347c6add rdi, 104
001347camov rbx, rsp
001347cdmov rsp, [r14+64]
001347d1call caml_initialize
001347d6mov rsp, rbx
001347d9lea rax, [rip+0x1b22d8]
001347e0mov rsi, [rax+96]
001347e4lea rdi, [rip+0x1998d5]
001347ebadd rdi, 96
001347efmov rbx, rsp
001347f2mov rsp, [r14+64]
001347f6call caml_initialize
001347fbmov rsp, rbx
001347felea rax, [rip+0x1b22b3]
00134805mov rsi, [rax+112]
00134809lea rdi, [rip+0x1998b0]
00134810add rdi, 112
00134814mov rbx, rsp
00134817mov rsp, [r14+64]
0013481bcall caml_initialize
00134820mov rsp, rbx
00134823lea rax, [rip+0x1b228e]
0013482amov rsi, [rax+120]
0013482elea rdi, [rip+0x19988b]
00134835add rdi, 120
00134839mov rbx, rsp
0013483cmov rsp, [r14+64]
00134840call caml_initialize
00134845mov rsp, rbx
00134848lea rax, [rip+0x1b2269]
0013484fmov rsi, [rax+128]
00134856lea rdi, [rip+0x199863]
0013485dadd rdi, 128
00134864mov rbx, rsp
00134867mov rsp, [r14+64]
0013486bcall caml_initialize
00134870mov rsp, rbx
00134873lea rax, [rip+0x1b223e]
0013487amov rsi, [rax+136]
00134881lea rdi, [rip+0x199838]
00134888add rdi, 136
0013488fmov rbx, rsp
00134892mov rsp, [r14+64]
00134896call caml_initialize
0013489bmov rsp, rbx
0013489elea rax, [rip+0x1b2213]
001348a5mov rsi, [rax+144]
001348aclea rdi, [rip+0x19980d]
001348b3add rdi, 144
001348bamov rbx, rsp
001348bdmov rsp, [r14+64]
001348c1call caml_initialize
001348c6mov rsp, rbx
001348c9lea rax, [rip+0x1b21e8]
001348d0mov rsi, [rax+152]
001348d7lea rdi, [rip+0x1997e2]
001348deadd rdi, 152
001348e5mov rbx, rsp
001348e8mov rsp, [r14+64]
001348eccall caml_initialize
001348f1mov rsp, rbx
001348f4lea rax, [rip+0x1b21bd]
001348fbmov rsi, [rax+160]
00134902lea rdi, [rip+0x1997b7]
00134909add rdi, 160
00134910mov rbx, rsp
00134913mov rsp, [r14+64]
00134917call caml_initialize
0013491cmov rsp, rbx
0013491flea rax, [rip+0x1b2192]
00134926mov rsi, [rax+168]
0013492dmov r12, [rax+176]
00134934lea rdi, [rip+0x199785]
0013493badd rdi, 168
00134942mov rbx, rsp
00134945mov rsp, [r14+64]
00134949call caml_initialize
0013494emov rsp, rbx
00134951lea rdi, [rip+0x199768]
00134958add rdi, 176
0013495fmov rsi, r12
00134962mov rbx, rsp
00134965mov rsp, [r14+64]
00134969call caml_initialize
0013496emov rsp, rbx
00134971lea rax, [rip+0x1b2140]
00134978mov rsi, [rax+184]
0013497flea rdi, [rip+0x19973a]
00134986add rdi, 184
0013498dmov rbx, rsp
00134990mov rsp, [r14+64]
00134994call caml_initialize
00134999mov rsp, rbx
0013499clea rax, [rip+0x1b2115]
001349a3mov rsi, [rax+192]
001349aalea rdi, [rip+0x19970f]
001349b1add rdi, 192
001349b8mov rbx, rsp
001349bbmov rsp, [r14+64]
001349bfcall caml_initialize
001349c4mov rsp, rbx
001349c7lea rax, [rip+0x1b20ea]
001349cemov rsi, [rax+200]
001349d5lea rdi, [rip+0x1996e4]
001349dcadd rdi, 200
001349e3mov rbx, rsp
001349e6mov rsp, [r14+64]
001349eacall caml_initialize
001349efmov rsp, rbx
001349f2lea rax, [rip+0x1b20bf]
001349f9mov rsi, [rax+208]
00134a00lea rdi, [rip+0x1996b9]
00134a07add rdi, 208
00134a0emov rbx, rsp
00134a11mov rsp, [r14+64]
00134a15call caml_initialize
00134a1amov rsp, rbx
00134a1dlea rax, [rip+0x1b2094]
00134a24mov rsi, [rax+216]
00134a2blea rdi, [rip+0x19968e]
00134a32add rdi, 216
00134a39mov rbx, rsp
00134a3cmov rsp, [r14+64]
00134a40call caml_initialize
00134a45mov rsp, rbx
00134a48lea rax, [rip+0x1b2069]
00134a4fmov rsi, [rax+224]
00134a56mov rbx, [rax+232]
00134a5dmov [rsp], rbx
00134a61mov rbx, [rax+240]
00134a68mov [rsp+8], rbx
00134a6dmov rbx, [rax+248]
00134a74mov [rsp+16], rbx
00134a79mov r12, [rax+256]
00134a80mov r13, [rax+264]
00134a87mov rbp, [rax+272]
00134a8emov rax, [rax+280]
00134a95mov [rsp+24], rax
00134a9alea rdi, [rip+0x19961f]
00134aa1add rdi, 224
00134aa8mov rbx, rsp
00134aabmov rsp, [r14+64]
00134aafcall caml_initialize
00134ab4mov rsp, rbx
00134ab7lea rdi, [rip+0x199602]
00134abeadd rdi, 232
00134ac5mov rsi, [rsp]
00134ac9mov rbx, rsp
00134accmov rsp, [r14+64]
00134ad0call caml_initialize
00134ad5mov rsp, rbx
00134ad8lea rdi, [rip+0x1995e1]
00134adfadd rdi, 240
00134ae6mov rsi, [rsp+8]
00134aebmov rbx, rsp
00134aeemov rsp, [r14+64]
00134af2call caml_initialize
00134af7mov rsp, rbx
00134afalea rdi, [rip+0x1995bf]
00134b01add rdi, 248
00134b08mov rsi, [rsp+16]
00134b0dmov rbx, rsp
00134b10mov rsp, [r14+64]
00134b14call caml_initialize
00134b19mov rsp, rbx
00134b1clea rdi, [rip+0x19959d]
00134b23add rdi, 256
00134b2amov rsi, r12
00134b2dmov rbx, rsp
00134b30mov rsp, [r14+64]
00134b34call caml_initialize
00134b39mov rsp, rbx
00134b3clea rdi, [rip+0x19957d]
00134b43add rdi, 264
00134b4amov rsi, r13
00134b4dmov rbx, rsp
00134b50mov rsp, [r14+64]
00134b54call caml_initialize
00134b59mov rsp, rbx
00134b5clea rdi, [rip+0x19955d]
00134b63add rdi, 272
00134b6amov rsi, rbp
00134b6dmov rbx, rsp
00134b70mov rsp, [r14+64]
00134b74call caml_initialize
00134b79mov rsp, rbx
00134b7clea rdi, [rip+0x19953d]
00134b83add rdi, 280
00134b8amov rsi, [rsp+24]
00134b8fmov rbx, rsp
00134b92mov rsp, [r14+64]
00134b96call caml_initialize
00134b9bmov rsp, rbx
00134b9elea rax, [rip+0x1b1f13]
00134ba5mov rsi, [rax+288]
00134baclea rdi, [rip+0x19950d]
00134bb3add rdi, 288
00134bbamov rbx, rsp
00134bbdmov rsp, [r14+64]
00134bc1call caml_initialize
00134bc6mov rsp, rbx
00134bc9lea rax, [rip+0x1b1ee8]
00134bd0mov rsi, [rax+296]
00134bd7lea rdi, [rip+0x1994e2]
00134bdeadd rdi, 296
00134be5mov rbx, rsp
00134be8mov rsp, [r14+64]
00134beccall caml_initialize
00134bf1mov rsp, rbx
00134bf4lea rax, [rip+0x1b1ebd]
00134bfbmov rsi, [rax+304]
00134c02lea rdi, [rip+0x1994b7]
00134c09add rdi, 304
00134c10mov rbx, rsp
00134c13mov rsp, [r14+64]
00134c17call caml_initialize
00134c1cmov rsp, rbx
00134c1flea rax, [rip+0x1b1e92]
00134c26mov rsi, [rax+312]
00134c2dlea rdi, [rip+0x19948c]
00134c34add rdi, 312
00134c3bmov rbx, rsp
00134c3emov rsp, [r14+64]
00134c42call caml_initialize
00134c47mov rsp, rbx
00134c4alea rax, [rip+0x1b1e67]
00134c51mov rsi, [rax+320]
00134c58lea rdi, [rip+0x199461]
00134c5fadd rdi, 320
00134c66mov rbx, rsp
00134c69mov rsp, [r14+64]
00134c6dcall caml_initialize
00134c72mov rsp, rbx
00134c75lea rax, [rip+0x1b1e3c]
00134c7cmov rsi, [rax+328]
00134c83lea rdi, [rip+0x199436]
00134c8aadd rdi, 328
00134c91mov rbx, rsp
00134c94mov rsp, [r14+64]
00134c98call caml_initialize
00134c9dmov rsp, rbx
00134ca0lea rax, [rip+0x1b1e11]
00134ca7mov rsi, [rax+336]
00134caelea rdi, [rip+0x19940b]
00134cb5add rdi, 336
00134cbcmov rbx, rsp
00134cbfmov rsp, [r14+64]
00134cc3call caml_initialize
00134cc8mov rsp, rbx
00134ccblea rax, [rip+0x1b1de6]
00134cd2mov rsi, [rax+344]
00134cd9lea rdi, [rip+0x1993e0]
00134ce0add rdi, 344
00134ce7mov rbx, rsp
00134ceamov rsp, [r14+64]
00134ceecall caml_initialize
00134cf3mov rsp, rbx
00134cf6lea rsi, [rip+0x199393]
00134cfdlea r12, [rip+0x199374]
00134d04lea r13, [rip+0x199355]
00134d0blea rdi, [rip+0x1993ae]
00134d12add rdi, 352
00134d19mov rbx, rsp
00134d1cmov rsp, [r14+64]
00134d20call caml_initialize
00134d25mov rsp, rbx
00134d28lea rdi, [rip+0x199391]
00134d2fadd rdi, 360
00134d36mov rsi, r12
00134d39mov rbx, rsp
00134d3cmov rsp, [r14+64]
00134d40call caml_initialize
00134d45mov rsp, rbx
00134d48lea rdi, [rip+0x199371]
00134d4fadd rdi, 368
00134d56mov rsi, r13
00134d59mov rbx, rsp
00134d5cmov rsp, [r14+64]
00134d60call caml_initialize
00134d65mov rsp, rbx
00134d68lea rax, [rip+0x1b1d49]
00134d6fmov rsi, [rax+376]
00134d76lea rdi, [rip+0x199343]
00134d7dadd rdi, 376
00134d84mov rbx, rsp
00134d87mov rsp, [r14+64]
00134d8bcall caml_initialize
00134d90mov rsp, rbx
00134d93lea rax, [rip+0x1b1d1e]
00134d9amov rsi, [rax+384]
00134da1lea rdi, [rip+0x199318]
00134da8add rdi, 384
00134dafmov rbx, rsp
00134db2mov rsp, [r14+64]
00134db6call caml_initialize
00134dbbmov rsp, rbx
00134dbelea rax, [rip+0x1ae35b]
00134dc5mov rsi, [rax+184]
00134dcclea rdi, [rip+0x1992ed]
00134dd3add rdi, 392
00134ddamov rbx, rsp
00134dddmov rsp, [r14+64]
00134de1call caml_initialize
00134de6mov rsp, rbx
00134de9lea rax, [rip+0x1b1cc8]
00134df0mov rsi, [rax+400]
00134df7lea rdi, [rip+0x1992c2]
00134dfeadd rdi, 400
00134e05mov rbx, rsp
00134e08mov rsp, [r14+64]
00134e0ccall caml_initialize
00134e11mov rsp, rbx
00134e14lea rax, [rip+0x1b1c9d]
00134e1bmov rsi, [rax+408]
00134e22lea rdi, [rip+0x199297]
00134e29add rdi, 408
00134e30mov rbx, rsp
00134e33mov rsp, [r14+64]
00134e37call caml_initialize
00134e3cmov rsp, rbx
00134e3flea rax, [rip+0x1b1c72]
00134e46mov rsi, [rax+416]
00134e4dlea rdi, [rip+0x19926c]
00134e54add rdi, 416
00134e5bmov rbx, rsp
00134e5emov rsp, [r14+64]
00134e62call caml_initialize
00134e67mov rsp, rbx
00134e6alea rax, [rip+0x1b1c47]
00134e71mov rsi, [rax+424]
00134e78lea rdi, [rip+0x199241]
00134e7fadd rdi, 424
00134e86mov rbx, rsp
00134e89mov rsp, [r14+64]
00134e8dcall caml_initialize
00134e92mov rsp, rbx
00134e95lea rax, [rip+0x1b1c1c]
00134e9cmov rsi, [rax+432]
00134ea3lea rdi, [rip+0x199216]
00134eaaadd rdi, 432
00134eb1mov rbx, rsp
00134eb4mov rsp, [r14+64]
00134eb8call caml_initialize
00134ebdmov rsp, rbx
00134ec0lea rsi, [rip+0x1991e1]
00134ec7lea rdi, [rip+0x1991f2]
00134eceadd rdi, 440
00134ed5mov rbx, rsp
00134ed8mov rsp, [r14+64]
00134edccall caml_initialize
00134ee1mov rsp, rbx
00134ee4lea rax, [rip+0x1b1bcd]
00134eebmov rsi, [rax+448]
00134ef2lea rdi, [rip+0x1991c7]
00134ef9add rdi, 448
00134f00mov rbx, rsp
00134f03mov rsp, [r14+64]
00134f07call caml_initialize
00134f0cmov rsp, rbx
00134f0flea rax, [rip+0x1b1ba2]
00134f16mov rsi, [rax+456]
00134f1dlea rdi, [rip+0x19919c]
00134f24add rdi, 456
00134f2bmov rbx, rsp
00134f2emov rsp, [r14+64]
00134f32call caml_initialize
00134f37mov rsp, rbx
00134f3alea rax, [rip+0x1b1b77]
00134f41mov rsi, [rax+464]
00134f48lea rdi, [rip+0x199171]
00134f4fadd rdi, 464
00134f56mov rbx, rsp
00134f59mov rsp, [r14+64]
00134f5dcall caml_initialize
00134f62mov rsp, rbx
00134f65lea rax, [rip+0x1b1b4c]
00134f6cmov rsi, [rax+472]
00134f73lea rdi, [rip+0x199146]
00134f7aadd rdi, 472
00134f81mov rbx, rsp
00134f84mov rsp, [r14+64]
00134f88call caml_initialize
00134f8dmov rsp, rbx
00134f90lea rax, [rip+0x1b1b21]
00134f97mov rsi, [rax+480]
00134f9elea rdi, [rip+0x19911b]
00134fa5add rdi, 480
00134facmov rbx, rsp
00134fafmov rsp, [r14+64]
00134fb3call caml_initialize
00134fb8mov rsp, rbx
00134fbblea rax, [rip+0x1b1af6]
00134fc2mov rsi, [rax+488]
00134fc9lea rdi, [rip+0x1990f0]
00134fd0add rdi, 488
00134fd7mov rbx, rsp
00134fdamov rsp, [r14+64]
00134fdecall caml_initialize
00134fe3mov rsp, rbx
00134fe6lea rax, [rip+0x1b1acb]
00134fedmov rsi, [rax+496]
00134ff4lea rdi, [rip+0x1990c5]
00134ffbadd rdi, 496
00135002mov rbx, rsp
00135005mov rsp, [r14+64]
00135009call caml_initialize
0013500emov rsp, rbx
00135011lea rax, [rip+0x1b1aa0]
00135018mov rsi, [rax+504]
0013501flea rdi, [rip+0x19909a]
00135026add rdi, 504
0013502dmov rbx, rsp
00135030mov rsp, [r14+64]
00135034call caml_initialize
00135039mov rsp, rbx
0013503clea rax, [rip+0x1b1a75]
00135043mov rsi, [rax+512]
0013504alea rdi, [rip+0x19906f]
00135051add rdi, 512
00135058mov rbx, rsp
0013505bmov rsp, [r14+64]
0013505fcall caml_initialize
00135064mov rsp, rbx
00135067lea rax, [rip+0x1b1a4a]
0013506emov rsi, [rax+520]
00135075lea rdi, [rip+0x199044]
0013507cadd rdi, 520
00135083mov rbx, rsp
00135086mov rsp, [r14+64]
0013508acall caml_initialize
0013508fmov rsp, rbx
00135092lea rax, [rip+0x1b1a1f]
00135099mov rsi, [rax+528]
001350a0lea rdi, [rip+0x199019]
001350a7add rdi, 528
001350aemov rbx, rsp
001350b1mov rsp, [r14+64]
001350b5call caml_initialize
001350bamov rsp, rbx
001350bdlea rax, [rip+0x1b19f4]
001350c4mov rsi, [rax+536]
001350cblea rdi, [rip+0x198fee]
001350d2add rdi, 536
001350d9mov rbx, rsp
001350dcmov rsp, [r14+64]
001350e0call caml_initialize
001350e5mov rsp, rbx
001350e8lea rax, [rip+0x1b19c9]
001350efmov rsi, [rax+544]
001350f6lea rdi, [rip+0x198fc3]
001350fdadd rdi, 544
00135104mov rbx, rsp
00135107mov rsp, [r14+64]
0013510bcall caml_initialize
00135110mov rsp, rbx
00135113lea rax, [rip+0x1b199e]
0013511amov rsi, [rax+552]
00135121lea rdi, [rip+0x198f98]
00135128add rdi, 552
0013512fmov rbx, rsp
00135132mov rsp, [r14+64]
00135136call caml_initialize
0013513bmov rsp, rbx
0013513elea rax, [rip+0x1b1973]
00135145mov rsi, [rax+560]
0013514clea rdi, [rip+0x198f6d]
00135153add rdi, 560
0013515amov rbx, rsp
0013515dmov rsp, [r14+64]
00135161call caml_initialize
00135166mov rsp, rbx
00135169lea rax, [rip+0x1b1948]
00135170mov rsi, [rax+568]
00135177lea rdi, [rip+0x198f42]
0013517eadd rdi, 568
00135185mov rbx, rsp
00135188mov rsp, [r14+64]
0013518ccall caml_initialize
00135191mov rsp, rbx
00135194lea rax, [rip+0x1b191d]
0013519bmov rsi, [rax+576]
001351a2lea rdi, [rip+0x198f17]
001351a9add rdi, 576
001351b0mov rbx, rsp
001351b3mov rsp, [r14+64]
001351b7call caml_initialize
001351bcmov rsp, rbx
001351bflea rax, [rip+0x1b18f2]
001351c6mov rsi, [rax+584]
001351cdlea rdi, [rip+0x198eec]
001351d4add rdi, 584
001351dbmov rbx, rsp
001351demov rsp, [r14+64]
001351e2call caml_initialize
001351e7mov rsp, rbx
001351ealea rax, [rip+0x1b18c7]
001351f1mov rsi, [rax+592]
001351f8lea rdi, [rip+0x198ec1]
001351ffadd rdi, 592
00135206mov rbx, rsp
00135209mov rsp, [r14+64]
0013520dcall caml_initialize
00135212mov rsp, rbx
00135215lea rax, [rip+0x1b189c]
0013521cmov rsi, [rax+600]
00135223lea rdi, [rip+0x198e96]
0013522aadd rdi, 600
00135231mov rbx, rsp
00135234mov rsp, [r14+64]
00135238call caml_initialize
0013523dmov rsp, rbx
00135240lea rax, [rip+0x1b1871]
00135247mov rsi, [rax+608]
0013524elea rdi, [rip+0x198e6b]
00135255add rdi, 608
0013525cmov rbx, rsp
0013525fmov rsp, [r14+64]
00135263call caml_initialize
00135268mov rsp, rbx
0013526blea rax, [rip+0x1b1846]
00135272mov rsi, [rax+616]
00135279lea rdi, [rip+0x198e40]
00135280add rdi, 616
00135287mov rbx, rsp
0013528amov rsp, [r14+64]
0013528ecall caml_initialize
00135293mov rsp, rbx
00135296lea rax, [rip+0x1b181b]
0013529dmov rsi, [rax+624]
001352a4lea rdi, [rip+0x198e15]
001352abadd rdi, 624
001352b2mov rbx, rsp
001352b5mov rsp, [r14+64]
001352b9call caml_initialize
001352bemov rsp, rbx
001352c1lea rax, [rip+0x1ade58]
001352c8mov rsi, [rax+432]
001352cflea rdi, [rip+0x198dea]
001352d6add rdi, 640
001352ddmov rbx, rsp
001352e0mov rsp, [r14+64]
001352e4call caml_initialize
001352e9mov rsp, rbx
001352eclea rax, [rip+0x1ade2d]
001352f3mov rsi, [rax+416]
001352falea rdi, [rip+0x198dbf]
00135301add rdi, 648
00135308mov rbx, rsp
0013530bmov rsp, [r14+64]
0013530fcall caml_initialize
00135314mov rsp, rbx
00135317lea rax, [rip+0x1ade02]
0013531emov rsi, [rax+128]
00135325lea rdi, [rip+0x198d94]
0013532cadd rdi, 632
00135333mov rbx, rsp
00135336mov rsp, [r14+64]
0013533acall caml_initialize
0013533fmov rsp, rbx
00135342lea rax, [rip+0x1b176f]
00135349mov rsi, [rax+656]
00135350lea rdi, [rip+0x198d69]
00135357add rdi, 656
0013535emov rbx, rsp
00135361mov rsp, [r14+64]
00135365call caml_initialize
0013536amov rsp, rbx
0013536dlea rax, [rip+0x1b1744]
00135374mov rsi, [rax+664]
0013537bmov r12, [rax+672]
00135382lea rdi, [rip+0x198d37]
00135389add rdi, 664
00135390mov rbx, rsp
00135393mov rsp, [r14+64]
00135397call caml_initialize
0013539cmov rsp, rbx
0013539flea rdi, [rip+0x198d1a]
001353a6add rdi, 672
001353admov rsi, r12
001353b0mov rbx, rsp
001353b3mov rsp, [r14+64]
001353b7call caml_initialize
001353bcmov rsp, rbx
001353bfmov eax, 1
001353c4add rsp, 32
001353c8ret
001345d0
001345d0camlInfo.entry:
001345d0sub rsp, 32
001345d4mov edi, 1
001345d9mov rbx, rsp
001345dcmov rsp, [r14+64]
001345e0call caml_fresh_oo_id
001345e5mov rsp, rbx
001345e8call caml_alloc2
001345edlea rsi, [r15+8]
001345f1mov [rsi-8], 2296
001345f9lea rbx, [rip+0x199df8]
00134600mov [rsi], rbx
00134603mov [rsi+8], rax
00134607lea rdi, [rip+0x199ab2]
0013460emov rbx, rsp
00134611mov rsp, [r14+64]
00134615call caml_initialize
0013461amov rsp, rbx
0013461dlea rax, [rip+0x1b2494]
00134624mov rsi, [rax+8]
00134628lea rdi, [rip+0x199a91]
0013462fadd rdi, 8
00134633mov rbx, rsp
00134636mov rsp, [r14+64]
0013463acall caml_initialize
0013463fmov rsp, rbx
00134642lea rax, [rip+0x1b246f]
00134649mov rsi, [rax+16]
0013464dlea rdi, [rip+0x199a6c]
00134654add rdi, 16
00134658mov rbx, rsp
0013465bmov rsp, [r14+64]
0013465fcall caml_initialize
00134664mov rsp, rbx
00134667lea rax, [rip+0x1b244a]
0013466emov rsi, [rax+24]
00134672lea rdi, [rip+0x199a47]
00134679add rdi, 24
0013467dmov rbx, rsp
00134680mov rsp, [r14+64]
00134684call caml_initialize
00134689mov rsp, rbx
0013468clea rax, [rip+0x1b2425]
00134693mov rsi, [rax+32]
00134697lea rdi, [rip+0x199a22]
0013469eadd rdi, 32
001346a2mov rbx, rsp
001346a5mov rsp, [r14+64]
001346a9call caml_initialize
001346aemov rsp, rbx
001346b1lea rax, [rip+0x1b2400]
001346b8mov rsi, [rax+40]
001346bclea rdi, [rip+0x1999fd]
001346c3add rdi, 40
001346c7mov rbx, rsp
001346camov rsp, [r14+64]
001346cecall caml_initialize
001346d3mov rsp, rbx
001346d6lea rax, [rip+0x1b23db]
001346ddmov rsi, [rax+48]
001346e1lea rdi, [rip+0x1999d8]
001346e8add rdi, 48
001346ecmov rbx, rsp
001346efmov rsp, [r14+64]
001346f3call caml_initialize
001346f8mov rsp, rbx
001346fblea rax, [rip+0x1b23b6]
00134702mov rsi, [rax+56]
00134706lea rdi, [rip+0x1999b3]
0013470dadd rdi, 56
00134711mov rbx, rsp
00134714mov rsp, [r14+64]
00134718call caml_initialize
0013471dmov rsp, rbx
00134720lea rax, [rip+0x1b2391]
00134727mov rsi, [rax+64]
0013472blea rdi, [rip+0x19998e]
00134732add rdi, 64
00134736mov rbx, rsp
00134739mov rsp, [r14+64]
0013473dcall caml_initialize
00134742mov rsp, rbx
00134745lea rax, [rip+0x1b236c]
0013474cmov rsi, [rax+72]
00134750lea rdi, [rip+0x199969]
00134757add rdi, 72
0013475bmov rbx, rsp
0013475emov rsp, [r14+64]
00134762call caml_initialize
00134767mov rsp, rbx
0013476alea rax, [rip+0x1b2347]
00134771mov rsi, [rax+80]
00134775lea rdi, [rip+0x199944]
0013477cadd rdi, 80
00134780mov rbx, rsp
00134783mov rsp, [r14+64]
00134787call caml_initialize
0013478cmov rsp, rbx
0013478flea rax, [rip+0x1b2322]
00134796mov rsi, [rax+88]
0013479alea rdi, [rip+0x19991f]
001347a1add rdi, 88
001347a5mov rbx, rsp
001347a8mov rsp, [r14+64]
001347accall caml_initialize
001347b1mov rsp, rbx
001347b4lea rax, [rip+0x1b22fd]
001347bbmov rsi, [rax+104]
001347bflea rdi, [rip+0x1998fa]
001347c6add rdi, 104
001347camov rbx, rsp
001347cdmov rsp, [r14+64]
001347d1call caml_initialize
001347d6mov rsp, rbx
001347d9lea rax, [rip+0x1b22d8]
001347e0mov rsi, [rax+96]
001347e4lea rdi, [rip+0x1998d5]
001347ebadd rdi, 96
001347efmov rbx, rsp
001347f2mov rsp, [r14+64]
001347f6call caml_initialize
001347fbmov rsp, rbx
001347felea rax, [rip+0x1b22b3]
00134805mov rsi, [rax+112]
00134809lea rdi, [rip+0x1998b0]
00134810add rdi, 112
00134814mov rbx, rsp
00134817mov rsp, [r14+64]
0013481bcall caml_initialize
00134820mov rsp, rbx
00134823lea rax, [rip+0x1b228e]
0013482amov rsi, [rax+120]
0013482elea rdi, [rip+0x19988b]
00134835add rdi, 120
00134839mov rbx, rsp
0013483cmov rsp, [r14+64]
00134840call caml_initialize
00134845mov rsp, rbx
00134848lea rax, [rip+0x1b2269]
0013484fmov rsi, [rax+128]
00134856lea rdi, [rip+0x199863]
0013485dadd rdi, 128
00134864mov rbx, rsp
00134867mov rsp, [r14+64]
0013486bcall caml_initialize
00134870mov rsp, rbx
00134873lea rax, [rip+0x1b223e]
0013487amov rsi, [rax+136]
00134881lea rdi, [rip+0x199838]
00134888add rdi, 136
0013488fmov rbx, rsp
00134892mov rsp, [r14+64]
00134896call caml_initialize
0013489bmov rsp, rbx
0013489elea rax, [rip+0x1b2213]
001348a5mov rsi, [rax+144]
001348aclea rdi, [rip+0x19980d]
001348b3add rdi, 144
001348bamov rbx, rsp
001348bdmov rsp, [r14+64]
001348c1call caml_initialize
001348c6mov rsp, rbx
001348c9lea rax, [rip+0x1b21e8]
001348d0mov rsi, [rax+152]
001348d7lea rdi, [rip+0x1997e2]
001348deadd rdi, 152
001348e5mov rbx, rsp
001348e8mov rsp, [r14+64]
001348eccall caml_initialize
001348f1mov rsp, rbx
001348f4lea rax, [rip+0x1b21bd]
001348fbmov rsi, [rax+160]
00134902lea rdi, [rip+0x1997b7]
00134909add rdi, 160
00134910mov rbx, rsp
00134913mov rsp, [r14+64]
00134917call caml_initialize
0013491cmov rsp, rbx
0013491flea rax, [rip+0x1b2192]
00134926mov rsi, [rax+168]
0013492dmov r12, [rax+176]
00134934lea rdi, [rip+0x199785]
0013493badd rdi, 168
00134942mov rbx, rsp
00134945mov rsp, [r14+64]
00134949call caml_initialize
0013494emov rsp, rbx
00134951lea rdi, [rip+0x199768]
00134958add rdi, 176
0013495fmov rsi, r12
00134962mov rbx, rsp
00134965mov rsp, [r14+64]
00134969call caml_initialize
0013496emov rsp, rbx
00134971lea rax, [rip+0x1b2140]
00134978mov rsi, [rax+184]
0013497flea rdi, [rip+0x19973a]
00134986add rdi, 184
0013498dmov rbx, rsp
00134990mov rsp, [r14+64]
00134994call caml_initialize
00134999mov rsp, rbx
0013499clea rax, [rip+0x1b2115]
001349a3mov rsi, [rax+192]
001349aalea rdi, [rip+0x19970f]
001349b1add rdi, 192
001349b8mov rbx, rsp
001349bbmov rsp, [r14+64]
001349bfcall caml_initialize
001349c4mov rsp, rbx
001349c7lea rax, [rip+0x1b20ea]
001349cemov rsi, [rax+200]
001349d5lea rdi, [rip+0x1996e4]
001349dcadd rdi, 200
001349e3mov rbx, rsp
001349e6mov rsp, [r14+64]
001349eacall caml_initialize
001349efmov rsp, rbx
001349f2lea rax, [rip+0x1b20bf]
001349f9mov rsi, [rax+208]
00134a00lea rdi, [rip+0x1996b9]
00134a07add rdi, 208
00134a0emov rbx, rsp
00134a11mov rsp, [r14+64]
00134a15call caml_initialize
00134a1amov rsp, rbx
00134a1dlea rax, [rip+0x1b2094]
00134a24mov rsi, [rax+216]
00134a2blea rdi, [rip+0x19968e]
00134a32add rdi, 216
00134a39mov rbx, rsp
00134a3cmov rsp, [r14+64]
00134a40call caml_initialize
00134a45mov rsp, rbx
00134a48lea rax, [rip+0x1b2069]
00134a4fmov rsi, [rax+224]
00134a56mov rbx, [rax+232]
00134a5dmov [rsp], rbx
00134a61mov rbx, [rax+240]
00134a68mov [rsp+8], rbx
00134a6dmov rbx, [rax+248]
00134a74mov [rsp+16], rbx
00134a79mov r12, [rax+256]
00134a80mov r13, [rax+264]
00134a87mov rbp, [rax+272]
00134a8emov rax, [rax+280]
00134a95mov [rsp+24], rax
00134a9alea rdi, [rip+0x19961f]
00134aa1add rdi, 224
00134aa8mov rbx, rsp
00134aabmov rsp, [r14+64]
00134aafcall caml_initialize
00134ab4mov rsp, rbx
00134ab7lea rdi, [rip+0x199602]
00134abeadd rdi, 232
00134ac5mov rsi, [rsp]
00134ac9mov rbx, rsp
00134accmov rsp, [r14+64]
00134ad0call caml_initialize
00134ad5mov rsp, rbx
00134ad8lea rdi, [rip+0x1995e1]
00134adfadd rdi, 240
00134ae6mov rsi, [rsp+8]
00134aebmov rbx, rsp
00134aeemov rsp, [r14+64]
00134af2call caml_initialize
00134af7mov rsp, rbx
00134afalea rdi, [rip+0x1995bf]
00134b01add rdi, 248
00134b08mov rsi, [rsp+16]
00134b0dmov rbx, rsp
00134b10mov rsp, [r14+64]
00134b14call caml_initialize
00134b19mov rsp, rbx
00134b1clea rdi, [rip+0x19959d]
00134b23add rdi, 256
00134b2amov rsi, r12
00134b2dmov rbx, rsp
00134b30mov rsp, [r14+64]
00134b34call caml_initialize
00134b39mov rsp, rbx
00134b3clea rdi, [rip+0x19957d]
00134b43add rdi, 264
00134b4amov rsi, r13
00134b4dmov rbx, rsp
00134b50mov rsp, [r14+64]
00134b54call caml_initialize
00134b59mov rsp, rbx
00134b5clea rdi, [rip+0x19955d]
00134b63add rdi, 272
00134b6amov rsi, rbp
00134b6dmov rbx, rsp
00134b70mov rsp, [r14+64]
00134b74call caml_initialize
00134b79mov rsp, rbx
00134b7clea rdi, [rip+0x19953d]
00134b83add rdi, 280
00134b8amov rsi, [rsp+24]
00134b8fmov rbx, rsp
00134b92mov rsp, [r14+64]
00134b96call caml_initialize
00134b9bmov rsp, rbx
00134b9elea rax, [rip+0x1b1f13]
00134ba5mov rsi, [rax+288]
00134baclea rdi, [rip+0x19950d]
00134bb3add rdi, 288
00134bbamov rbx, rsp
00134bbdmov rsp, [r14+64]
00134bc1call caml_initialize
00134bc6mov rsp, rbx
00134bc9lea rax, [rip+0x1b1ee8]
00134bd0mov rsi, [rax+296]
00134bd7lea rdi, [rip+0x1994e2]
00134bdeadd rdi, 296
00134be5mov rbx, rsp
00134be8mov rsp, [r14+64]
00134beccall caml_initialize
00134bf1mov rsp, rbx
00134bf4lea rax, [rip+0x1b1ebd]
00134bfbmov rsi, [rax+304]
00134c02lea rdi, [rip+0x1994b7]
00134c09add rdi, 304
00134c10mov rbx, rsp
00134c13mov rsp, [r14+64]
00134c17call caml_initialize
00134c1cmov rsp, rbx
00134c1flea rax, [rip+0x1b1e92]
00134c26mov rsi, [rax+312]
00134c2dlea rdi, [rip+0x19948c]
00134c34add rdi, 312
00134c3bmov rbx, rsp
00134c3emov rsp, [r14+64]
00134c42call caml_initialize
00134c47mov rsp, rbx
00134c4alea rax, [rip+0x1b1e67]
00134c51mov rsi, [rax+320]
00134c58lea rdi, [rip+0x199461]
00134c5fadd rdi, 320
00134c66mov rbx, rsp
00134c69mov rsp, [r14+64]
00134c6dcall caml_initialize
00134c72mov rsp, rbx
00134c75lea rax, [rip+0x1b1e3c]
00134c7cmov rsi, [rax+328]
00134c83lea rdi, [rip+0x199436]
00134c8aadd rdi, 328
00134c91mov rbx, rsp
00134c94mov rsp, [r14+64]
00134c98call caml_initialize
00134c9dmov rsp, rbx
00134ca0lea rax, [rip+0x1b1e11]
00134ca7mov rsi, [rax+336]
00134caelea rdi, [rip+0x19940b]
00134cb5add rdi, 336
00134cbcmov rbx, rsp
00134cbfmov rsp, [r14+64]
00134cc3call caml_initialize
00134cc8mov rsp, rbx
00134ccblea rax, [rip+0x1b1de6]
00134cd2mov rsi, [rax+344]
00134cd9lea rdi, [rip+0x1993e0]
00134ce0add rdi, 344
00134ce7mov rbx, rsp
00134ceamov rsp, [r14+64]
00134ceecall caml_initialize
00134cf3mov rsp, rbx
00134cf6lea rsi, [rip+0x199393]
00134cfdlea r12, [rip+0x199374]
00134d04lea r13, [rip+0x199355]
00134d0blea rdi, [rip+0x1993ae]
00134d12add rdi, 352
00134d19mov rbx, rsp
00134d1cmov rsp, [r14+64]
00134d20call caml_initialize
00134d25mov rsp, rbx
00134d28lea rdi, [rip+0x199391]
00134d2fadd rdi, 360
00134d36mov rsi, r12
00134d39mov rbx, rsp
00134d3cmov rsp, [r14+64]
00134d40call caml_initialize
00134d45mov rsp, rbx
00134d48lea rdi, [rip+0x199371]
00134d4fadd rdi, 368
00134d56mov rsi, r13
00134d59mov rbx, rsp
00134d5cmov rsp, [r14+64]
00134d60call caml_initialize
00134d65mov rsp, rbx
00134d68lea rax, [rip+0x1b1d49]
00134d6fmov rsi, [rax+376]
00134d76lea rdi, [rip+0x199343]
00134d7dadd rdi, 376
00134d84mov rbx, rsp
00134d87mov rsp, [r14+64]
00134d8bcall caml_initialize
00134d90mov rsp, rbx
00134d93lea rax, [rip+0x1b1d1e]
00134d9amov rsi, [rax+384]
00134da1lea rdi, [rip+0x199318]
00134da8add rdi, 384
00134dafmov rbx, rsp
00134db2mov rsp, [r14+64]
00134db6call caml_initialize
00134dbbmov rsp, rbx
00134dbelea rax, [rip+0x1ae35b]
00134dc5mov rsi, [rax+184]
00134dcclea rdi, [rip+0x1992ed]
00134dd3add rdi, 392
00134ddamov rbx, rsp
00134dddmov rsp, [r14+64]
00134de1call caml_initialize
00134de6mov rsp, rbx
00134de9lea rax, [rip+0x1b1cc8]
00134df0mov rsi, [rax+400]
00134df7lea rdi, [rip+0x1992c2]
00134dfeadd rdi, 400
00134e05mov rbx, rsp
00134e08mov rsp, [r14+64]
00134e0ccall caml_initialize
00134e11mov rsp, rbx
00134e14lea rax, [rip+0x1b1c9d]
00134e1bmov rsi, [rax+408]
00134e22lea rdi, [rip+0x199297]
00134e29add rdi, 408
00134e30mov rbx, rsp
00134e33mov rsp, [r14+64]
00134e37call caml_initialize
00134e3cmov rsp, rbx
00134e3flea rax, [rip+0x1b1c72]
00134e46mov rsi, [rax+416]
00134e4dlea rdi, [rip+0x19926c]
00134e54add rdi, 416
00134e5bmov rbx, rsp
00134e5emov rsp, [r14+64]
00134e62call caml_initialize
00134e67mov rsp, rbx
00134e6alea rax, [rip+0x1b1c47]
00134e71mov rsi, [rax+424]
00134e78lea rdi, [rip+0x199241]
00134e7fadd rdi, 424
00134e86mov rbx, rsp
00134e89mov rsp, [r14+64]
00134e8dcall caml_initialize
00134e92mov rsp, rbx
00134e95lea rax, [rip+0x1b1c1c]
00134e9cmov rsi, [rax+432]
00134ea3lea rdi, [rip+0x199216]
00134eaaadd rdi, 432
00134eb1mov rbx, rsp
00134eb4mov rsp, [r14+64]
00134eb8call caml_initialize
00134ebdmov rsp, rbx
00134ec0lea rsi, [rip+0x1991e1]
00134ec7lea rdi, [rip+0x1991f2]
00134eceadd rdi, 440
00134ed5mov rbx, rsp
00134ed8mov rsp, [r14+64]
00134edccall caml_initialize
00134ee1mov rsp, rbx
00134ee4lea rax, [rip+0x1b1bcd]
00134eebmov rsi, [rax+448]
00134ef2lea rdi, [rip+0x1991c7]
00134ef9add rdi, 448
00134f00mov rbx, rsp
00134f03mov rsp, [r14+64]
00134f07call caml_initialize
00134f0cmov rsp, rbx
00134f0flea rax, [rip+0x1b1ba2]
00134f16mov rsi, [rax+456]
00134f1dlea rdi, [rip+0x19919c]
00134f24add rdi, 456
00134f2bmov rbx, rsp
00134f2emov rsp, [r14+64]
00134f32call caml_initialize
00134f37mov rsp, rbx
00134f3alea rax, [rip+0x1b1b77]
00134f41mov rsi, [rax+464]
00134f48lea rdi, [rip+0x199171]
00134f4fadd rdi, 464
00134f56mov rbx, rsp
00134f59mov rsp, [r14+64]
00134f5dcall caml_initialize
00134f62mov rsp, rbx
00134f65lea rax, [rip+0x1b1b4c]
00134f6cmov rsi, [rax+472]
00134f73lea rdi, [rip+0x199146]
00134f7aadd rdi, 472
00134f81mov rbx, rsp
00134f84mov rsp, [r14+64]
00134f88call caml_initialize
00134f8dmov rsp, rbx
00134f90lea rax, [rip+0x1b1b21]
00134f97mov rsi, [rax+480]
00134f9elea rdi, [rip+0x19911b]
00134fa5add rdi, 480
00134facmov rbx, rsp
00134fafmov rsp, [r14+64]
00134fb3call caml_initialize
00134fb8mov rsp, rbx
00134fbblea rax, [rip+0x1b1af6]
00134fc2mov rsi, [rax+488]
00134fc9lea rdi, [rip+0x1990f0]
00134fd0add rdi, 488
00134fd7mov rbx, rsp
00134fdamov rsp, [r14+64]
00134fdecall caml_initialize
00134fe3mov rsp, rbx
00134fe6lea rax, [rip+0x1b1acb]
00134fedmov rsi, [rax+496]
00134ff4lea rdi, [rip+0x1990c5]
00134ffbadd rdi, 496
00135002mov rbx, rsp
00135005mov rsp, [r14+64]
00135009call caml_initialize
0013500emov rsp, rbx
00135011lea rax, [rip+0x1b1aa0]
00135018mov rsi, [rax+504]
0013501flea rdi, [rip+0x19909a]
00135026add rdi, 504
0013502dmov rbx, rsp
00135030mov rsp, [r14+64]
00135034call caml_initialize
00135039mov rsp, rbx
0013503clea rax, [rip+0x1b1a75]
00135043mov rsi, [rax+512]
0013504alea rdi, [rip+0x19906f]
00135051add rdi, 512
00135058mov rbx, rsp
0013505bmov rsp, [r14+64]
0013505fcall caml_initialize
00135064mov rsp, rbx
00135067lea rax, [rip+0x1b1a4a]
0013506emov rsi, [rax+520]
00135075lea rdi, [rip+0x199044]
0013507cadd rdi, 520
00135083mov rbx, rsp
00135086mov rsp, [r14+64]
0013508acall caml_initialize
0013508fmov rsp, rbx
00135092lea rax, [rip+0x1b1a1f]
00135099mov rsi, [rax+528]
001350a0lea rdi, [rip+0x199019]
001350a7add rdi, 528
001350aemov rbx, rsp
001350b1mov rsp, [r14+64]
001350b5call caml_initialize
001350bamov rsp, rbx
001350bdlea rax, [rip+0x1b19f4]
001350c4mov rsi, [rax+536]
001350cblea rdi, [rip+0x198fee]
001350d2add rdi, 536
001350d9mov rbx, rsp
001350dcmov rsp, [r14+64]
001350e0call caml_initialize
001350e5mov rsp, rbx
001350e8lea rax, [rip+0x1b19c9]
001350efmov rsi, [rax+544]
001350f6lea rdi, [rip+0x198fc3]
001350fdadd rdi, 544
00135104mov rbx, rsp
00135107mov rsp, [r14+64]
0013510bcall caml_initialize
00135110mov rsp, rbx
00135113lea rax, [rip+0x1b199e]
0013511amov rsi, [rax+552]
00135121lea rdi, [rip+0x198f98]
00135128add rdi, 552
0013512fmov rbx, rsp
00135132mov rsp, [r14+64]
00135136call caml_initialize
0013513bmov rsp, rbx
0013513elea rax, [rip+0x1b1973]
00135145mov rsi, [rax+560]
0013514clea rdi, [rip+0x198f6d]
00135153add rdi, 560
0013515amov rbx, rsp
0013515dmov rsp, [r14+64]
00135161call caml_initialize
00135166mov rsp, rbx
00135169lea rax, [rip+0x1b1948]
00135170mov rsi, [rax+568]
00135177lea rdi, [rip+0x198f42]
0013517eadd rdi, 568
00135185mov rbx, rsp
00135188mov rsp, [r14+64]
0013518ccall caml_initialize
00135191mov rsp, rbx
00135194lea rax, [rip+0x1b191d]
0013519bmov rsi, [rax+576]
001351a2lea rdi, [rip+0x198f17]
001351a9add rdi, 576
001351b0mov rbx, rsp
001351b3mov rsp, [r14+64]
001351b7call caml_initialize
001351bcmov rsp, rbx
001351bflea rax, [rip+0x1b18f2]
001351c6mov rsi, [rax+584]
001351cdlea rdi, [rip+0x198eec]
001351d4add rdi, 584
001351dbmov rbx, rsp
001351demov rsp, [r14+64]
001351e2call caml_initialize
001351e7mov rsp, rbx
001351ealea rax, [rip+0x1b18c7]
001351f1mov rsi, [rax+592]
001351f8lea rdi, [rip+0x198ec1]
001351ffadd rdi, 592
00135206mov rbx, rsp
00135209mov rsp, [r14+64]
0013520dcall caml_initialize
00135212mov rsp, rbx
00135215lea rax, [rip+0x1b189c]
0013521cmov rsi, [rax+600]
00135223lea rdi, [rip+0x198e96]
0013522aadd rdi, 600
00135231mov rbx, rsp
00135234mov rsp, [r14+64]
00135238call caml_initialize
0013523dmov rsp, rbx
00135240lea rax, [rip+0x1b1871]
00135247mov rsi, [rax+608]
0013524elea rdi, [rip+0x198e6b]
00135255add rdi, 608
0013525cmov rbx, rsp
0013525fmov rsp, [r14+64]
00135263call caml_initialize
00135268mov rsp, rbx
0013526blea rax, [rip+0x1b1846]
00135272mov rsi, [rax+616]
00135279lea rdi, [rip+0x198e40]
00135280add rdi, 616
00135287mov rbx, rsp
0013528amov rsp, [r14+64]
0013528ecall caml_initialize
00135293mov rsp, rbx
00135296lea rax, [rip+0x1b181b]
0013529dmov rsi, [rax+624]
001352a4lea rdi, [rip+0x198e15]
001352abadd rdi, 624
001352b2mov rbx, rsp
001352b5mov rsp, [r14+64]
001352b9call caml_initialize
001352bemov rsp, rbx
001352c1lea rax, [rip+0x1ade58]
001352c8mov rsi, [rax+432]
001352cflea rdi, [rip+0x198dea]
001352d6add rdi, 640
001352ddmov rbx, rsp
001352e0mov rsp, [r14+64]
001352e4call caml_initialize
001352e9mov rsp, rbx
001352eclea rax, [rip+0x1ade2d]
001352f3mov rsi, [rax+416]
001352falea rdi, [rip+0x198dbf]
00135301add rdi, 648
00135308mov rbx, rsp
0013530bmov rsp, [r14+64]
0013530fcall caml_initialize
00135314mov rsp, rbx
00135317lea rax, [rip+0x1ade02]
0013531emov rsi, [rax+128]
00135325lea rdi, [rip+0x198d94]
0013532cadd rdi, 632
00135333mov rbx, rsp
00135336mov rsp, [r14+64]
0013533acall caml_initialize
0013533fmov rsp, rbx
00135342lea rax, [rip+0x1b176f]
00135349mov rsi, [rax+656]
00135350lea rdi, [rip+0x198d69]
00135357add rdi, 656
0013535emov rbx, rsp
00135361mov rsp, [r14+64]
00135365call caml_initialize
0013536amov rsp, rbx
0013536dlea rax, [rip+0x1b1744]
00135374mov rsi, [rax+664]
0013537bmov r12, [rax+672]
00135382lea rdi, [rip+0x198d37]
00135389add rdi, 664
00135390mov rbx, rsp
00135393mov rsp, [r14+64]
00135397call caml_initialize
0013539cmov rsp, rbx
0013539flea rdi, [rip+0x198d1a]
001353a6add rdi, 672
001353admov rsi, r12
001353b0mov rbx, rsp
001353b3mov rsp, [r14+64]
001353b7call caml_initialize
001353bcmov rsp, rbx
001353bfmov eax, 1
001353c4add rsp, 32
001353c8ret
001345d0
001353c9
001353c9 // align 0x10
001353c9 // align 0x10
001353d0
001353d0camlIndex.missing_index_311:
001353d0lea r10, [rsp-320]
001353d8cmp r10, [r14+40]
001353dcjb 0x135437
001353de
001353deloc_1353de:
001353demov rbx, [rax-8]
001353e2shr rbx, 10
001353e6cmp rbx, 2
001353eajge 0x135408
001353ecmov rbx, [rax]
001353efmov rdi, 0x746c7561666564
001353f9cmp rbx, rdi
001353fcjne 0x135408
001353felea rbx, [rip+0x199a6b]
00135405jmp 0x135426
00135407
00135407 90 .
00135408
00135408loc_135408:
00135408lea rbx, [rip+0x199879]
0013540fcall camlStdlib.$5e_139
00135414mov rbx, rax
00135417lea rax, [rip+0x199962]
0013541ecall camlStdlib.$5e_139
00135423mov rbx, rax
00135426
00135426loc_135426:
00135426lea rax, [rip+0x199b1b]
0013542dcall camlStdlib.$5e_139
00135432jmp 0x1919c0
00135437
00135437loc_135437:
00135437push 33
00135439call caml_call_realloc_stack
0013543epop r10
00135440jmp 0x1353de
001353d0
001353d0camlIndex.missing_index_311:
001353d0lea r10, [rsp-320]
001353d8cmp r10, [r14+40]
001353dcjb 0x135437
001353de
001353deloc_1353de:
001353demov rbx, [rax-8]
001353e2shr rbx, 10
001353e6cmp rbx, 2
001353eajge 0x135408
001353ecmov rbx, [rax]
001353efmov rdi, 0x746c7561666564
001353f9cmp rbx, rdi
001353fcjne 0x135408
001353felea rbx, [rip+0x199a6b]
00135405jmp 0x135426
00135407
00135407 90 .
00135408
00135408loc_135408:
00135408lea rbx, [rip+0x199879]
0013540fcall camlStdlib.$5e_139
00135414mov rbx, rax
00135417lea rax, [rip+0x199962]
0013541ecall camlStdlib.$5e_139
00135423mov rbx, rax
00135426
00135426loc_135426:
00135426lea rax, [rip+0x199b1b]
0013542dcall camlStdlib.$5e_139
00135432jmp 0x1919c0
00135437
00135437loc_135437:
00135437push 33
00135439call caml_call_realloc_stack
0013543epop r10
00135440jmp 0x1353de
001353d0
00135442
00135442 // align 0x10
00135442 // align 0x10
00135450
00135450camlIndex.first_key_321:
00135450test al, 1
00135452je 0x135490
00135454sub r15, 24
00135458cmp r15, [r14]
0013545bjb 0x135494
0013545d
0013545dloc_13545d:
0013545dlea rax, [r15+8]
00135461mov [rax-8], 2048
00135469lea rbx, [rip+0x1f4c00]
00135470mov rbx, [rbx]
00135473mov [rax], rbx
00135476lea rbx, [rip+0x19974b]
0013547dmov [rax+8], rbx
00135481mov rsp, [r14+48]
00135485pop [r14+48]
00135489pop r11
0013548bjmp r11
0013548enop
00135490
00135490loc_135490:
00135490mov rax, [rax]
00135493ret
00135494
00135494loc_135494:
00135494call caml_call_gc
00135499jmp 0x13545d
00135450
00135450camlIndex.first_key_321:
00135450test al, 1
00135452je 0x135490
00135454sub r15, 24
00135458cmp r15, [r14]
0013545bjb 0x135494
0013545d
0013545dloc_13545d:
0013545dlea rax, [r15+8]
00135461mov [rax-8], 2048
00135469lea rbx, [rip+0x1f4c00]
00135470mov rbx, [rbx]
00135473mov [rax], rbx
00135476lea rbx, [rip+0x19974b]
0013547dmov [rax+8], rbx
00135481mov rsp, [r14+48]
00135485pop [r14+48]
00135489pop r11
0013548bjmp r11
0013548enop
00135490
00135490loc_135490:
00135490mov rax, [rax]
00135493ret
00135494
00135494loc_135494:
00135494call caml_call_gc
00135499jmp 0x13545d
00135450
0013549b
0013549b // align 0x10
0013549b // align 0x10
001354a0
001354a0camlIndex.pretty_key_325:
001354a0cmp r15, [r14]
001354a3jbe 0x1354aa
001354a5
001354a5loc_1354a5:
001354a5jmp 0x1354c0
001354aa
001354aaloc_1354aa:
001354aacall caml_call_gc
001354afjmp 0x1354a5
001354a0
001354a0camlIndex.pretty_key_325:
001354a0cmp r15, [r14]
001354a3jbe 0x1354aa
001354a5
001354a5loc_1354a5:
001354a5jmp 0x1354c0
001354aa
001354aaloc_1354aa:
001354aacall caml_call_gc
001354afjmp 0x1354a5
001354a0
001354b1
001354b1 // align 0x10
001354b1 // align 0x10
001354c0
001354c0camlIndex.p_rec_329:
001354c0lea r10, [rsp-336]
001354c8cmp r10, [r14+40]
001354ccjb 0x135666
001354d2
001354d2loc_1354d2:
001354d2sub rsp, 16
001354d6test al, 1
001354d8je 0x1354f0
001354datest bl, 1
001354ddje 0x135628
001354e3lea rax, [rip+0x1995c6]
001354eaadd rsp, 16
001354eeret
001354efnop
001354f0
001354f0loc_1354f0:
001354f0mov rdi, [rax+8]
001354f4mov rax, [rax]
001354f7test dil, 1
001354fbje 0x13557c
001354fdtest bl, 1
00135500jne 0x135628
00135506mov rsi, [rbx]
00135509mov rdx, [rsi-8]
0013550dshr rdx, 10
00135511cmp rdx, 2
00135515jl 0x135520
00135517mov [rsp+8], rax
0013551cjmp 0x135551
0013551enop
00135520
00135520loc_135520:
00135520mov rdx, [rsi]
00135523mov rcx, 0x700000000000000
0013552dcmp rdx, rcx
00135530jne 0x13554c
00135532mov rsi, [rbx+8]
00135536test sil, 1
0013553aje 0x135544
0013553cadd rsp, 16
00135540ret
00135541nop [rax]
00135544
00135544loc_135544:
00135544mov [rsp+8], rax
00135549jmp 0x135581
0013554bnop
0013554c
0013554cloc_13554c:
0013554cmov [rsp+8], rax
00135551
00135551loc_135551:
00135551mov rax, [rbx+8]
00135555test al, 1
00135557je 0x135581
00135559lea rax, [rip+0x199540]
00135560mov rbx, rsi
00135563call camlStdlib.$5e_139
00135568mov rbx, rax
0013556bmov rax, [rsp+8]
00135570add rsp, 16
00135574jmp 0x195ba0
00135579nop [rax]
0013557c
0013557cloc_13557c:
0013557cmov [rsp+8], rax
00135581
00135581loc_135581:
00135581test bl, 1
00135584jne 0x135628
0013558amov rax, [rbx]
0013558dmov [rsp], rax
00135591mov rsi, [rax-8]
00135595shr rsi, 10
00135599cmp rsi, 2
0013559djge 0x1355e0
0013559fmov rax, [rax]
001355a2mov rsi, 0x700000000000000
001355accmp rax, rsi
001355afjne 0x1355e0
001355b1mov rbx, [rbx+8]
001355b5mov rax, rdi
001355b8call camlIndex.p_rec_329
001355bdmov rbx, rax
001355c0lea rax, [rip+0x1994c9]
001355c7call camlStdlib.$5e_139
001355ccmov rbx, rax
001355cfmov rax, [rsp+8]
001355d4add rsp, 16
001355d8jmp 0x195ba0
001355ddnop [rax]
001355e0
001355e0loc_1355e0:
001355e0mov rbx, [rbx+8]
001355e4mov rax, rdi
001355e7call camlIndex.p_rec_329
001355ecmov rbx, rax
001355eflea rax, [rip+0x19949a]
001355f6call camlStdlib.$5e_139
001355fbmov rbx, rax
001355femov rax, [rsp]
00135602call camlStdlib.$5e_139
00135607mov rbx, rax
0013560alea rax, [rip+0x19948f]
00135611call camlStdlib.$5e_139
00135616mov rbx, rax
00135619mov rax, [rsp+8]
0013561eadd rsp, 16
00135622jmp 0x195ba0
00135627nop
00135628
00135628loc_135628:
00135628sub r15, 24
0013562ccmp r15, [r14]
0013562fjb 0x13565f
00135631
00135631loc_135631:
00135631lea rax, [r15+8]
00135635mov [rax-8], 2048
0013563dlea rbx, [rip+0x140bc4]
00135644mov [rax], rbx
00135647lea rbx, [rip+0x1998da]
0013564emov [rax+8], rbx
00135652mov rsp, [r14+48]
00135656pop [r14+48]
0013565apop r11
0013565cjmp r11
0013565f
0013565floc_13565f:
0013565fcall caml_call_gc
00135664jmp 0x135631
00135666
00135666loc_135666:
00135666push 35
00135668call caml_call_realloc_stack
0013566dpop r10
0013566fjmp 0x1354d2
001354c0
001354c0camlIndex.p_rec_329:
001354c0lea r10, [rsp-336]
001354c8cmp r10, [r14+40]
001354ccjb 0x135666
001354d2
001354d2loc_1354d2:
001354d2sub rsp, 16
001354d6test al, 1
001354d8je 0x1354f0
001354datest bl, 1
001354ddje 0x135628
001354e3lea rax, [rip+0x1995c6]
001354eaadd rsp, 16
001354eeret
001354efnop
001354f0
001354f0loc_1354f0:
001354f0mov rdi, [rax+8]
001354f4mov rax, [rax]
001354f7test dil, 1
001354fbje 0x13557c
001354fdtest bl, 1
00135500jne 0x135628
00135506mov rsi, [rbx]
00135509mov rdx, [rsi-8]
0013550dshr rdx, 10
00135511cmp rdx, 2
00135515jl 0x135520
00135517mov [rsp+8], rax
0013551cjmp 0x135551
0013551enop
00135520
00135520loc_135520:
00135520mov rdx, [rsi]
00135523mov rcx, 0x700000000000000
0013552dcmp rdx, rcx
00135530jne 0x13554c
00135532mov rsi, [rbx+8]
00135536test sil, 1
0013553aje 0x135544
0013553cadd rsp, 16
00135540ret
00135541nop [rax]
00135544
00135544loc_135544:
00135544mov [rsp+8], rax
00135549jmp 0x135581
0013554bnop
0013554c
0013554cloc_13554c:
0013554cmov [rsp+8], rax
00135551
00135551loc_135551:
00135551mov rax, [rbx+8]
00135555test al, 1
00135557je 0x135581
00135559lea rax, [rip+0x199540]
00135560mov rbx, rsi
00135563call camlStdlib.$5e_139
00135568mov rbx, rax
0013556bmov rax, [rsp+8]
00135570add rsp, 16
00135574jmp 0x195ba0
00135579nop [rax]
0013557c
0013557cloc_13557c:
0013557cmov [rsp+8], rax
00135581
00135581loc_135581:
00135581test bl, 1
00135584jne 0x135628
0013558amov rax, [rbx]
0013558dmov [rsp], rax
00135591mov rsi, [rax-8]
00135595shr rsi, 10
00135599cmp rsi, 2
0013559djge 0x1355e0
0013559fmov rax, [rax]
001355a2mov rsi, 0x700000000000000
001355accmp rax, rsi
001355afjne 0x1355e0
001355b1mov rbx, [rbx+8]
001355b5mov rax, rdi
001355b8call camlIndex.p_rec_329
001355bdmov rbx, rax
001355c0lea rax, [rip+0x1994c9]
001355c7call camlStdlib.$5e_139
001355ccmov rbx, rax
001355cfmov rax, [rsp+8]
001355d4add rsp, 16
001355d8jmp 0x195ba0
001355ddnop [rax]
001355e0
001355e0loc_1355e0:
001355e0mov rbx, [rbx+8]
001355e4mov rax, rdi
001355e7call camlIndex.p_rec_329
001355ecmov rbx, rax
001355eflea rax, [rip+0x19949a]
001355f6call camlStdlib.$5e_139
001355fbmov rbx, rax
001355femov rax, [rsp]
00135602call camlStdlib.$5e_139
00135607mov rbx, rax
0013560alea rax, [rip+0x19948f]
00135611call camlStdlib.$5e_139
00135616mov rbx, rax
00135619mov rax, [rsp+8]
0013561eadd rsp, 16
00135622jmp 0x195ba0
00135627nop
00135628
00135628loc_135628:
00135628sub r15, 24
0013562ccmp r15, [r14]
0013562fjb 0x13565f
00135631
00135631loc_135631:
00135631lea rax, [r15+8]
00135635mov [rax-8], 2048
0013563dlea rbx, [rip+0x140bc4]
00135644mov [rax], rbx
00135647lea rbx, [rip+0x1998da]
0013564emov [rax+8], rbx
00135652mov rsp, [r14+48]
00135656pop [r14+48]
0013565apop r11
0013565cjmp r11
0013565f
0013565floc_13565f:
0013565fcall caml_call_gc
00135664jmp 0x135631
00135666
00135666loc_135666:
00135666push 35
00135668call caml_call_realloc_stack
0013566dpop r10
0013566fjmp 0x1354d2
001354c0
Loading..