File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    000f9c30
    000f9c30camlVideoc.Make_1011:
    000f9c30lea r10, [rsp-400]
    000f9c38cmp r10, [r14+40]
    000f9c3cjb 0xfa4f5
    000f9c42
    000f9c42loc_f9c42:
    000f9c42sub rsp, 80
    000f9c46mov [rsp+8], rax
    000f9c4bmov [rsp+72], rbx
    000f9c50mov [rsp], rdi
    000f9c54mov edi, 1
    000f9c59mov rbx, rsp
    000f9c5cmov rsp, [r14+64]
    000f9c60call caml_fresh_oo_id
    000f9c65mov rsp, rbx
    000f9c68sub r15, 24
    000f9c6ccmp r15, [r14]
    000f9c6fjb 0xfa4eb
    000f9c75
    000f9c75loc_f9c75:
    000f9c75lea rbx, [r15+8]
    000f9c79mov [rsp+16], rbx
    000f9c7emov [rbx-8], 2296
    000f9c86lea rdi, [rip+0x181ee3]
    000f9c8dmov [rbx], rdi
    000f9c90mov [rbx+8], rax
    000f9c94mov edi, 1
    000f9c99mov rbx, rsp
    000f9c9cmov rsp, [r14+64]
    000f9ca0call caml_fresh_oo_id
    000f9ca5mov rsp, rbx
    000f9ca8sub r15, 1408
    000f9cafcmp r15, [r14]
    000f9cb2jb 0xfa4e1
    000f9cb8
    000f9cb8loc_f9cb8:
    000f9cb8lea rbx, [r15+8]
    000f9cbcadd rbx, 1384
    000f9cc3mov [rsp+24], rbx
    000f9cc8mov [rbx-8], 2296
    000f9cd0lea rdi, [rip+0x181e61]
    000f9cd7mov [rbx], rdi
    000f9cdamov [rbx+8], rax
    000f9cdelea rax, [rbx-16]
    000f9ce2mov [rsp+32], rax
    000f9ce7mov [rax-8], 1024
    000f9cefmov [rax], 1
    000f9cf6add rax, -16
    000f9cfamov [rsp+40], rax
    000f9cffmov [rax-8], 1024
    000f9d07mov [rax], 1
    000f9d0elea r13, [rax-16]
    000f9d12mov [r13-8], 1024
    000f9d1amov [r13], 1
    000f9d22lea rcx, [r13-16]
    000f9d26mov [rcx-8], 1024
    000f9d2elea rax, [rip+0x181df3]
    000f9d35mov [rcx], rax
    000f9d38lea r9, [rcx-16]
    000f9d3cmov [r9-8], 1024
    000f9d44mov [r9], 1
    000f9d4blea r12, [r9-16]
    000f9d4fmov [r12-8], 1024
    000f9d58mov [r12], 1
    000f9d60lea rax, [r12-40]
    000f9d65mov [rax-8], 4343
    000f9d6dlea rbx, [rip-11844]
    000f9d74mov [rax], rbx
    000f9d77mov rbx, 0x300000000000007
    000f9d81mov [rax+8], rbx
    000f9d85lea rbx, [rip+1924]
    000f9d8cmov [rax+16], rbx
    000f9d90mov [rax+24], rcx
    000f9d94lea rdx, [rax-40]
    000f9d98mov [rdx-8], 4343
    000f9da0lea rdi, [rip-11655]
    000f9da7mov [rdx], rdi
    000f9daamov rbx, 0x200000000000007
    000f9db4mov [rdx+8], rbx
    000f9db8lea rbx, [rip+2513]
    000f9dbfmov [rdx+16], rbx
    000f9dc3mov [rdx+24], rax
    000f9dc7lea rbx, [rdx-40]
    000f9dcbmov [rsp+48], rbx
    000f9dd0mov [rbx-8], 4343
    000f9dd8mov [rbx], rdi
    000f9ddbmov rsi, 0x200000000000007
    000f9de5mov [rbx+8], rsi
    000f9de9lea rsi, [rip+2496]
    000f9df0mov [rbx+16], rsi
    000f9df4mov [rbx+24], rax
    000f9df8lea rax, [rip+0x181949]
    000f9dffmov [rsp+56], rax
    000f9e04lea rax, [rbx-16]
    000f9e08mov [rax-8], 1024
    000f9e10mov [rax], 199
    000f9e17lea rbx, [rax-32]
    000f9e1bmov [rsp+64], rbx
    000f9e20mov [rbx-8], 3319
    000f9e28lea rsi, [rip+2529]
    000f9e2fmov [rbx], rsi
    000f9e32mov rsi, 0x100000000000005
    000f9e3cmov [rbx+8], rsi
    000f9e40mov [rbx+16], rax
    000f9e44add rbx, -344
    000f9e4bmov [rbx-8], 43255
    000f9e53lea rax, [rip-3450]
    000f9e5amov [rbx], rax
    000f9e5dmov rax, 0x100000000000045
    000f9e67mov [rbx+8], rax
    000f9e6bmov [rbx+16], 3321
    000f9e73mov [rbx+24], rdi
    000f9e77mov rax, 0x20000000000003f
    000f9e81mov [rbx+32], rax
    000f9e85lea rax, [rip-3468]
    000f9e8cmov [rbx+40], rax
    000f9e90mov [rbx+48], 7417
    000f9e98lea rax, [rip-1695]
    000f9e9fmov [rbx+56], rax
    000f9ea3mov rax, 0x100000000000037
    000f9eadmov [rbx+64], rax
    000f9eb1mov [rbx+72], 10489
    000f9eb9mov [rbx+80], rdi
    000f9ebdmov rax, 0x200000000000031
    000f9ec7mov [rbx+88], rax
    000f9ecblea rax, [rip-1714]
    000f9ed2mov [rbx+96], rax
    000f9ed6mov [rbx+104], 14585
    000f9edelea rax, [rip-1525]
    000f9ee5mov [rbx+112], rax
    000f9ee9mov rax, 0x100000000000029
    000f9ef3mov [rbx+120], rax
    000f9ef7mov [rbx+128], 17657
    000f9f02mov [rbx+136], rdi
    000f9f09mov rax, 0x200000000000023
    000f9f13mov [rbx+144], rax
    000f9f1alea rax, [rip-1553]
    000f9f21mov [rbx+152], rax
    000f9f28mov [rbx+160], 21753
    000f9f33lea rax, [rip-1370]
    000f9f3amov [rbx+168], rax
    000f9f41mov rax, 0x10000000000001b
    000f9f4bmov [rbx+176], rax
    000f9f52mov [rbx+184], 24825
    000f9f5dmov [rbx+192], rdi
    000f9f64mov rax, 0x200000000000015
    000f9f6emov [rbx+200], rax
    000f9f75lea rax, [rip-1404]
    000f9f7cmov [rbx+208], rax
    000f9f83mov [rbx+216], 28921
    000f9f8elea rax, [rip-1237]
    000f9f95mov [rbx+224], rax
    000f9f9cmov rax, 0x10000000000000d
    000f9fa6mov [rbx+232], rax
    000f9fadmov [rbx+240], 31993
    000f9fb8mov [rbx+248], rdi
    000f9fbfmov rax, 0x200000000000007
    000f9fc9mov [rbx+256], rax
    000f9fd0lea rax, [rip-1271]
    000f9fd7mov [rbx+264], rax
    000f9fdemov [rbx+272], r13
    000f9fe5mov [rbx+280], rcx
    000f9fecmov [rbx+288], r9
    000f9ff3mov [rbx+296], r12
    000f9ffamov [rbx+304], rdx
    000fa001lea rax, [rip+0x181ba0]
    000fa008mov [rbx+312], rax
    000fa00fmov r10, [rsp]
    000fa013mov [rbx+320], r10
    000fa01amov r8, [rsp+8]
    000fa01fmov [rbx+328], r8
    000fa026lea rsi, [rbx-32]
    000fa02amov [rsi-8], 3319
    000fa032lea rax, [rip+2455]
    000fa039mov [rsi], rax
    000fa03cmov rax, 0x100000000000005
    000fa046mov [rsi+8], rax
    000fa04amov [rsi+16], r8
    000fa04elea r11, [rip+0x1816d3]
    000fa055lea rax, [rsi-608]
    000fa05cmov [rax-8], 0x12cf7
    000fa064lea rbp, [rip+2597]
    000fa06bmov [rax], rbp
    000fa06emov rbp, 0x10000000000006f
    000fa078mov [rax+8], rbp
    000fa07cmov [rax+16], 3321
    000fa084lea rbp, [rip+2821]
    000fa08bmov [rax+24], rbp
    000fa08fmov rbp, 0x100000000000069
    000fa099mov [rax+32], rbp
    000fa09dmov [rax+40], 6393
    000fa0a5lea rbp, [rip+3236]
    000fa0acmov [rax+48], rbp
    000fa0b0mov rbp, 0x100000000000063
    000fa0bamov [rax+56], rbp
    000fa0bemov [rax+64], 9465
    000fa0c6lea rbp, [rip+3395]
    000fa0cdmov [rax+72], rbp
    000fa0d1mov rbp, 0x10000000000005d
    000fa0dbmov [rax+80], rbp
    000fa0dfmov [rax+88], 12537
    000fa0e7lea rbp, [rip+3458]
    000fa0eemov [rax+96], rbp
    000fa0f2mov rbp, 0x100000000000057
    000fa0fcmov [rax+104], rbp
    000fa100mov [rax+112], 15609
    000fa108mov [rax+120], rdi
    000fa10cmov rbp, 0x200000000000051
    000fa116mov [rax+128], rbp
    000fa11dlea rbp, [rip+3452]
    000fa124mov [rax+136], rbp
    000fa12bmov [rax+144], 19705
    000fa136mov [rax+152], rdi
    000fa13dmov rdi, 0x200000000000049
    000fa147mov [rax+160], rdi
    000fa14elea rdi, [rip+3691]
    000fa155mov [rax+168], rdi
    000fa15cmov [rax+176], 23801
    000fa167lea rdi, [rip+4594]
    000fa16emov [rax+184], rdi
    000fa175mov rdi, 0x100000000000041
    000fa17fmov [rax+192], rdi
    000fa186mov [rax+200], 26873
    000fa191lea rdi, [rip+5752]
    000fa198mov [rax+208], rdi
    000fa19fmov rdi, 0x10000000000003b
    000fa1a9mov [rax+216], rdi
    000fa1b0mov [rax+224], 29945
    000fa1bblea rdi, [rip+6110]
    000fa1c2mov [rax+232], rdi
    000fa1c9mov rdi, 0x100000000000035
    000fa1d3mov [rax+240], rdi
    000fa1damov [rax+248], 33017
    000fa1e5lea rdi, [rip+6100]
    000fa1ecmov [rax+256], rdi
    000fa1f3mov rdi, 0x10000000000002f
    000fa1fdmov [rax+264], rdi
    000fa204mov [rax+272], 36089
    000fa20flea rdi, [rip+6090]
    000fa216mov [rax+280], rdi
    000fa21dmov rdi, 0x100000000000029
    000fa227mov [rax+288], rdi
    000fa22emov [rax+296], 39161
    000fa239lea rdi, [rip+6080]
    000fa240mov [rax+304], rdi
    000fa247mov rdi, 0x100000000000023
    000fa251mov [rax+312], rdi
    000fa258mov [rax+320], 42233
    000fa263lea rdi, [rip+6070]
    000fa26amov [rax+328], rdi
    000fa271mov rdi, 0x10000000000001d
    000fa27bmov [rax+336], rdi
    000fa282mov [rax+344], 45305
    000fa28dlea rdi, [rip+6140]
    000fa294mov [rax+352], rdi
    000fa29bmov rdi, 0x100000000000017
    000fa2a5mov [rax+360], rdi
    000fa2acmov [rax+368], 48377
    000fa2b7lea rdi, [rip+6210]
    000fa2bemov [rax+376], rdi
    000fa2c5mov rdi, 0x100000000000011
    000fa2cfmov [rax+384], rdi
    000fa2d6mov [rax+392], 51449
    000fa2e1lea rdi, [rip+6680]
    000fa2e8mov [rax+400], rdi
    000fa2efmov rdi, 0x10000000000000b
    000fa2f9mov [rax+408], rdi
    000fa300mov [rax+416], 54521
    000fa30blea rdi, [rip+6910]
    000fa312mov [rax+424], rdi
    000fa319mov rdi, 0x100000000000005
    000fa323mov [rax+432], rdi
    000fa32amov rdi, [rsp+16]
    000fa32fmov [rax+440], rdi
    000fa336mov rdi, [rsp+24]
    000fa33bmov [rax+448], rdi
    000fa342mov rdi, [rsp+32]
    000fa347mov [rax+456], rdi
    000fa34emov rdi, [rsp+40]
    000fa353mov [rax+464], rdi
    000fa35amov [rax+472], r13
    000fa361mov [rax+480], rcx
    000fa368mov [rax+488], r9
    000fa36fmov [rax+496], r12
    000fa376mov [rax+504], rdx
    000fa37dmov rdi, [rsp+48]
    000fa382mov [rax+512], rdi
    000fa389mov rdi, [rsp+56]
    000fa38emov [rax+520], rdi
    000fa395mov rdi, [rsp+64]
    000fa39amov [rax+528], rdi
    000fa3a1mov [rax+536], rbx
    000fa3a8mov rdi, rbx
    000fa3abadd rdi, 168
    000fa3b2mov [rax+544], rdi
    000fa3b9add rbx, 224
    000fa3c0mov [rax+552], rbx
    000fa3c7mov [rax+560], rsi
    000fa3cemov [rax+568], r11
    000fa3d5mov [rax+576], r10
    000fa3dcmov rbx, [rsp+72]
    000fa3e1mov [rax+584], rbx
    000fa3e8mov [rax+592], r8
    000fa3eflea rbx, [rax-136]
    000fa3f6mov [rbx-8], 16631
    000fa3felea rdi, [rip+6763]
    000fa405mov [rbx], rdi
    000fa408mov rdi, 0x100000000000005
    000fa412mov [rbx+8], rdi
    000fa416mov rdi, rax
    000fa419add rdi, 120
    000fa41dmov [rbx+16], rdi
    000fa421mov rdi, rax
    000fa424add rdi, 152
    000fa42bmov [rbx+24], rdi
    000fa42fmov rdi, rax
    000fa432add rdi, 184
    000fa439mov [rbx+32], rdi
    000fa43dmov rdi, rax
    000fa440add rdi, 208
    000fa447mov [rbx+40], rdi
    000fa44bmov rdi, rax
    000fa44eadd rdi, 232
    000fa455mov [rbx+48], rdi
    000fa459mov rdi, rax
    000fa45cadd rdi, 256
    000fa463mov [rbx+56], rdi
    000fa467mov rdi, rax
    000fa46aadd rdi, 280
    000fa471mov [rbx+64], rdi
    000fa475mov rdi, rax
    000fa478add rdi, 304
    000fa47fmov [rbx+72], rdi
    000fa483mov rdi, rax
    000fa486add rdi, 328
    000fa48dmov [rbx+80], rdi
    000fa491mov rdi, rax
    000fa494add rdi, 352
    000fa49bmov [rbx+88], rdi
    000fa49fmov rdi, rax
    000fa4a2add rdi, 376
    000fa4a9mov [rbx+96], rdi
    000fa4admov rdi, rax
    000fa4b0add rdi, 400
    000fa4b7mov [rbx+104], rdi
    000fa4bbadd rax, 424
    000fa4c1mov [rbx+112], rax
    000fa4c5mov [rbx+120], r10
    000fa4c9lea rax, [rip+0x182010]
    000fa4d0call camlLatexmacros.register_init_929
    000fa4d5lea rax, [rip+0x181ff4]
    000fa4dcadd rsp, 80
    000fa4e0ret
    000fa4e1
    000fa4e1loc_fa4e1:
    000fa4e1call caml_call_gc
    000fa4e6jmp 0xf9cb8
    000fa4eb
    000fa4ebloc_fa4eb:
    000fa4ebcall caml_call_gc
    000fa4f0jmp 0xf9c75
    000fa4f5
    000fa4f5loc_fa4f5:
    000fa4f5push 43
    000fa4f7call caml_call_realloc_stack
    000fa4fcpop r10
    000fa4fejmp 0xf9c42
    000f9c30
    000fa503
    000fa503 // align 0x10
    000fa510
    000fa510camlVideoc.runHook_628:
    000fa510lea r10, [rsp-344]
    000fa518cmp r10, [r14+40]
    000fa51cjb 0xfa5df
    000fa522
    000fa522loc_fa522:
    000fa522sub rsp, 24
    000fa526mov [rsp], rax
    000fa52amov rax, rdi
    000fa52dsub r15, 72
    000fa531cmp r15, [r14]
    000fa534jb 0xfa5d5
    000fa53a
    000fa53aloc_fa53a:
    000fa53alea rdi, [r15+8]
    000fa53eadd rdi, 40
    000fa542mov [rdi-8], 3319
    000fa54alea rdx, [rip+159]
    000fa551mov [rdi], rdx
    000fa554mov rdx, 0x100000000000005
    000fa55emov [rdi+8], rdx
    000fa562mov [rdi+16], rbx
    000fa566lea rbx, [rdi-40]
    000fa56amov [rsp+16], rbx
    000fa56fmov [rbx-8], 4343
    000fa577lea rdx, [rip-13662]
    000fa57emov [rbx], rdx
    000fa581mov rdx, 0x200000000000007
    000fa58bmov [rbx+8], rdx
    000fa58flea rdx, [rip+234]
    000fa596mov [rbx+16], rdx
    000fa59amov [rbx+24], rdi
    000fa59emov rbx, [rsi+24]
    000fa5a2mov rbx, [rbx]
    000fa5a5mov [rsp+8], rbx
    000fa5aalea rbx, [rip+0x182347]
    000fa5b1call camlStdlib.$5e_139
    000fa5b6mov rbx, rax
    000fa5b9mov rax, [rsp]
    000fa5bdcall camlStdlib.$5e_139
    000fa5c2mov rbx, [rsp+8]
    000fa5c7mov rdi, [rsp+16]
    000fa5ccadd rsp, 24
    000fa5d0jmp 0xfa680
    000fa5d5
    000fa5d5loc_fa5d5:
    000fa5d5call caml_call_gc
    000fa5dajmp 0xfa53a
    000fa5df
    000fa5dfloc_fa5df:
    000fa5dfpush 36
    000fa5e1call caml_call_realloc_stack
    000fa5e6pop r10
    000fa5e8jmp 0xfa522
    000fa510
    000fa5ed
    000fa5ed // align 0x10
    000fa5f0
    000fa5f0camlVideoc.run_633:
    000fa5f0lea r10, [rsp-336]
    000fa5f8cmp r10, [r14+40]
    000fa5fcjb 0xfa66e
    000fa5fe
    000fa5feloc_fa5fe:
    000fa5fesub rsp, 16
    000fa602mov rdi, rax
    000fa605mov [rsp+8], rdi
    000fa60amov [rsp], rbx
    000fa60elea rax, [rip+0x22fa5b]
    000fa615mov rax, [rax+80]
    000fa619mov rax, [rax]
    000fa61ccmp rax, 5
    000fa620jle 0xfa636
    000fa622lea rax, [rip+0x1823bf]
    000fa629mov rbx, rdi
    000fa62ccall camlStdlib.$5e_139
    000fa631call camlStdlib.prerr_endline_390
    000fa636
    000fa636loc_fa636:
    000fa636mov rax, [rsp+8]
    000fa63bcall camlLatexmacros.exists_938
    000fa640cmp rax, 1
    000fa644je 0xfa664
    000fa646mov rax, [rsp]
    000fa64amov rax, [rax+16]
    000fa64emov rbx, [rsp+8]
    000fa653call camlLexstate.scan_this_1185
    000fa658mov eax, 1
    000fa65dadd rsp, 16
    000fa661ret
    000fa662
    000fa662 66 90 f.
    000fa664
    000fa664loc_fa664:
    000fa664mov eax, 1
    000fa669add rsp, 16
    000fa66dret
    000fa66e
    000fa66eloc_fa66e:
    000fa66epush 35
    000fa670call caml_call_realloc_stack
    000fa675pop r10
    000fa677jmp 0xfa5fe
    000fa5f0
    000fa679
    000fa679 // align 0x10
    000fa680
    000fa680camlVideoc.iterate_636:
    000fa680lea r10, [rsp-352]
    000fa688cmp r10, [r14+40]
    000fa68cjb 0xfa77d
    000fa692
    000fa692loc_fa692:
    000fa692sub rsp, 32
    000fa696
    000fa696loc_fa696:
    000fa696mov [rsp+8], rax
    000fa69bmov [rsp], rbx
    000fa69fmov [rsp+24], rdi
    000fa6a4cmp r15, [r14]
    000fa6a7jbe 0xfa76e
    000fa6ad
    000fa6adloc_fa6ad:
    000fa6admov rbx, [rdi+24]
    000fa6b1call camlVideoc.run_633
    000fa6b6lea rsi, [rip+0x18146b]
    000fa6bdmov r12, [rsp]
    000fa6c1mov rdi, r12
    000fa6c4mov rbx, rsp
    000fa6c7mov rsp, [r14+64]
    000fa6cbcall caml_string_notequal
    000fa6d0mov rsp, rbx
    000fa6d3cmp rax, 1
    000fa6d7je 0xfa764
    000fa6ddmov [rsp], r12
    000fa6e1mov rax, [r12-8]
    000fa6e6shr rax, 10
    000fa6ealea rax, [8*rax-1]
    000fa6f2movzx rbx, [r12+rax]
    000fa6f7sub rax, rbx
    000fa6falea rdi, [rax+rax-1]
    000fa6ffmov ebx, 3
    000fa704mov rax, r12
    000fa707call Stdlib.Bytes.sub
    000fa70cmov [rsp+16], rax
    000fa711mov rdi, [rsp]
    000fa715mov rax, [rdi-8]
    000fa719shr rax, 10
    000fa71dlea rax, [8*rax-1]
    000fa725movzx rbx, [rdi+rax]
    000fa72asub rax, rbx
    000fa72dcmp rax, 0
    000fa731jbe 0xfa778
    000fa733movzx rax, [rdi]
    000fa737lea rbx, [rax+rax+1]
    000fa73cmov eax, 3
    000fa741call Stdlib.Bytes.make
    000fa746mov rbx, rax
    000fa749mov rax, [rsp+8]
    000fa74ecall camlStdlib.$5e_139
    000fa753mov rbx, [rsp+16]
    000fa758mov rdi, [rsp+24]
    000fa75djmp 0xfa696
    000fa762
    000fa762 66 90 f.
    000fa764
    000fa764loc_fa764:
    000fa764mov eax, 1
    000fa769add rsp, 32
    000fa76dret
    000fa76e
    000fa76eloc_fa76e:
    000fa76ecall caml_call_gc
    000fa773jmp 0xfa6ad
    000fa778
    000fa778loc_fa778:
    000fa778call caml_ml_array_bound_error
    000fa77d
    000fa77dloc_fa77d:
    000fa77dpush 37
    000fa77fcall caml_call_realloc_stack
    000fa784pop r10
    000fa786jmp 0xfa692
    000fa680
    000fa78b
    000fa78b // align 0x10
    000fa790
    000fa790camlVideoc.snippetRunHook_708:
    000fa790mov rdx, rax
    000fa793mov rcx, rbx
    000fa796mov rsi, [rdi+24]
    000fa79alea rax, [rip+0x181fa7]
    000fa7a1mov rbx, rdx
    000fa7a4mov rdi, rcx
    000fa7a7jmp 0xfa510
    000fa790
    000fa7ac
    000fa7ac // align 0x10
    000fa7b0
    000fa7b0camlVideoc.snipRunHook_712:
    000fa7b0mov rdx, rax
    000fa7b3mov rcx, rbx
    000fa7b6mov rsi, [rdi+24]
    000fa7balea rax, [rip+0x181e87]
    000fa7c1mov rbx, rdx
    000fa7c4mov rdi, rcx
    000fa7c7jmp 0xfa510
    000fa7b0
    000fa7cc
    000fa7cc // align 0x10
    000fa7d0
    000fa7d0camlVideoc.compute_hint_id_716:
    000fa7d0lea r10, [rsp-328]
    000fa7d8cmp r10, [r14+40]
    000fa7dcjb 0xfa802
    000fa7de
    000fa7deloc_fa7de:
    000fa7desub rsp, 8
    000fa7e2mov [rsp], rax
    000fa7e6lea rax, [rip+0x181d33]
    000fa7edcall camlStdlib.$5e_139
    000fa7f2mov rbx, rax
    000fa7f5mov rax, [rsp]
    000fa7f9add rsp, 8
    000fa7fdjmp 0x195ba0
    000fa802
    000fa802loc_fa802:
    000fa802push 34
    000fa804call caml_call_realloc_stack
    000fa809pop r10
    000fa80bjmp 0xfa7de
    000fa7d0
    000fa80d
    000fa80d // align 0x10
    000fa810
    000fa810camlVideoc.fun_1096:
    000fa810mov rax, [rbx+16]
    000fa814add [rax], 2
    000fa818mov rax, [rax]
    000fa81bret
    000fa810
    000fa81c
    000fa81c // align 0x10
    000fa820
    000fa820camlVideoc.exec_769:
    000fa820lea r10, [rsp-352]
    000fa828cmp r10, [r14+40]
    000fa82cjb 0xfa98e
    000fa832
    000fa832loc_fa832:
    000fa832sub rsp, 32
    000fa836mov rdi, rax
    000fa839mov [rsp+8], rbx
    000fa83ecmp r15, [r14]
    000fa841jbe 0xfa984
    000fa847
    000fa847loc_fa847:
    000fa847movzx rax, [rdi-8]
    000fa84ccmp rax, 1
    000fa850je 0xfa90c
    000fa856ja 0xfa960
    000fa85cmov rax, [rdi]
    000fa85fmov [rsp], rax
    000fa863lea rbx, [rip+0x22f806]
    000fa86amov rbx, [rbx+80]
    000fa86emov rbx, [rbx]
    000fa871cmp rbx, 5
    000fa875jle 0xfa8b7
    000fa877mov [rsp+24], rax
    000fa87clea rax, [rip+0x21c11d]
    000fa883mov rax, [rax]
    000fa886mov [rsp+16], rax
    000fa88blea rbx, [rip+0x1811de]
    000fa892lea rax, [rip+0x232d7f]
    000fa899mov rax, [rax+312]
    000fa8a0call Stdlib.Printf.fprintf
    000fa8a5mov rdi, rax
    000fa8a8mov rax, [rsp+16]
    000fa8admov rbx, [rsp+24]
    000fa8b2call caml_apply2
    000fa8b7
    000fa8b7loc_fa8b7:
    000fa8b7sub r15, 24
    000fa8bbcmp r15, [r14]
    000fa8bejb 0xfa97a
    000fa8c4
    000fa8c4loc_fa8c4:
    000fa8c4lea rsi, [r15+8]
    000fa8c8mov [rsi-8], 2048
    000fa8d0mov rax, [rsp]
    000fa8d4mov [rsi], rax
    000fa8d7lea rax, [rip+0x21c0c2]
    000fa8demov rax, [rax+728]
    000fa8e5mov rax, [rax]
    000fa8e8mov [rsi+8], rax
    000fa8ecmov rax, [rsp+8]
    000fa8f1mov rdi, [rax+24]
    000fa8f5mov rbx, [rax+16]
    000fa8f9mov rax, [rax+32]
    000fa8fdmov rax, [rax+24]
    000fa901add rsp, 32
    000fa905jmp 0x17f6f0
    000fa90anop
    000fa90c
    000fa90cloc_fa90c:
    000fa90cmov rax, [rdi]
    000fa90fmov ebx, 1
    000fa914call Stdlib.List.rev_append
    000fa919mov rbx, rax
    000fa91csub r15, 32
    000fa920cmp r15, [r14]
    000fa923jb 0xfa973
    000fa925
    000fa925loc_fa925:
    000fa925lea rax, [r15+8]
    000fa929mov [rax-8], 3319
    000fa931lea rdi, [rip+104]
    000fa938mov [rax], rdi
    000fa93bmov rdi, 0x100000000000005
    000fa945mov [rax+8], rdi
    000fa949mov rdi, [rsp+8]
    000fa94emov rdi, [rdi+32]
    000fa952mov [rax+16], rdi
    000fa956add rsp, 32
    000fa95ajmp 0x1a0330
    000fa95fnop
    000fa960
    000fa960loc_fa960:
    000fa960mov rdi, [rdi]
    000fa963mov rax, [rbx+16]
    000fa967mov rsi, [rdi]
    000fa96amov rbx, rdi
    000fa96dadd rsp, 32
    000fa971jmp rsi
    000fa973
    000fa973loc_fa973:
    000fa973call caml_call_gc
    000fa978jmp 0xfa925
    000fa97a
    000fa97aloc_fa97a:
    000fa97acall caml_call_gc
    000fa97fjmp 0xfa8c4
    000fa984
    000fa984loc_fa984:
    000fa984call caml_call_gc
    000fa989jmp 0xfa847
    000fa98e
    000fa98eloc_fa98e:
    000fa98epush 37
    000fa990call caml_call_realloc_stack
    000fa995pop r10
    000fa997jmp 0xfa832
    000fa820
    000fa99c
    000fa99c // align 0x10
    000fa9a0
    000fa9a0camlVideoc.fun_1162:
    000fa9a0mov rdi, rax
    000fa9a3mov rax, [rbx+16]
    000fa9a7mov rax, [rax+24]
    000fa9abmov rbx, rdi
    000fa9aejmp 0x17f150
    000fa9a0
    000fa9b3
    000fa9b3 // align 0x10
    000fa9c0
    000fa9c0camlVideoc.fun_1188:
    000fa9c0mov rax, [rbx+24]
    000fa9c4mov rbx, [rbx+16]
    000fa9c8jmp 0xf9800
    000fa9c0
    000fa9cd
    000fa9cd // align 0x10
    000fa9d0
    000fa9d0camlVideoc.caml_print_914:
    000fa9d0sub r15, 56
    000fa9d4cmp r15, [r14]
    000fa9d7jb 0xfaa1d
    000fa9d9
    000fa9d9loc_fa9d9:
    000fa9d9lea rdi, [r15+8]
    000fa9ddadd rdi, 16
    000fa9e1mov [rdi-8], 4343
    000fa9e9lea rsi, [rip+64]
    000fa9f0mov [rdi], rsi
    000fa9f3mov rsi, 0x100000000000005
    000fa9fdmov [rdi+8], rsi
    000faa01mov [rdi+16], rax
    000faa05mov rax, [rbx+16]
    000faa09mov [rdi+24], rax
    000faa0dlea rax, [rdi-16]
    000faa11mov [rax-8], 1026
    000faa19mov [rax], rdi
    000faa1cret
    000faa1d
    000faa1dloc_faa1d:
    000faa1dcall caml_call_gc
    000faa22jmp 0xfa9d9
    000fa9d0
    000faa24
    000faa24 // align 0x10
    000faa30
    000faa30camlVideoc.fun_1218:
    000faa30cmp r15, [r14]
    000faa33jbe 0xfaa4c
    000faa35
    000faa35loc_faa35:
    000faa35mov rax, [rbx+24]
    000faa39mov rdi, [rax+352]
    000faa40mov rax, [rbx+16]
    000faa44mov rsi, [rdi]
    000faa47mov rbx, rdi
    000faa4ajmp rsi
    000faa4c
    000faa4cloc_faa4c:
    000faa4ccall caml_call_gc
    000faa51jmp 0xfaa35
    000faa30
    000faa53
    000faa53 // align 0x10
    000faa60
    000faa60camlVideoc.snippet_def_918:
    000faa60sub r15, 16
    000faa64cmp r15, [r14]
    000faa67jb 0xfaa88
    000faa69
    000faa69loc_faa69:
    000faa69lea rdi, [r15+8]
    000faa6dmov [rdi-8], 1026
    000faa75mov [rdi], rbx
    000faa78lea rbx, [rip+0x21bf21]
    000faa7fmov rbx, [rbx+56]
    000faa83jmp 0x17af20
    000faa88
    000faa88loc_faa88:
    000faa88call caml_call_gc
    000faa8djmp 0xfaa69
    000faa60
    000faa8f
    000faa8f // align 0x10
    000faa90
    000faa90camlVideoc.do_endsnippet_922:
    000faa90mov r12, rbx
    000faa93lea rax, [rip+0x21bf06]
    000faa9amov rax, [rax+264]
    000faaa1mov rax, [rax]
    000faaa4cmp rax, 1
    000faaa8je 0xfaaf8
    000faaaamov rax, [r12+472]
    000faab2mov [rax], 3
    000faab9sub r15, 24
    000faabdcmp r15, [r14]
    000faac0jb 0xfab7a
    000faac6
    000faac6loc_faac6:
    000faac6lea rax, [r15+8]
    000faacamov [rax-8], 2048
    000faad2lea rbx, [rip+0x22f597]
    000faad9mov rbx, [rbx+64]
    000faaddmov [rax], rbx
    000faae0mov [rax+8], 1
    000faae8mov rsp, [r14+48]
    000faaecpop [r14+48]
    000faaf0pop r11
    000faaf2jmp r11
    000faaf5nop [rax]
    000faaf8
    000faaf8loc_faaf8:
    000faaf8lea rsi, [rip+0x180d09]
    000faaffmov rax, [r12+576]
    000fab07mov rax, [rax+56]
    000fab0bmov rdi, [rax]
    000fab0emov rbx, rsp
    000fab11mov rsp, [r14+64]
    000fab15call caml_string_equal
    000fab1amov rsp, rbx
    000fab1dcmp rax, 1
    000fab21je 0xfab38
    000fab23mov rax, [r12+440]
    000fab2bmov rsp, [r14+48]
    000fab2fpop [r14+48]
    000fab33pop r11
    000fab35jmp r11
    000fab38
    000fab38loc_fab38:
    000fab38sub r15, 24
    000fab3ccmp r15, [r14]
    000fab3fjb 0xfab73
    000fab41
    000fab41loc_fab41:
    000fab41lea rax, [r15+8]
    000fab45mov [rax-8], 2048
    000fab4dlea rbx, [rip+0x22f51c]
    000fab54mov rbx, [rbx+24]
    000fab58mov [rax], rbx
    000fab5blea rbx, [rip+0x180c76]
    000fab62mov [rax+8], rbx
    000fab66mov rsp, [r14+48]
    000fab6apop [r14+48]
    000fab6epop r11
    000fab70jmp r11
    000fab73
    000fab73loc_fab73:
    000fab73call caml_call_gc
    000fab78jmp 0xfab41
    000fab7a
    000fab7aloc_fab7a:
    000fab7acall caml_call_gc
    000fab7fjmp 0xfaac6
    000faa90
    000fab84
    000fab84 // align 0x10
    000fab90
    000fab90camlVideoc.do_texinclusion_923:
    000fab90lea r10, [rsp-352]
    000fab98cmp r10, [r14+40]
    000fab9cjb 0xfad35
    000faba2
    000faba2loc_faba2:
    000faba2sub rsp, 16
    000faba6mov [rsp+8], rax
    000fababmov [rsp], rbx
    000fabaflea rdi, [rip+0x180c0a]
    000fabb6mov rax, [rbx+456]
    000fabbdmov rax, [rax]
    000fabc0mov rbx, rdi
    000fabc3call camlStdlib.$5e_139
    000fabc8mov rbx, rax
    000fabcblea rax, [rip+0x180dce]
    000fabd2call camlStdlib.$5e_139
    000fabd7mov rbx, rax
    000fabdamov rax, [rsp]
    000fabdemov rax, [rax+552]
    000fabe5mov rdi, [rax+112]
    000fabe9lea rax, [rip+0x180dc0]
    000fabf0call caml_apply2
    000fabf5mov rdi, [rsp]
    000fabf9mov rax, [rdi+552]
    000fac00mov rbx, [rax+24]
    000fac04mov rax, [rdi+480]
    000fac0bmov rsi, [rax+24]
    000fac0flea rdi, [rip+0x180b92]
    000fac16lea rax, [rip+0x181b2b]
    000fac1dcall camlVideoc.runHook_628
    000fac22mov rbx, [rsp]
    000fac26mov rax, [rbx+440]
    000fac2dmov [rax], 3
    000fac34lea r11, [rip+45]
    000fac3bpush r11
    000fac3dpush [r14+48]
    000fac41mov [r14+48], rsp
    000fac45mov rax, [rbx+552]
    000fac4cmov rbx, [rax+24]
    000fac50mov rdi, [rbx]
    000fac53mov rax, [rsp+24]
    000fac58call rdi
    000fac5apop [r14+48]
    000fac5eadd rsp, 8
    000fac62jmp 0xfad30
    000fac67nop
    000fac68mov [rsp+8], rax
    000fac6dmov rdi, [rsp]
    000fac71mov rax, [rdi+552]
    000fac78mov rbx, [rax+24]
    000fac7cmov rax, [rdi+480]
    000fac83mov rsi, [rax+24]
    000fac87lea rdi, [rip+0x181d42]
    000fac8elea rax, [rip+0x181ab3]
    000fac95call camlVideoc.runHook_628
    000fac9amov rax, [rsp]
    000fac9emov rax, [rax+552]
    000faca5mov rbx, [rax+120]
    000faca9lea rax, [rip+0x180d00]
    000facb0mov rdi, [rbx]
    000facb3call rdi
    000facb5mov rdi, [rsp]
    000facb9mov rax, [rdi+552]
    000facc0mov rbx, [rax+24]
    000facc4mov rax, [rdi+480]
    000faccbmov rsi, [rax+24]
    000faccflea rdi, [rip+0x181cea]
    000facd6lea rax, [rip+0x181a6b]
    000facddcall camlVideoc.runHook_628
    000face2lea r11, [rip+28]
    000face9push r11
    000facebpush [r14+48]
    000facefmov [r14+48], rsp
    000facf3mov rax, [rsp+24]
    000facf8mov rsp, [r14+48]
    000facfcpop [r14+48]
    000fad00pop r11
    000fad02jmp r11
    000fad05mov rbx, [rsp]
    000fad09mov rbx, [rbx+424]
    000fad10cmp rax, rbx
    000fad13jne 0xfad20
    000fad15mov eax, 1
    000fad1aadd rsp, 16
    000fad1eret
    000fad1fnop
    000fad20
    000fad20loc_fad20:
    000fad20mov rsp, [r14+48]
    000fad24pop [r14+48]
    000fad28pop r11
    000fad2ajmp r11
    000fad2dnop [rax]
    000fad30
    000fad30loc_fad30:
    000fad30add rsp, 16
    000fad34ret
    000fad35
    000fad35loc_fad35:
    000fad35push 37
    000fad37call caml_call_realloc_stack
    000fad3cpop r10
    000fad3ejmp 0xfaba2
    000fab90
    000fad43
    000fad43 // align 0x10
    000fad50
    000fad50camlVideoc.do_texexclusion_924:
    000fad50lea r10, [rsp-328]
    000fad58cmp r10, [r14+40]
    000fad5cjb 0xfae02
    000fad62
    000fad62loc_fad62:
    000fad62sub rsp, 8
    000fad66mov rax, [rbx+408]
    000fad6dmov rax, [rax]
    000fad70cmp rax, 1
    000fad74je 0xfadc0
    000fad76mov [rsp], rbx
    000fad7alea rax, [rip+0x22f2ef]
    000fad81mov rax, [rax+80]
    000fad85mov rax, [rax]
    000fad88cmp rax, 5
    000fad8cjle 0xfad9a
    000fad8elea rax, [rip+0x181c03]
    000fad95call camlStdlib.prerr_endline_390
    000fad9a
    000fad9aloc_fad9a:
    000fad9amov rbx, [rsp]
    000fad9emov rax, [rbx+416]
    000fada5mov [rax], 1
    000fadacmov rax, [rbx+400]
    000fadb3mov rsp, [r14+48]
    000fadb7pop [r14+48]
    000fadbbpop r11
    000fadbdjmp r11
    000fadc0
    000fadc0loc_fadc0:
    000fadc0sub r15, 24
    000fadc4cmp r15, [r14]
    000fadc7jb 0xfadfb
    000fadc9
    000fadc9loc_fadc9:
    000fadc9lea rax, [r15+8]
    000fadcdmov [rax-8], 2048
    000fadd5lea rbx, [rip+0x22f294]
    000faddcmov rbx, [rbx+24]
    000fade0mov [rax], rbx
    000fade3lea rbx, [rip+0x181b7e]
    000fadeamov [rax+8], rbx
    000fadeemov rsp, [r14+48]
    000fadf2pop [r14+48]
    000fadf6pop r11
    000fadf8jmp r11
    000fadfb
    000fadfbloc_fadfb:
    000fadfbcall caml_call_gc
    000fae00jmp 0xfadc9
    000fae02
    000fae02loc_fae02:
    000fae02push 34
    000fae04call caml_call_realloc_stack
    000fae09pop r10
    000fae0bjmp 0xfad62
    000fad50
    000fae10
    000fae10camlVideoc.do_backslash_newline_925:
    000fae10lea r10, [rsp-328]
    000fae18cmp r10, [r14+40]
    000fae1cjb 0xfae5b
    000fae1e
    000fae1eloc_fae1e:
    000fae1esub rsp, 8
    000fae22mov [rsp], rbx
    000fae26mov rax, [rbx+520]
    000fae2dmov rbx, [rax+352]
    000fae34lea rax, [rip+0x181b1d]
    000fae3bmov rdi, [rbx]
    000fae3ecall rdi
    000fae40lea rbx, [rip+0x181b01]
    000fae47mov rax, [rsp]
    000fae4bmov rax, [rax+464]
    000fae52add rsp, 8
    000fae56jmp 0x17f150
    000fae5b
    000fae5bloc_fae5b:
    000fae5bpush 34
    000fae5dcall caml_call_realloc_stack
    000fae62pop r10
    000fae64jmp 0xfae1e
    000fae10
    000fae66
    000fae66 // align 0x10
    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