FilesBlogsAbout
Register
File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    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
    000fce9d
    000fce9d // align 0x10
    000fcea0
    000fcea0Verb..ocaml_lex_eat_line_rec:
    000fcea0lea r10, [rsp-344]
    000fcea8cmp r10, [r14+40]
    000fceacjb 0xfcfdf
    000fceb2
    000fceb2loc_fceb2:
    000fceb2sub rsp, 24
    000fceb6
    000fceb6loc_fceb6:
    000fceb6mov rsi, rax
    000fceb9mov [rsp], rsi
    000fcebdmov [rsp+16], rdi
    000fcec2cmp r15, [r14]
    000fcec5jbe 0xfcfd5
    000fcecb
    000fcecbloc_fcecb:
    000fcecblea rax, [rip+0x1834e6]
    000fced2mov rdi, rsi
    000fced5call Stdlib.Lexing.engine
    000fcedacmp rax, 5
    000fcedejbe 0xfcf04
    000fcee0mov [rsp+8], rax
    000fcee5mov rax, [rsp]
    000fcee9mov rbx, [rax]
    000fceecmov rdi, [rbx]
    000fceefcall rdi
    000fcef1mov rax, [rsp]
    000fcef5mov rbx, [rsp+8]
    000fcefamov rdi, [rsp+16]
    000fceffjmp 0xfceb6
    000fcf01nop [rax]
    000fcf04
    000fcf04loc_fcf04:
    000fcf04sar rax, 1
    000fcf07cmp rax, 1
    000fcf0bje 0xfcf8c
    000fcf0dja 0xfcfa8
    000fcf13lea rax, [rip+0x219a86]
    000fcf1amov rax, [rax+344]
    000fcf21mov rax, [rax]
    000fcf24test al, 1
    000fcf26je 0xfcf68
    000fcf28sub r15, 24
    000fcf2ccmp r15, [r14]
    000fcf2fjb 0xfcfcb
    000fcf35
    000fcf35loc_fcf35:
    000fcf35lea rax, [r15+8]
    000fcf39mov [rax-8], 2048
    000fcf41mov rbx, [rsp+16]
    000fcf46mov rbx, [rbx+304]
    000fcf4dmov [rax], rbx
    000fcf50lea rbx, [rip+0x183381]
    000fcf57mov [rax+8], rbx
    000fcf5bmov rsp, [r14+48]
    000fcf5fpop [r14+48]
    000fcf63pop r11
    000fcf65jmp r11
    000fcf68
    000fcf68loc_fcf68:
    000fcf68mov eax, 1
    000fcf6dcall camlLexstate.previous_lexbuf_870
    000fcf72mov rdi, [rsp+16]
    000fcf77add rdi, -24
    000fcf7badd rdi, 24
    000fcf7fmov ebx, 79
    000fcf84jmp 0xfceb6
    000fcf89nop [rax]
    000fcf8c
    000fcf8cloc_fcf8c:
    000fcf8cmov rdi, [rsp+16]
    000fcf91add rdi, -24
    000fcf95add rdi, 24
    000fcf99mov ebx, 79
    000fcf9emov rax, [rsp]
    000fcfa2jmp 0xfceb6
    000fcfa7nop
    000fcfa8
    000fcfa8loc_fcfa8:
    000fcfa8mov rax, [rsp+16]
    000fcfadmov rsi, [rax+344]
    000fcfb4mov edi, 21
    000fcfb9mov eax, 3
    000fcfbemov rbx, [rsp]
    000fcfc2add rsp, 24
    000fcfc6jmp 0x101c10
    000fcfcb
    000fcfcbloc_fcfcb:
    000fcfcbcall caml_call_gc
    000fcfd0jmp 0xfcf35
    000fcfd5
    000fcfd5loc_fcfd5:
    000fcfd5call caml_call_gc
    000fcfdajmp 0xfcecb
    000fcfdf
    000fcfdfloc_fcfdf:
    000fcfdfpush 36
    000fcfe1call caml_call_realloc_stack
    000fcfe6pop r10
    000fcfe8jmp 0xfceb2
    000fcea0
    000fcfed
    000fcfed // align 0x10
    000fcff0
    000fcff0camlVerb.get_line_1412:
    000fcff0mov rdi, rbx
    000fcff3cmp r15, [r14]
    000fcff6jbe 0xfd006
    000fcff8
    000fcff8loc_fcff8:
    000fcff8add rdi, 24
    000fcffcmov ebx, 87
    000fd001jmp 0xfd010
    000fd006
    000fd006loc_fd006:
    000fd006call caml_call_gc
    000fd00bjmp 0xfcff8
    000fcff0
    000fd00d
    000fd00d // align 0x10
    000fd010
    000fd010Verb..ocaml_lex_get_line_rec:
    000fd010lea r10, [rsp-344]
    000fd018cmp r10, [r14+40]
    000fd01cjb 0xfd19a
    000fd022
    000fd022loc_fd022:
    000fd022sub rsp, 24
    000fd026
    000fd026loc_fd026:
    000fd026mov rsi, rax
    000fd029mov [rsp], rsi
    000fd02dmov [rsp+16], rdi
    000fd032cmp r15, [r14]
    000fd035jbe 0xfd18b
    000fd03b
    000fd03bloc_fd03b:
    000fd03blea rax, [rip+0x183376]
    000fd042mov rdi, rsi
    000fd045call Stdlib.Lexing.engine
    000fd04acmp rax, 5
    000fd04ejbe 0xfd074
    000fd050mov [rsp+8], rax
    000fd055mov rax, [rsp]
    000fd059mov rbx, [rax]
    000fd05cmov rdi, [rbx]
    000fd05fcall rdi
    000fd061mov rax, [rsp]
    000fd065mov rbx, [rsp+8]
    000fd06amov rdi, [rsp+16]
    000fd06fjmp 0xfd026
    000fd071nop [rax]
    000fd074
    000fd074loc_fd074:
    000fd074sar rax, 1
    000fd077cmp rax, 1
    000fd07bje 0xfd0fc
    000fd07dja 0xfd16c
    000fd083lea rax, [rip+0x219916]
    000fd08amov rax, [rax+344]
    000fd091mov rax, [rax]
    000fd094test al, 1
    000fd096je 0xfd0d8
    000fd098sub r15, 24
    000fd09ccmp r15, [r14]
    000fd09fjb 0xfd181
    000fd0a5
    000fd0a5loc_fd0a5:
    000fd0a5lea rax, [r15+8]
    000fd0a9mov [rax-8], 2048
    000fd0b1mov rbx, [rsp+16]
    000fd0b6mov rbx, [rbx+248]
    000fd0bdmov [rax], rbx
    000fd0c0lea rbx, [rip+0x1831f9]
    000fd0c7mov [rax+8], rbx
    000fd0cbmov rsp, [r14+48]
    000fd0cfpop [r14+48]
    000fd0d3pop r11
    000fd0d5jmp r11
    000fd0d8
    000fd0d8loc_fd0d8:
    000fd0d8mov eax, 1
    000fd0ddcall camlLexstate.previous_lexbuf_870
    000fd0e2mov rdi, [rsp+16]
    000fd0e7add rdi, -24
    000fd0ebadd rdi, 24
    000fd0efmov ebx, 87
    000fd0f4jmp 0xfd026
    000fd0f9nop [rax]
    000fd0fc
    000fd0fcloc_fd0fc:
    000fd0fcmov rbx, [rsp]
    000fd100mov rax, [rbx+32]
    000fd104sar rax, 1
    000fd107mov rbx, [rbx+8]
    000fd10bmov rdi, [rbx-8]
    000fd10fshr rdi, 10
    000fd113lea rdi, [8*rdi-1]
    000fd11bmovzx rsi, [rbx+rdi]
    000fd120sub rdi, rsi
    000fd123cmp rdi, rax
    000fd126jbe 0xfd195
    000fd128movzx rax, [rbx+rax]
    000fd12dlea rbx, [rax+rax+1]
    000fd132mov rax, [rsp+16]
    000fd137mov rax, [rax+272]
    000fd13elea rdi, [rip+0x2248b3]
    000fd145mov rdi, [rdi+64]
    000fd149call camlDoOut.put_char_792
    000fd14emov rdi, [rsp+16]
    000fd153add rdi, -24
    000fd157add rdi, 24
    000fd15bmov ebx, 87
    000fd160mov rax, [rsp]
    000fd164jmp 0xfd026
    000fd169nop [rax]
    000fd16c
    000fd16cloc_fd16c:
    000fd16cmov rax, [rsp+16]
    000fd171mov rax, [rax+272]
    000fd178add rsp, 24
    000fd17cjmp 0x18a4c0
    000fd181
    000fd181loc_fd181:
    000fd181call caml_call_gc
    000fd186jmp 0xfd0a5
    000fd18b
    000fd18bloc_fd18b:
    000fd18bcall caml_call_gc
    000fd190jmp 0xfd03b
    000fd195
    000fd195loc_fd195:
    000fd195call caml_ml_array_bound_error
    000fd19a
    000fd19aloc_fd19a:
    000fd19apush 36
    000fd19ccall caml_call_realloc_stack
    000fd1a1pop r10
    000fd1a3jmp 0xfd022
    000fd010
    000fd1a8
    000fd1a8 // align 0x10
    000fd1b0
    000fd1b0camlVerb.do_escape_1414:
    000fd1b0mov rdi, rbx
    000fd1b3cmp r15, [r14]
    000fd1b6jbe 0xfd1c6
    000fd1b8
    000fd1b8loc_fd1b8:
    000fd1b8add rdi, 24
    000fd1bcmov ebx, 95
    000fd1c1jmp 0xfd1d0
    000fd1c6
    000fd1c6loc_fd1c6:
    000fd1c6call caml_call_gc
    000fd1cbjmp 0xfd1b8
    000fd1b0
    000fd1cd
    000fd1cd // align 0x10
    000fd1d0
    000fd1d0Verb..ocaml_lex_do_escape_rec:
    000fd1d0lea r10, [rsp-344]
    000fd1d8cmp r10, [r14+40]
    000fd1dcjb 0xfd38a
    000fd1e2
    000fd1e2loc_fd1e2:
    000fd1e2sub rsp, 24
    000fd1e6
    000fd1e6loc_fd1e6:
    000fd1e6mov rsi, rax
    000fd1e9mov [rsp+8], rsi
    000fd1eemov [rsp+16], rdi
    000fd1f3cmp r15, [r14]
    000fd1f6jbe 0xfd37b
    000fd1fc
    000fd1fcloc_fd1fc:
    000fd1fclea rax, [rip+0x1831b5]
    000fd203mov rdi, rsi
    000fd206call Stdlib.Lexing.engine
    000fd20bcmp rax, 5
    000fd20fjbe 0xfd234
    000fd211mov [rsp], rax
    000fd215mov rax, [rsp+8]
    000fd21amov rbx, [rax]
    000fd21dmov rdi, [rbx]
    000fd220call rdi
    000fd222mov rax, [rsp+8]
    000fd227mov rbx, [rsp]
    000fd22bmov rdi, [rsp+16]
    000fd230jmp 0xfd1e6
    000fd232
    000fd232 66 90 f.
    000fd234
    000fd234loc_fd234:
    000fd234sar rax, 1
    000fd237cmp rax, 1
    000fd23bje 0xfd250
    000fd23dja 0xfd2cc
    000fd243mov eax, 1
    000fd248add rsp, 24
    000fd24cret
    000fd24d
    000fd24d 0f 1f 00 ...
    000fd250
    000fd250loc_fd250:
    000fd250mov rax, [rsp+8]
    000fd255call camlLexstate.save_arg_1030
    000fd25amov [rsp], rax
    000fd25elea rbx, [rip+0x183033]
    000fd265mov rax, [rsp+16]
    000fd26amov rax, [rax+248]
    000fd271mov rax, [rax+24]
    000fd275call camlLexstate.scan_this_1185
    000fd27amov rax, [rsp+16]
    000fd27fmov rax, [rax+248]
    000fd286mov rax, [rax+24]
    000fd28amov rbx, [rsp]
    000fd28ecall camlLexstate.scan_this_arg_1187
    000fd293lea rbx, [rip+0x182fee]
    000fd29amov rax, [rsp+16]
    000fd29fmov rax, [rax+248]
    000fd2a6mov rax, [rax+24]
    000fd2aacall camlLexstate.scan_this_1185
    000fd2afmov rdi, [rsp+16]
    000fd2b4add rdi, -24
    000fd2b8add rdi, 24
    000fd2bcmov ebx, 95
    000fd2c1mov rax, [rsp+8]
    000fd2c6jmp 0xfd1e6
    000fd2cb
    000fd2cb 90 .
    000fd2cc
    000fd2ccloc_fd2cc:
    000fd2ccmov rdi, [rsp+8]
    000fd2d1mov rax, [rdi+32]
    000fd2d5sar rax, 1
    000fd2d8mov rbx, [rdi+8]
    000fd2dcmov rsi, [rbx-8]
    000fd2e0shr rsi, 10
    000fd2e4lea rsi, [8*rsi-1]
    000fd2ecmovzx rdx, [rbx+rsi]
    000fd2f1sub rsi, rdx
    000fd2f4cmp rsi, rax
    000fd2f7jbe 0xfd385
    000fd2fdmovzx rax, [rbx+rax]
    000fd302lea rax, [rax+rax+1]
    000fd307sub r15, 40
    000fd30bcmp r15, [r14]
    000fd30ejb 0xfd374
    000fd310
    000fd310loc_fd310:
    000fd310lea rbx, [r15+8]
    000fd314mov [rbx-8], 4343
    000fd31clea rsi, [rip+30797]
    000fd323mov [rbx], rsi
    000fd326mov rsi, 0x100000000000005
    000fd330mov [rbx+8], rsi
    000fd334mov rdx, [rsp+16]
    000fd339mov rsi, rdx
    000fd33cadd rsi, 32
    000fd340mov [rbx+16], rsi
    000fd344mov [rbx+24], rdi
    000fd348mov rdi, [rdx+248]
    000fd34fmov rdi, [rdi+8]
    000fd353call caml_apply2
    000fd358mov rdi, [rsp+16]
    000fd35dadd rdi, -24
    000fd361add rdi, 24
    000fd365mov ebx, 95
    000fd36amov rax, [rsp+8]
    000fd36fjmp 0xfd1e6
    000fd374
    000fd374loc_fd374:
    000fd374call caml_call_gc
    000fd379jmp 0xfd310
    000fd37b
    000fd37bloc_fd37b:
    000fd37bcall caml_call_gc
    000fd380jmp 0xfd1fc
    000fd385
    000fd385loc_fd385:
    000fd385call caml_ml_array_bound_error
    000fd38a
    000fd38aloc_fd38a:
    000fd38apush 36
    000fd38ccall caml_call_realloc_stack
    000fd391pop r10
    000fd393jmp 0xfd1e2
    000fd1d0
    000fd398
    000fd398 // align 0x10
    000fd3a0
    000fd3a0camlVerb.read_lexbuf_1416:
    000fd3a0mov rdi, rbx
    000fd3a3cmp r15, [r14]
    000fd3a6jbe 0xfd3b6
    000fd3a8
    000fd3a8loc_fd3a8:
    000fd3a8add rdi, 24
    000fd3acmov ebx, 109
    000fd3b1jmp 0xfd3c0
    000fd3b6
    000fd3b6loc_fd3b6:
    000fd3b6call caml_call_gc
    000fd3bbjmp 0xfd3a8
    000fd3a0
    000fd3bd
    000fd3bd // align 0x10
    000fd3c0
    000fd3c0Verb..ocaml_lex_read_lexbuf_rec:
    000fd3c0lea r10, [rsp-344]
    000fd3c8cmp r10, [r14+40]
    000fd3ccjb 0xfd47f
    000fd3d2
    000fd3d2loc_fd3d2:
    000fd3d2sub rsp, 24
    000fd3d6
    000fd3d6loc_fd3d6:
    000fd3d6mov rsi, rax
    000fd3d9mov [rsp], rsi
    000fd3ddmov [rsp+16], rdi
    000fd3e2cmp r15, [r14]
    000fd3e5jbe 0xfd470
    000fd3eb
    000fd3ebloc_fd3eb:
    000fd3eblea rax, [rip+0x182fc6]
    000fd3f2mov rdi, rsi
    000fd3f5call Stdlib.Lexing.engine
    000fd3facmp rax, 1
    000fd3feje 0xfd464
    000fd400cmp rax, 3
    000fd404je 0xfd428
    000fd406mov [rsp+8], rax
    000fd40bmov rax, [rsp]
    000fd40fmov rbx, [rax]
    000fd412mov rdi, [rbx]
    000fd415call rdi
    000fd417mov rax, [rsp]
    000fd41bmov rbx, [rsp+8]
    000fd420mov rdi, [rsp+16]
    000fd425jmp 0xfd3d6
    000fd427
    000fd427 90 .
    000fd428
    000fd428loc_fd428:
    000fd428mov rbx, [rsp]
    000fd42cmov rax, [rbx+32]
    000fd430sar rax, 1
    000fd433mov rbx, [rbx+8]
    000fd437mov rdi, [rbx-8]
    000fd43bshr rdi, 10
    000fd43flea rdi, [8*rdi-1]
    000fd447movzx rsi, [rbx+rdi]
    000fd44csub rdi, rsi
    000fd44fcmp rdi, rax
    000fd452jbe 0xfd47a
    000fd454movzx rax, [rbx+rax]
    000fd459lea rax, [rax+rax+1]
    000fd45eadd rsp, 24
    000fd462ret
    000fd463
    000fd463 90 .
    000fd464
    000fd464loc_fd464:
    000fd464mov rax, -1
    000fd46badd rsp, 24
    000fd46fret
    000fd470
    000fd470loc_fd470:
    000fd470call caml_call_gc
    000fd475jmp 0xfd3eb
    000fd47a
    000fd47aloc_fd47a:
    000fd47acall caml_ml_array_bound_error
    000fd47f
    000fd47floc_fd47f:
    000fd47fpush 36
    000fd481call caml_call_realloc_stack
    000fd486pop r10
    000fd488jmp 0xfd3d2
    000fd3c0
    000fd48d
    000fd48d // align 0x10
    000fd490
    000fd490camlVerb.lst_linearg_1418:
    000fd490sub rsp, 16
    000fd494mov [rsp], rax
    000fd498mov [rsp+8], rbx
    000fd49dcmp r15, [r14]
    000fd4a0jbe 0xfd52b
    000fd4a6
    000fd4a6loc_fd4a6:
    000fd4a6mov rsi, -1
    000fd4admov edi, 7
    000fd4b2lea rax, [rip+0xfc7e7]
    000fd4b9call caml_c_call
    000fd4bemov r12, [rsp]
    000fd4c2mov rdi, r12
    000fd4c5add rdi, 72
    000fd4c9mov rsi, rax
    000fd4ccmov rbx, rsp
    000fd4cfmov rsp, [r14+64]
    000fd4d3call caml_modify
    000fd4d8mov rsp, rbx
    000fd4dbmov rax, [r12+40]
    000fd4e0mov rbx, [r12+72]
    000fd4e5mov rdi, [rbx-8]
    000fd4e9cmp rdi, 3071
    000fd4f0jbe 0xfd535
    000fd4f2mov [rbx+16], rax
    000fd4f6mov rax, [r12+40]
    000fd4fbmov rbx, [r12+72]
    000fd500mov rdi, [rbx-8]
    000fd504cmp rdi, 2047
    000fd50bjbe 0xfd535
    000fd50dmov [rbx+8], rax
    000fd511mov rdi, [rsp+8]
    000fd516add rdi, 24
    000fd51amov ebx, 115
    000fd51fmov rax, r12
    000fd522add rsp, 16
    000fd526jmp 0xfd540
    000fd52b
    000fd52bloc_fd52b:
    000fd52bcall caml_call_gc
    000fd530jmp 0xfd4a6
    000fd535
    000fd535loc_fd535:
    000fd535call caml_ml_array_bound_error
    000fd490
    000fd53a
    000fd53a // align 0x10
    000fd540
    000fd540Verb..ocaml_lex_lst_linearg_rec:
    000fd540lea r10, [rsp-344]
    000fd548cmp r10, [r14+40]
    000fd54cjb 0xfd69a
    000fd552
    000fd552loc_fd552:
    000fd552sub rsp, 24
    000fd556
    000fd556loc_fd556:
    000fd556mov rsi, rax
    000fd559mov [rsp], rsi
    000fd55dmov [rsp+16], rdi
    000fd562cmp r15, [r14]
    000fd565jbe 0xfd68b
    000fd56b
    000fd56bloc_fd56b:
    000fd56blea rax, [rip+0x182e46]
    000fd572mov rdi, rsi
    000fd575call Stdlib.Lexing.new_engine
    000fd57acmp rax, 5
    000fd57ejbe 0xfd5a4
    000fd580mov [rsp+8], rax
    000fd585mov rax, [rsp]
    000fd589mov rbx, [rax]
    000fd58cmov rdi, [rbx]
    000fd58fcall rdi
    000fd591mov rax, [rsp]
    000fd595mov rbx, [rsp+8]
    000fd59amov rdi, [rsp+16]
    000fd59fjmp 0xfd556
    000fd5a1nop [rax]
    000fd5a4
    000fd5a4loc_fd5a4:
    000fd5a4sar rax, 1
    000fd5a7cmp rax, 1
    000fd5abje 0xfd618
    000fd5adja 0xfd664
    000fd5b3mov rsi, [rsp]
    000fd5b7mov rdi, [rsi+40]
    000fd5bbmov rax, [rsi+72]
    000fd5bfmov rbx, [rax-8]
    000fd5c3cmp rbx, 1023
    000fd5cajbe 0xfd695
    000fd5d0mov rbx, [rax]
    000fd5d3sub rdi, rbx
    000fd5d6inc rdi
    000fd5d9mov rax, [rsi+8]
    000fd5ddcall Stdlib.Bytes.sub
    000fd5e2mov rdi, rax
    000fd5e5lea rax, [rip+0x10fdf4]
    000fd5eccall caml_c_call
    000fd5f1sub r15, 16
    000fd5f5cmp r15, [r14]
    000fd5f8jb 0xfd681
    000fd5fe
    000fd5feloc_fd5fe:
    000fd5felea rbx, [r15+8]
    000fd602mov [rbx-8], 1024
    000fd60amov [rbx], rax
    000fd60dmov rax, rbx
    000fd610add rsp, 24
    000fd614ret
    000fd615nop [rax]
    000fd618
    000fd618loc_fd618:
    000fd618mov rsi, [rsp]
    000fd61cmov rdi, [rsi+40]
    000fd620mov rax, [rsi+72]
    000fd624mov rbx, [rax-8]
    000fd628cmp rbx, 1023
    000fd62fjbe 0xfd695
    000fd631mov rbx, [rax]
    000fd634sub rdi, rbx
    000fd637inc rdi
    000fd63amov rax, [rsi+8]
    000fd63ecall Stdlib.Bytes.sub
    000fd643sub r15, 16
    000fd647cmp r15, [r14]
    000fd64ajb 0xfd67a
    000fd64c
    000fd64cloc_fd64c:
    000fd64clea rbx, [r15+8]
    000fd650mov [rbx-8], 1025
    000fd658mov [rbx], rax
    000fd65bmov rax, rbx
    000fd65eadd rsp, 24
    000fd662ret
    000fd663nop
    000fd664
    000fd664loc_fd664:
    000fd664mov rax, [rsp+16]
    000fd669mov rax, [rax+88]
    000fd66dmov rsp, [r14+48]
    000fd671pop [r14+48]
    000fd675pop r11
    000fd677jmp r11
    000fd67a
    000fd67aloc_fd67a:
    000fd67acall caml_call_gc
    000fd67fjmp 0xfd64c
    000fd681
    000fd681loc_fd681:
    000fd681call caml_call_gc
    000fd686jmp 0xfd5fe
    000fd68b
    000fd68bloc_fd68b:
    000fd68bcall caml_call_gc
    000fd690jmp 0xfd56b
    000fd695
    000fd695loc_fd695:
    000fd695call caml_ml_array_bound_error
    000fd69a
    000fd69aloc_fd69a:
    000fd69apush 36
    000fd69ccall caml_call_realloc_stack
    000fd6a1pop r10
    000fd6a3jmp 0xfd552
    000fd540
    000fd6a8
    000fd6a8 // align 0x10
    000fd6b0
    000fd6b0camlVerb.lst_parse_linerange_1420:
    000fd6b0mov rdi, rbx
    000fd6b3cmp r15, [r14]
    000fd6b6jbe 0xfd6c6
    000fd6b8
    000fd6b8loc_fd6b8:
    000fd6b8add rdi, 24
    000fd6bcmov ebx, 123
    000fd6c1jmp 0xfd6d0
    000fd6c6
    000fd6c6loc_fd6c6:
    000fd6c6call caml_call_gc
    000fd6cbjmp 0xfd6b8
    000fd6b0
    000fd6cd
    000fd6cd // align 0x10
    000fd6d0
    000fd6d0Verb..ocaml_lex_lst_parse_linerange_rec:
    000fd6d0lea r10, [rsp-352]
    000fd6d8cmp r10, [r14+40]
    000fd6dcjb 0xfd7e7
    000fd6e2
    000fd6e2loc_fd6e2:
    000fd6e2sub rsp, 32
    000fd6e6
    000fd6e6loc_fd6e6:
    000fd6e6mov rsi, rax
    000fd6e9mov [rsp+16], rsi
    000fd6eemov [rsp+24], rdi
    000fd6f3cmp r15, [r14]
    000fd6f6jbe 0xfd7dd
    000fd6fc
    000fd6fcloc_fd6fc:
    000fd6fclea rax, [rip+0x182cb5]
    000fd703mov rdi, rsi
    000fd706call Stdlib.Lexing.engine
    000fd70bcmp rax, 1
    000fd70fje 0xfd7cc
    000fd715cmp rax, 3
    000fd719je 0xfd73c
    000fd71bmov [rsp], rax
    000fd71fmov rax, [rsp+16]
    000fd724mov rbx, [rax]
    000fd727mov rdi, [rbx]
    000fd72acall rdi
    000fd72cmov rax, [rsp+16]
    000fd731mov rbx, [rsp]
    000fd735mov rdi, [rsp+24]
    000fd73ajmp 0xfd6e6
    000fd73c
    000fd73cloc_fd73c:
    000fd73cmov rbx, [rsp+24]
    000fd741add rbx, -80
    000fd745mov rax, [rsp+16]
    000fd74acall camlVerb.lst_linearg_1418
    000fd74fmov [rsp], rax
    000fd753mov rbx, [rsp+24]
    000fd758add rbx, -80
    000fd75cmov rax, [rsp+16]
    000fd761call camlVerb.lst_linearg_1418
    000fd766mov [rsp+8], rax
    000fd76bmov rdi, [rsp+24]
    000fd770add rdi, -24
    000fd774add rdi, 24
    000fd778mov ebx, 123
    000fd77dmov rax, [rsp+16]
    000fd782call Verb..ocaml_lex_lst_parse_linerange_rec
    000fd787sub r15, 48
    000fd78bcmp r15, [r14]
    000fd78ejb 0xfd7d6
    000fd790
    000fd790loc_fd790:
    000fd790lea rbx, [r15+8]
    000fd794add rbx, 24
    000fd798mov [rbx-8], 2048
    000fd7a0mov rdi, [rsp]
    000fd7a4mov [rbx], rdi
    000fd7a7mov rdi, [rsp+8]
    000fd7acmov [rbx+8], rdi
    000fd7b0lea rdi, [rbx-24]
    000fd7b4mov [rdi-8], 2048
    000fd7bcmov [rdi], rbx
    000fd7bfmov [rdi+8], rax
    000fd7c3mov rax, rdi
    000fd7c6add rsp, 32
    000fd7caret
    000fd7cb
    000fd7cb 90 .
    000fd7cc
    000fd7ccloc_fd7cc:
    000fd7ccmov eax, 1
    000fd7d1add rsp, 32
    000fd7d5ret
    000fd7d6
    000fd7d6loc_fd7d6:
    000fd7d6call caml_call_gc
    000fd7dbjmp 0xfd790
    000fd7dd
    000fd7ddloc_fd7dd:
    000fd7ddcall caml_call_gc
    000fd7e2jmp 0xfd6fc
    000fd7e7
    000fd7e7loc_fd7e7:
    000fd7e7push 37
    000fd7e9call caml_call_realloc_stack
    000fd7eepop r10
    000fd7f0jmp 0xfd6e2
    000fd6d0
    000fd7f5
    000fd7f5 // align 0x10
    000fd800
    000fd800camlVerb.Make_1962:
    000fd800lea r10, [rsp-816]
    000fd808cmp r10, [r14+40]
    000fd80cjb 0x10047d
    000fd812
    000fd812loc_fd812:
    000fd812sub rsp, 496
    000fd819mov [rsp+472], rax
    000fd821mov [rsp+464], rbx
    000fd829mov [rsp+488], rdi
    000fd831mov edi, 1
    000fd836mov rbx, rsp
    000fd839mov rsp, [r14+64]
    000fd83dcall caml_fresh_oo_id
    000fd842mov rsp, rbx
    000fd845sub r15, 24
    000fd849cmp r15, [r14]
    000fd84cjb 0x100473
    000fd852
    000fd852loc_fd852:
    000fd852lea rbx, [r15+8]
    000fd856mov [rsp+368], rbx
    000fd85emov [rbx-8], 2296
    000fd866lea rdi, [rip+0x184713]
    000fd86dmov [rbx], rdi
    000fd870mov [rbx+8], rax
    000fd874mov edi, 1
    000fd879mov rbx, rsp
    000fd87cmov rsp, [r14+64]
    000fd880call caml_fresh_oo_id
    000fd885mov rsp, rbx
    000fd888sub r15, 40
    000fd88ccmp r15, [r14]
    000fd88fjb 0x100469
    000fd895
    000fd895loc_fd895:
    000fd895lea rbx, [r15+8]
    000fd899add rbx, 16
    000fd89dmov [rsp+216], rbx
    000fd8a5mov [rbx-8], 2296
    000fd8adlea rdi, [rip+0x18286c]
    000fd8b4mov [rbx], rdi
    000fd8b7mov [rbx+8], rax
    000fd8bblea rax, [rbx-16]
    000fd8bfmov [rsp+480], rax
    000fd8c7mov [rax-8], 1024
    000fd8cfmov [rax], 1
    000fd8d6lea rax, [rip+0x22411b]
    000fd8ddmov rax, [rax]
    000fd8e0mov rbx, [rax+16]
    000fd8e4mov eax, 1
    000fd8e9call camlDoOut.alloc_buff_526
    000fd8eesub r15, 48
    000fd8f2cmp r15, [r14]
    000fd8f5jb 0x10045f
    000fd8fb
    000fd8fbloc_fd8fb:
    000fd8fblea rbx, [r15+8]
    000fd8ffadd rbx, 32
    000fd903mov [rsp+208], rbx
    000fd90bmov [rbx-8], 1024
    000fd913mov [rbx], rax
    000fd916lea rax, [rbx-32]
    000fd91amov [rsp+200], rax
    000fd922mov [rax-8], 3319
    000fd92alea rdi, [rip+11103]
    000fd931mov [rax], rdi
    000fd934mov rdi, 0x100000000000005
    000fd93emov [rax+8], rdi
    000fd942mov [rax+16], rbx
    000fd946lea rsi, [rip+0x18127b]
    000fd94dmov edi, 513
    000fd952lea rax, [rip+0xfc347]
    000fd959call caml_c_call
    000fd95emov [rsp+192], rax
    000fd966sub r15, 464
    000fd96dcmp r15, [r14]
    000fd970jb 0x100455
    000fd976
    000fd976loc_fd976:
    000fd976lea rbx, [r15+8]
    000fd97aadd rbx, 424
    000fd981mov [rsp+264], rbx
    000fd989mov [rbx-8], 4343
    000fd991lea rdi, [rip-27000]
    000fd998mov [rbx], rdi
    000fd99bmov rsi, 0x200000000000007
    000fd9a5mov [rbx+8], rsi
    000fd9a9lea rsi, [rip+11264]
    000fd9b0mov [rbx+16], rsi
    000fd9b4mov [rbx+24], rax
    000fd9b8add rbx, -40
    000fd9bcmov [rsp+272], rbx
    000fd9c4mov [rbx-8], 4343
    000fd9ccmov [rbx], rdi
    000fd9cfmov rsi, 0x200000000000007
    000fd9d9mov [rbx+8], rsi
    000fd9ddlea rsi, [rip+11276]
    000fd9e4mov [rbx+16], rsi
    000fd9e8mov [rbx+24], rax
    000fd9ecadd rbx, -40
    000fd9f0mov [rsp+280], rbx
    000fd9f8mov [rbx-8], 4343
    000fda00mov [rbx], rdi
    000fda03mov rsi, 0x200000000000007
    000fda0dmov [rbx+8], rsi
    000fda11lea rsi, [rip+11432]
    000fda18mov [rbx+16], rsi
    000fda1cmov [rbx+24], rax
    000fda20lea rax, [rbx-40]
    000fda24mov [rsp+224], rax
    000fda2cmov [rax-8], 4343
    000fda34mov [rax], rdi
    000fda37mov rdi, 0x200000000000007
    000fda41mov [rax+8], rdi
    000fda45lea rdi, [rip+11524]
    000fda4cmov [rax+16], rdi
    000fda50mov [rax+24], rbx
    000fda54lea rbx, [rip+0x181155]
    000fda5bmov [rsp+24], rbx
    000fda60add rax, -16
    000fda64mov [rsp+288], rax
    000fda6cmov [rax-8], 1024
    000fda74mov [rax], 1
    000fda7badd rax, -16
    000fda7fmov [rsp+296], rax
    000fda87mov [rax-8], 1024
    000fda8fmov [rax], 1
    000fda96add rax, -16
    000fda9amov [rsp+304], rax
    000fdaa2mov [rax-8], 1024
    000fdaaamov [rax], 3
    000fdab1add rax, -16
    000fdab5mov [rsp+312], rax
    000fdabdmov [rax-8], 1024
    000fdac5mov [rax], 0x30d3f
    000fdaccadd rax, -16
    000fdad0mov [rsp+320], rax
    000fdad8mov [rax-8], 1024
    000fdae0mov [rax], 1
    000fdae7add rax, -16
    000fdaebmov [rsp+376], rax
    000fdaf3mov [rax-8], 1024
    000fdafbmov [rax], 3
    000fdb02add rax, -16
    000fdb06mov [rsp+384], rax
    000fdb0emov [rax-8], 1024
    000fdb16mov [rax], 3
    000fdb1dadd rax, -16
    000fdb21mov [rsp+392], rax
    000fdb29mov [rax-8], 1024
    000fdb31mov [rax], 3
    000fdb38add rax, -16
    000fdb3cmov [rsp+400], rax
    000fdb44mov [rax-8], 1024
    000fdb4cmov [rax], 1
    000fdb53add rax, -16
    000fdb57mov [rsp+408], rax
    000fdb5fmov [rax-8], 1024
    000fdb67mov [rax], 1
    000fdb6eadd rax, -16
    000fdb72mov [rsp+416], rax
    000fdb7amov [rax-8], 1024
    000fdb82mov [rax], 3
    000fdb89add rax, -16
    000fdb8dmov [rsp+424], rax
    000fdb95mov [rax-8], 1024
    000fdb9dmov [rax], 1
    000fdba4add rax, -16
    000fdba8mov [rsp+432], rax
    000fdbb0mov [rax-8], 1024
    000fdbb8mov [rax], 1
    000fdbbfadd rax, -16
    000fdbc3mov [rsp+440], rax
    000fdbcbmov [rax-8], 1024
    000fdbd3mov [rax], 1
    000fdbdaadd rax, -16
    000fdbdemov [rsp+328], rax
    000fdbe6mov [rax-8], 1024
    000fdbeemov [rax], 17
    000fdbf5add rax, -16
    000fdbf9mov [rsp+112], rax
    000fdbfemov [rax-8], 1024
    000fdc06mov [rax], 1
    000fdc0dadd rax, -16
    000fdc11mov [rsp+448], rax
    000fdc19mov [rax-8], 1024
    000fdc21mov [rax], 1
    000fdc28add rax, -16
    000fdc2cmov [rsp+456], rax
    000fdc34mov [rax-8], 1024
    000fdc3cmov [rax], 1
    000fdc43add rax, -16
    000fdc47mov [rsp+144], rax
    000fdc4fmov [rax-8], 1024
    000fdc57mov [rax], 1
    000fdc5elea rax, [rip+0x223d93]
    000fdc65mov rax, [rax]
    000fdc68mov rbx, [rax+16]
    000fdc6cmov eax, 1
    000fdc71call camlDoOut.alloc_buff_526
    000fdc76sub r15, 248
    000fdc7dcmp r15, [r14]
    000fdc80jb 0x10044b
    000fdc86
    000fdc86loc_fdc86:
    000fdc86lea rdi, [r15+8]
    000fdc8aadd rdi, 232
    000fdc91mov [rsp+8], rdi
    000fdc96mov [rdi-8], 1024
    000fdc9emov [rdi], rax
    000fdca1lea rax, [rdi-16]
    000fdca5mov [rax-8], 1024
    000fdcadmov [rax], 65
    000fdcb4lea rbx, [rax-48]
    000fdcb8mov [rsp+80], rbx
    000fdcbdmov [rbx-8], 5367
    000fdcc5lea rsi, [rip+11188]
    000fdcccmov [rbx], rsi
    000fdccfmov rsi, 0x100000000000005
    000fdcd9mov [rbx+8], rsi
    000fdcddmov rsi, [rsp+112]
    000fdce2mov [rbx+16], rsi
    000fdce6mov [rbx+24], rdi
    000fdceamov [rbx+32], rax
    000fdceelea rax, [rbx-16]
    000fdcf2mov [rsp+336], rax
    000fdcfamov [rax-8], 1024
    000fdd02mov [rax], 5
    000fdd09lea rbx, [rip+0x180e88]
    000fdd10mov [rsp+120], rbx
    000fdd15lea rbx, [rip+0x180e64]
    000fdd1cmov [rsp+232], rbx
    000fdd24lea rbx, [rip+0x180e3d]
    000fdd2bmov [rsp+32], rbx
    000fdd30add rax, -16
    000fdd34mov [rsp+256], rax
    000fdd3cmov [rax-8], 1024
    000fdd44lea rbx, [rip+0x184005]
    000fdd4bmov [rax], rbx
    000fdd4emov rdx, [rsp+488]
    000fdd56mov rsi, [rdx+16]
    000fdd5alea rbx, [rax-32]
    000fdd5emov [rbx-8], 3319
    000fdd66lea rcx, [rip+11411]
    000fdd6dmov [rbx], rcx
    000fdd70mov rcx, 0x100000000000005
    000fdd7amov [rbx+8], rcx
    000fdd7emov rcx, [rsp+472]
    000fdd86mov [rbx+16], rcx
    000fdd8alea rcx, [rbx-40]
    000fdd8emov [rcx-8], 4343
    000fdd96lea r8, [rip+11523]
    000fdd9dmov [rcx], r8
    000fdda0mov r8, 0x100000000000005
    000fddaamov [rcx+8], r8
    000fddaemov [rcx+16], rsi
    000fddb2mov [rcx+24], rbx
    000fddb6lea rbx, [rcx-64]
    000fddbamov [rsp], rbx
    000fddbemov [rbx-8], 7415
    000fddc6lea r8, [rip+11811]
    000fddcdmov [rbx], r8
    000fddd0mov r8, 0x100000000000005
    000fdddamov [rbx+8], r8
    000fdddemov [rbx+16], rdi
    000fdde2mov [rbx+24], rax
    000fdde6mov [rbx+32], rsi
    000fddeamov [rbx+40], rcx
    000fddeemov [rbx+48], rdx
    000fddf2lea rax, [rip+0x181c7f]
    000fddf9call camlVerb.lst_output_com_987
    000fddfemov [rsp+88], rax
    000fde03lea rax, [rip+0x181ba6]
    000fde0amov rbx, [rsp]
    000fde0ecall camlVerb.lst_output_com_987
    000fde13mov [rsp+104], rax
    000fde18lea rax, [rip+0x181aa1]
    000fde1fmov rbx, [rsp]
    000fde23call camlVerb.lst_output_com_987
    000fde28mov [rsp+96], rax
    000fde2dsub r15, 1456
    000fde34cmp r15, [r14]
    000fde37jb 0x100441
    000fde3d
    000fde3dloc_fde3d:
    000fde3dlea rbx, [r15+8]
    000fde41add rbx, 1392
    000fde48mov [rsp+240], rbx
    000fde50mov [rbx-8], 7415
    000fde58lea rdi, [rip+12129]
    000fde5fmov [rbx], rdi
    000fde62mov rdi, 0x100000000000005
    000fde6cmov [rbx+8], rdi
    000fde70mov rdi, [rsp+336]
    000fde78mov [rbx+16], rdi
    000fde7cmov rdi, [rsp+88]
    000fde81mov [rbx+24], rdi
    000fde85mov rdi, [rsp+104]
    000fde8amov [rbx+32], rdi
    000fde8emov [rbx+40], rax
    000fde92mov rax, [rsp+488]
    000fde9amov [rbx+48], rax
    000fde9elea rdx, [rip+0x180ca3]
    000fdea5lea rax, [rbx-48]
    000fdea9mov [rax-8], 5367
    000fdeb1lea rdi, [rip-28312]
    000fdeb8mov [rsp], rdi
    000fdebcmov [rax], rdi
    000fdebfmov rdi, 0x200000000000007
    000fdec9mov [rax+8], rdi
    000fdecdlea rdi, [rip+12524]
    000fded4mov [rax+16], rdi
    000fded8mov rdi, [rsp+192]
    000fdee0mov [rax+24], rdi
    000fdee4mov rdi, [rsp+280]
    000fdeecmov [rax+32], rdi
    000fdef0lea rdi, [rax-32]
    000fdef4mov [rdi-8], 3319
    000fdefclea rsi, [rip+12717]
    000fdf03mov [rdi], rsi
    000fdf06mov rsi, 0x100000000000005
    000fdf10mov [rdi+8], rsi
    000fdf14mov rsi, [rsp+264]
    000fdf1cmov [rdi+16], rsi
    000fdf20lea rcx, [rdi-72]
    000fdf24mov [rsp+160], rcx
    000fdf2cmov [rcx-8], 8439
    000fdf34lea rsi, [rip-31259]
    000fdf3bmov [rcx], rsi
    000fdf3emov rsi, 0x700000000000007
    000fdf48mov [rcx+8], rsi
    000fdf4clea rsi, [rip+12829]
    000fdf53mov [rcx+16], rsi
    000fdf57mov rsi, [rsp+256]
    000fdf5fmov [rcx+24], rsi
    000fdf63mov [rcx+32], rbx
    000fdf67mov [rcx+40], rdx
    000fdf6bmov [rcx+48], rax
    000fdf6fmov [rcx+56], rdi
    000fdf73mov ebx, 3
    000fdf78lea r8, [rcx-48]
    000fdf7cmov [rsp+168], r8
    000fdf84mov [r8-8], 5367
    000fdf8clea r9, [rip-30419]
    000fdf93mov [r8], r9
    000fdf96mov r12, 0x600000000000007
    000fdfa0mov [r8+8], r12
    000fdfa4lea r12, [rip+13477]
    000fdfabmov [r8+16], r12
    000fdfafmov [r8+24], rbx
    000fdfb3mov [r8+32], rcx
    000fdfb7lea rbx, [r8-64]
    000fdfbbmov [rsp+40], rbx
    000fdfc0mov [rbx-8], 7415
    000fdfc8mov [rsp+16], r9
    000fdfcdmov [rbx], r9
    000fdfd0mov rcx, 0x600000000000007
    000fdfdamov [rbx+8], rcx
    000fdfdelea rcx, [rip+13483]
    000fdfe5mov [rbx+16], rcx
    000fdfe9mov [rbx+24], rsi
    000fdfedmov [rbx+32], rdx
    000fdff1mov [rbx+40], rax
    000fdff5mov [rbx+48], rdi
    000fdff9lea rax, [rbx-40]
    000fdffdmov [rsp+136], rax
    000fe005mov [rax-8], 4343
    000fe00dmov rdx, [rsp]
    000fe011mov [rax], rdx
    000fe014mov rbx, 0x200000000000007
    000fe01emov [rax+8], rbx
    000fe022lea rbx, [rip+14183]
    000fe029mov [rax+16], rbx
    000fe02dmov [rax+24], rsi
    000fe031add rax, -56
    000fe035mov [rsp+48], rax
    000fe03amov [rax-8], 6391
    000fe042lea rbx, [rip-29881]
    000fe049mov [rsp], rbx
    000fe04dmov [rax], rbx
    000fe050mov rbx, 0x500000000000007
    000fe05amov [rax+8], rbx
    000fe05elea rbx, [rip+14235]
    000fe065mov [rax+16], rbx
    000fe069mov rbx, [rsp+8]
    000fe06emov [rax+24], rbx
    000fe072mov [rax+32], rsi
    000fe076mov rbx, [rsp+488]
    000fe07emov [rax+40], rbx
    000fe082add rax, -40
    000fe086mov [rsp+176], rax
    000fe08emov [rax-8], 4343
    000fe096lea rsi, [rip+14467]
    000fe09dmov [rax], rsi
    000fe0a0mov rsi, 0x100000000000005
    000fe0aamov [rax+8], rsi
    000fe0aemov rsi, [rsp+240]
    000fe0b6mov [rax+16], rsi
    000fe0bamov [rax+24], rbx
    000fe0beadd rax, -40
    000fe0c2mov [rsp+184], rax
    000fe0camov [rax-8], 4343
    000fe0d2mov [rsp+8], rdx
    000fe0d7mov [rax], rdx
    000fe0damov rsi, 0x200000000000007
    000fe0e4mov [rax+8], rsi
    000fe0e8lea rsi, [rip+14465]
    000fe0efmov [rax+16], rsi
    000fe0f3mov [rax+24], rbx
    000fe0f7lea rsi, [rax-56]
    000fe0fbmov [rsp+152], rsi
    000fe103mov [rsi-8], 6391
    000fe10blea rdx, [rip+14526]
    000fe112mov [rsi], rdx
    000fe115mov rdx, 0x100000000000005
    000fe11fmov [rsi+8], rdx
    000fe123mov rdx, [rsp+448]
    000fe12bmov [rsi+16], rdx
    000fe12fmov rdx, [rsp+144]
    000fe137mov [rsi+24], rdx
    000fe13bmov [rsi+32], rdi
    000fe13fmov [rsi+40], rbx
    000fe143lea rbx, [rsi-40]
    000fe147mov [rsp+248], rbx
    000fe14fmov [rbx-8], 4343
    000fe157lea rdi, [rip+14562]
    000fe15emov [rbx], rdi
    000fe161mov rdi, 0x100000000000005
    000fe16bmov [rbx+8], rdi
    000fe16fmov [rbx+16], rax
    000fe173mov [rbx+24], rsi
    000fe177lea rax, [rip+0x1809aa]
    000fe17emov [rsp+56], rax
    000fe183lea rax, [rip+0x180986]
    000fe18amov [rsp+64], rax
    000fe18flea rax, [rbx-16]
    000fe193mov [rsp+344], rax
    000fe19bmov [rax-8], 1024
    000fe1a3mov [rax], 1
    000fe1aalea rbx, [rip+0x180947]
    000fe1b1mov [rsp+72], rbx
    000fe1b6add rax, -320
    000fe1bcmov [rsp+352], rax
    000fe1c4mov [rax-8], 40183
    000fe1cclea rbx, [rip-29347]
    000fe1d3mov [rsp+128], rbx
    000fe1dbmov [rax], rbx
    000fe1demov rbx, 0x300000000000025
    000fe1e8mov [rax+8], rbx
    000fe1eclea rbx, [rip+14877]
    000fe1f3mov [rax+16], rbx
    000fe1f7mov [rax+24], 4345
    000fe1ffmov rbx, [rsp]
    000fe203mov [rax+32], rbx
    000fe207mov rbx, 0x50000000000001d
    000fe211mov [rax+40], rbx
    000fe215lea rbx, [rip+16228]
    000fe21cmov [rax+48], rbx
    000fe220mov [rax+56], 8441
    000fe228mov rbx, [rsp+16]
    000fe22dmov [rax+64], rbx
    000fe231mov rbx, 0x600000000000015
    000fe23bmov [rax+72], rbx
    000fe23flea rbx, [rip+16778]
    000fe246mov [rax+80], rbx
    000fe24amov [rax+88], 12537
    000fe252mov rbx, [rsp+8]
    000fe257mov [rsp], rbx
    000fe25bmov [rax+96], rbx
    000fe25fmov rbx, 0x20000000000000d
    000fe269mov [rax+104], rbx
    000fe26dlea rbx, [rip+17308]
    000fe274mov [rax+112], rbx
    000fe278mov [rax+120], 16633
    000fe280lea rbx, [rip+17593]
    000fe287mov [rax+128], rbx
    000fe28emov rbx, 0x100000000000005
    000fe298mov [rax+136], rbx
    000fe29fmov rbx, [rsp+280]
    000fe2a7mov [rax+144], rbx
    000fe2aemov rbx, [rsp+24]
    000fe2b3mov [rax+152], rbx
    000fe2bamov rbx, [rsp+288]
    000fe2c2mov [rax+160], rbx
    000fe2c9mov rbx, [rsp+296]
    000fe2d1mov [rax+168], rbx
    000fe2d8mov rbx, [rsp+304]
    000fe2e0mov [rax+176], rbx
    000fe2e7mov rbx, [rsp+312]
    000fe2efmov [rax+184], rbx
    000fe2f6mov rbx, [rsp+320]
    000fe2femov [rax+192], rbx
    000fe305mov rbx, [rsp+384]
    000fe30dmov [rax+200], rbx
    000fe314mov rbx, [rsp+112]
    000fe319mov [rax+208], rbx
    000fe320mov r12, [rsp+336]
    000fe328mov [rax+216], r12
    000fe32fmov rbx, [rsp+32]
    000fe334mov [rax+224], rbx
    000fe33bmov r9, [rsp+256]
    000fe343mov [rax+232], r9
    000fe34amov rbx, [rsp+240]
    000fe352mov [rax+240], rbx
    000fe359mov rbx, [rsp+40]
    000fe35emov [rax+248], rbx
    000fe365mov r8, [rsp+48]
    000fe36amov [rax+256], r8
    000fe371mov rbx, [rsp+184]
    000fe379mov [rax+264], rbx
    000fe380mov rbx, [rsp+56]
    000fe385mov [rax+272], rbx
    000fe38cmov rbx, [rsp+64]
    000fe391mov [rax+280], rbx
    000fe398mov rbx, [rsp+344]
    000fe3a0mov [rax+288], rbx
    000fe3a7mov rbx, [rsp+72]
    000fe3acmov [rax+296], rbx
    000fe3b3mov rbx, [rsp+488]
    000fe3bbmov [rax+304], rbx
    000fe3c2lea rbx, [rax-80]
    000fe3c6mov [rsp+360], rbx
    000fe3cemov [rbx-8], 9463
    000fe3d6mov rsi, [rsp]
    000fe3damov [rbx], rsi
    000fe3ddmov rax, 0x200000000000007
    000fe3e7mov [rbx+8], rax
    000fe3eblea rax, [rip+18686]
    000fe3f2mov [rbx+16], rax
    000fe3f6mov rax, [rsp+80]
    000fe3fbmov [rbx+24], rax
    000fe3ffmov [rbx+32], r12
    000fe403mov [rbx+40], r9
    000fe407mov rdx, [rsp+88]
    000fe40cmov [rbx+48], rdx
    000fe410mov rdi, [rsp+136]
    000fe418mov [rbx+56], rdi
    000fe41cmov [rbx+64], r8
    000fe420lea rcx, [rbx-80]
    000fe424mov [rsp], rcx
    000fe428mov [rcx-8], 9463
    000fe430mov [rcx], rsi
    000fe433mov rbx, 0x200000000000007
    000fe43dmov [rcx+8], rbx
    000fe441lea rbx, [rip+19208]
    000fe448mov [rcx+16], rbx
    000fe44cmov [rcx+24], rax
    000fe450mov [rcx+32], r12
    000fe454mov [rcx+40], r9
    000fe458mov rbx, [rsp+96]
    000fe45dmov [rcx+48], rbx
    000fe461mov [rcx+56], rdi
    000fe465mov [rcx+64], r8
    000fe469add rcx, -88
    000fe46dmov [rsp+8], rcx
    000fe472mov [rcx-8], 10487
    000fe47amov [rcx], rsi
    000fe47dmov r13, 0x200000000000007
    000fe487mov [rcx+8], r13
    000fe48blea r13, [rip+19598]
    000fe492mov [rcx+16], r13
    000fe496mov [rcx+24], rax
    000fe49amov [rcx+32], r12
    000fe49emov [rcx+40], r9
    000fe4a2mov rax, [rsp+104]
    000fe4a7mov [rcx+48], rax
    000fe4abmov [rcx+56], rbx
    000fe4afmov [rcx+64], rdi
    000fe4b3mov [rcx+72], r8
    000fe4b7lea rax, [rcx-32]
    000fe4bbmov [rax-8], 3319
    000fe4c3lea rbx, [rip+20118]
    000fe4camov [rax], rbx
    000fe4cdmov rbx, 0x100000000000005
    000fe4d7mov [rax+8], rbx
    000fe4dbmov rcx, [rsp+112]
    000fe4e0mov [rax+16], rcx
    000fe4e4lea rbx, [rax-88]
    000fe4e8mov [rsp+16], rbx
    000fe4edmov [rbx-8], 10487
    000fe4f5mov [rbx], rsi
    000fe4f8mov r13, 0x200000000000007
    000fe502mov [rbx+8], r13
    000fe506lea r13, [rip+20083]
    000fe50dmov [rbx+16], r13
    000fe511mov [rbx+24], r12
    000fe515mov [rbx+32], r9
    000fe519mov [rbx+40], rdx
    000fe51dmov rdx, [rsp+240]
    000fe525mov [rbx+48], rdx
    000fe529mov [rbx+56], rdi
    000fe52dmov [rbx+64], r8
    000fe531mov [rbx+72], rax
    000fe535lea rax, [rbx-104]
    000fe539mov [rsp+24], rax
    000fe53emov [rax-8], 12535
    000fe546mov [rax], rsi
    000fe549mov rdi, 0x200000000000007
    000fe553mov [rax+8], rdi
    000fe557lea rdi, [rip+20434]
    000fe55emov [rax+16], rdi
    000fe562mov rdi, [rsp+328]
    000fe56amov [rax+24], rdi
    000fe56emov [rax+32], rcx
    000fe572mov rdi, [rsp+448]
    000fe57amov [rax+40], rdi
    000fe57emov rdi, [rsp+456]
    000fe586mov [rax+48], rdi
    000fe58amov rdi, [rsp+120]
    000fe58fmov [rax+56], rdi
    000fe593mov [rax+64], r9
    000fe597mov [rax+72], rdx
    000fe59bmov [rax+80], rbx
    000fe59fmov rbx, [rsp+488]
    000fe5a7mov [rax+88], rbx
    000fe5abadd rax, -48
    000fe5afmov [rsp+96], rax
    000fe5b4mov [rax-8], 5367
    000fe5bcmov rbx, [rsp+128]
    000fe5c4mov [rax], rbx
    000fe5c7mov rbx, 0x300000000000007
    000fe5d1mov [rax+8], rbx
    000fe5d5lea rbx, [rip+21012]
    000fe5dcmov [rax+16], rbx
    000fe5e0mov [rax+24], r12
    000fe5e4mov [rax+32], r9
    000fe5e8mov edi, 1
    000fe5edmov rbx, rsp
    000fe5f0mov rsp, [r14+64]
    000fe5f4call caml_fresh_oo_id
    000fe5f9mov rsp, rbx
    000fe5fcsub r15, 1704
    000fe603cmp r15, [r14]
    000fe606jb 0x100437
    000fe60c
    000fe60cloc_fe60c:
    000fe60clea rbx, [r15+8]
    000fe610add rbx, 1680
    000fe617mov [rsp+40], rbx
    000fe61cmov [rbx-8], 2296
    000fe624lea rdi, [rip+0x183875]
    000fe62bmov [rbx], rdi
    000fe62emov [rbx+8], rax
    000fe632lea rax, [rbx-48]
    000fe636mov [rsp+104], rax
    000fe63bmov [rax-8], 5367
    000fe643lea rdi, [rip-30858]
    000fe64amov [rsp+32], rdi
    000fe64fmov [rax], rdi
    000fe652mov rdi, 0x400000000000007
    000fe65cmov [rax+8], rdi
    000fe660lea rdi, [rip+20985]
    000fe667mov [rax+16], rdi
    000fe66bmov [rax+24], rbx
    000fe66fmov rbx, [rsp+480]
    000fe677mov [rax+32], rbx
    000fe67badd rax, -88
    000fe67fmov [rsp+80], rax
    000fe684mov [rax-8], 10487
    000fe68clea rbx, [rip+21229]
    000fe693mov [rax], rbx
    000fe696mov rbx, 0x100000000000005
    000fe6a0mov [rax+8], rbx
    000fe6a4mov rbx, [rsp+264]
    000fe6acmov [rax+16], rbx
    000fe6b0mov rbx, [rsp+272]
    000fe6b8mov [rax+24], rbx
    000fe6bcmov rbx, [rsp+352]
    000fe6c4mov [rax+32], rbx
    000fe6c8mov rbx, [rsp+360]
    000fe6d0mov [rax+40], rbx
    000fe6d4mov rbx, [rsp]
    000fe6d8mov [rax+48], rbx
    000fe6dcmov rbx, [rsp+8]
    000fe6e1mov [rax+56], rbx
    000fe6e5mov rbx, [rsp+16]
    000fe6eamov [rax+64], rbx
    000fe6eemov rbx, [rsp+24]
    000fe6f3mov [rax+72], rbx
    000fe6f7add rax, -48
    000fe6fbmov [rax-8], 5367
    000fe703lea rdi, [rip-30682]
    000fe70amov [rax], rdi
    000fe70dmov rbx, 0x300000000000007
    000fe717mov [rax+8], rbx
    000fe71blea rbx, [rip+21550]
    000fe722mov [rax+16], rbx
    000fe726mov rdx, [rsp+256]
    000fe72emov [rax+24], rdx
    000fe732mov rsi, [rsp+240]
    000fe73amov [rax+32], rsi
    000fe73elea rbx, [rax-56]
    000fe742mov [rsp+88], rbx
    000fe747mov [rbx-8], 6391
    000fe74flea rcx, [rip-31686]
    000fe756mov [rbx], rcx
    000fe759mov r8, 0x500000000000007
    000fe763mov [rbx+8], r8
    000fe767lea r8, [rip+21634]
    000fe76emov [rbx+16], r8
    000fe772mov [rbx+24], rdx
    000fe776mov r8, [rsp+136]
    000fe77emov [rbx+32], r8
    000fe782mov [rbx+40], rax
    000fe786lea rax, [rbx-40]
    000fe78amov [rax-8], 4343
    000fe792mov [rsp], rcx
    000fe796mov [rax], rcx
    000fe799mov rbx, 0x500000000000007
    000fe7a3mov [rax+8], rbx
    000fe7a7lea rbx, [rip+21842]
    000fe7aemov [rax+16], rbx
    000fe7b2mov rcx, [rsp+192]
    000fe7bamov [rax+24], rcx
    000fe7belea rbx, [rax-56]
    000fe7c2mov [rbx-8], 6391
    000fe7camov [rsp+8], rdi
    000fe7cfmov [rbx], rdi
    000fe7d2mov rdi, 0x300000000000007
    000fe7dcmov [rbx+8], rdi
    000fe7e0lea rdi, [rip+22473]
    000fe7e7mov [rbx+16], rdi
    000fe7ebmov [rbx+24], rcx
    000fe7efmov rdi, [rsp+280]
    000fe7f7mov [rbx+32], rdi
    000fe7fbmov [rbx+40], rax
    000fe7fflea rax, [rbx-96]
    000fe803mov [rsp+72], rax
    000fe808mov [rax-8], 11511
    000fe810mov rdi, [rsp+32]
    000fe815mov [rsp+16], rdi
    000fe81amov [rax], rdi
    000fe81dmov rdi, 0x400000000000007
    000fe827mov [rax+8], rdi
    000fe82blea rdi, [rip+22878]
    000fe832mov [rax+16], rdi
    000fe836mov rdi, [rsp+392]
    000fe83emov [rax+24], rdi
    000fe842mov rdi, [rsp+448]
    000fe84amov [rax+32], rdi
    000fe84emov rdi, [rsp+144]
    000fe856mov [rax+40], rdi
    000fe85amov [rax+48], rdx
    000fe85emov [rax+56], rsi
    000fe862mov rdi, [rsp+152]
    000fe86amov [rax+64], rdi
    000fe86emov [rax+72], rbx
    000fe872mov rbx, [rsp+488]
    000fe87amov [rax+80], rbx
    000fe87elea rdi, [rax-64]
    000fe882mov [rsp+112], rdi
    000fe887mov [rdi-8], 7415
    000fe88flea rbx, [rip-33654]
    000fe896mov [rdi], rbx
    000fe899mov rax, 0x700000000000007
    000fe8a3mov [rdi+8], rax
    000fe8a7lea rax, [rip+23218]
    000fe8aemov [rdi+16], rax
    000fe8b2mov [rdi+24], rdx
    000fe8b6mov rax, [rsp+160]
    000fe8bemov [rdi+32], rax
    000fe8c2mov r9, [rsp+168]
    000fe8camov [rdi+40], r9
    000fe8cemov rcx, [rsp+176]
    000fe8d6mov [rdi+48], rcx
    000fe8dalea r8, [rdi-64]
    000fe8demov [rsp+120], r8
    000fe8e3mov [r8-8], 7415
    000fe8ebmov rdi, [rsp]
    000fe8efmov [r8], rdi
    000fe8f2mov rsi, 0x500000000000007
    000fe8fcmov [r8+8], rsi
    000fe900lea rsi, [rip+23657]
    000fe907mov [r8+16], rsi
    000fe90bmov [r8+24], rdx
    000fe90fmov [r8+32], rax
    000fe913mov [r8+40], r9
    000fe917mov rsi, [rsp+184]
    000fe91fmov [r8+48], rsi
    000fe923add r8, -56
    000fe927mov [rsp+128], r8
    000fe92fmov [r8-8], 6391
    000fe937mov [r8], rbx
    000fe93amov rbx, 0x700000000000007
    000fe944mov [r8+8], rbx
    000fe948lea rbx, [rip+24129]
    000fe94fmov [r8+16], rbx
    000fe953mov [r8+24], rdx
    000fe957mov [r8+32], rax
    000fe95bmov [r8+40], rcx
    000fe95flea rbx, [r8-56]
    000fe963mov [rsp+136], rbx
    000fe96bmov [rbx-8], 6391
    000fe973mov [rbx], rdi
    000fe976mov rdi, 0x500000000000007
    000fe980mov [rbx+8], rdi
    000fe984lea rdi, [rip+24373]
    000fe98bmov [rbx+16], rdi
    000fe98fmov [rbx+24], rdx
    000fe993mov [rbx+32], rax
    000fe997mov [rbx+40], rsi
    000fe99badd rbx, -64
    000fe99fmov [rsp+64], rbx
    000fe9a4mov [rbx-8], 7415
    000fe9aclea rdi, [rip-33011]
    000fe9b3mov [rbx], rdi
    000fe9b6mov rdi, 0x600000000000007
    000fe9c0mov [rbx+8], rdi
    000fe9c4lea rdi, [rip+24677]
    000fe9cbmov [rbx+16], rdi
    000fe9cfmov rdi, [rsp+400]
    000fe9d7mov [rbx+24], rdi
    000fe9dbmov [rbx+32], rdx
    000fe9dfmov [rbx+40], rax
    000fe9e3mov [rbx+48], rcx
    000fe9e7lea rax, [rbx-720]
    000fe9eemov [rsp+168], rax
    000fe9f6mov [rax-8], 0x164f7
    000fe9femov rdi, [rsp+8]
    000fea03mov [rax], rdi
    000fea06mov rbx, 0x3000000000000a1
    000fea10mov [rax+8], rbx
    000fea14lea rbx, [rip-10667]
    000fea1bmov [rax+16], rbx
    000fea1fmov [rax+24], 4345
    000fea27mov rbx, [rsp+16]
    000fea2cmov [rax+32], rbx
    000fea30mov rsi, 0x400000000000099
    000fea3amov [rax+40], rsi
    000fea3elea rsi, [rip-10677]
    000fea45mov [rax+48], rsi
    000fea49mov [rax+56], 8441
    000fea51lea rdx, [rip-31288]
    000fea58mov [rax+64], rdx
    000fea5cmov rsi, 0x200000000000091
    000fea66mov [rax+72], rsi
    000fea6alea rsi, [rip-10177]
    000fea71mov [rax+80], rsi
    000fea75mov [rax+88], 12537
    000fea7dmov [rax+96], rdi
    000fea81mov rsi, 0x300000000000089
    000fea8bmov [rax+104], rsi
    000fea8flea rsi, [rip-10182]
    000fea96mov [rax+112], rsi
    000fea9amov [rax+120], 16633
    000feaa2mov [rax+128], rdi
    000feaa9mov rsi, 0x300000000000081
    000feab3mov [rax+136], rsi
    000feabalea rsi, [rip-9841]
    000feac1mov [rax+144], rsi
    000feac8mov [rax+152], 20729
    000fead3mov [rax+160], rbx
    000feadamov rsi, 0x400000000000079
    000feae4mov [rax+168], rsi
    000feaeblea rsi, [rip-9762]
    000feaf2mov [rax+176], rsi
    000feaf9mov [rax+184], 24825
    000feb04mov [rax+192], rdi
    000feb0bmov rdi, 0x300000000000071
    000feb15mov [rax+200], rdi
    000feb1clea rdi, [rip-8963]
    000feb23mov [rax+208], rdi
    000feb2amov [rax+216], 28921
    000feb35mov [rax+224], rbx
    000feb3cmov rbx, 0x400000000000069
    000feb46mov [rax+232], rbx
    000feb4dlea rbx, [rip-8884]
    000feb54mov [rax+240], rbx
    000feb5bmov [rax+248], 33017
    000feb66lea rbx, [rip-7837]
    000feb6dmov [rax+256], rbx
    000feb74mov rbx, 0x100000000000061
    000feb7emov [rax+264], rbx
    000feb85mov [rax+272], 36089
    000feb90mov [rax+280], rdx
    000feb97mov rbx, 0x20000000000005b
    000feba1mov [rax+288], rbx
    000feba8lea rbx, [rip-7871]
    000febafmov [rax+296], rbx
    000febb6mov [rax+304], 40185
    000febc1lea rbx, [rip-7496]
    000febc8mov [rax+312], rbx
    000febcfmov rbx, 0x100000000000053
    000febd9mov [rax+320], rbx
    000febe0mov [rax+328], 43257
    000febebmov [rax+336], rdx
    000febf2mov rbx, 0x20000000000004d
    000febfcmov [rax+344], rbx
    000fec03lea rbx, [rip-7530]
    000fec0amov [rax+352], rbx
    000fec11mov [rax+360], 47353
    000fec1clea rbx, [rip-7219]
    000fec23mov [rax+368], rbx
    000fec2amov rbx, 0x100000000000045
    000fec34mov [rax+376], rbx
    000fec3bmov [rax+384], 50425
    000fec46mov [rax+392], rdx
    000fec4dmov rbx, 0x20000000000003f
    000fec57mov [rax+400], rbx
    000fec5elea rbx, [rip-7253]
    000fec65mov [rax+408], rbx
    000fec6cmov [rax+416], 54521
    000fec77lea rbx, [rip-6862]
    000fec7emov [rax+424], rbx
    000fec85mov rbx, 0x100000000000037
    000fec8fmov [rax+432], rbx
    000fec96mov [rax+440], 57593
    000feca1mov [rax+448], rdx
    000feca8mov rbx, 0x200000000000031
    000fecb2mov [rax+456], rbx
    000fecb9lea rbx, [rip-6896]
    000fecc0mov [rax+464], rbx
    000fecc7mov [rax+472], 61689
    000fecd2lea rbx, [rip-6457]
    000fecd9mov [rax+480], rbx
    000fece0mov rbx, 0x100000000000029
    000feceamov [rax+488], rbx
    000fecf1mov [rax+496], 64761
    000fecfcmov [rax+504], rdx
    000fed03mov rbx, 0x200000000000023
    000fed0dmov [rax+512], rbx
    000fed14lea rbx, [rip-6491]
    000fed1bmov [rax+520], rbx
    000fed22mov [rax+528], 0x10cf9
    000fed2dlea rbx, [rip-6308]
    000fed34mov [rax+536], rbx
    000fed3bmov rbx, 0x10000000000001b
    000fed45mov [rax+544], rbx
    000fed4cmov [rax+552], 0x118f9
    000fed57mov [rax+560], rdx
    000fed5emov rbx, 0x200000000000015
    000fed68mov [rax+568], rbx
    000fed6flea rbx, [rip-6198]
    000fed76mov [rax+576], rbx
    000fed7dmov [rax+584], 0x128f9
    000fed88lea rbx, [rip-5855]
    000fed8fmov [rax+592], rbx
    000fed96mov rbx, 0x10000000000000d
    000feda0mov [rax+600], rbx
    000feda7mov [rax+608], 0x134f9
    000fedb2mov [rax+616], rdx
    000fedb9mov rbx, 0x200000000000007
    000fedc3mov [rax+624], rbx
    000fedcalea rbx, [rip-5889]
    000fedd1mov [rax+632], rbx
    000fedd8mov rbx, [rsp+368]
    000fede0mov [rax+640], rbx
    000fede7mov rbx, [rsp+216]
    000fedefmov [rax+648], rbx
    000fedf6mov rbx, [rsp+480]
    000fedfemov [rax+656], rbx
    000fee05mov rbx, [rsp+208]
    000fee0dmov [rax+664], rbx
    000fee14mov rbx, [rsp+192]
    000fee1cmov [rax+672], rbx
    000fee23mov rbx, [rsp+352]
    000fee2bmov [rax+680], rbx
    000fee32lea rbx, [rip+0x18157f]
    000fee39mov [rax+688], rbx
    000fee40mov rsi, [rsp+488]
    000fee48mov [rax+696], rsi
    000fee4fmov rdi, [rsp+472]
    000fee57mov [rax+704], rdi
    000fee5elea rbx, [rax-48]
    000fee62mov [rsp+16], rbx
    000fee67mov [rbx-8], 5367
    000fee6fmov [rbx], rdx
    000fee72mov rcx, 0x200000000000007
    000fee7cmov [rbx+8], rcx
    000fee80lea rcx, [rip+23801]
    000fee87mov [rbx+16], rcx
    000fee8bmov [rbx+24], rsi
    000fee8fmov [rbx+32], rdi
    000fee93add rbx, -48
    000fee97mov [rsp+8], rbx
    000fee9cmov [rbx-8], 5367
    000feea4mov [rbx], rdx
    000feea7mov rcx, 0x200000000000007
    000feeb1mov [rbx+8], rcx
    000feeb5lea rcx, [rip+23876]
    000feebcmov [rbx+16], rcx
    000feec0mov [rbx+24], rsi
    000feec4mov [rbx+32], rdi
    000feec8lea rcx, [rbx-32]
    000feeccmov [rsp+24], rcx
    000feed1mov [rcx-8], 3319
    000feed9lea r8, [rip+23904]
    000feee0mov [rcx], r8
    000feee3mov r8, 0x100000000000005
    000feeedmov [rcx+8], r8
    000feef1mov [rcx+16], rsi
    000feef5lea r8, [rcx-56]
    000feef9mov [rsp], r8
    000feefdmov [r8-8], 6391
    000fef05mov [r8], rdx
    000fef08mov rdx, 0x200000000000007
    000fef12mov [r8+8], rdx
    000fef16lea rdx, [rip+23955]
    000fef1dmov [r8+16], rdx
    000fef21add rax, 64
    000fef25mov [r8+24], rax
    000fef29mov [r8+32], rcx
    000fef2dmov [r8+40], rdi
    000fef31lea rdx, [r8-40]
    000fef35mov [rdx-8], 4343
    000fef3dlea rax, [rip+24060]
    000fef44mov [rdx], rax
    000fef47mov rax, 0x100000000000005
    000fef51mov [rdx+8], rax
    000fef55mov [rdx+16], rbx
    000fef59mov [rdx+24], r8
    000fef5dmov rdi, [rsi+160]
    000fef64lea rax, [rip+0x1811f5]
    000fef6bmov rbx, rdx
    000fef6ecall caml_apply2
    000fef73mov rax, [rsp+16]
    000fef78mov rdi, [rsp]
    000fef7csub r15, 40
    000fef80cmp r15, [r14]
    000fef83jb 0x10042d
    000fef89
    000fef89loc_fef89:
    000fef89lea rbx, [r15+8]
    000fef8dmov [rbx-8], 4343
    000fef95lea rsi, [rip+24004]
    000fef9cmov [rbx], rsi
    000fef9fmov rsi, 0x100000000000005
    000fefa9mov [rbx+8], rsi
    000fefadmov [rbx+16], rax
    000fefb1mov [rbx+24], rdi
    000fefb5mov rax, [rsp+488]
    000fefbdmov rdi, [rax+160]
    000fefc4lea rax, [rip+0x181185]
    000fefcbcall caml_apply2
    000fefd0sub r15, 760
    000fefd7cmp r15, [r14]
    000fefdajb 0x100423
    000fefe0
    000fefe0loc_fefe0:
    000fefe0lea rbx, [r15+8]
    000fefe4add rbx, 720
    000fefebmov [rbx-8], 4343
    000feff3lea rax, [rip+23942]
    000feffamov [rbx], rax
    000feffdmov rax, 0x100000000000005
    000ff007mov [rbx+8], rax
    000ff00bmov r9, [rsp+208]
    000ff013mov [rbx+16], r9
    000ff017mov rax, [rsp+8]
    000ff01cmov [rbx+24], rax
    000ff020lea rax, [rbx-40]
    000ff024mov [rsp+48], rax
    000ff029mov [rax-8], 4343
    000ff031lea rdi, [rip+23960]
    000ff038mov [rax], rdi
    000ff03bmov rdi, 0x100000000000005
    000ff045mov [rax+8], rdi
    000ff049mov [rax+16], r9
    000ff04dmov rdi, [rsp+16]
    000ff052mov [rax+24], rdi
    000ff056lea rdx, [rax-56]
    000ff05amov [rsp+144], rdx
    000ff062mov [rdx-8], 6391
    000ff06alea rdi, [rip-32849]
    000ff071mov [rsp], rdi
    000ff075mov [rdx], rdi
    000ff078mov rdi, 0x200000000000007
    000ff082mov [rdx+8], rdi
    000ff086lea rdi, [rip+23955]
    000ff08dmov [rdx+16], rdi
    000ff091mov rdi, [rsp+368]
    000ff099mov [rdx+24], rdi
    000ff09dmov rdi, [rsp+40]
    000ff0a2mov [rdx+32], rdi
    000ff0a6mov rdi, [rsp+488]
    000ff0aemov [rdx+40], rdi
    000ff0b2lea rsi, [rdx-72]
    000ff0b6mov [rsp+152], rsi
    000ff0bemov [rsi-8], 8439
    000ff0c6lea rcx, [rip+24179]
    000ff0cdmov [rsi], rcx
    000ff0d0mov rcx, 0x100000000000005
    000ff0damov [rsi+8], rcx
    000ff0demov rcx, [rsp+200]
    000ff0e6mov [rsi+16], rcx
    000ff0eamov rcx, [rsp+24]
    000ff0efmov [rsi+24], rcx
    000ff0f3mov [rsi+32], rbx
    000ff0f7mov [rsi+40], rax
    000ff0fbmov [rsi+48], rdi
    000ff0ffmov rcx, [rsp+472]
    000ff107mov [rsi+56], rcx
    000ff10blea rax, [rsi-32]
    000ff10fmov [rsp+160], rax
    000ff117mov [rax-8], 3319
    000ff11flea rbx, [rip+24634]
    000ff126mov [rax], rbx
    000ff129mov rbx, 0x100000000000005
    000ff133mov [rax+8], rbx
    000ff137mov [rax+16], rdi
    000ff13blea rdi, [rax-40]
    000ff13fmov [rdi-8], 4343
    000ff147lea rax, [rip+24626]
    000ff14emov [rdi], rax
    000ff151mov rax, 0x100000000000005
    000ff15bmov [rdi+8], rax
    000ff15fmov [rdi+16], r9
    000ff163mov [rdi+24], rcx
    000ff167lea rsi, [rdi-40]
    000ff16bmov [rsi-8], 4343
    000ff173lea rax, [rip+24742]
    000ff17amov [rsi], rax
    000ff17dmov rax, 0x100000000000005
    000ff187mov [rsi+8], rax
    000ff18bmov [rsi+16], r9
    000ff18fmov [rsi+24], rcx
    000ff193lea rbx, [rsi-48]
    000ff197mov [rsp+56], rbx
    000ff19cmov [rbx-8], 5367
    000ff1a4lea rax, [rip+24805]
    000ff1abmov [rbx], rax
    000ff1aemov rax, 0x100000000000005
    000ff1b8mov [rbx+8], rax
    000ff1bcmov [rbx+16], r9
    000ff1c0mov r8, [rsp+168]
    000ff1c8add r8, 128
    000ff1cfmov [rbx+24], r8
    000ff1d3mov [rbx+32], rdx
    000ff1d7lea rax, [rbx-56]
    000ff1dbmov [rsp+24], rax
    000ff1e0mov [rax-8], 6391
    000ff1e8lea r12, [rip+24993]
    000ff1efmov [rax], r12
    000ff1f2mov r12, 0x100000000000005
    000ff1fcmov [rax+8], r12
    000ff200mov [rax+16], r8
    000ff204mov [rax+24], rdx
    000ff208mov [rax+32], rdi
    000ff20cmov [rax+40], rcx
    000ff210lea rdi, [rax-56]
    000ff214mov [rsp+176], rdi
    000ff21cmov [rdi-8], 6391
    000ff224lea r12, [rip+25221]
    000ff22bmov [rdi], r12
    000ff22emov r12, 0x100000000000005
    000ff238mov [rdi+8], r12
    000ff23cmov [rdi+16], r8
    000ff240mov [rdi+24], rdx
    000ff244mov [rdi+32], rsi
    000ff248mov [rdi+40], rcx
    000ff24cadd rdi, -40
    000ff250mov [rsp+16], rdi
    000ff255mov [rdi-8], 4343
    000ff25dlea rsi, [rip+25452]
    000ff264mov [rdi], rsi
    000ff267mov rsi, 0x100000000000005
    000ff271mov [rdi+8], rsi
    000ff275mov [rdi+16], rbx
    000ff279mov [rdi+24], rax
    000ff27dadd rdi, -40
    000ff281mov [rsp+8], rdi
    000ff286mov [rdi-8], 4343
    000ff28elea rsi, [rip+25451]
    000ff295mov [rdi], rsi
    000ff298mov rsi, 0x100000000000005
    000ff2a2mov [rdi+8], rsi
    000ff2a6mov [rdi+16], rbx
    000ff2aamov [rdi+24], rax
    000ff2aelea rax, [rip+0x17f82b]
    000ff2b5mov [rsp+32], rax
    000ff2balea rax, [rdi-56]
    000ff2bemov [rsp+40], rax
    000ff2c3mov [rax-8], 6391
    000ff2cbmov rbx, [rsp]
    000ff2cfmov [rax], rbx
    000ff2d2mov rbx, 0x200000000000007
    000ff2dcmov [rax+8], rbx
    000ff2e0lea rbx, [rip+25433]
    000ff2e7mov [rax+16], rbx
    000ff2ebmov [rax+24], r9
    000ff2efmov [rax+32], r8
    000ff2f3mov [rax+40], rdx
    000ff2f7add rax, -40
    000ff2fbmov [rax-8], 4343
    000ff303lea rbx, [rip+25798]
    000ff30amov [rax], rbx
    000ff30dmov rbx, 0x100000000000005
    000ff317mov [rax+8], rbx
    000ff31bmov [rax+16], r9
    000ff31fmov rsi, [rsp+464]
    000ff327mov [rax+24], rsi
    000ff32blea rbx, [rax-56]
    000ff32fmov [rsp], rbx
    000ff333mov [rbx-8], 6391
    000ff33blea rdi, [rip+25902]
    000ff342mov [rbx], rdi
    000ff345mov rdi, 0x100000000000005
    000ff34fmov [rbx+8], rdi
    000ff353mov [rbx+16], r8
    000ff357mov [rbx+24], rdx
    000ff35bmov [rbx+32], rax
    000ff35fmov [rbx+40], rsi
    000ff363add rbx, -48
    000ff367mov [rbx-8], 5367
    000ff36flea rax, [rip+26138]
    000ff376mov [rbx], rax
    000ff379mov rax, 0x100000000000005
    000ff383mov [rbx+8], rax
    000ff387mov [rbx+16], r8
    000ff38bmov [rbx+24], rdx
    000ff38fmov rax, [rsp+152]
    000ff397mov [rbx+32], rax
    000ff39bmov rax, [rsp+488]
    000ff3a3mov rdi, [rax+160]
    000ff3aalea rax, [rip+0x180cf7]
    000ff3b1call caml_apply2
    000ff3b6mov rax, [rsp+488]
    000ff3bemov rdi, [rax+160]
    000ff3c5lea rax, [rip+0x180cc4]
    000ff3ccmov rbx, [rsp+160]
    000ff3d4call caml_apply2
    000ff3d9sub r15, 48
    000ff3ddcmp r15, [r14]
    000ff3e0jb 0x100419
    000ff3e6
    000ff3e6loc_ff3e6:
    000ff3e6lea rbx, [r15+8]
    000ff3eamov [rbx-8], 5367
    000ff3f2lea rax, [rip+26199]
    000ff3f9mov [rbx], rax
    000ff3fcmov rax, 0x100000000000005
    000ff406mov [rbx+8], rax
    000ff40amov rax, [rsp+168]
    000ff412add rax, 128
    000ff418mov [rbx+16], rax
    000ff41cmov rax, [rsp+144]
    000ff424mov [rbx+24], rax
    000ff428mov rax, [rsp+152]
    000ff430mov [rbx+32], rax
    000ff434mov rax, [rsp+488]
    000ff43cmov rdi, [rax+160]
    000ff443lea rax, [rip+0x180c2e]
    000ff44acall caml_apply2
    000ff44fmov rax, [rsp+488]
    000ff457mov rdi, [rax+160]
    000ff45elea rax, [rip+0x180bfb]
    000ff465mov rbx, [rsp+160]
    000ff46dcall caml_apply2
    000ff472mov rax, [rsp+488]
    000ff47amov rdi, [rax+160]
    000ff481lea rax, [rip+0x180bc0]
    000ff488mov rbx, [rsp+8]
    000ff48dcall caml_apply2
    000ff492mov rax, [rsp+488]
    000ff49amov rdi, [rax+160]
    000ff4a1lea rax, [rip+0x180b88]
    000ff4a8mov rbx, [rsp+32]
    000ff4adcall caml_apply2
    000ff4b2mov rax, [rsp+488]
    000ff4bamov rdi, [rax+160]
    000ff4c1lea rax, [rip+0x180b50]
    000ff4c8mov rbx, [rsp+16]
    000ff4cdcall caml_apply2
    000ff4d2mov rax, [rsp+488]
    000ff4damov rdi, [rax+160]
    000ff4e1lea rax, [rip+0x180b18]
    000ff4e8mov rbx, [rsp+32]
    000ff4edcall caml_apply2
    000ff4f2mov rax, [rsp+488]
    000ff4famov rdi, [rax+160]
    000ff501lea rax, [rip+0x180ae8]
    000ff508mov rbx, [rsp+24]
    000ff50dcall caml_apply2
    000ff512mov rax, [rsp+488]
    000ff51amov rdi, [rax+160]
    000ff521lea rax, [rip+0x180ab8]
    000ff528mov rbx, [rsp+32]
    000ff52dcall caml_apply2
    000ff532mov rax, [rsp+488]
    000ff53amov rdi, [rax+160]
    000ff541lea rax, [rip+0x180a80]
    000ff548mov rbx, [rsp+56]
    000ff54dcall caml_apply2
    000ff552mov rax, [rsp+488]
    000ff55amov rdi, [rax+160]
    000ff561mov rbx, [rax+144]
    000ff568lea rax, [rip+0x180a41]
    000ff56fcall caml_apply2
    000ff574mov rax, [rsp+488]
    000ff57cmov rdi, [rax+160]
    000ff583lea rax, [rip+0x180a0e]
    000ff58amov rbx, [rsp]
    000ff58ecall caml_apply2
    000ff593mov rax, [rsp+488]
    000ff59bmov rdi, [rax+160]
    000ff5a2mov rbx, [rax+144]
    000ff5a9lea rax, [rip+0x1809d0]
    000ff5b0call caml_apply2
    000ff5b5sub r15, 40
    000ff5b9cmp r15, [r14]
    000ff5bcjb 0x10040f
    000ff5c2
    000ff5c2loc_ff5c2:
    000ff5c2lea rbx, [r15+8]
    000ff5c6mov [rbx-8], 4343
    000ff5celea rax, [rip+25915]
    000ff5d5mov [rbx], rax
    000ff5d8mov rax, 0x100000000000005
    000ff5e2mov [rbx+8], rax
    000ff5e6mov rax, [rsp+56]
    000ff5ebmov [rbx+16], rax
    000ff5efmov rax, [rsp+488]
    000ff5f7mov [rbx+24], rax
    000ff5fblea rax, [rip+0x180abe]
    000ff602call camlLatexmacros.register_init_929
    000ff607sub r15, 112
    000ff60bcmp r15, [r14]
    000ff60ejb 0x100405
    000ff614
    000ff614loc_ff614:
    000ff614lea rax, [r15+8]
    000ff618add rax, 72
    000ff61cmov [rax-8], 4343
    000ff624lea rbx, [rip+26021]
    000ff62bmov [rax], rbx
    000ff62emov rbx, 0x100000000000005
    000ff638mov [rax+8], rbx
    000ff63cmov rbx, [rsp+208]
    000ff644mov [rax+16], rbx
    000ff648mov rsi, [rsp+168]
    000ff650mov rbx, rsi
    000ff653add rbx, 424
    000ff65amov [rax+24], rbx
    000ff65elea rbx, [rax-72]
    000ff662mov [rbx-8], 8439
    000ff66alea rdi, [rip+26031]
    000ff671mov [rbx], rdi
    000ff674mov rdi, 0x100000000000005
    000ff67emov [rbx+8], rdi
    000ff682add rsi, 128
    000ff689mov [rbx+16], rsi
    000ff68dmov rdi, [rsp+144]
    000ff695mov [rbx+24], rdi
    000ff699mov rdi, [rsp+160]
    000ff6a1mov [rbx+32], rdi
    000ff6a5mov [rbx+40], rax
    000ff6a9mov rax, [rsp+488]
    000ff6b1mov [rbx+48], rax
    000ff6b5mov rax, [rsp+472]
    000ff6bdmov [rbx+56], rax
    000ff6c1lea rax, [rip+0x180848]
    000ff6c8call camlLatexmacros.register_init_929
    000ff6cdsub r15, 488
    000ff6d4cmp r15, [r14]
    000ff6d7jb 0x1003fb
    000ff6dd
    000ff6ddloc_ff6dd:
    000ff6ddlea r8, [r15+8]
    000ff6e1add r8, 472
    000ff6e8mov [r8-8], 1024
    000ff6f0mov [r8], 17
    000ff6f7lea rbx, [r8-56]
    000ff6fbmov [rbx-8], 6391
    000ff703lea rax, [rip+26454]
    000ff70amov [rbx], rax
    000ff70dmov rax, 0x100000000000005
    000ff717mov [rbx+8], rax
    000ff71bmov r10, [rsp+208]
    000ff723mov [rbx+16], r10
    000ff727mov [rbx+24], r8
    000ff72bmov rdx, [rsp+488]
    000ff733mov [rbx+32], rdx
    000ff737mov r12, [rsp+472]
    000ff73fmov [rbx+40], r12
    000ff743lea rsi, [rbx-48]
    000ff747mov [rsi-8], 5367
    000ff74flea rax, [rip+26842]
    000ff756mov [rsi], rax
    000ff759mov rax, 0x100000000000005
    000ff763mov [rsi+8], rax
    000ff767mov [rsi+16], rbx
    000ff76bmov [rsi+24], rdx
    000ff76fmov [rsi+32], r12
    000ff773lea r9, [rsi-32]
    000ff777mov [r9-8], 3319
    000ff77flea rax, [rip+27066]
    000ff786mov [r9], rax
    000ff789mov rax, 0x100000000000005
    000ff793mov [r9+8], rax
    000ff797mov [r9+16], rdx
    000ff79blea rcx, [r9-16]
    000ff79fmov [rcx-8], 1024
    000ff7a7mov [rcx], 1
    000ff7aelea r13, [rcx-16]
    000ff7b2mov [r13-8], 1024
    000ff7bamov [r13], 3
    000ff7c2lea rax, [r13-72]
    000ff7c6mov [rax-8], 8439
    000ff7celea rdi, [rip-34741]
    000ff7d5mov [rax], rdi
    000ff7d8mov rdi, 0x200000000000007
    000ff7e2mov [rax+8], rdi
    000ff7e6lea rdi, [rip+27075]
    000ff7edmov [rax+16], rdi
    000ff7f1mov rdi, [rsp+48]
    000ff7f6mov [rax+24], rdi
    000ff7famov [rax+32], rbx
    000ff7femov [rax+40], rcx
    000ff802mov [rax+48], rdx
    000ff806mov [rax+56], r12
    000ff80alea rdi, [rax-72]
    000ff80emov [rdi-8], 8439
    000ff816lea rbx, [rip-35053]
    000ff81dmov [rdi], rbx
    000ff820mov rbx, 0x300000000000007
    000ff82amov [rdi+8], rbx
    000ff82elea rbx, [rip+27291]
    000ff835mov [rdi+16], rbx
    000ff839mov [rdi+24], r10
    000ff83dmov [rdi+32], rcx
    000ff841mov [rdi+40], rax
    000ff845mov [rdi+48], rdx
    000ff849mov [rdi+56], r12
    000ff84dlea rax, [rdi-32]
    000ff851mov [rax-8], 3319
    000ff859lea rbx, [rip+27840]
    000ff860mov [rax], rbx
    000ff863mov rbx, 0x100000000000005
    000ff86dmov [rax+8], rbx
    000ff871mov [rax+16], rdx
    000ff875lea rbx, [rax-128]
    000ff879mov [rbx-8], 15607
    000ff881lea r10, [rip+27912]
    000ff888mov [rbx], r10
    000ff88bmov r10, 0x100000000000005
    000ff895mov [rbx+8], r10
    000ff899mov r11, [rsp+168]
    000ff8a1mov r10, r11
    000ff8a4add r10, 128
    000ff8abmov [rbx+16], r10
    000ff8afadd r11, 368
    000ff8b6mov [rbx+24], r11
    000ff8bamov r10, [rsp+144]
    000ff8c2mov [rbx+32], r10
    000ff8c6mov r10, [rsp+40]
    000ff8cbmov [rbx+40], r10
    000ff8cfmov [rbx+48], r8
    000ff8d3mov [rbx+56], rsi
    000ff8d7mov [rbx+64], r9
    000ff8dbmov [rbx+72], rcx
    000ff8dfmov [rbx+80], r13
    000ff8e3mov [rbx+88], rdi
    000ff8e7mov [rbx+96], rax
    000ff8ebmov [rbx+104], rdx
    000ff8efmov [rbx+112], r12
    000ff8f3lea rax, [rip+0x1805d6]
    000ff8facall camlLatexmacros.register_init_929
    000ff8ffsub r15, 40
    000ff903cmp r15, [r14]
    000ff906jb 0x1003f1
    000ff90c
    000ff90cloc_ff90c:
    000ff90clea rbx, [r15+8]
    000ff910mov [rbx-8], 4343
    000ff918lea rax, [rip+30497]
    000ff91fmov [rbx], rax
    000ff922mov rax, 0x100000000000005
    000ff92cmov [rbx+8], rax
    000ff930mov rax, [rsp+56]
    000ff935mov [rbx+16], rax
    000ff939mov rax, [rsp+488]
    000ff941mov [rbx+24], rax
    000ff945lea rax, [rip+0x1802fc]
    000ff94ccall camlLatexmacros.register_init_929
    000ff951sub r15, 40
    000ff955cmp r15, [r14]
    000ff958jb 0x1003e7
    000ff95e
    000ff95eloc_ff95e:
    000ff95elea rbx, [r15+8]
    000ff962mov [rbx-8], 4343
    000ff96alea rax, [rip+30527]
    000ff971mov [rbx], rax
    000ff974mov rax, 0x100000000000005
    000ff97emov [rbx+8], rax
    000ff982mov rax, [rsp+56]
    000ff987mov [rbx+16], rax
    000ff98bmov rax, [rsp+488]
    000ff993mov [rbx+24], rax
    000ff997lea rax, [rip+0x180272]
    000ff99ecall camlLatexmacros.register_init_929
    000ff9a3sub r15, 1136
    000ff9aacmp r15, [r14]
    000ff9adjb 0x1003dd
    000ff9b3
    000ff9b3loc_ff9b3:
    000ff9b3lea rax, [r15+8]
    000ff9b7add rax, 1088
    000ff9bdmov [rsp+8], rax
    000ff9c2mov [rax-8], 5367
    000ff9calea rbx, [rip+30543]
    000ff9d1mov [rax], rbx
    000ff9d4mov rbx, 0x100000000000005
    000ff9demov [rax+8], rbx
    000ff9e2mov rbx, [rsp+216]
    000ff9eamov [rax+16], rbx
    000ff9eemov rbx, [rsp+168]
    000ff9f6add rbx, 592
    000ff9fdmov [rax+24], rbx
    000ffa01lea rbx, [rip+0x180180]
    000ffa08mov [rax+32], rbx
    000ffa0cadd rax, -40
    000ffa10mov [rsp+16], rax
    000ffa15mov [rax-8], 4343
    000ffa1dlea rbx, [rip+30668]
    000ffa24mov [rax], rbx
    000ffa27mov rbx, 0x100000000000005
    000ffa31mov [rax+8], rbx
    000ffa35mov rbx, [rsp+448]
    000ffa3dmov [rax+16], rbx
    000ffa41mov rbx, [rsp+472]
    000ffa49mov [rax+24], rbx
    000ffa4dlea rdi, [rip+0x17f074]
    000ffa54lea rsi, [rip+0x17f055]
    000ffa5badd rax, -56
    000ffa5fmov [rax-8], 6391
    000ffa67lea rcx, [rip-35646]
    000ffa6emov [rax], rcx
    000ffa71mov rbx, 0x300000000000007
    000ffa7bmov [rax+8], rbx
    000ffa7flea rbx, [rip+31098]
    000ffa86mov [rax+16], rbx
    000ffa8amov rdx, [rsp+280]
    000ffa92mov [rax+24], rdx
    000ffa96mov [rax+32], rdi
    000ffa9amov rbx, [rsp+488]
    000ffaa2mov [rax+40], rbx
    000ffaa6lea r8, [rax-40]
    000ffaaamov [rsp+24], r8
    000ffaafmov [r8-8], 4343
    000ffab7mov [r8], rcx
    000ffabamov r9, 0x300000000000007
    000ffac4mov [r8+8], r9
    000ffac8lea r9, [rip+31633]
    000ffacfmov [r8+16], r9
    000ffad3mov [r8+24], rax
    000ffad7add r8, -56
    000ffadbmov [rsp+32], r8
    000ffae0mov [r8-8], 6391
    000ffae8mov [r8], rcx
    000ffaebmov rcx, 0x300000000000007
    000ffaf5mov [r8+8], rcx
    000ffaf9lea rcx, [rip+31696]
    000ffb00mov [r8+16], rcx
    000ffb04mov [r8+24], rsi
    000ffb08mov [r8+32], rax
    000ffb0cmov [r8+40], rbx
    000ffb10lea rax, [r8-72]
    000ffb14mov [rax-8], 8439
    000ffb1clea rcx, [rip-35587]
    000ffb23mov [rax], rcx
    000ffb26mov rcx, 0x200000000000007
    000ffb30mov [rax+8], rcx
    000ffb34lea rcx, [rip+31781]
    000ffb3bmov [rax+16], rcx
    000ffb3fmov [rax+24], rdx
    000ffb43mov rcx, [rsp+64]
    000ffb48mov [rax+32], rcx
    000ffb4cmov [rax+40], rdi
    000ffb50mov [rax+48], rsi
    000ffb54mov [rax+56], rbx
    000ffb58mov edi, 3
    000ffb5dlea rsi, [rax-40]
    000ffb61mov [rsp+40], rsi
    000ffb66mov [rsi-8], 4343
    000ffb6elea rcx, [rip+32187]
    000ffb75mov [rsi], rcx
    000ffb78mov rcx, 0x100000000000005
    000ffb82mov [rsi+8], rcx
    000ffb86mov [rsi+16], rdi
    000ffb8amov [rsi+24], rax
    000ffb8emov edi, 1
    000ffb93add rsi, -40
    000ffb97mov [rsp+48], rsi
    000ffb9cmov [rsi-8], 4343
    000ffba4lea rcx, [rip+32165]
    000ffbabmov [rsi], rcx
    000ffbaemov rcx, 0x100000000000005
    000ffbb8mov [rsi+8], rcx
    000ffbbcmov [rsi+16], rdi
    000ffbc0mov [rsi+24], rax
    000ffbc4lea rax, [rsi-48]
    000ffbc8mov [rsp+56], rax
    000ffbcdmov [rax-8], 5367
    000ffbd5lea rdi, [rip+32148]
    000ffbdcmov [rax], rdi
    000ffbdfmov rdi, 0x100000000000005
    000ffbe9mov [rax+8], rdi
    000ffbedmov rdi, [rsp+224]
    000ffbf5mov [rax+16], rdi
    000ffbf9mov rdi, [rsp+72]
    000ffbfemov [rax+24], rdi
    000ffc02mov [rax+32], rbx
    000ffc06add rax, -64
    000ffc0amov [rsp], rax
    000ffc0emov [rax-8], 7415
    000ffc16lea rdi, [rip+32339]
    000ffc1dmov [rax], rdi
    000ffc20mov rdi, 0x100000000000005
    000ffc2amov [rax+8], rdi
    000ffc2emov rdi, [rsp+232]
    000ffc36mov [rax+16], rdi
    000ffc3amov rdi, [rsp+256]
    000ffc42mov [rax+24], rdi
    000ffc46mov rdi, [rsp+240]
    000ffc4emov [rax+32], rdi
    000ffc52mov rdi, [rsp+248]
    000ffc5amov [rax+40], rdi
    000ffc5emov [rax+48], rbx
    000ffc62add rax, -168
    000ffc68mov [rsp+64], rax
    000ffc6dmov [rax-8], 20727
    000ffc75lea rbx, [rip+32388]
    000ffc7cmov [rax], rbx
    000ffc7fmov rbx, 0x100000000000005
    000ffc89mov [rax+8], rbx
    000ffc8dmov rbx, [rsp+264]
    000ffc95mov [rax+16], rbx
    000ffc99mov rbx, [rsp+272]
    000ffca1mov [rax+24], rbx
    000ffca5mov [rax+32], rdx
    000ffca9mov rbx, [rsp+288]
    000ffcb1mov [rax+40], rbx
    000ffcb5mov rbx, [rsp+296]
    000ffcbdmov [rax+48], rbx
    000ffcc1mov rbx, [rsp+304]
    000ffcc9mov [rax+56], rbx
    000ffccdmov rbx, [rsp+312]
    000ffcd5mov [rax+64], rbx
    000ffcd9mov rbx, [rsp+376]
    000ffce1mov [rax+72], rbx
    000ffce5mov rbx, [rsp+408]
    000ffcedmov [rax+80], rbx
    000ffcf1mov rbx, [rsp+424]
    000ffcf9mov [rax+88], rbx
    000ffcfdmov rbx, [rsp+432]
    000ffd05mov [rax+96], rbx
    000ffd09mov rbx, [rsp+336]
    000ffd11mov [rax+104], rbx
    000ffd15mov rbx, [rsp+256]
    000ffd1dmov [rax+112], rbx
    000ffd21mov rbx, [rsp+360]
    000ffd29mov [rax+120], rbx
    000ffd2dmov rbx, [rsp+96]
    000ffd32mov [rax+128], rbx
    000ffd39mov rdx, [rsp+80]
    000ffd3emov [rax+136], rdx
    000ffd45mov rcx, [rsp+88]
    000ffd4amov [rax+144], rcx
    000ffd51mov rdi, [rsp+488]
    000ffd59mov [rax+152], rdi
    000ffd60add rax, -40
    000ffd64mov [rsp+72], rax
    000ffd69mov [rax-8], 4343
    000ffd71lea rbx, [rip+33656]
    000ffd78mov [rax], rbx
    000ffd7bmov rbx, 0x100000000000005
    000ffd85mov [rax+8], rbx
    000ffd89mov r8, [rsp]
    000ffd8dmov [rax+16], r8
    000ffd91mov [rax+24], rdi
    000ffd95lea rsi, [rip+0x17ecfc]
    000ffd9cmov [rsp], rsi
    000ffda0lea rbx, [rax-48]
    000ffda4mov [rbx-8], 5367
    000ffdaclea rax, [rip+33773]
    000ffdb3mov [rbx], rax
    000ffdb6mov rax, 0x100000000000005
    000ffdc0mov [rbx+8], rax
    000ffdc4mov [rbx+16], r8
    000ffdc8mov [rbx+24], rsi
    000ffdccmov [rbx+32], rdi
    000ffdd0lea rax, [rbx-256]
    000ffdd7mov [rsp+80], rax
    000ffddcmov [rax-8], 31991
    000ffde4lea r8, [rip+33861]
    000ffdebmov [rax], r8
    000ffdeemov r8, 0x100000000000005
    000ffdf8mov [rax+8], r8
    000ffdfcmov r8, [rsp+264]
    000ffe04mov [rax+16], r8
    000ffe08mov r8, [rsp+272]
    000ffe10mov [rax+24], r8
    000ffe14mov r8, [rsp+280]
    000ffe1cmov [rax+32], r8
    000ffe20mov r8, [rsp+288]
    000ffe28mov [rax+40], r8
    000ffe2cmov r8, [rsp+296]
    000ffe34mov [rax+48], r8
    000ffe38mov r8, [rsp+304]
    000ffe40mov [rax+56], r8
    000ffe44mov r8, [rsp+312]
    000ffe4cmov [rax+64], r8
    000ffe50mov r8, [rsp+320]
    000ffe58mov [rax+72], r8
    000ffe5cmov r8, [rsp+376]
    000ffe64mov [rax+80], r8
    000ffe68mov r8, [rsp+408]
    000ffe70mov [rax+88], r8
    000ffe74mov r8, [rsp+424]
    000ffe7cmov [rax+96], r8
    000ffe80mov r8, [rsp+432]
    000ffe88mov [rax+104], r8
    000ffe8cmov r8, [rsp+328]
    000ffe94mov [rax+112], r8
    000ffe98mov r8, [rsp+336]
    000ffea0mov [rax+120], r8
    000ffea4mov r8, [rsp+344]
    000ffeacmov [rax+128], r8
    000ffeb3mov r8, [rsp+352]
    000ffebbadd r8, 128
    000ffec2mov [rax+136], r8
    000ffec9mov r8, [rsp+360]
    000ffed1mov [rax+144], r8
    000ffed8mov r8, [rsp+96]
    000ffeddmov [rax+152], r8
    000ffee4mov r8, [rsp+104]
    000ffee9mov [rax+160], r8
    000ffef0mov [rax+168], rdx
    000ffef7mov [rax+176], rcx
    000ffefemov rcx, [rsp+168]
    000fff06mov rdx, rcx
    000fff09add rdx, 256
    000fff10mov [rax+184], rdx
    000fff17add rcx, 312
    000fff1emov [rax+192], rcx
    000fff25mov rdx, [rsp+144]
    000fff2dmov [rax+200], rdx
    000fff34mov rdx, [rsp+8]
    000fff39mov [rax+208], rdx
    000fff40mov [rax+216], rsi
    000fff47mov [rax+224], rbx
    000fff4emov [rax+232], rdi
    000fff55mov rbx, [rsp+464]
    000fff5dmov [rax+240], rbx
    000fff64lea rbx, [rax-48]
    000fff68mov [rsp+8], rbx
    000fff6dmov [rbx-8], 5367
    000fff75lea rdx, [rip+35940]
    000fff7cmov [rbx], rdx
    000fff7fmov rdx, 0x100000000000005
    000fff89mov [rbx+8], rdx
    000fff8dmov [rbx+16], rsi
    000fff91mov [rbx+24], rax
    000fff95mov [rbx+32], rdi
    000fff99lea rax, [rbx-40]
    000fff9dmov [rsp+88], rax
    000fffa2mov [rax-8], 4343
    000fffaalea rbx, [rip+36783]
    000fffb1mov [rax], rbx
    000fffb4mov rbx, 0x100000000000005
    000fffbemov [rax+8], rbx
    000fffc2mov [rax+16], rdi
    000fffc6mov rbx, [rsp+472]
    000fffcemov [rax+24], rbx
    000fffd2lea rbx, [rax-32]
    000fffd6mov [rbx-8], 3319
    000fffdelea rax, [rip+36955]
    000fffe5mov [rbx], rax
    000fffe8mov rax, 0x100000000000005
    000ffff2mov [rbx+8], rax
    000ffff6mov [rbx+16], rdi
    000ffffamov rdi, [rdi+160]
    00100001lea rax, [rip+0x17f5f0]
    00100008call caml_apply2
    0010000dsub r15, 280
    00100014cmp r15, [r14]
    00100017jb 0x1003d3
    0010001d
    0010001dloc_10001d:
    0010001dlea rbx, [r15+8]
    00100021mov [rbx-8], 35063
    00100029lea rax, [rip+37200]
    00100030mov [rbx], rax
    00100033mov rax, 0x100000000000005
    0010003dmov [rbx+8], rax
    00100041mov rax, [rsp+368]
    00100049mov [rbx+16], rax
    0010004dmov rax, [rsp+376]
    00100055mov [rbx+24], rax
    00100059mov rax, [rsp+384]
    00100061mov [rbx+32], rax
    00100065mov rax, [rsp+392]
    0010006dmov [rbx+40], rax
    00100071mov rax, [rsp+400]
    00100079mov [rbx+48], rax
    0010007dmov rax, [rsp+408]
    00100085mov [rbx+56], rax
    00100089mov rax, [rsp+416]
    00100091mov [rbx+64], rax
    00100095mov rax, [rsp+424]
    0010009dmov [rbx+72], rax
    001000a1mov rax, [rsp+432]
    001000a9mov [rbx+80], rax
    001000admov rax, [rsp+440]
    001000b5mov [rbx+88], rax
    001000b9mov rax, [rsp+448]
    001000c1mov [rbx+96], rax
    001000c5mov rax, [rsp+456]
    001000cdmov [rbx+104], rax
    001000d1mov rax, [rsp+112]
    001000d6mov [rbx+112], rax
    001000damov rax, [rsp+120]
    001000dfmov [rbx+120], rax
    001000e3mov rax, [rsp+128]
    001000ebmov [rbx+128], rax
    001000f2mov rax, [rsp+136]
    001000famov [rbx+136], rax
    00100101mov rax, [rsp+168]
    00100109add rax, 256
    0010010fmov [rbx+144], rax
    00100116mov rax, [rsp+16]
    0010011bmov [rbx+152], rax
    00100122mov rax, [rsp+24]
    00100127mov [rbx+160], rax
    0010012emov rax, [rsp+32]
    00100133mov [rbx+168], rax
    0010013amov rax, [rsp+40]
    0010013fmov [rbx+176], rax
    00100146mov rax, [rsp+48]
    0010014bmov [rbx+184], rax
    00100152mov rax, [rsp+56]
    00100157mov [rbx+192], rax
    0010015emov rax, [rsp+64]
    00100163mov [rbx+200], rax
    0010016amov rax, [rsp+72]
    0010016fmov [rbx+208], rax
    00100176mov rax, [rsp]
    0010017amov [rbx+216], rax
    00100181mov rax, [rsp+80]
    00100186mov [rbx+224], rax
    0010018dmov rax, [rsp+8]
    00100192mov [rbx+232], rax
    00100199mov rax, [rsp+88]
    0010019emov [rbx+240], rax
    001001a5mov rax, [rsp+488]
    001001admov [rbx+248], rax
    001001b4mov rax, [rsp+464]
    001001bcmov [rbx+256], rax
    001001c3mov rax, [rsp+472]
    001001cbmov [rbx+264], rax
    001001d2lea rax, [rip+0x180117]
    001001d9call camlLatexmacros.register_init_929
    001001desub r15, 64
    001001e2cmp r15, [r14]
    001001e5jb 0x1003c9
    001001eb
    001001ebloc_1001eb:
    001001eblea rbx, [r15+8]
    001001efmov [rbx-8], 7415
    001001f7lea rax, [rip+42338]
    001001femov [rbx], rax
    00100201mov rax, 0x100000000000005
    0010020bmov [rbx+8], rax
    0010020fmov rax, [rsp+168]
    00100217add rax, 128
    0010021dmov [rbx+16], rax
    00100221mov rax, [rsp+144]
    00100229mov [rbx+24], rax
    0010022dmov rax, [rsp+152]
    00100235mov [rbx+32], rax
    00100239mov rax, [rsp+160]
    00100241mov [rbx+40], rax
    00100245mov rax, [rsp+488]
    0010024dmov [rbx+48], rax
    00100251lea rax, [rip+0x17ed10]
    00100258call camlLatexmacros.register_init_929
    0010025dsub r15, 40
    00100261cmp r15, [r14]
    00100264jb 0x1003bf
    0010026a
    0010026aloc_10026a:
    0010026alea rbx, [r15+8]
    0010026emov [rbx-8], 4343
    00100276lea rax, [rip+42595]
    0010027dmov [rbx], rax
    00100280mov rax, 0x100000000000005
    0010028amov [rbx+8], rax
    0010028emov rax, [rsp+168]
    00100296add rax, 192
    0010029cmov [rbx+16], rax
    001002a0mov rax, [rsp+488]
    001002a8mov [rbx+24], rax
    001002aclea rax, [rip+0x17ec25]
    001002b3call camlLatexmacros.register_init_929
    001002b8sub r15, 48
    001002bccmp r15, [r14]
    001002bfjb 0x1003b5
    001002c5
    001002c5loc_1002c5:
    001002c5lea rbx, [r15+8]
    001002c9mov [rsp], rbx
    001002cdmov [rbx-8], 5367
    001002d5lea rax, [rip+43044]
    001002dcmov [rbx], rax
    001002dfmov rax, 0x100000000000005
    001002e9mov [rbx+8], rax
    001002edmov rax, [rsp+176]
    001002f5mov [rbx+16], rax
    001002f9mov rax, [rsp+488]
    00100301mov [rbx+24], rax
    00100305mov rax, [rsp+472]
    0010030dmov [rbx+32], rax
    00100311mov eax, 3
    00100316call camlVerb.init_mathjax_1922
    0010031bmov rbx, rax
    0010031elea rax, [rip+0x17eae3]
    00100325call camlLatexmacros.register_init_929
    0010032amov eax, 1
    0010032fmov rbx, [rsp]
    00100333call camlVerb.init_mathjax_1922
    00100338mov rbx, rax
    0010033blea rax, [rip+0x17eaae]
    00100342call camlLatexmacros.register_init_929
    00100347sub r15, 40
    0010034bcmp r15, [r14]
    0010034ejb 0x1003ae
    00100350
    00100350loc_100350:
    00100350lea rbx, [r15+8]
    00100354mov [rbx-8], 4343
    0010035clea rax, [rip+43789]
    00100363mov [rbx], rax
    00100366mov rax, 0x100000000000005
    00100370mov [rbx+8], rax
    00100374mov rax, [rsp+480]
    0010037cmov [rbx+16], rax
    00100380mov rax, [rsp+488]
    00100388mov [rbx+24], rax
    0010038cmov rdi, [rax+160]
    00100393lea rax, [rip+0x17ea3e]
    0010039acall caml_apply2
    0010039flea rax, [rip+0x1819aa]
    001003a6add rsp, 496
    001003adret
    001003ae
    001003aeloc_1003ae:
    001003aecall caml_call_gc
    001003b3jmp 0x100350
    001003b5
    001003b5loc_1003b5:
    001003b5call caml_call_gc
    001003bajmp 0x1002c5
    001003bf
    001003bfloc_1003bf:
    001003bfcall caml_call_gc
    001003c4jmp 0x10026a
    001003c9
    001003c9loc_1003c9:
    001003c9call caml_call_gc
    001003cejmp 0x1001eb
    001003d3
    001003d3loc_1003d3:
    001003d3call caml_call_gc
    001003d8jmp 0x10001d
    001003dd
    001003ddloc_1003dd:
    001003ddcall caml_call_gc
    001003e2jmp 0xff9b3
    001003e7
    001003e7loc_1003e7:
    001003e7call caml_call_gc
    001003ecjmp 0xff95e
    001003f1
    001003f1loc_1003f1:
    001003f1call caml_call_gc
    001003f6jmp 0xff90c
    001003fb
    001003fbloc_1003fb:
    001003fbcall caml_call_gc
    00100400jmp 0xff6dd
    00100405
    00100405loc_100405:
    00100405call caml_call_gc
    0010040ajmp 0xff614
    0010040f
    0010040floc_10040f:
    0010040fcall caml_call_gc
    00100414jmp 0xff5c2
    00100419
    00100419loc_100419:
    00100419call caml_call_gc
    0010041ejmp 0xff3e6
    00100423
    00100423loc_100423:
    00100423call caml_call_gc
    00100428jmp 0xfefe0
    0010042d
    0010042dloc_10042d:
    0010042dcall caml_call_gc
    00100432jmp 0xfef89
    00100437
    00100437loc_100437:
    00100437call caml_call_gc
    0010043cjmp 0xfe60c
    00100441
    00100441loc_100441:
    00100441call caml_call_gc
    00100446jmp 0xfde3d
    0010044b
    0010044bloc_10044b:
    0010044bcall caml_call_gc
    00100450jmp 0xfdc86
    00100455
    00100455loc_100455:
    00100455call caml_call_gc
    0010045ajmp 0xfd976
    0010045f
    0010045floc_10045f:
    0010045fcall caml_call_gc
    00100464jmp 0xfd8fb
    00100469
    00100469loc_100469:
    00100469call caml_call_gc
    0010046ejmp 0xfd895
    00100473
    00100473loc_100473:
    00100473call caml_call_gc
    00100478jmp 0xfd852
    0010047d
    0010047dloc_10047d:
    0010047dpush 95
    0010047fcall caml_call_realloc_stack
    00100484pop r10
    00100486jmp 0xfd812
    000fd800