File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00132db0
    00132db0camlLatexscan.get_tt_mode_2676:
    00132db0lea r10, [rsp-328]
    00132db8cmp r10, [r14+40]
    00132dbcjb 0x132ea3
    00132dc2
    00132dc2loc_132dc2:
    00132dc2sub rsp, 8
    00132dc6sub r15, 64
    00132dcacmp r15, [r14]
    00132dcdjb 0x132e99
    00132dd3
    00132dd3loc_132dd3:
    00132dd3lea rsi, [r15+8]
    00132dd7add rsi, 40
    00132ddbmov [rsi-8], 2048
    00132de3lea rax, [rip+0x16b78e]
    00132deamov [rsi], rax
    00132dedlea rax, [rip+0x1e3bac]
    00132df4mov rax, [rax+728]
    00132dfbmov rax, [rax]
    00132dfemov [rsi+8], rax
    00132e02lea rax, [rsi-40]
    00132e06mov [rax-8], 4343
    00132e0elea rdi, [rip+171]
    00132e15mov [rax], rdi
    00132e18mov rdi, 0x100000000000005
    00132e22mov [rax+8], rdi
    00132e26mov rdi, [rbx+24]
    00132e2amov [rax+16], rdi
    00132e2emov rdi, [rbx+32]
    00132e32mov [rax+24], rdi
    00132e36mov rdi, [rbx+16]
    00132e3amov rbx, rsi
    00132e3dcall camlLatexscan.get_style_1337
    00132e42test al, 1
    00132e44je 0x132e6c
    00132e46lea rax, [rip+0x16b703]
    00132e4dcall camlMisc.warning_287
    00132e52lea rax, [rip+0x1fa7bf]
    00132e59mov rax, [rax+16]
    00132e5dmov rsp, [r14+48]
    00132e61pop [r14+48]
    00132e65pop r11
    00132e67jmp r11
    00132e6anop
    00132e6c
    00132e6cloc_132e6c:
    00132e6cmov rbx, [rax]
    00132e6fmov rax, [rax+8]
    00132e73test al, 1
    00132e75je 0x132e80
    00132e77mov rax, rbx
    00132e7aadd rsp, 8
    00132e7eret
    00132e7fnop
    00132e80
    00132e80loc_132e80:
    00132e80mov [rsp], rbx
    00132e84lea rax, [rip+0x16b69d]
    00132e8bcall camlMisc.warning_287
    00132e90mov rax, [rsp]
    00132e94add rsp, 8
    00132e98ret
    00132e99
    00132e99loc_132e99:
    00132e99call caml_call_gc
    00132e9ejmp 0x132dd3
    00132ea3
    00132ea3loc_132ea3:
    00132ea3push 34
    00132ea5call caml_call_realloc_stack
    00132eaapop r10
    00132eacjmp 0x132dc2
    00132db0
    00132eb1
    00132eb1 // align 0x10
    00132ec0
    00132ec0camlLatexscan.fun_6969:
    00132ec0lea r10, [rsp-336]
    00132ec8cmp r10, [r14+40]
    00132eccjb 0x132f0c
    00132ece
    00132eceloc_132ece:
    00132ecesub rsp, 16
    00132ed2mov [rsp+8], rax
    00132ed7mov [rsp], rbx
    00132edbmov rax, [rbx+24]
    00132edfmov rbx, [rax+56]
    00132ee3mov eax, 1
    00132ee8mov rdi, [rbx]
    00132eebcall rdi
    00132eedmov rax, [rsp]
    00132ef1mov rdi, [rax+16]
    00132ef5add rdi, 24
    00132ef9mov ebx, 1
    00132efemov rax, [rsp+8]
    00132f03add rsp, 16
    00132f07jmp 0x1166c0
    00132f0c
    00132f0cloc_132f0c:
    00132f0cpush 35
    00132f0ecall caml_call_realloc_stack
    00132f13pop r10
    00132f15jmp 0x132ece
    00132ec0
    00132f17
    00132f17 // align 0x10
    00132f20
    00132f20camlLatexscan.fun_6977:
    00132f20lea r10, [rsp-352]
    00132f28cmp r10, [r14+40]
    00132f2cjb 0x132fba
    00132f32
    00132f32loc_132f32:
    00132f32sub rsp, 16
    00132f36mov [rsp], rax
    00132f3amov [rsp+8], rbx
    00132f3flea r11, [rip+62]
    00132f46push r11
    00132f48push [r14+48]
    00132f4cmov [r14+48], rsp
    00132f50mov rbx, [rbx+24]
    00132f54mov eax, 1
    00132f59call camlLatexscan.get_tt_mode_2676
    00132f5emov rbx, [rsp+24]
    00132f63mov rdi, [rbx+32]
    00132f67mov rsi, rax
    00132f6amov rbx, rsp
    00132f6dmov rsp, [r14+64]
    00132f71call caml_modify
    00132f76mov rsp, rbx
    00132f79pop [r14+48]
    00132f7dadd rsp, 8
    00132f81jmp 0x132fa4
    00132f83nop
    00132f84lea rbx, [rip+0x1fa68d]
    00132f8bmov rbx, [rbx+16]
    00132f8fcmp rax, rbx
    00132f92je 0x132fa4
    00132f94mov rsp, [r14+48]
    00132f98pop [r14+48]
    00132f9cpop r11
    00132f9ejmp r11
    00132fa1nop [rax]
    00132fa4
    00132fa4loc_132fa4:
    00132fa4mov rax, [rsp+8]
    00132fa9mov rbx, [rax+16]
    00132fadmov rax, [rsp]
    00132fb1add rsp, 16
    00132fb5jmp 0x127b00
    00132fba
    00132fbaloc_132fba:
    00132fbapush 37
    00132fbccall caml_call_realloc_stack
    00132fc1pop r10
    00132fc3jmp 0x132f32
    00132f20
    00132fc8
    00132fc8 // align 0x10
    00132fd0
    00132fd0camlLatexscan.has_tt_2684:
    00132fd0cmp r15, [r14]
    00132fd3jbe 0x132fec
    00132fd5
    00132fd5loc_132fd5:
    00132fd5mov rax, [rbx+24]
    00132fd9mov rdi, [rax+80]
    00132fddmov rax, [rbx+16]
    00132fe1mov rax, [rax]
    00132fe4mov rsi, [rdi]
    00132fe7mov rbx, rdi
    00132feajmp rsi
    00132fec
    00132fecloc_132fec:
    00132feccall caml_call_gc
    00132ff1jmp 0x132fd5
    00132fd0
    00132ff3
    00132ff3 // align 0x10
    00133000
    00133000camlLatexscan.do_minus_2687:
    00133000lea r10, [rsp-336]
    00133008cmp r10, [r14+40]
    0013300cjb 0x133198
    00133012
    00133012loc_133012:
    00133012sub rsp, 16
    00133016mov [rsp+8], rbx
    0013301bcmp r15, [r14]
    0013301ejbe 0x13318e
    00133024
    00133024loc_133024:
    00133024lea rbx, [rip+0x1e3975]
    0013302bmov rbx, [rbx+168]
    00133032mov rbx, [rbx]
    00133035cmp rbx, 3
    00133039je 0x133170
    0013303fmov [rsp], rax
    00133043mov eax, 91
    00133048call camlLexstate.is_plain_833
    0013304dcmp rax, 1
    00133051je 0x133170
    00133057mov rax, [rsp+8]
    0013305cmov rax, [rax+24]
    00133060mov rbx, [rax+24]
    00133064mov rbx, [rbx+80]
    00133068mov rax, [rax+16]
    0013306cmov rax, [rax]
    0013306fmov rdi, [rbx]
    00133072call rdi
    00133074cmp rax, 1
    00133078jne 0x133170
    0013307emov eax, 91
    00133083mov rbx, [rsp]
    00133087call camlSave.if_next_char_480
    0013308ccmp rax, 1
    00133090je 0x133110
    00133092lea rax, [rip+0x1e80b7]
    00133099mov rdi, [rax+64]
    0013309dadd rdi, 24
    001330a1mov ebx, 405
    001330a6mov rax, [rsp]
    001330aacall Save..ocaml_lex_gobble_one_char_rec
    001330afmov eax, 91
    001330b4mov rbx, [rsp]
    001330b8call camlSave.if_next_char_480
    001330bdcmp rax, 1
    001330c1je 0x1330f8
    001330c3lea rax, [rip+0x1e8086]
    001330camov rdi, [rax+64]
    001330ceadd rdi, 24
    001330d2mov ebx, 405
    001330d7mov rax, [rsp]
    001330dbcall Save..ocaml_lex_gobble_one_char_rec
    001330e0mov rax, [rsp+8]
    001330e5mov rbx, [rax+16]
    001330e9mov eax, 16425
    001330eeadd rsp, 16
    001330f2jmp 0x12ce20
    001330f7nop
    001330f8
    001330f8loc_1330f8:
    001330f8mov rax, [rsp+8]
    001330fdmov rbx, [rax+16]
    00133101mov eax, 16423
    00133106add rsp, 16
    0013310ajmp 0x12ce20
    0013310fnop
    00133110
    00133110loc_133110:
    00133110lea rax, [rip+0x1e3889]
    00133117mov rbx, [rax+144]
    0013311emov rbx, [rbx]
    00133121cmp rbx, 1
    00133125je 0x133150
    00133127mov rax, [rax+128]
    0013312emov rax, [rax]
    00133131cmp rax, 1
    00133135jne 0x133150
    00133137mov rax, [rsp+8]
    0013313cmov rbx, [rax+16]
    00133140mov eax, 17445
    00133145add rsp, 16
    00133149jmp 0x12ce20
    0013314enop
    00133150
    00133150loc_133150:
    00133150mov rax, [rsp+8]
    00133155mov rax, [rax+32]
    00133159mov rbx, [rax+360]
    00133160mov eax, 91
    00133165mov rdi, [rbx]
    00133168add rsp, 16
    0013316cjmp rdi
    0013316enop
    00133170
    00133170loc_133170:
    00133170mov rax, [rsp+8]
    00133175mov rax, [rax+32]
    00133179mov rbx, [rax+360]
    00133180mov eax, 91
    00133185mov rdi, [rbx]
    00133188add rsp, 16
    0013318cjmp rdi
    0013318e
    0013318eloc_13318e:
    0013318ecall caml_call_gc
    00133193jmp 0x133024
    00133198
    00133198loc_133198:
    00133198push 35
    0013319acall caml_call_realloc_stack
    0013319fpop r10
    001331a1jmp 0x133012
    00133000
    001331a6
    001331a6 // align 0x10
    001331b0
    001331b0camlLatexscan.do_backquote_2690:
    001331b0lea r10, [rsp-336]
    001331b8cmp r10, [r14+40]
    001331bcjb 0x133374
    001331c2
    001331c2loc_1331c2:
    001331c2sub rsp, 16
    001331c6mov [rsp], rax
    001331camov [rsp+8], rbx
    001331cfcmp r15, [r14]
    001331d2jbe 0x13336a
    001331d8
    001331d8loc_1331d8:
    001331d8mov eax, 193
    001331ddcall camlLexstate.is_plain_833
    001331e2cmp rax, 1
    001331e6je 0x13334c
    001331eclea rax, [rip+0x1e37ad]
    001331f3mov rax, [rax+144]
    001331famov rax, [rax]
    001331fdcmp rax, 1
    00133201je 0x1332b0
    00133207mov eax, 193
    0013320cmov rbx, [rsp]
    00133210call camlSave.if_next_char_480
    00133215cmp rax, 1
    00133219je 0x133298
    0013321blea rax, [rip+0x1e7f2e]
    00133222mov rdi, [rax+64]
    00133226add rdi, 24
    0013322amov ebx, 405
    0013322fmov rax, [rsp]
    00133233call Save..ocaml_lex_gobble_one_char_rec
    00133238mov eax, 193
    0013323dmov rbx, [rsp]
    00133241call camlSave.if_next_char_480
    00133246cmp rax, 1
    0013324aje 0x133280
    0013324clea rax, [rip+0x1e7efd]
    00133253mov rdi, [rax+64]
    00133257add rdi, 24
    0013325bmov ebx, 405
    00133260mov rax, [rsp]
    00133264call Save..ocaml_lex_gobble_one_char_rec
    00133269mov rax, [rsp+8]
    0013326emov rbx, [rax+16]
    00133272mov eax, 16495
    00133277add rsp, 16
    0013327bjmp 0x12ce20
    00133280
    00133280loc_133280:
    00133280mov rax, [rsp+8]
    00133285mov rbx, [rax+16]
    00133289mov eax, 16493
    0013328eadd rsp, 16
    00133292jmp 0x12ce20
    00133297nop
    00133298
    00133298loc_133298:
    00133298mov rax, [rsp+8]
    0013329dmov rbx, [rax+16]
    001332a1mov eax, 16491
    001332a6add rsp, 16
    001332aajmp 0x12ce20
    001332afnop
    001332b0
    001332b0loc_1332b0:
    001332b0mov rax, [rsp+8]
    001332b5mov rax, [rax+24]
    001332b9mov rbx, [rax+24]
    001332bdmov rbx, [rbx+80]
    001332c1mov rax, [rax+16]
    001332c5mov rax, [rax]
    001332c8mov rdi, [rbx]
    001332cbcall rdi
    001332cdcmp rax, 1
    001332d1je 0x1332ec
    001332d3mov rax, [rsp+8]
    001332d8mov rbx, [rax+16]
    001332dcmov eax, 16433
    001332e1add rsp, 16
    001332e5jmp 0x12ce20
    001332eanop
    001332ec
    001332ecloc_1332ec:
    001332ecmov eax, 193
    001332f1mov rbx, [rsp]
    001332f5call camlSave.if_next_char_480
    001332facmp rax, 1
    001332feje 0x133334
    00133300lea rax, [rip+0x1e7e49]
    00133307mov rdi, [rax+64]
    0013330badd rdi, 24
    0013330fmov ebx, 405
    00133314mov rax, [rsp]
    00133318call Save..ocaml_lex_gobble_one_char_rec
    0013331dmov rax, [rsp+8]
    00133322mov rbx, [rax+16]
    00133326mov eax, 16441
    0013332badd rsp, 16
    0013332fjmp 0x12ce20
    00133334
    00133334loc_133334:
    00133334mov rax, [rsp+8]
    00133339mov rbx, [rax+16]
    0013333dmov eax, 16433
    00133342add rsp, 16
    00133346jmp 0x12ce20
    0013334bnop
    0013334c
    0013334cloc_13334c:
    0013334cmov rax, [rsp+8]
    00133351mov rax, [rax+32]
    00133355mov rbx, [rax+360]
    0013335cmov eax, 193
    00133361mov rdi, [rbx]
    00133364add rsp, 16
    00133368jmp rdi
    0013336a
    0013336aloc_13336a:
    0013336acall caml_call_gc
    0013336fjmp 0x1331d8
    00133374
    00133374loc_133374:
    00133374push 35
    00133376call caml_call_realloc_stack
    0013337bpop r10
    0013337djmp 0x1331c2
    001331b0
    00133382
    00133382 // align 0x10
    00133390
    00133390camlLatexscan.do_quote_2691:
    00133390lea r10, [rsp-336]
    00133398cmp r10, [r14+40]
    0013339cjb 0x133554
    001333a2
    001333a2loc_1333a2:
    001333a2sub rsp, 16
    001333a6mov [rsp], rax
    001333aamov [rsp+8], rbx
    001333afcmp r15, [r14]
    001333b2jbe 0x13354a
    001333b8
    001333b8loc_1333b8:
    001333b8mov eax, 79
    001333bdcall camlLexstate.is_plain_833
    001333c2cmp rax, 1
    001333c6je 0x13352c
    001333cclea rax, [rip+0x1e35cd]
    001333d3mov rax, [rax+144]
    001333damov rax, [rax]
    001333ddcmp rax, 1
    001333e1je 0x133490
    001333e7mov eax, 79
    001333ecmov rbx, [rsp]
    001333f0call camlSave.if_next_char_480
    001333f5cmp rax, 1
    001333f9je 0x133478
    001333fblea rax, [rip+0x1e7d4e]
    00133402mov rdi, [rax+64]
    00133406add rdi, 24
    0013340amov ebx, 405
    0013340fmov rax, [rsp]
    00133413call Save..ocaml_lex_gobble_one_char_rec
    00133418mov eax, 79
    0013341dmov rbx, [rsp]
    00133421call camlSave.if_next_char_480
    00133426cmp rax, 1
    0013342aje 0x133460
    0013342clea rax, [rip+0x1e7d1d]
    00133433mov rdi, [rax+64]
    00133437add rdi, 24
    0013343bmov ebx, 405
    00133440mov rax, [rsp]
    00133444call Save..ocaml_lex_gobble_one_char_rec
    00133449mov rax, [rsp+8]
    0013344emov rbx, [rax+16]
    00133452mov eax, 16489
    00133457add rsp, 16
    0013345bjmp 0x12ce20
    00133460
    00133460loc_133460:
    00133460mov rax, [rsp+8]
    00133465mov rbx, [rax+16]
    00133469mov eax, 16487
    0013346eadd rsp, 16
    00133472jmp 0x12ce20
    00133477nop
    00133478
    00133478loc_133478:
    00133478mov rax, [rsp+8]
    0013347dmov rbx, [rax+16]
    00133481mov eax, 16485
    00133486add rsp, 16
    0013348ajmp 0x12ce20
    0013348fnop
    00133490
    00133490loc_133490:
    00133490mov rax, [rsp+8]
    00133495mov rax, [rax+24]
    00133499mov rbx, [rax+24]
    0013349dmov rbx, [rbx+80]
    001334a1mov rax, [rax+16]
    001334a5mov rax, [rax]
    001334a8mov rdi, [rbx]
    001334abcall rdi
    001334adcmp rax, 1
    001334b1je 0x1334cc
    001334b3mov rax, [rsp+8]
    001334b8mov rbx, [rax+16]
    001334bcmov eax, 16435
    001334c1add rsp, 16
    001334c5jmp 0x12ce20
    001334canop
    001334cc
    001334ccloc_1334cc:
    001334ccmov eax, 79
    001334d1mov rbx, [rsp]
    001334d5call camlSave.if_next_char_480
    001334dacmp rax, 1
    001334deje 0x133514
    001334e0lea rax, [rip+0x1e7c69]
    001334e7mov rdi, [rax+64]
    001334ebadd rdi, 24
    001334efmov ebx, 405
    001334f4mov rax, [rsp]
    001334f8call Save..ocaml_lex_gobble_one_char_rec
    001334fdmov rax, [rsp+8]
    00133502mov rbx, [rax+16]
    00133506mov eax, 16443
    0013350badd rsp, 16
    0013350fjmp 0x12ce20
    00133514
    00133514loc_133514:
    00133514mov rax, [rsp+8]
    00133519mov rbx, [rax+16]
    0013351dmov eax, 16435
    00133522add rsp, 16
    00133526jmp 0x12ce20
    0013352bnop
    0013352c
    0013352cloc_13352c:
    0013352cmov rax, [rsp+8]
    00133531mov rax, [rax+32]
    00133535mov rbx, [rax+360]
    0013353cmov eax, 79
    00133541mov rdi, [rbx]
    00133544add rsp, 16
    00133548jmp rdi
    0013354a
    0013354aloc_13354a:
    0013354acall caml_call_gc
    0013354fjmp 0x1333b8
    00133554
    00133554loc_133554:
    00133554push 35
    00133556call caml_call_realloc_stack
    0013355bpop r10
    0013355djmp 0x1333a2
    00133390
    00133562
    00133562 // align 0x10
    00133570
    00133570camlLatexscan.fun_7047:
    00133570mov rdi, rax
    00133573mov rdx, [rbx+24]
    00133577mov rsi, [rbx+16]
    0013357blea rax, [rip+0x166e66]
    00133582mov rbx, rdx
    00133585jmp 0x126140
    00133570
    0013358a
    0013358a // align 0x10
    00133590
    00133590camlLatexscan.fun_7055:
    00133590mov rdi, rax
    00133593mov rdx, [rbx+24]
    00133597mov rsi, [rbx+16]
    0013359blea rax, [rip+0x16b0c6]
    001335a2mov rbx, rdx
    001335a5jmp 0x1262a0
    00133590
    001335aa
    001335aa // align 0x10
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    00133c4e
    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
    00133da1
    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
    00133ddb
    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
    00133e2b
    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
    00133f53
    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
    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
    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
    001340a3
    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
    00134128
    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
    0013431c
    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
    00134365
    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
    001343f9
    001343f9 // align 0x10
    00134400
    00134400camlInfo.put_539:
    00134400jmp 0x154280
    00134400
    00134405
    00134405 // align 0x10
    00134410
    00134410camlInfo.put_char_540:
    00134410jmp 0x154300
    00134410
    00134415
    00134415 // align 0x10
    00134420
    00134420camlInfo.put_unicode_541:
    00134420jmp 0x154380
    00134420
    00134425
    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
    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