File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    000fae70
    000fae70camlVideoc.do_four_backslashes_926:
    000fae70cmp r15, [r14]
    000fae73jbe 0xfae8f
    000fae75
    000fae75loc_fae75:
    000fae75mov rax, [rbx+496]
    000fae7cmov rbx, [rax+352]
    000fae83lea rax, [rip+0x181aae]
    000fae8amov rdi, [rbx]
    000fae8djmp rdi
    000fae8f
    000fae8floc_fae8f:
    000fae8fcall caml_call_gc
    000fae94jmp 0xfae75
    000fae70
    000fae96
    000fae96 // align 0x10
    000faea0
    000faea0camlVideoc.do_edef_927:
    000faea0lea r10, [rsp-352]
    000faea8cmp r10, [r14+40]
    000faeacjb 0xfafa5
    000faeb2
    000faeb2loc_faeb2:
    000faeb2sub rsp, 32
    000faeb6mov rax, rbx
    000faeb9mov [rsp], rax
    000faebdmov [rsp+8], rdi
    000faec2mov rbx, [rdi+456]
    000faec9mov rbx, [rbx+240]
    000faed0mov rdi, [rbx]
    000faed3call rdi
    000faed5mov [rsp+16], rax
    000faedamov rax, [rsp]
    000faedecall camlLexstate.save_arg_1030
    000faee3mov rbx, rax
    000faee6mov eax, 1
    000faeebcall camlSubst.do_do_subst_this_697
    000faef0mov [rsp], rax
    000faef4mov rax, [rsp+8]
    000faef9mov rax, [rax+456]
    000faf00mov rbx, [rax+80]
    000faf04mov eax, 1
    000faf09mov rdi, [rbx]
    000faf0ccall rdi
    000faf0ecmp rax, 1
    000faf12je 0xfaf6e
    000faf14mov rax, [rsp+8]
    000faf19mov rax, [rax+464]
    000faf20mov rax, [rax+32]
    000faf24mov [rsp+24], rax
    000faf29lea rbx, [rip+0x1819d8]
    000faf30mov rax, [rsp]
    000faf34call camlStdlib.$5e_139
    000faf39mov rbx, rax
    000faf3clea rax, [rip+0x1819d5]
    000faf43call camlStdlib.$5e_139
    000faf48mov rbx, rax
    000faf4bmov rax, [rsp+16]
    000faf50call camlStdlib.$5e_139
    000faf55mov rbx, rax
    000faf58lea rax, [rip+0x1819c9]
    000faf5fcall camlStdlib.$5e_139
    000faf64mov rbx, [rsp+24]
    000faf69mov rdi, [rbx]
    000faf6ccall rdi
    000faf6e
    000faf6eloc_faf6e:
    000faf6emov rax, [rsp+8]
    000faf73mov rbx, [rax+440]
    000faf7amov rax, [rsp]
    000faf7ecall camlVideoc.caml_print_914
    000faf83mov rdi, rax
    000faf86lea rax, [rip+0x21ba13]
    000faf8dmov rbx, [rax+56]
    000faf91mov rax, [rsp+16]
    000faf96call camlLatexmacros.def_952
    000faf9bmov eax, 1
    000fafa0add rsp, 32
    000fafa4ret
    000fafa5
    000fafa5loc_fafa5:
    000fafa5push 37
    000fafa7call caml_call_realloc_stack
    000fafacpop r10
    000fafaejmp 0xfaeb2
    000faea0
    000fafb3
    000fafb3 // align 0x10
    000fafc0
    000fafc0camlVideoc.do_muledef_928:
    000fafc0lea r10, [rsp-352]
    000fafc8cmp r10, [r14+40]
    000fafccjb 0xfb092
    000fafd2
    000fafd2loc_fafd2:
    000fafd2sub rsp, 32
    000fafd6mov [rsp+16], rax
    000fafdbmov rax, rbx
    000fafdemov [rsp], rax
    000fafe2mov [rsp+8], rdi
    000fafe7call camlLexstate.save_arg_1030
    000fafecmov rbx, rax
    000fafefmov eax, 1
    000faff4call camlSubst.do_do_subst_this_697
    000faff9mov [rsp+24], rax
    000faffemov rax, [rsp]
    000fb002call camlLexstate.save_arg_1030
    000fb007mov rbx, rax
    000fb00amov eax, 1
    000fb00fcall camlSubst.do_do_subst_this_697
    000fb014sub r15, 64
    000fb018cmp r15, [r14]
    000fb01bjb 0xfb08b
    000fb01d
    000fb01dloc_fb01d:
    000fb01dlea rdi, [r15+8]
    000fb021mov [rdi-8], 7415
    000fb029lea rbx, [rip-16400]
    000fb030mov [rdi], rbx
    000fb033mov rbx, 0x200000000000007
    000fb03dmov [rdi+8], rbx
    000fb041lea rbx, [rip+88]
    000fb048mov [rdi+16], rbx
    000fb04cmov rbx, [rsp+8]
    000fb051mov rbx, [rbx+408]
    000fb058mov [rdi+24], rbx
    000fb05cmov rbx, [rsp+16]
    000fb061mov [rdi+32], rbx
    000fb065mov rbx, [rsp+24]
    000fb06amov [rdi+40], rbx
    000fb06emov [rdi+48], rax
    000fb072mov ebx, 1
    000fb077mov eax, 1
    000fb07ccall camlVideoc.bind_954
    000fb081mov eax, 1
    000fb086add rsp, 32
    000fb08aret
    000fb08b
    000fb08bloc_fb08b:
    000fb08bcall caml_call_gc
    000fb090jmp 0xfb01d
    000fb092
    000fb092loc_fb092:
    000fb092push 37
    000fb094call caml_call_realloc_stack
    000fb099pop r10
    000fb09bjmp 0xfafd2
    000fafc0
    000fb0a0
    000fb0a0camlVideoc.bind_954:
    000fb0a0lea r10, [rsp-408]
    000fb0a8cmp r10, [r14+40]
    000fb0acjb 0xfb34d
    000fb0b2
    000fb0b2loc_fb0b2:
    000fb0b2sub rsp, 56
    000fb0b6mov rsi, rax
    000fb0b9mov [rsp], rsi
    000fb0bdmov [rsp+16], rbx
    000fb0c2mov [rsp+48], rdi
    000fb0c7lea r11, [rip+366]
    000fb0cepush r11
    000fb0d0push [r14+48]
    000fb0d4mov [r14+48], rsp
    000fb0d8mov edx, 89
    000fb0ddmov rax, [rdi+40]
    000fb0e1mov rbx, rsi
    000fb0e4mov rdi, rdx
    000fb0e7call Stdlib.String.index_from
    000fb0ecmov [rsp+48], rax
    000fb0f1lea r11, [rip+260]
    000fb0f8push r11
    000fb0fapush [r14+48]
    000fb0femov [r14+48], rsp
    000fb102mov edi, 89
    000fb107mov rax, [rsp+80]
    000fb10cmov rax, [rax+48]
    000fb110mov rbx, [rsp+48]
    000fb115call Stdlib.String.index_from
    000fb11amov [rsp+56], rax
    000fb11fmov rdi, [rsp+64]
    000fb124mov rbx, [rsp+32]
    000fb129sub rdi, rbx
    000fb12cinc rdi
    000fb12fmov rax, [rsp+80]
    000fb134mov rax, [rax+40]
    000fb138call Stdlib.Bytes.sub
    000fb13dmov [rsp+72], rax
    000fb142mov rdi, [rsp+56]
    000fb147mov rbx, [rsp+48]
    000fb14csub rdi, rbx
    000fb14finc rdi
    000fb152mov rax, [rsp+80]
    000fb157mov rax, [rax+48]
    000fb15bcall Stdlib.Bytes.sub
    000fb160mov rbx, rax
    000fb163mov [rsp+40], rbx
    000fb168lea rax, [rip+0x22ef01]
    000fb16fmov rax, [rax+80]
    000fb173mov rax, [rax]
    000fb176cmp rax, 5
    000fb17ajle 0xfb1ab
    000fb17clea rax, [rip+0x181765]
    000fb183call camlStdlib.$5e_139
    000fb188mov rbx, rax
    000fb18bmov rax, [rsp+72]
    000fb190call camlStdlib.$5e_139
    000fb195mov rbx, rax
    000fb198mov rax, [rsp+80]
    000fb19dmov rax, [rax+32]
    000fb1a1call camlStdlib.$5e_139
    000fb1a6call camlStdlib.prerr_endline_390
    000fb1ab
    000fb1abloc_fb1ab:
    000fb1abmov rax, [rsp+80]
    000fb1b0mov rbx, [rax+24]
    000fb1b4mov rax, [rsp+40]
    000fb1b9call camlVideoc.caml_print_914
    000fb1bemov rdi, rax
    000fb1c1lea rax, [rip+0x21b7d8]
    000fb1c8mov rbx, [rax+56]
    000fb1ccmov rax, [rsp+72]
    000fb1d1call camlLatexmacros.def_952
    000fb1d6mov rbx, [rsp+56]
    000fb1dbadd rbx, 2
    000fb1dfmov rax, [rsp+64]
    000fb1e4add rax, 2
    000fb1e8mov rdi, [rsp+80]
    000fb1edcall camlVideoc.bind_954
    000fb1f2pop [r14+48]
    000fb1f6add rsp, 8
    000fb1fajmp 0xfb22c
    000fb1fclea rbx, [rip+0x232415]
    000fb203mov rbx, [rbx+56]
    000fb207cmp rax, rbx
    000fb20ajne 0xfb21c
    000fb20clea rax, [rip+0x1816ad]
    000fb213call camlStdlib.failwith_7
    000fb218jmp 0xfb22c
    000fb21anop
    000fb21c
    000fb21cloc_fb21c:
    000fb21cmov rsp, [r14+48]
    000fb220pop [r14+48]
    000fb224pop r11
    000fb226jmp r11
    000fb229nop [rax]
    000fb22c
    000fb22cloc_fb22c:
    000fb22cpop [r14+48]
    000fb230add rsp, 8
    000fb234jmp 0xfb348
    000fb239nop [rax]
    000fb23clea rbx, [rip+0x2323d5]
    000fb243mov rbx, [rbx+56]
    000fb247cmp rax, rbx
    000fb24ajne 0xfb338
    000fb250mov rax, [rsp+48]
    000fb255mov rax, [rax+40]
    000fb259mov rbx, [rax-8]
    000fb25dshr rbx, 10
    000fb261lea rdi, [8*rbx-1]
    000fb269movzx rbx, [rax+rdi]
    000fb26esub rdi, rbx
    000fb271shl rdi, 1
    000fb274mov rbx, [rsp]
    000fb278sub rdi, rbx
    000fb27badd rdi, 2
    000fb27fcall Stdlib.Bytes.sub
    000fb284mov [rsp+8], rax
    000fb289mov rax, [rsp+48]
    000fb28emov rax, [rax+48]
    000fb292mov rbx, [rax-8]
    000fb296shr rbx, 10
    000fb29alea rdi, [8*rbx-1]
    000fb2a2movzx rbx, [rax+rdi]
    000fb2a7sub rdi, rbx
    000fb2aashl rdi, 1
    000fb2admov rbx, [rsp+16]
    000fb2b2sub rdi, rbx
    000fb2b5add rdi, 2
    000fb2b9call Stdlib.Bytes.sub
    000fb2bemov rbx, rax
    000fb2c1mov [rsp], rbx
    000fb2c5lea rax, [rip+0x22eda4]
    000fb2ccmov rax, [rax+80]
    000fb2d0mov rax, [rax]
    000fb2d3cmp rax, 5
    000fb2d7jle 0xfb308
    000fb2d9lea rax, [rip+0x181608]
    000fb2e0call camlStdlib.$5e_139
    000fb2e5mov rbx, rax
    000fb2e8mov rax, [rsp+8]
    000fb2edcall camlStdlib.$5e_139
    000fb2f2mov rbx, rax
    000fb2f5mov rax, [rsp+48]
    000fb2famov rax, [rax+32]
    000fb2fecall camlStdlib.$5e_139
    000fb303call camlStdlib.prerr_endline_390
    000fb308
    000fb308loc_fb308:
    000fb308mov rax, [rsp+48]
    000fb30dmov rbx, [rax+24]
    000fb311mov rax, [rsp]
    000fb315call camlVideoc.caml_print_914
    000fb31amov rdi, rax
    000fb31dlea rax, [rip+0x21b67c]
    000fb324mov rbx, [rax+56]
    000fb328mov rax, [rsp+8]
    000fb32dadd rsp, 56
    000fb331jmp 0x17af20
    000fb336nop
    000fb338
    000fb338loc_fb338:
    000fb338mov rsp, [r14+48]
    000fb33cpop [r14+48]
    000fb340pop r11
    000fb342jmp r11
    000fb345nop [rax]
    000fb348
    000fb348loc_fb348:
    000fb348add rsp, 56
    000fb34cret
    000fb34d
    000fb34dloc_fb34d:
    000fb34dpush 44
    000fb34fcall caml_call_realloc_stack
    000fb354pop r10
    000fb356jmp 0xfb0b2
    000fb0a0
    000fb35b
    000fb35b // align 0x10
    000fb360
    000fb360camlVideoc.do_snippet_929:
    000fb360lea r10, [rsp-360]
    000fb368cmp r10, [r14+40]
    000fb36cjb 0xfb7f9
    000fb372
    000fb372loc_fb372:
    000fb372sub rsp, 24
    000fb376mov rsi, rax
    000fb379mov rax, [rbx+272]
    000fb380mov rax, [rax]
    000fb383cmp rax, 1
    000fb387je 0xfb3c8
    000fb389sub r15, 24
    000fb38dcmp r15, [r14]
    000fb390jb 0xfb7ef
    000fb396
    000fb396loc_fb396:
    000fb396lea rax, [r15+8]
    000fb39amov [rax-8], 2048
    000fb3a2lea rbx, [rip+0x22ecc7]
    000fb3a9mov rbx, [rbx+24]
    000fb3admov [rax], rbx
    000fb3b0lea rbx, [rip+0x1814e1]
    000fb3b7mov [rax+8], rbx
    000fb3bbmov rsp, [r14+48]
    000fb3bfpop [r14+48]
    000fb3c3pop r11
    000fb3c5jmp r11
    000fb3c8
    000fb3c8loc_fb3c8:
    000fb3c8mov [rsp+8], rbx
    000fb3cdmov [rsp+16], rsi
    000fb3d2mov rax, [rbx+392]
    000fb3d9mov rdi, [rax+232]
    000fb3e0lea rax, [rip+0x181491]
    000fb3e7mov rbx, rsi
    000fb3eacall caml_apply2
    000fb3efmov r12, rax
    000fb3f2lea rsi, [rip+0x18072f]
    000fb3f9mov rdi, r12
    000fb3fcmov rbx, rsp
    000fb3ffmov rsp, [r14+64]
    000fb403call caml_string_equal
    000fb408mov rsp, rbx
    000fb40bcmp rax, 1
    000fb40fje 0xfb420
    000fb411lea r12, [rip+0x181460]
    000fb418mov [rsp], r12
    000fb41cjmp 0xfb424
    000fb41enop
    000fb420
    000fb420loc_fb420:
    000fb420mov [rsp], r12
    000fb424
    000fb424loc_fb424:
    000fb424mov rax, [rsp+8]
    000fb429mov rdi, [rax+360]
    000fb430add rdi, 24
    000fb434mov ebx, 39
    000fb439mov rax, [rsp+16]
    000fb43ecall Videoc..ocaml_lex_skip_blanks_till_eol_included_rec
    000fb443mov rax, [rsp+8]
    000fb448mov rax, [rax+408]
    000fb44fmov rbx, [rax+352]
    000fb456lea rax, [rip+0x18140b]
    000fb45dmov rdi, [rbx]
    000fb460call rdi
    000fb462lea rbx, [rip+0x1813c7]
    000fb469mov rax, [rsp]
    000fb46dcall camlStdlib.$5e_139
    000fb472mov rbx, rax
    000fb475lea rax, [rip+0x1813c4]
    000fb47ccall camlStdlib.$5e_139
    000fb481mov rbx, rax
    000fb484mov rax, [rsp+8]
    000fb489mov rax, [rax+392]
    000fb490mov rdi, [rax+112]
    000fb494lea rax, [rip+0x1813bd]
    000fb49bcall caml_apply2
    000fb4a0mov rax, [rsp+8]
    000fb4a5mov rax, [rax+408]
    000fb4acmov rbx, [rax+352]
    000fb4b3lea rax, [rip+0x18148e]
    000fb4bamov rdi, [rbx]
    000fb4bdcall rdi
    000fb4bfmov rax, [rsp+8]
    000fb4c4mov rax, [rax+392]
    000fb4cbmov rbx, [rax+64]
    000fb4cflea rax, [rip+0x180332]
    000fb4d6mov rdi, [rbx]
    000fb4d9call rdi
    000fb4dbsub r15, 16
    000fb4dfcmp r15, [r14]
    000fb4e2jb 0xfb7e5
    000fb4e8
    000fb4e8loc_fb4e8:
    000fb4e8lea rdi, [r15+8]
    000fb4ecmov [rdi-8], 1026
    000fb4f4mov rax, [rsp+8]
    000fb4f9add rax, -184
    000fb4ffmov [rdi], rax
    000fb502lea rax, [rip+0x21b497]
    000fb509mov rbx, [rax+56]
    000fb50dlea rax, [rip+0x18042c]
    000fb514call camlLatexmacros.def_952
    000fb519sub r15, 16
    000fb51dcmp r15, [r14]
    000fb520jb 0xfb7db
    000fb526
    000fb526loc_fb526:
    000fb526lea rdi, [r15+8]
    000fb52amov [rdi-8], 1026
    000fb532mov rax, [rsp+8]
    000fb537add rax, -160
    000fb53dmov [rdi], rax
    000fb540lea rax, [rip+0x21b459]
    000fb547mov rbx, [rax+56]
    000fb54blea rax, [rip+0x1812ce]
    000fb552call camlLatexmacros.def_952
    000fb557sub r15, 16
    000fb55bcmp r15, [r14]
    000fb55ejb 0xfb7d1
    000fb564
    000fb564loc_fb564:
    000fb564lea rdi, [r15+8]
    000fb568mov [rdi-8], 1026
    000fb570mov rax, [rsp+8]
    000fb575add rax, -136
    000fb57bmov [rdi], rax
    000fb57elea rax, [rip+0x21b41b]
    000fb585mov rbx, [rax+56]
    000fb589lea rax, [rip+0x181280]
    000fb590call camlLatexmacros.def_952
    000fb595sub r15, 16
    000fb599cmp r15, [r14]
    000fb59cjb 0xfb7c7
    000fb5a2
    000fb5a2loc_fb5a2:
    000fb5a2lea rdi, [r15+8]
    000fb5a6mov [rdi-8], 1026
    000fb5aemov rax, [rsp+8]
    000fb5b3add rax, -88
    000fb5b7mov [rdi], rax
    000fb5balea rax, [rip+0x21b3df]
    000fb5c1mov rbx, [rax+56]
    000fb5c5lea rax, [rip+0x181234]
    000fb5cccall camlLatexmacros.def_952
    000fb5d1sub r15, 16
    000fb5d5cmp r15, [r14]
    000fb5d8jb 0xfb7bd
    000fb5de
    000fb5deloc_fb5de:
    000fb5delea rdi, [r15+8]
    000fb5e2mov [rdi-8], 1026
    000fb5eamov rax, [rsp+8]
    000fb5efadd rax, -112
    000fb5f3mov [rdi], rax
    000fb5f6lea rax, [rip+0x21b3a3]
    000fb5fdmov rbx, [rax+56]
    000fb601lea rax, [rip+0x181350]
    000fb608call camlLatexmacros.def_952
    000fb60dmov r12, [rsp+8]
    000fb612mov rdi, [r12+296]
    000fb61amov rsi, [rsp]
    000fb61emov rbx, rsp
    000fb621mov rsp, [r14+64]
    000fb625call caml_modify
    000fb62amov rsp, rbx
    000fb62dmov rax, [r12+304]
    000fb635mov [rax], 1
    000fb63cmov rax, [r12+312]
    000fb644mov [rax], 1
    000fb64bmov rax, [r12+272]
    000fb653mov [rax], 3
    000fb65amov rax, [r12+392]
    000fb662mov rbx, [rax+24]
    000fb666mov rax, [r12+320]
    000fb66emov rsi, [rax+24]
    000fb672lea rdi, [rip+0x181177]
    000fb679lea rax, [rip+0x1810c8]
    000fb680call camlVideoc.runHook_628
    000fb685lea r11, [rip+56]
    000fb68cpush r11
    000fb68epush [r14+48]
    000fb692mov [r14+48], rsp
    000fb696mov rax, [rsp+24]
    000fb69bmov rdi, [rax+352]
    000fb6a2add rdi, 24
    000fb6a6mov ebx, 1
    000fb6abmov rax, [rsp+32]
    000fb6b0call Videoc..ocaml_lex_snippetenv_rec
    000fb6b5pop [r14+48]
    000fb6b9add rsp, 8
    000fb6bdjmp 0xfb7b8
    000fb6c2nop
    000fb6c4mov [rsp], rax
    000fb6c8mov rdi, [rsp+8]
    000fb6cdmov rax, [rdi+392]
    000fb6d4mov rbx, [rax+24]
    000fb6d8mov rax, [rdi+320]
    000fb6dfmov rsi, [rax+24]
    000fb6e3lea rdi, [rip+0x18032e]
    000fb6ealea rax, [rip+0x181057]
    000fb6f1call camlVideoc.runHook_628
    000fb6f6mov rdi, [rsp+8]
    000fb6fbmov rax, [rdi+392]
    000fb702mov rbx, [rax+24]
    000fb706mov rax, [rdi+320]
    000fb70dmov rsi, [rax+24]
    000fb711lea rdi, [rip+0x1810c8]
    000fb718lea rax, [rip+0x181029]
    000fb71fcall camlVideoc.runHook_628
    000fb724mov rbx, [rsp+8]
    000fb729mov rax, [rbx+272]
    000fb730mov [rax], 1
    000fb737mov rax, [rbx+392]
    000fb73emov rbx, [rax+72]
    000fb742lea rax, [rip+0x1800bf]
    000fb749mov rdi, [rbx]
    000fb74ccall rdi
    000fb74emov rax, [rsp+8]
    000fb753mov rax, [rax+392]
    000fb75amov rbx, [rax+120]
    000fb75elea rax, [rip+0x1810f3]
    000fb765mov rdi, [rbx]
    000fb768call rdi
    000fb76alea r11, [rip+28]
    000fb771push r11
    000fb773push [r14+48]
    000fb777mov [r14+48], rsp
    000fb77bmov rax, [rsp+16]
    000fb780mov rsp, [r14+48]
    000fb784pop [r14+48]
    000fb788pop r11
    000fb78ajmp r11
    000fb78dmov rbx, [rsp+8]
    000fb792mov rbx, [rbx+256]
    000fb799cmp rax, rbx
    000fb79cjne 0xfb7a8
    000fb79emov eax, 1
    000fb7a3add rsp, 24
    000fb7a7ret
    000fb7a8
    000fb7a8loc_fb7a8:
    000fb7a8mov rsp, [r14+48]
    000fb7acpop [r14+48]
    000fb7b0pop r11
    000fb7b2jmp r11
    000fb7b5nop [rax]
    000fb7b8
    000fb7b8loc_fb7b8:
    000fb7b8add rsp, 24
    000fb7bcret
    000fb7bd
    000fb7bdloc_fb7bd:
    000fb7bdcall caml_call_gc
    000fb7c2jmp 0xfb5de
    000fb7c7
    000fb7c7loc_fb7c7:
    000fb7c7call caml_call_gc
    000fb7ccjmp 0xfb5a2
    000fb7d1
    000fb7d1loc_fb7d1:
    000fb7d1call caml_call_gc
    000fb7d6jmp 0xfb564
    000fb7db
    000fb7dbloc_fb7db:
    000fb7dbcall caml_call_gc
    000fb7e0jmp 0xfb526
    000fb7e5
    000fb7e5loc_fb7e5:
    000fb7e5call caml_call_gc
    000fb7eajmp 0xfb4e8
    000fb7ef
    000fb7efloc_fb7ef:
    000fb7efcall caml_call_gc
    000fb7f4jmp 0xfb396
    000fb7f9
    000fb7f9loc_fb7f9:
    000fb7f9push 38
    000fb7fbcall caml_call_realloc_stack
    000fb800pop r10
    000fb802jmp 0xfb372
    000fb360
    000fb807
    000fb807 // align 0x10
    000fb810
    000fb810camlVideoc.do_enable_backslashed_chars_930:
    000fb810lea r10, [rsp-352]
    000fb818cmp r10, [r14+40]
    000fb81cjb 0xfb95e
    000fb822
    000fb822loc_fb822:
    000fb822sub rsp, 32
    000fb826mov [rsp+8], rbx
    000fb82bcall camlLexstate.save_arg_1030
    000fb830mov rbx, rax
    000fb833mov eax, 1
    000fb838call camlSubst.do_do_subst_this_697
    000fb83dmov rbx, rax
    000fb840mov [rsp], rbx
    000fb844lea rax, [rip+0x22e825]
    000fb84bmov rax, [rax+80]
    000fb84fmov rax, [rax]
    000fb852cmp rax, 5
    000fb856jle 0xfb869
    000fb858lea rax, [rip+0x180f61]
    000fb85fcall camlStdlib.$5e_139
    000fb864call camlStdlib.prerr_endline_390
    000fb869
    000fb869loc_fb869:
    000fb869mov ebx, 1
    000fb86emov rsi, [rsp]
    000fb872mov rax, [rsi-8]
    000fb876shr rax, 10
    000fb87alea rax, [8*rax-1]
    000fb882movzx rdi, [rsi+rax]
    000fb887sub rax, rdi
    000fb88alea rax, [rax+rax-1]
    000fb88fcmp rbx, rax
    000fb892jg 0xfb94a
    000fb898mov [rsp+24], rax
    000fb89dmov [rsp+16], rbx
    000fb8a2mov [rsp], rsi
    000fb8a6
    000fb8a6loc_fb8a6:
    000fb8a6mov edi, 3
    000fb8abmov rax, [rsp]
    000fb8afcall Stdlib.Bytes.sub
    000fb8b4mov rbx, rax
    000fb8b7lea rax, [rip+0x18107a]
    000fb8becall camlStdlib.$5e_139
    000fb8c3sub r15, 56
    000fb8c7cmp r15, [r14]
    000fb8cajb 0xfb954
    000fb8d0
    000fb8d0loc_fb8d0:
    000fb8d0lea rbx, [r15+8]
    000fb8d4add rbx, 16
    000fb8d8mov [rbx-8], 4343
    000fb8e0lea rdi, [rip+137]
    000fb8e7mov [rbx], rdi
    000fb8eamov rdi, 0x100000000000005
    000fb8f4mov [rbx+8], rdi
    000fb8f8mov [rbx+16], rax
    000fb8fcmov rdi, [rsp+8]
    000fb901mov rdi, [rdi+384]
    000fb908mov [rbx+24], rdi
    000fb90clea rdi, [rbx-16]
    000fb910mov [rdi-8], 1026
    000fb918mov [rdi], rbx
    000fb91blea rbx, [rip+0x21b07e]
    000fb922mov rbx, [rbx+56]
    000fb926call camlLatexmacros.def_952
    000fb92bmov rbx, [rsp+16]
    000fb930mov rax, rbx
    000fb933add rbx, 2
    000fb937mov [rsp+16], rbx
    000fb93cmov rdi, [rsp+24]
    000fb941cmp rax, rdi
    000fb944jne 0xfb8a6
    000fb94a
    000fb94aloc_fb94a:
    000fb94amov eax, 1
    000fb94fadd rsp, 32
    000fb953ret
    000fb954
    000fb954loc_fb954:
    000fb954call caml_call_gc
    000fb959jmp 0xfb8d0
    000fb95e
    000fb95eloc_fb95e:
    000fb95epush 37
    000fb960call caml_call_realloc_stack
    000fb965pop r10
    000fb967jmp 0xfb822
    000fb810
    000fb96c
    000fb96c // align 0x10
    000fb970
    000fb970camlVideoc.fun_1289:
    000fb970cmp r15, [r14]
    000fb973jbe 0xfb98c
    000fb975
    000fb975loc_fb975:
    000fb975mov rax, [rbx+24]
    000fb979mov rdi, [rax+352]
    000fb980mov rax, [rbx+16]
    000fb984mov rsi, [rdi]
    000fb987mov rbx, rdi
    000fb98ajmp rsi
    000fb98c
    000fb98cloc_fb98c:
    000fb98ccall caml_call_gc
    000fb991jmp 0xfb975
    000fb970
    000fb993
    000fb993 // align 0x10
    000fb9a0
    000fb9a0camlVideoc.do_enableLispComment_931:
    000fb9a0mov rax, [rbx+256]
    000fb9a7mov [rax], 3
    000fb9aemov eax, 1
    000fb9b3ret
    000fb9a0
    000fb9b4
    000fb9b4 // align 0x10
    000fb9c0
    000fb9c0camlVideoc.do_disableLispComment_932:
    000fb9c0mov rax, [rbx+232]
    000fb9c7mov [rax], 1
    000fb9cemov eax, 1
    000fb9d3ret
    000fb9c0
    000fb9d4
    000fb9d4 // align 0x10
    000fb9e0
    000fb9e0camlVideoc.do_enableSchemeCharacters_933:
    000fb9e0mov rax, [rbx+216]
    000fb9e7mov [rax], 3
    000fb9eemov eax, 1
    000fb9f3ret
    000fb9e0
    000fb9f4
    000fb9f4 // align 0x10
    000fba00
    000fba00camlVideoc.do_disableSchemeCharacters_934:
    000fba00mov rax, [rbx+192]
    000fba07mov [rax], 1
    000fba0emov eax, 1
    000fba13ret
    000fba00
    000fba14
    000fba14 // align 0x10
    000fba20
    000fba20camlVideoc.do_snippet_run_hook_935:
    000fba20lea r10, [rsp-328]
    000fba28cmp r10, [r14+40]
    000fba2cjb 0xfba7b
    000fba2e
    000fba2eloc_fba2e:
    000fba2esub rsp, 8
    000fba32mov [rsp], rbx
    000fba36call camlLexstate.save_arg_1030
    000fba3bmov rbx, rax
    000fba3emov eax, 1
    000fba43call camlSubst.do_do_subst_this_697
    000fba48mov rdi, rax
    000fba4bmov rsi, [rsp]
    000fba4fmov rax, [rsi+248]
    000fba56mov rbx, [rax+24]
    000fba5amov rax, [rsi+176]
    000fba61mov rsi, [rax+24]
    000fba65lea rax, [rip+0x180cdc]
    000fba6ccall camlVideoc.runHook_628
    000fba71mov eax, 1
    000fba76add rsp, 8
    000fba7aret
    000fba7b
    000fba7bloc_fba7b:
    000fba7bpush 34
    000fba7dcall caml_call_realloc_stack
    000fba82pop r10
    000fba84jmp 0xfba2e
    000fba20
    000fba86
    000fba86 // align 0x10
    000fba90
    000fba90camlVideoc.do_snip_run_hook_936:
    000fba90lea r10, [rsp-328]
    000fba98cmp r10, [r14+40]
    000fba9cjb 0xfbaeb
    000fba9e
    000fba9eloc_fba9e:
    000fba9esub rsp, 8
    000fbaa2mov [rsp], rbx
    000fbaa6call camlLexstate.save_arg_1030
    000fbaabmov rbx, rax
    000fbaaemov eax, 1
    000fbab3call camlSubst.do_do_subst_this_697
    000fbab8mov rdi, rax
    000fbabbmov rsi, [rsp]
    000fbabfmov rax, [rsi+224]
    000fbac6mov rbx, [rax+24]
    000fbacamov rax, [rsi+160]
    000fbad1mov rsi, [rax+24]
    000fbad5lea rax, [rip+0x180b6c]
    000fbadccall camlVideoc.runHook_628
    000fbae1mov eax, 1
    000fbae6add rsp, 8
    000fbaearet
    000fbaeb
    000fbaebloc_fbaeb:
    000fbaebpush 34
    000fbaedcall caml_call_realloc_stack
    000fbaf2pop r10
    000fbaf4jmp 0xfba9e
    000fba90
    000fbaf6
    000fbaf6 // align 0x10
    000fbb00
    000fbb00camlVideoc.do_vicanchor_937:
    000fbb00lea r10, [rsp-368]
    000fbb08cmp r10, [r14+40]
    000fbb0cjb 0xfbcf0
    000fbb12
    000fbb12loc_fbb12:
    000fbb12sub rsp, 48
    000fbb16mov rdi, rax
    000fbb19mov [rsp], rdi
    000fbb1dmov [rsp+24], rbx
    000fbb22lea rax, [rip+0x17ffff]
    000fbb29mov rbx, rdi
    000fbb2ccall camlLexstate.save_arg_opt_1107
    000fbb31call camlLexstate.from_ok_1113
    000fbb36mov [rsp+8], rax
    000fbb3blea rax, [rip+0x180c5e]
    000fbb42mov rbx, [rsp]
    000fbb46call camlLexstate.save_arg_opt_1107
    000fbb4bcall camlLexstate.from_ok_1113
    000fbb50mov rax, [rax]
    000fbb53mov [rsp+16], rax
    000fbb58lea rbx, [rip+0x180c19]
    000fbb5fcall camlStdlib.$40_196
    000fbb64call camlMyLexing.from_list_562
    000fbb69mov rbx, [rsp+24]
    000fbb6emov rdi, [rbx+176]
    000fbb75add rdi, 24
    000fbb79mov ebx, 45
    000fbb7ecall Videoc..ocaml_lex_comma_separated_values_rec
    000fbb83test al, 1
    000fbb85jne 0xfbce0
    000fbb8bmov rbx, [rax+8]
    000fbb8ftest bl, 1
    000fbb92jne 0xfbce0
    000fbb98mov rdi, [rbx+8]
    000fbb9ctest dil, 1
    000fbba0jne 0xfbce0
    000fbba6mov rdi, [rdi+8]
    000fbbaatest dil, 1
    000fbbaeje 0xfbce0
    000fbbb4mov rdi, [rsp+24]
    000fbbb9mov rdi, [rdi+152]
    000fbbc0mov rdi, [rdi+16]
    000fbbc4add [rdi], 2
    000fbbc8mov rdi, [rdi]
    000fbbcbmov [rsp+40], rdi
    000fbbd0mov rbx, [rbx]
    000fbbd3mov rax, [rax]
    000fbbd6mov [rsp], rax
    000fbbdalea rax, [rip+0x18093f]
    000fbbe1call camlStdlib.$5e_139
    000fbbe6mov rbx, rax
    000fbbe9mov rax, [rsp]
    000fbbedcall camlStdlib.$5e_139
    000fbbf2mov [rsp+32], rax
    000fbbf7mov rax, [rsp+8]
    000fbbfcmov rbx, [rax]
    000fbbfflea rax, [rip+0x17ff22]
    000fbc06call Stdlib.String.concat
    000fbc0bmov [rsp], rax
    000fbc0flea rax, [rip+0x17ff12]
    000fbc16mov rbx, [rsp+16]
    000fbc1bcall Stdlib.String.concat
    000fbc20mov rbx, [rsp+24]
    000fbc25mov rbx, [rbx+216]
    000fbc2cmov rbx, [rbx+472]
    000fbc33mov [rsp+8], rbx
    000fbc38lea rbx, [rip+0x180a79]
    000fbc3fcall camlStdlib.$5e_139
    000fbc44mov rbx, rax
    000fbc47lea rax, [rip+0x180a7a]
    000fbc4ecall camlStdlib.$5e_139
    000fbc53mov rbx, rax
    000fbc56mov rax, [rsp]
    000fbc5acall camlStdlib.$5e_139
    000fbc5fmov rbx, rax
    000fbc62lea rax, [rip+0x180a6f]
    000fbc69call camlStdlib.$5e_139
    000fbc6emov rbx, rax
    000fbc71mov rax, [rsp+32]
    000fbc76call camlStdlib.$5e_139
    000fbc7bmov rbx, rax
    000fbc7elea rax, [rip+0x180a83]
    000fbc85call camlStdlib.$5e_139
    000fbc8amov rbx, rax
    000fbc8dmov rax, [rsp+32]
    000fbc92call camlStdlib.$5e_139
    000fbc97mov rbx, rax
    000fbc9alea rax, [rip+0x180a97]
    000fbca1call camlStdlib.$5e_139
    000fbca6mov [rsp], rax
    000fbcaamov rax, [rsp+40]
    000fbcafcall camlStdlib.string_of_int_175
    000fbcb4mov rbx, [rsp]
    000fbcb8call camlStdlib.$5e_139
    000fbcbdmov rbx, rax
    000fbcc0lea rax, [rip+0x180a99]
    000fbcc7call camlStdlib.$5e_139
    000fbcccmov rbx, [rsp+8]
    000fbcd1mov rdi, [rbx]
    000fbcd4call rdi
    000fbcd6mov eax, 1
    000fbcdbadd rsp, 48
    000fbcdfret
    000fbce0
    000fbce0loc_fbce0:
    000fbce0lea rax, [rip+0x1809a1]
    000fbce7add rsp, 48
    000fbcebjmp 0x195a70
    000fbcf0
    000fbcf0loc_fbcf0:
    000fbcf0push 39
    000fbcf2call caml_call_realloc_stack
    000fbcf7pop r10
    000fbcf9jmp 0xfbb12
    000fbb00
    000fbcfe
    000fbcfe // align 0x10
    000fbd00
    000fbd00camlVideoc.do_vicendanchor_938:
    000fbd00lea r10, [rsp-336]
    000fbd08cmp r10, [r14+40]
    000fbd0cjb 0xfbdf4
    000fbd12
    000fbd12loc_fbd12:
    000fbd12sub rsp, 16
    000fbd16mov rdi, rax
    000fbd19mov [rsp+8], rbx
    000fbd1elea rax, [rip+0x180a7b]
    000fbd25mov rbx, rdi
    000fbd28call camlLexstate.save_arg_opt_1107
    000fbd2dcall camlLexstate.from_ok_1113
    000fbd32mov rbx, [rax]
    000fbd35lea rax, [rip+0x17fdec]
    000fbd3ccall Stdlib.String.concat
    000fbd41mov rbx, rax
    000fbd44mov [rsp], rbx
    000fbd48lea rax, [rip+0x22e321]
    000fbd4fmov rax, [rax+80]
    000fbd53mov rax, [rax]
    000fbd56cmp rax, 5
    000fbd5ajle 0xfbd6d
    000fbd5clea rax, [rip+0x18090d]
    000fbd63call camlStdlib.$5e_139
    000fbd68call camlStdlib.prerr_endline_390
    000fbd6d
    000fbd6dloc_fbd6d:
    000fbd6dlea rbx, [rip+0x180a1c]
    000fbd74mov rax, [rsp]
    000fbd78call camlStdlib.$5e_139
    000fbd7dcall camlMyLexing.from_string_309
    000fbd82mov rbx, [rsp+8]
    000fbd87mov rdi, [rbx+152]
    000fbd8eadd rdi, 24
    000fbd92mov ebx, 45
    000fbd97call Videoc..ocaml_lex_comma_separated_values_rec
    000fbd9ctest al, 1
    000fbd9ejne 0xfbde4
    000fbda0mov rax, [rax+8]
    000fbda4test al, 1
    000fbda6jne 0xfbde4
    000fbda8mov rax, [rax+8]
    000fbdactest al, 1
    000fbdaejne 0xfbde4
    000fbdb0mov rax, [rax+8]
    000fbdb4test al, 1
    000fbdb6je 0xfbde4
    000fbdb8mov rax, [rsp+8]
    000fbdbdmov rax, [rax+192]
    000fbdc4mov rbx, [rax+472]
    000fbdcblea rax, [rip+0x180886]
    000fbdd2mov rdi, [rbx]
    000fbdd5call rdi
    000fbdd7mov eax, 1
    000fbddcadd rsp, 16
    000fbde0ret
    000fbde1
    000fbde1 0f 1f 00 ...
    000fbde4
    000fbde4loc_fbde4:
    000fbde4lea rax, [rip+0x18089d]
    000fbdebadd rsp, 16
    000fbdefjmp 0x195a70
    000fbdf4
    000fbdf4loc_fbdf4:
    000fbdf4push 35
    000fbdf6call caml_call_realloc_stack
    000fbdfbpop r10
    000fbdfdjmp 0xfbd12
    000fbd00
    000fbe02
    000fbe02 // align 0x10
    000fbe10
    000fbe10camlVideoc.do_vicindex_939:
    000fbe10lea r10, [rsp-328]
    000fbe18cmp r10, [r14+40]
    000fbe1cjb 0xfbe63
    000fbe1e
    000fbe1eloc_fbe1e:
    000fbe1esub rsp, 8
    000fbe22mov rdi, rax
    000fbe25mov [rsp], rbx
    000fbe29lea rax, [rip+0x180970]
    000fbe30mov rbx, rdi
    000fbe33call camlLexstate.save_arg_opt_1107
    000fbe38call camlLexstate.from_ok_1113
    000fbe3dmov rax, [rsp]
    000fbe41mov rax, [rax+168]
    000fbe48mov rbx, [rax+360]
    000fbe4fmov eax, 65
    000fbe54mov rdi, [rbx]
    000fbe57call rdi
    000fbe59mov eax, 1
    000fbe5eadd rsp, 8
    000fbe62ret
    000fbe63
    000fbe63loc_fbe63:
    000fbe63push 34
    000fbe65call caml_call_realloc_stack
    000fbe6apop r10
    000fbe6cjmp 0xfbe1e
    000fbe10
    000fbe6e
    000fbe6e // align 0x10
    000fbe70
    000fbe70camlVideoc.init_1006:
    000fbe70lea r10, [rsp-328]
    000fbe78cmp r10, [r14+40]
    000fbe7cjb 0xfc023
    000fbe82
    000fbe82loc_fbe82:
    000fbe82sub rsp, 8
    000fbe86mov [rsp], rbx
    000fbe8amov rax, [rbx+120]
    000fbe8emov rdi, [rax+160]
    000fbe95mov rbx, [rbx+32]
    000fbe99lea rax, [rip+0x1808a8]
    000fbea0call caml_apply2
    000fbea5mov rbx, [rsp]
    000fbea9mov rax, [rbx+120]
    000fbeadmov rdi, [rax+168]
    000fbeb4mov rbx, [rbx+16]
    000fbeb8lea rax, [rip+0x180779]
    000fbebfcall caml_apply2
    000fbec4mov rbx, [rsp]
    000fbec8mov rax, [rbx+120]
    000fbeccmov rdi, [rax+168]
    000fbed3mov rbx, [rbx+24]
    000fbed7lea rax, [rip+0x180742]
    000fbedecall caml_apply2
    000fbee3mov rbx, [rsp]
    000fbee7mov rax, [rbx+120]
    000fbeebmov rdi, [rax+160]
    000fbef2mov rbx, [rbx+104]
    000fbef6lea rax, [rip+0x18070b]
    000fbefdcall caml_apply2
    000fbf02mov rbx, [rsp]
    000fbf06mov rax, [rbx+120]
    000fbf0amov rdi, [rax+160]
    000fbf11mov rbx, [rbx+96]
    000fbf15lea rax, [rip+0x1806d4]
    000fbf1ccall caml_apply2
    000fbf21mov rbx, [rsp]
    000fbf25mov rax, [rbx+120]
    000fbf29mov rdi, [rax+160]
    000fbf30mov rbx, [rbx+112]
    000fbf34lea rax, [rip+0x18069d]
    000fbf3bcall caml_apply2
    000fbf40mov rbx, [rsp]
    000fbf44mov rax, [rbx+120]
    000fbf48mov rdi, [rax+160]
    000fbf4fmov rbx, [rbx+48]
    000fbf53lea rax, [rip+0x18065e]
    000fbf5acall caml_apply2
    000fbf5fmov rbx, [rsp]
    000fbf63mov rax, [rbx+120]
    000fbf67mov rdi, [rax+160]
    000fbf6emov rbx, [rbx+56]
    000fbf72lea rax, [rip+0x18061f]
    000fbf79call caml_apply2
    000fbf7emov rbx, [rsp]
    000fbf82mov rax, [rbx+120]
    000fbf86mov rdi, [rax+160]
    000fbf8dmov rbx, [rbx+64]
    000fbf91lea rax, [rip+0x1805e0]
    000fbf98call caml_apply2
    000fbf9dmov rbx, [rsp]
    000fbfa1mov rax, [rbx+120]
    000fbfa5mov rdi, [rax+160]
    000fbfacmov rbx, [rbx+72]
    000fbfb0lea rax, [rip+0x180599]
    000fbfb7call caml_apply2
    000fbfbcmov rbx, [rsp]
    000fbfc0mov rax, [rbx+120]
    000fbfc4mov rdi, [rax+160]
    000fbfcbmov rbx, [rbx+40]
    000fbfcflea rax, [rip+0x18055a]
    000fbfd6call caml_apply2
    000fbfdbmov rbx, [rsp]
    000fbfdfmov rax, [rbx+120]
    000fbfe3mov rdi, [rax+160]
    000fbfeamov rbx, [rbx+80]
    000fbfeelea rax, [rip+0x180513]
    000fbff5call caml_apply2
    000fbffamov rbx, [rsp]
    000fbffemov rax, [rbx+120]
    000fc002mov rdi, [rax+160]
    000fc009mov rbx, [rbx+88]
    000fc00dlea rax, [rip+0x1804dc]
    000fc014call caml_apply2
    000fc019mov eax, 1
    000fc01eadd rsp, 8
    000fc022ret
    000fc023
    000fc023loc_fc023:
    000fc023push 34
    000fc025call caml_call_realloc_stack
    000fc02apop r10
    000fc02cjmp 0xfbe82
    000fbe70
    000fc031
    000fc031 // align 0x10
    000fc040
    000fc040camlVideoc.entry:
    000fc040lea rsi, [rip+0x17f721]
    000fc047lea rdi, [rip+0x17f73a]
    000fc04emov rbx, rsp
    000fc051mov rsp, [r14+64]
    000fc055call caml_initialize
    000fc05amov rsp, rbx
    000fc05dmov eax, 1
    000fc062ret
    000fc040
    000fc063
    000fc063 // align 0x10
    000fc070
    000fc070camlVerb.inverb_1400:
    000fc070mov rdx, rsi
    000fc073cmp r15, [r14]
    000fc076jbe 0xfc086
    000fc078
    000fc078loc_fc078:
    000fc078add rdx, 32
    000fc07cmov esi, 1
    000fc081jmp 0xfc090
    000fc086
    000fc086loc_fc086:
    000fc086call caml_call_gc
    000fc08bjmp 0xfc078
    000fc070
    000fc08d
    000fc08d // align 0x10
    000fc090
    000fc090Verb..ocaml_lex_inverb_rec:
    000fc090lea r10, [rsp-360]
    000fc098cmp r10, [r14+40]
    000fc09cjb 0xfc295
    000fc0a2
    000fc0a2loc_fc0a2:
    000fc0a2sub rsp, 40
    000fc0a6
    000fc0a6loc_fc0a6:
    000fc0a6mov [rsp], rax
    000fc0aamov [rsp+8], rbx
    000fc0afmov [rsp+16], rdi
    000fc0b4mov rbx, rsi
    000fc0b7mov [rsp+32], rdx
    000fc0bccmp r15, [r14]
    000fc0bfjbe 0xfc286
    000fc0c5
    000fc0c5loc_fc0c5:
    000fc0c5lea rax, [rip+0x1842ec]
    000fc0cccall Stdlib.Lexing.engine
    000fc0d1cmp rax, 1
    000fc0d5je 0xfc194
    000fc0dbcmp rax, 3
    000fc0dfje 0xfc110
    000fc0e1mov [rsp+24], rax
    000fc0e6mov rax, [rsp+16]
    000fc0ebmov rbx, [rax]
    000fc0eemov rdi, [rbx]
    000fc0f1call rdi
    000fc0f3mov rax, [rsp]
    000fc0f7mov rbx, [rsp+8]
    000fc0fcmov rdi, [rsp+16]
    000fc101mov rsi, [rsp+24]
    000fc106mov rdx, [rsp+32]
    000fc10bjmp 0xfc0a6
    000fc10dnop [rax]
    000fc110
    000fc110loc_fc110:
    000fc110lea rax, [rip+0x21a889]
    000fc117mov rax, [rax+344]
    000fc11emov rax, [rax]
    000fc121test al, 1
    000fc123je 0xfc164
    000fc125sub r15, 24
    000fc129cmp r15, [r14]
    000fc12cjb 0xfc27c
    000fc132
    000fc132loc_fc132:
    000fc132lea rax, [r15+8]
    000fc136mov [rax-8], 2048
    000fc13elea rbx, [rip+0x182ac3]
    000fc145mov rbx, [rbx]
    000fc148mov [rax], rbx
    000fc14blea rbx, [rip+0x18422e]
    000fc152mov [rax+8], rbx
    000fc156mov rsp, [r14+48]
    000fc15apop [r14+48]
    000fc15epop r11
    000fc160jmp r11
    000fc163nop
    000fc164
    000fc164loc_fc164:
    000fc164mov eax, 1
    000fc169call camlLexstate.previous_lexbuf_870
    000fc16emov rdi, rax
    000fc171mov rdx, [rsp+32]
    000fc176add rdx, -32
    000fc17aadd rdx, 32
    000fc17emov esi, 1
    000fc183mov rax, [rsp]
    000fc187mov rbx, [rsp+8]
    000fc18cjmp 0xfc0a6
    000fc191nop [rax]
    000fc194
    000fc194loc_fc194:
    000fc194mov rdi, [rsp+16]
    000fc199mov rax, [rdi+32]
    000fc19dsar rax, 1
    000fc1a0mov rbx, [rdi+8]
    000fc1a4mov rsi, [rbx-8]
    000fc1a8shr rsi, 10
    000fc1aclea rsi, [8*rsi-1]
    000fc1b4movzx rdx, [rbx+rsi]
    000fc1b9sub rsi, rdx
    000fc1bccmp rsi, rax
    000fc1bfjbe 0xfc290
    000fc1c5movzx rax, [rbx+rax]
    000fc1calea rax, [rax+rax+1]
    000fc1cfmov rbx, [rsp]
    000fc1d3cmp rax, rbx
    000fc1d6jne 0xfc1fc
    000fc1d8mov rax, [rsp+32]
    000fc1ddmov rax, [rax+672]
    000fc1e4mov rbx, [rax+128]
    000fc1eblea rax, [rip+0x18417e]
    000fc1f2mov rdi, [rbx]
    000fc1f5add rsp, 40
    000fc1f9jmp rdi
    000fc1fbnop
    000fc1fc
    000fc1fcloc_fc1fc:
    000fc1fcmov [rsp+16], rdi
    000fc201mov [rsp], rbx
    000fc205sub r15, 40
    000fc209cmp r15, [r14]
    000fc20cjb 0xfc275
    000fc20e
    000fc20eloc_fc20e:
    000fc20elea rbx, [r15+8]
    000fc212mov [rbx-8], 4343
    000fc21alea rsi, [rip+35135]
    000fc221mov [rbx], rsi
    000fc224mov rsi, 0x100000000000005
    000fc22emov [rbx+8], rsi
    000fc232mov rsi, [rsp+32]
    000fc237add rsi, 448
    000fc23emov [rbx+16], rsi
    000fc242mov [rbx+24], rdi
    000fc246mov rdi, [rsp+8]
    000fc24bcall caml_apply2
    000fc250mov rdx, [rsp+32]
    000fc255add rdx, -32
    000fc259add rdx, 32
    000fc25dmov esi, 1
    000fc262mov rax, [rsp]
    000fc266mov rbx, [rsp+8]
    000fc26bmov rdi, [rsp+16]
    000fc270jmp 0xfc0a6
    000fc275
    000fc275loc_fc275:
    000fc275call caml_call_gc
    000fc27ajmp 0xfc20e
    000fc27c
    000fc27cloc_fc27c:
    000fc27ccall caml_call_gc
    000fc281jmp 0xfc132
    000fc286
    000fc286loc_fc286:
    000fc286call caml_call_gc
    000fc28bjmp 0xfc0c5
    000fc290
    000fc290loc_fc290:
    000fc290call caml_ml_array_bound_error
    000fc295
    000fc295loc_fc295:
    000fc295push 38
    000fc297call caml_call_realloc_stack
    000fc29cpop r10
    000fc29ejmp 0xfc0a2
    000fc090
    000fc2a3
    000fc2a3 // align 0x10
    000fc2b0
    000fc2b0camlVerb.start_inverb_1402:
    000fc2b0mov rsi, rdi
    000fc2b3cmp r15, [r14]
    000fc2b6jbe 0xfc2c6
    000fc2b8
    000fc2b8loc_fc2b8:
    000fc2b8add rsi, 32
    000fc2bcmov edi, 7
    000fc2c1jmp 0xfc2d0
    000fc2c6
    000fc2c6loc_fc2c6:
    000fc2c6call caml_call_gc
    000fc2cbjmp 0xfc2b8
    000fc2b0
    000fc2cd
    000fc2cd // align 0x10
    000fc2d0
    000fc2d0Verb..ocaml_lex_start_inverb_rec:
    000fc2d0lea r10, [rsp-352]
    000fc2d8cmp r10, [r14+40]
    000fc2dcjb 0xfc437
    000fc2e2
    000fc2e2loc_fc2e2:
    000fc2e2sub rsp, 32
    000fc2e6
    000fc2e6loc_fc2e6:
    000fc2e6mov [rsp], rax
    000fc2eamov rdx, rbx
    000fc2edmov [rsp+8], rdx
    000fc2f2mov rbx, rdi
    000fc2f5mov [rsp+24], rsi
    000fc2facmp r15, [r14]
    000fc2fdjbe 0xfc428
    000fc303
    000fc303loc_fc303:
    000fc303lea rax, [rip+0x1840ae]
    000fc30amov rdi, rdx
    000fc30dcall Stdlib.Lexing.engine
    000fc312cmp rax, 1
    000fc316je 0xfc3c8
    000fc31ccmp rax, 3
    000fc320je 0xfc34c
    000fc322mov [rsp+16], rax
    000fc327mov rax, [rsp+8]
    000fc32cmov rbx, [rax]
    000fc32fmov rdi, [rbx]
    000fc332call rdi
    000fc334mov rax, [rsp]
    000fc338mov rbx, [rsp+8]
    000fc33dmov rdi, [rsp+16]
    000fc342mov rsi, [rsp+24]
    000fc347jmp 0xfc2e6
    000fc349nop [rax]
    000fc34c
    000fc34cloc_fc34c:
    000fc34clea rax, [rip+0x21a64d]
    000fc353mov rax, [rax+344]
    000fc35amov rax, [rax]
    000fc35dtest al, 1
    000fc35fje 0xfc3a0
    000fc361sub r15, 24
    000fc365cmp r15, [r14]
    000fc368jb 0xfc41e
    000fc36e
    000fc36eloc_fc36e:
    000fc36elea rax, [r15+8]
    000fc372mov [rax-8], 2048
    000fc37alea rbx, [rip+0x182887]
    000fc381mov rbx, [rbx]
    000fc384mov [rax], rbx
    000fc387lea rbx, [rip+0x183ff2]
    000fc38emov [rax+8], rbx
    000fc392mov rsp, [r14+48]
    000fc396pop [r14+48]
    000fc39apop r11
    000fc39cjmp r11
    000fc39fnop
    000fc3a0
    000fc3a0loc_fc3a0:
    000fc3a0mov eax, 1
    000fc3a5call camlLexstate.previous_lexbuf_870
    000fc3aamov rbx, rax
    000fc3admov rsi, [rsp+24]
    000fc3b2add rsi, -32
    000fc3b6add rsi, 32
    000fc3bamov edi, 7
    000fc3bfmov rax, [rsp]
    000fc3c3jmp 0xfc2e6
    000fc3c8
    000fc3c8loc_fc3c8:
    000fc3c8mov rdi, [rsp+8]
    000fc3cdmov rax, [rdi+32]
    000fc3d1sar rax, 1
    000fc3d4mov rbx, [rdi+8]
    000fc3d8mov rsi, [rbx-8]
    000fc3dcshr rsi, 10
    000fc3e0lea rsi, [8*rsi-1]
    000fc3e8movzx rdx, [rbx+rsi]
    000fc3edsub rsi, rdx
    000fc3f0cmp rsi, rax
    000fc3f3jbe 0xfc432
    000fc3f5movzx rax, [rbx+rax]
    000fc3falea rax, [rax+rax+1]
    000fc3ffmov rdx, [rsp+24]
    000fc404add rdx, -96
    000fc408add rdx, 32
    000fc40cmov esi, 1
    000fc411mov rbx, [rsp]
    000fc415add rsp, 32
    000fc419jmp 0xfc090
    000fc41e
    000fc41eloc_fc41e:
    000fc41ecall caml_call_gc
    000fc423jmp 0xfc36e
    000fc428
    000fc428loc_fc428:
    000fc428call caml_call_gc
    000fc42djmp 0xfc303
    000fc432
    000fc432loc_fc432:
    000fc432call caml_ml_array_bound_error
    000fc437
    000fc437loc_fc437:
    000fc437push 37
    000fc439call caml_call_realloc_stack
    000fc43epop r10
    000fc440jmp 0xfc2e2
    000fc2d0
    000fc445
    000fc445 // align 0x10
    000fc450
    000fc450camlVerb.scan_byline_1404:
    000fc450sub rsp, 32
    000fc454mov [rsp+16], rax
    000fc459mov [rsp+24], rbx
    000fc45emov [rsp], rdi
    000fc462mov [rsp+8], rsi
    000fc467cmp r15, [r14]
    000fc46ajbe 0xfc4c5
    000fc46c
    000fc46cloc_fc46c:
    000fc46cmov rsi, -1
    000fc473mov edi, 5
    000fc478lea rax, [rip+0xfd821]
    000fc47fcall caml_c_call
    000fc484mov r12, [rsp]
    000fc488mov rdi, r12
    000fc48badd rdi, 72
    000fc48fmov rsi, rax
    000fc492mov rbx, rsp
    000fc495mov rsp, [r14+64]
    000fc499call caml_modify
    000fc49emov rsp, rbx
    000fc4a1mov rdx, [rsp+8]
    000fc4a6add rdx, 32
    000fc4aamov esi, 13
    000fc4afmov rax, [rsp+16]
    000fc4b4mov rbx, [rsp+24]
    000fc4b9mov rdi, r12
    000fc4bcadd rsp, 32
    000fc4c0jmp 0xfc4d0
    000fc4c5
    000fc4c5loc_fc4c5:
    000fc4c5call caml_call_gc
    000fc4cajmp 0xfc46c
    000fc450
    000fc4cc
    000fc4cc // align 0x10
    000fc4d0
    000fc4d0Verb..ocaml_lex_scan_byline_rec:
    000fc4d0lea r10, [rsp-360]
    000fc4d8cmp r10, [r14+40]
    000fc4dcjb 0xfc803
    000fc4e2
    000fc4e2loc_fc4e2:
    000fc4e2sub rsp, 40
    000fc4e6
    000fc4e6loc_fc4e6:
    000fc4e6mov [rsp+8], rax
    000fc4ebmov [rsp+16], rbx
    000fc4f0mov [rsp+24], rdi
    000fc4f5mov rbx, rsi
    000fc4f8mov [rsp+32], rdx
    000fc4fdcmp r15, [r14]
    000fc500jbe 0xfc7f4
    000fc506
    000fc506loc_fc506:
    000fc506lea rax, [rip+0x183eab]
    000fc50dcall Stdlib.Lexing.new_engine
    000fc512cmp rax, 7
    000fc516jbe 0xfc544
    000fc518mov [rsp], rax
    000fc51cmov rax, [rsp+24]
    000fc521mov rbx, [rax]
    000fc524mov rdi, [rbx]
    000fc527call rdi
    000fc529mov rax, [rsp+8]
    000fc52emov rbx, [rsp+16]
    000fc533mov rdi, [rsp+24]
    000fc538mov rsi, [rsp]
    000fc53cmov rdx, [rsp+32]
    000fc541jmp 0xfc4e6
    000fc543nop
    000fc544
    000fc544loc_fc544:
    000fc544sar rax, 1
    000fc547lea rdx, [rip+0x12dc8e]
    000fc54emovsxd rax, [rdx+4*rax]
    000fc552add rdx, rax
    000fc555jmp rdx
    000fc557nop
    000fc558mov rsi, [rsp+24]
    000fc55dmov rdi, [rsi+40]
    000fc561add rdi, -2
    000fc565mov rax, [rsi+72]
    000fc569mov rbx, [rax-8]
    000fc56dcmp rbx, 1023
    000fc574jbe 0xfc7fe
    000fc57amov rbx, [rax]
    000fc57dsub rdi, rbx
    000fc580inc rdi
    000fc583mov rax, [rsi+8]
    000fc587call Stdlib.Bytes.sub
    000fc58cmov [rsp], rax
    000fc590mov rax, [rsp+24]
    000fc595mov rdi, [rax+40]
    000fc599mov rbx, [rax+32]
    000fc59dsub rdi, rbx
    000fc5a0inc rdi
    000fc5a3mov rax, [rax+8]
    000fc5a7call Stdlib.Bytes.sub
    000fc5acmov r13, rax
    000fc5afmov r12, [rsp+32]
    000fc5b4mov rax, [r12+496]
    000fc5bcmov rax, [rax]
    000fc5bfcmp rax, 1
    000fc5c3je 0xfc5de
    000fc5c5lea rax, [rip+0x21a3d4]
    000fc5ccmov rax, [rax+344]
    000fc5d3mov rax, [rax]
    000fc5d6test al, 1
    000fc5d8je 0xfc680
    000fc5de
    000fc5deloc_fc5de:
    000fc5demov rax, [r12+536]
    000fc5e6mov rax, [rax+56]
    000fc5eamov rsi, [rax]
    000fc5edmov rdi, [rsp]
    000fc5f1mov rbx, rsp
    000fc5f4mov rsp, [r14+64]
    000fc5f8call caml_string_equal
    000fc5fdmov rsp, rbx
    000fc600cmp rax, 1
    000fc604je 0xfc680
    000fc606mov eax, 1
    000fc60bmov rbx, [rsp+16]
    000fc610mov rdi, [rbx]
    000fc613call rdi
    000fc615lea rax, [rip+0x183d44]
    000fc61cmov rbx, [rsp]
    000fc620call camlStdlib.$5e_139
    000fc625mov rbx, rax
    000fc628mov rax, [rsp+32]
    000fc62dmov rax, [rax+536]
    000fc634mov rax, [rax+24]
    000fc638call camlLexstate.scan_this_1185
    000fc63dmov rax, [rsp+32]
    000fc642mov rax, [rax+536]
    000fc649mov rbx, [rax+120]
    000fc64dlea rax, [rip+0x183cfc]
    000fc654mov rdi, [rbx]
    000fc657call rdi
    000fc659mov rax, [rsp+32]
    000fc65emov rax, [rax+536]
    000fc665mov rbx, [rax+72]
    000fc669mov rax, [rax+56]
    000fc66dmov rax, [rax]
    000fc670mov rdi, [rbx]
    000fc673call rdi
    000fc675mov eax, 1
    000fc67aadd rsp, 40
    000fc67eret
    000fc67fnop
    000fc680
    000fc680loc_fc680:
    000fc680mov rax, [r12+504]
    000fc688lea rbx, [rip+0x225369]
    000fc68fmov rdi, [rbx+48]
    000fc693mov rbx, r13
    000fc696call camlDoOut.put_754
    000fc69bmov rsi, [rsp+32]
    000fc6a0add rsi, -32
    000fc6a4mov rax, [rsp+8]
    000fc6a9mov rbx, [rsp+16]
    000fc6aemov rdi, [rsp+24]
    000fc6b3add rsp, 40
    000fc6b7jmp 0xfc450
    000fc6bcmov eax, 1
    000fc6c1mov rbx, [rsp+8]
    000fc6c6mov rdi, [rbx]
    000fc6c9call rdi
    000fc6cbmov rsi, [rsp+32]
    000fc6d0add rsi, -32
    000fc6d4mov rax, [rsp+8]
    000fc6d9mov rbx, [rsp+16]
    000fc6demov rdi, [rsp+24]
    000fc6e3add rsp, 40
    000fc6e7jmp 0xfc450
    000fc6ecmov rbx, [rsp+24]
    000fc6f1mov rax, [rbx+32]
    000fc6f5sar rax, 1
    000fc6f8mov rbx, [rbx+8]
    000fc6fcmov rdi, [rbx-8]
    000fc700shr rdi, 10
    000fc704lea rdi, [8*rdi-1]
    000fc70cmovzx rsi, [rbx+rdi]
    000fc711sub rdi, rsi
    000fc714cmp rdi, rax
    000fc717jbe 0xfc7fe
    000fc71dmovzx rax, [rbx+rax]
    000fc722lea rbx, [rax+rax+1]
    000fc727mov rax, [rsp+32]
    000fc72cmov rax, [rax+504]
    000fc733lea rdi, [rip+0x2252be]
    000fc73amov rdi, [rdi+64]
    000fc73ecall camlDoOut.put_char_792
    000fc743mov rsi, [rsp+32]
    000fc748add rsi, -32
    000fc74cmov rax, [rsp+8]
    000fc751mov rbx, [rsp+16]
    000fc756mov rdi, [rsp+24]
    000fc75badd rsp, 40
    000fc75fjmp 0xfc450
    000fc764lea rax, [rip+0x21a235]
    000fc76bmov rax, [rax+344]
    000fc772mov rax, [rax]
    000fc775test al, 1
    000fc777je 0xfc7c4
    000fc779mov eax, 1
    000fc77emov rbx, [rsp+16]
    000fc783mov rdi, [rbx]
    000fc786call rdi
    000fc788sub r15, 24
    000fc78ccmp r15, [r14]
    000fc78fjb 0xfc7ed
    000fc791
    000fc791loc_fc791:
    000fc791lea rax, [r15+8]
    000fc795mov [rax-8], 2048
    000fc79dmov rbx, [rsp+32]
    000fc7a2mov rbx, [rbx+480]
    000fc7a9mov [rax], rbx
    000fc7aclea rbx, [rip+0x183b85]
    000fc7b3mov [rax+8], rbx
    000fc7b7mov rsp, [r14+48]
    000fc7bbpop [r14+48]
    000fc7bfpop r11
    000fc7c1jmp r11
    000fc7c4
    000fc7c4loc_fc7c4:
    000fc7c4mov eax, 1
    000fc7c9call camlLexstate.previous_lexbuf_870
    000fc7cemov rdi, rax
    000fc7d1mov rsi, [rsp+32]
    000fc7d6add rsi, -32
    000fc7damov rax, [rsp+8]
    000fc7dfmov rbx, [rsp+16]
    000fc7e4add rsp, 40
    000fc7e8jmp 0xfc450
    000fc7ed
    000fc7edloc_fc7ed:
    000fc7edcall caml_call_gc
    000fc7f2jmp 0xfc791
    000fc7f4
    000fc7f4loc_fc7f4:
    000fc7f4call caml_call_gc
    000fc7f9jmp 0xfc506
    000fc7fe
    000fc7feloc_fc7fe:
    000fc7fecall caml_ml_array_bound_error
    000fc803
    000fc803loc_fc803:
    000fc803push 38
    000fc805call caml_call_realloc_stack
    000fc80apop r10
    000fc80cjmp 0xfc4e2
    000fc4d0
    000fc811
    000fc811 // align 0x10
    000fc820
    000fc820camlVerb.scan_bycommand_1406:
    000fc820sub rsp, 32
    000fc824mov [rsp+16], rax
    000fc829mov [rsp+24], rbx
    000fc82emov [rsp], rdi
    000fc832mov [rsp+8], rsi
    000fc837cmp r15, [r14]
    000fc83ajbe 0xfc895
    000fc83c
    000fc83cloc_fc83c:
    000fc83cmov rsi, -1
    000fc843mov edi, 5
    000fc848lea rax, [rip+0xfd451]
    000fc84fcall caml_c_call
    000fc854mov r12, [rsp]
    000fc858mov rdi, r12
    000fc85badd rdi, 72
    000fc85fmov rsi, rax
    000fc862mov rbx, rsp
    000fc865mov rsp, [r14+64]
    000fc869call caml_modify
    000fc86emov rsp, rbx
    000fc871mov rdx, [rsp+8]
    000fc876add rdx, 32
    000fc87amov esi, 35
    000fc87fmov rax, [rsp+16]
    000fc884mov rbx, [rsp+24]
    000fc889mov rdi, r12
    000fc88cadd rsp, 32
    000fc890jmp 0xfc8a0
    000fc895
    000fc895loc_fc895:
    000fc895call caml_call_gc
    000fc89ajmp 0xfc83c
    000fc820
    000fc89c
    000fc89c // align 0x10
    000fc8a0
    000fc8a0Verb..ocaml_lex_scan_bycommand_rec:
    000fc8a0lea r10, [rsp-368]
    000fc8a8cmp r10, [r14+40]
    000fc8acjb 0xfccb7
    000fc8b2
    000fc8b2loc_fc8b2:
    000fc8b2sub rsp, 48
    000fc8b6
    000fc8b6loc_fc8b6:
    000fc8b6mov [rsp+16], rax
    000fc8bbmov [rsp+24], rbx
    000fc8c0mov [rsp+32], rdi
    000fc8c5mov rbx, rsi
    000fc8c8mov [rsp+40], rdx
    000fc8cdcmp r15, [r14]
    000fc8d0jbe 0xfcca8
    000fc8d6
    000fc8d6loc_fc8d6:
    000fc8d6lea rax, [rip+0x183adb]
    000fc8ddcall Stdlib.Lexing.new_engine
    000fc8e2cmp rax, 9
    000fc8e6jbe 0xfc914
    000fc8e8mov [rsp], rax
    000fc8ecmov rax, [rsp+32]
    000fc8f1mov rbx, [rax]
    000fc8f4mov rdi, [rbx]
    000fc8f7call rdi
    000fc8f9mov rax, [rsp+16]
    000fc8femov rbx, [rsp+24]
    000fc903mov rdi, [rsp+32]
    000fc908mov rsi, [rsp]
    000fc90cmov rdx, [rsp+40]
    000fc911jmp 0xfc8b6
    000fc913nop
    000fc914
    000fc914loc_fc914:
    000fc914sar rax, 1
    000fc917lea rdx, [rip+0x12d8ce]
    000fc91emovsxd rax, [rdx+4*rax]
    000fc922add rdx, rax
    000fc925jmp rdx
    000fc927nop
    000fc928mov rsi, [rsp+32]
    000fc92dmov rdi, [rsi+40]
    000fc931add rdi, -2
    000fc935mov rax, [rsi+72]
    000fc939mov rbx, [rax-8]
    000fc93dcmp rbx, 1023
    000fc944jbe 0xfccb2
    000fc94amov rbx, [rax]
    000fc94dsub rdi, rbx
    000fc950inc rdi
    000fc953mov rax, [rsi+8]
    000fc957call Stdlib.Bytes.sub
    000fc95cmov [rsp], rax
    000fc960mov rax, [rsp+32]
    000fc965mov rdi, [rax+40]
    000fc969mov rbx, [rax+32]
    000fc96dsub rdi, rbx
    000fc970inc rdi
    000fc973mov rax, [rax+8]
    000fc977call Stdlib.Bytes.sub
    000fc97cmov [rsp+8], rax
    000fc981mov rax, [rsp+40]
    000fc986mov rax, [rax+472]
    000fc98dmov rax, [rax+56]
    000fc991mov rsi, [rax]
    000fc994mov rdi, [rsp]
    000fc998mov rbx, rsp
    000fc99bmov rsp, [r14+64]
    000fc99fcall caml_string_equal
    000fc9a4mov rsp, rbx
    000fc9a7cmp rax, 1
    000fc9abje 0xfca10
    000fc9admov rax, [rsp+16]
    000fc9b2call camlDoOut.to_string_830
    000fc9b7sub r15, 40
    000fc9bbcmp r15, [r14]
    000fc9bejb 0xfcc9e
    000fc9c4
    000fc9c4loc_fc9c4:
    000fc9c4lea rbx, [r15+8]
    000fc9c8add rbx, 16
    000fc9ccmov [rbx-8], 2048
    000fc9d4mov [rbx], rax
    000fc9d7mov [rbx+8], 1
    000fc9dflea rdi, [rbx-16]
    000fc9e3mov [rdi-8], 1025
    000fc9ebmov [rdi], rbx
    000fc9eelea rax, [rip+0x219fab]
    000fc9f5mov rbx, [rax+56]
    000fc9f9lea rax, [rip+0x183920]
    000fca00call camlLatexmacros.def_952
    000fca05mov rax, [rsp+8]
    000fca0aadd rsp, 48
    000fca0eret
    000fca0fnop
    000fca10
    000fca10loc_fca10:
    000fca10lea rax, [rip+0x224fe1]
    000fca17mov rdi, [rax+56]
    000fca1bmov rax, [rsp+16]
    000fca20mov rbx, [rsp+32]
    000fca25call camlDoOut.blit_760
    000fca2amov rsi, [rsp+40]
    000fca2fadd rsi, -32
    000fca33mov rax, [rsp+16]
    000fca38mov rbx, [rsp+24]
    000fca3dmov rdi, [rsp+32]
    000fca42add rsp, 48
    000fca46jmp 0xfc820
    000fca4bnop
    000fca4clea rax, [rip+0x224fa5]
    000fca53mov rdi, [rax+56]
    000fca57mov rax, [rsp+16]
    000fca5cmov rbx, [rsp+32]
    000fca61call camlDoOut.blit_760
    000fca66lea rax, [rip+0x224ad3]
    000fca6dmov rbx, [rax+80]
    000fca71mov [rbx], 3
    000fca78mov rax, [rax+64]
    000fca7ccall camlDoOut.reset_705
    000fca81mov rax, [rsp+32]
    000fca86call camlSave.arg_verbatim_1021
    000fca8blea rax, [rip+0x224aae]
    000fca92mov rbx, [rax+80]
    000fca96mov [rbx], 1
    000fca9dmov rax, [rax+64]
    000fcaa1call camlDoOut.to_string_830
    000fcaa6mov rbx, rax
    000fcaa9lea rax, [rip+0x224f48]
    000fcab0mov rdi, [rax+48]
    000fcab4mov rax, [rsp+16]
    000fcab9call camlDoOut.put_754
    000fcabemov rsi, [rsp+40]
    000fcac3add rsi, -32
    000fcac7mov rax, [rsp+16]
    000fcaccmov rbx, [rsp+24]
    000fcad1mov rdi, [rsp+32]
    000fcad6add rsp, 48
    000fcadajmp 0xfc820
    000fcadfnop
    000fcae0mov rax, [rsp+32]
    000fcae5mov rdi, [rax+40]
    000fcae9mov rbx, [rax+32]
    000fcaedsub rdi, rbx
    000fcaf0inc rdi
    000fcaf3mov rax, [rax+8]
    000fcaf7call Stdlib.Bytes.sub
    000fcafcmov [rsp], rax
    000fcb00mov rbx, [rsp+24]
    000fcb05mov rdi, [rbx]
    000fcb08call rdi
    000fcb0acmp rax, 1
    000fcb0eje 0xfcb98
    000fcb14mov rax, [rsp+16]
    000fcb19call camlDoOut.to_string_830
    000fcb1esub r15, 40
    000fcb22cmp r15, [r14]
    000fcb25jb 0xfcc94
    000fcb2b
    000fcb2bloc_fcb2b:
    000fcb2blea rbx, [r15+8]
    000fcb2fadd rbx, 16
    000fcb33mov [rbx-8], 2048
    000fcb3bmov [rbx], rax
    000fcb3emov [rbx+8], 1
    000fcb46lea rdi, [rbx-16]
    000fcb4amov [rdi-8], 1025
    000fcb52mov [rdi], rbx
    000fcb55lea rax, [rip+0x219e44]
    000fcb5cmov rbx, [rax+56]
    000fcb60lea rax, [rip+0x1837b9]
    000fcb67call camlLatexmacros.def_952
    000fcb6cmov rax, [rsp+40]
    000fcb71mov rax, [rax+472]
    000fcb78mov rdi, [rax+32]
    000fcb7cmov rax, [rsp]
    000fcb80mov rbx, [rsp+32]
    000fcb85call caml_apply2
    000fcb8amov rax, [rsp+16]
    000fcb8fcall camlDoOut.reset_705
    000fcb94jmp 0xfcbb2
    000fcb96nop
    000fcb98
    000fcb98loc_fcb98:
    000fcb98lea rax, [rip+0x224e59]
    000fcb9fmov rdi, [rax+56]
    000fcba3mov rax, [rsp+16]
    000fcba8mov rbx, [rsp+32]
    000fcbadcall camlDoOut.blit_760
    000fcbb2
    000fcbb2loc_fcbb2:
    000fcbb2mov rsi, [rsp+40]
    000fcbb7add rsi, -32
    000fcbbbmov rax, [rsp+16]
    000fcbc0mov rbx, [rsp+24]
    000fcbc5mov rdi, [rsp+32]
    000fcbcaadd rsp, 48
    000fcbcejmp 0xfc820
    000fcbd3nop
    000fcbd4lea rax, [rip+0x224e1d]
    000fcbdbmov rdi, [rax+56]
    000fcbdfmov rax, [rsp+16]
    000fcbe4mov rbx, [rsp+32]
    000fcbe9call camlDoOut.blit_760
    000fcbeemov rsi, [rsp+40]
    000fcbf3add rsi, -32
    000fcbf7mov rax, [rsp+16]
    000fcbfcmov rbx, [rsp+24]
    000fcc01mov rdi, [rsp+32]
    000fcc06add rsp, 48
    000fcc0ajmp 0xfc820
    000fcc0fnop
    000fcc10lea rax, [rip+0x219d89]
    000fcc17mov rax, [rax+344]
    000fcc1emov rax, [rax]
    000fcc21test al, 1
    000fcc23je 0xfcc64
    000fcc25sub r15, 24
    000fcc29cmp r15, [r14]
    000fcc2cjb 0xfcc8d
    000fcc2e
    000fcc2eloc_fcc2e:
    000fcc2elea rax, [r15+8]
    000fcc32mov [rax-8], 2048
    000fcc3amov rbx, [rsp+40]
    000fcc3fmov rbx, [rbx+416]
    000fcc46mov [rax], rbx
    000fcc49lea rbx, [rip+0x1836b8]
    000fcc50mov [rax+8], rbx
    000fcc54mov rsp, [r14+48]
    000fcc58pop [r14+48]
    000fcc5cpop r11
    000fcc5ejmp r11
    000fcc61nop [rax]
    000fcc64
    000fcc64loc_fcc64:
    000fcc64mov eax, 1
    000fcc69call camlLexstate.previous_lexbuf_870
    000fcc6emov rdi, rax
    000fcc71mov rsi, [rsp+40]
    000fcc76add rsi, -32
    000fcc7amov rax, [rsp+16]
    000fcc7fmov rbx, [rsp+24]
    000fcc84add rsp, 48
    000fcc88jmp 0xfc820
    000fcc8d
    000fcc8dloc_fcc8d:
    000fcc8dcall caml_call_gc
    000fcc92jmp 0xfcc2e
    000fcc94
    000fcc94loc_fcc94:
    000fcc94call caml_call_gc
    000fcc99jmp 0xfcb2b
    000fcc9e
    000fcc9eloc_fcc9e:
    000fcc9ecall caml_call_gc
    000fcca3jmp 0xfc9c4
    000fcca8
    000fcca8loc_fcca8:
    000fcca8call caml_call_gc
    000fccadjmp 0xfc8d6
    000fccb2
    000fccb2loc_fccb2:
    000fccb2call caml_ml_array_bound_error
    000fccb7
    000fccb7loc_fccb7:
    000fccb7push 39
    000fccb9call caml_call_realloc_stack
    000fccbepop r10
    000fccc0jmp 0xfc8b2
    000fc8a0
    000fccc5
    000fccc5 // align 0x10
    000fccd0
    000fccd0camlVerb.listings_1408:
    000fccd0mov rdi, rbx
    000fccd3cmp r15, [r14]
    000fccd6jbe 0xfcce6
    000fccd8
    000fccd8loc_fccd8:
    000fccd8add rdi, 24
    000fccdcmov ebx, 73
    000fcce1jmp 0xfccf0
    000fcce6
    000fcce6loc_fcce6:
    000fcce6call caml_call_gc
    000fccebjmp 0xfccd8
    000fccd0
    000fcced
    000fcced // align 0x10
    000fccf0
    000fccf0Verb..ocaml_lex_listings_rec:
    000fccf0lea r10, [rsp-344]
    000fccf8cmp r10, [r14+40]
    000fccfcjb 0xfce63
    000fcd02
    000fcd02loc_fcd02:
    000fcd02sub rsp, 24
    000fcd06
    000fcd06loc_fcd06:
    000fcd06mov rsi, rax
    000fcd09mov [rsp], rsi
    000fcd0dmov [rsp+16], rdi
    000fcd12cmp r15, [r14]
    000fcd15jbe 0xfce54
    000fcd1b
    000fcd1bloc_fcd1b:
    000fcd1blea rax, [rip+0x183696]
    000fcd22mov rdi, rsi
    000fcd25call Stdlib.Lexing.engine
    000fcd2acmp rax, 1
    000fcd2eje 0xfcdd8
    000fcd34cmp rax, 3
    000fcd38je 0xfcd5c
    000fcd3amov [rsp+8], rax
    000fcd3fmov rax, [rsp]
    000fcd43mov rbx, [rax]
    000fcd46mov rdi, [rbx]
    000fcd49call rdi
    000fcd4bmov rax, [rsp]
    000fcd4fmov rbx, [rsp+8]
    000fcd54mov rdi, [rsp+16]
    000fcd59jmp 0xfcd06
    000fcd5bnop
    000fcd5c
    000fcd5cloc_fcd5c:
    000fcd5cmov rax, [rsp]
    000fcd60mov rbx, [rax+32]
    000fcd64sar rbx, 1
    000fcd67mov rdi, [rax+8]
    000fcd6bmov rsi, [rdi-8]
    000fcd6fshr rsi, 10
    000fcd73lea rsi, [8*rsi-1]
    000fcd7bmovzx rdx, [rdi+rsi]
    000fcd80sub rsi, rdx
    000fcd83cmp rsi, rbx
    000fcd86jbe 0xfce5e
    000fcd8cmovzx rbx, [rdi+rbx]
    000fcd91lea rbx, [rbx+rbx+1]
    000fcd96mov rdi, [rsp+16]
    000fcd9bmov rdi, [rdi+392]
    000fcda2mov rsi, [rdi-8]
    000fcda6shr rsi, 9
    000fcdaacmp rsi, rbx
    000fcdadjbe 0xfce5e
    000fcdb3mov rdi, [rdi+4*rbx-4]
    000fcdb8call caml_apply2
    000fcdbdmov rdi, [rsp+16]
    000fcdc2add rdi, -24
    000fcdc6add rdi, 24
    000fcdcamov ebx, 73
    000fcdcfmov rax, [rsp]
    000fcdd3jmp 0xfcd06
    000fcdd8
    000fcdd8loc_fcdd8:
    000fcdd8lea rax, [rip+0x219bc1]
    000fcddfmov rax, [rax+344]
    000fcde6mov rax, [rax]
    000fcde9test al, 1
    000fcdebje 0xfce2c
    000fcdedsub r15, 24
    000fcdf1cmp r15, [r14]
    000fcdf4jb 0xfce4d
    000fcdf6
    000fcdf6loc_fcdf6:
    000fcdf6lea rax, [r15+8]
    000fcdfamov [rax-8], 2048
    000fce02mov rbx, [rsp+16]
    000fce07mov rbx, [rbx+360]
    000fce0emov [rax], rbx
    000fce11lea rbx, [rip+0x1834d8]
    000fce18mov [rax+8], rbx
    000fce1cmov rsp, [r14+48]
    000fce20pop [r14+48]
    000fce24pop r11
    000fce26jmp r11
    000fce29nop [rax]
    000fce2c
    000fce2cloc_fce2c:
    000fce2cmov eax, 1
    000fce31call camlLexstate.previous_lexbuf_870
    000fce36mov rdi, [rsp+16]
    000fce3badd rdi, -24
    000fce3fadd rdi, 24
    000fce43mov ebx, 73
    000fce48jmp 0xfcd06
    000fce4d
    000fce4dloc_fce4d:
    000fce4dcall caml_call_gc
    000fce52jmp 0xfcdf6
    000fce54
    000fce54loc_fce54:
    000fce54call caml_call_gc
    000fce59jmp 0xfcd1b
    000fce5e
    000fce5eloc_fce5e:
    000fce5ecall caml_ml_array_bound_error
    000fce63
    000fce63loc_fce63:
    000fce63push 36
    000fce65call caml_call_realloc_stack
    000fce6apop r10
    000fce6cjmp 0xfcd02
    000fccf0
    000fce71
    000fce71 // align 0x10
    000fce80
    000fce80camlVerb.eat_line_1410:
    000fce80mov rdi, rbx
    000fce83cmp r15, [r14]
    000fce86jbe 0xfce96
    000fce88
    000fce88loc_fce88:
    000fce88add rdi, 24
    000fce8cmov ebx, 79
    000fce91jmp 0xfcea0
    000fce96
    000fce96loc_fce96:
    000fce96call caml_call_gc
    000fce9bjmp 0xfce88
    000fce80