File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    0017ee90
    0017ee90camlLexstate.make_stack_1175:
    0017ee90lea r10, [rsp-392]
    0017ee98cmp r10, [r14+40]
    0017ee9cjb 0x17f141
    0017eea2
    0017eea2loc_17eea2:
    0017eea2sub rsp, 56
    0017eea6mov [rsp+8], rax
    0017eeabmov rax, rbx
    0017eeaemov [rsp+16], rax
    0017eeb3mov rbx, rdi
    0017eeb6lea r11, [rip+455]
    0017eebdpush r11
    0017eebfpush [r14+48]
    0017eec3mov [r14+48], rsp
    0017eec7call camlLexstate.parse_args_1165
    0017eeccmov [rsp+16], rax
    0017eed1mov rbx, [rax]
    0017eed4lea rax, [rip+0x197ac5]
    0017eedbmov rax, [rax+520]
    0017eee2call Stdlib.List.map
    0017eee7mov rbx, [rsp+16]
    0017eeecmov rbx, [rbx+8]
    0017eef0call camlStdlib.$40_196
    0017eef5call Stdlib.Array.of_list
    0017eefamov [rsp+48], rax
    0017eefflea rax, [rip+0x1ab16a]
    0017ef06mov rax, [rax+80]
    0017ef0amov rax, [rax]
    0017ef0dcmp rax, 3
    0017ef11jle 0x17f054
    0017ef17mov rax, [rsp+24]
    0017ef1cmov [rsp+16], rax
    0017ef21lea rbx, [rip+0x197fb0]
    0017ef28lea rax, [rip+0x1ae6e9]
    0017ef2fmov rax, [rax+312]
    0017ef36call Stdlib.Printf.fprintf
    0017ef3bmov rbx, rax
    0017ef3emov rdi, [rbx]
    0017ef41mov rax, [rsp+16]
    0017ef46call rdi
    0017ef48lea rax, [rip+0x197a51]
    0017ef4fmov rbx, [rax+32]
    0017ef53mov rdi, [rbx]
    0017ef56mov rax, [rsp+32]
    0017ef5bcall rdi
    0017ef5dlea rax, [rip+0x198d1c]
    0017ef64call camlStdlib.prerr_endline_390
    0017ef69mov eax, 1
    0017ef6emov rbx, [rsp+48]
    0017ef73mov rbx, [rbx-8]
    0017ef77shr rbx, 9
    0017ef7bor rbx, 1
    0017ef7fadd rbx, -2
    0017ef83cmp rax, rbx
    0017ef86jg 0x17f054
    0017ef8cmov [rsp+64], rbx
    0017ef91mov [rsp+56], rax
    0017ef96
    0017ef96loc_17ef96:
    0017ef96mov rdi, [rsp+48]
    0017ef9bmov rbx, [rdi-8]
    0017ef9fshr rbx, 9
    0017efa3cmp rbx, rax
    0017efa6jbe 0x17f13c
    0017efacmov rbx, [rdi+4*rax-4]
    0017efb1mov rbx, [rbx]
    0017efb4mov [rsp+40], rbx
    0017efb9lea rbx, [rip+0x1979e0]
    0017efc0mov rbx, [rbx]
    0017efc3mov [rsp+32], rbx
    0017efc8add rax, 2
    0017efccmov [rsp+16], rax
    0017efd1lea rbx, [rip+0x197e40]
    0017efd8lea rax, [rip+0x1ae639]
    0017efdfmov rax, [rax+312]
    0017efe6call Stdlib.Printf.fprintf
    0017efebmov rsi, rax
    0017efeemov rax, [rsp+16]
    0017eff3mov rbx, [rsp+32]
    0017eff8mov rdi, [rsp+40]
    0017effdcall caml_apply3
    0017f002mov rbx, [rsp+48]
    0017f007mov rax, [rbx-8]
    0017f00bshr rax, 9
    0017f00fmov rdi, [rsp+56]
    0017f014cmp rax, rdi
    0017f017jbe 0x17f13c
    0017f01dmov rax, [rbx+4*rdi-4]
    0017f022mov rax, [rax+8]
    0017f026call camlLexstate.pretty_subst_612
    0017f02bmov rax, [rsp+56]
    0017f030mov rbx, rax
    0017f033add rax, 2
    0017f037mov [rsp+56], rax
    0017f03cmov rdi, [rsp+64]
    0017f041cmp rbx, rdi
    0017f044je 0x17f054
    0017f046cmp r15, [r14]
    0017f049ja 0x17ef96
    0017f04fjmp 0x17f132
    0017f054
    0017f054loc_17f054:
    0017f054sub r15, 16
    0017f058cmp r15, [r14]
    0017f05bjb 0x17f128
    0017f061
    0017f061loc_17f061:
    0017f061lea rax, [r15+8]
    0017f065mov [rax-8], 1024
    0017f06dmov rbx, [rsp+48]
    0017f072mov [rax], rbx
    0017f075pop [r14+48]
    0017f079add rsp, 8
    0017f07djmp 0x17f11c
    0017f082nop
    0017f084lea rbx, [rip+0x19c0c5]
    0017f08bmov rbx, [rbx+32]
    0017f08fmov rdi, [rax]
    0017f092cmp rdi, rbx
    0017f095jne 0x17f10c
    0017f097lea rbx, [rip+0x197d22]
    0017f09emov rax, [rax+8]
    0017f0a2call camlStdlib.$5e_139
    0017f0a7mov rbx, rax
    0017f0aalea rax, [rip+0x197d1f]
    0017f0b1call camlStdlib.$5e_139
    0017f0b6mov rbx, rax
    0017f0b9mov rax, [rsp+8]
    0017f0becall camlStdlib.$5e_139
    0017f0c3mov rbx, rax
    0017f0c6lea rax, [rip+0x197d3b]
    0017f0cdcall camlStdlib.$5e_139
    0017f0d2sub r15, 24
    0017f0d6cmp r15, [r14]
    0017f0d9jb 0x17f121
    0017f0db
    0017f0dbloc_17f0db:
    0017f0dblea rbx, [r15+8]
    0017f0dfmov [rbx-8], 2048
    0017f0e7lea rdi, [rip+0x1978b2]
    0017f0eemov rdi, [rdi+104]
    0017f0f2mov [rbx], rdi
    0017f0f5mov [rbx+8], rax
    0017f0f9mov rax, rbx
    0017f0fcmov rsp, [r14+48]
    0017f100pop [r14+48]
    0017f104pop r11
    0017f106jmp r11
    0017f109nop [rax]
    0017f10c
    0017f10cloc_17f10c:
    0017f10cmov rsp, [r14+48]
    0017f110pop [r14+48]
    0017f114pop r11
    0017f116jmp r11
    0017f119nop [rax]
    0017f11c
    0017f11cloc_17f11c:
    0017f11cadd rsp, 56
    0017f120ret
    0017f121
    0017f121loc_17f121:
    0017f121call caml_call_gc
    0017f126jmp 0x17f0db
    0017f128
    0017f128loc_17f128:
    0017f128call caml_call_gc
    0017f12djmp 0x17f061
    0017f132
    0017f132loc_17f132:
    0017f132call caml_call_gc
    0017f137jmp 0x17ef96
    0017f13c
    0017f13cloc_17f13c:
    0017f13ccall caml_ml_array_bound_error
    0017f141
    0017f141loc_17f141:
    0017f141push 42
    0017f143call caml_call_realloc_stack
    0017f148pop r10
    0017f14ajmp 0x17eea2
    0017ee90
    0017f14f
    0017f14f // align 0x10
    0017f150
    0017f150camlLexstate.scan_this_1185:
    0017f150lea r10, [rsp-344]
    0017f158cmp r10, [r14+40]
    0017f15cjb 0x17f22e
    0017f162
    0017f162loc_17f162:
    0017f162sub rsp, 24
    0017f166mov [rsp], rax
    0017f16amov [rsp+8], rbx
    0017f16fmov eax, 1
    0017f174call camlLexstate.start_lexstate_907
    0017f179lea rax, [rip+0x1aaef0]
    0017f180mov rax, [rax+80]
    0017f184mov rax, [rax]
    0017f187cmp rax, 3
    0017f18bjle 0x17f1ca
    0017f18dmov rax, [rsp+8]
    0017f192mov [rsp+16], rax
    0017f197lea rbx, [rip+0x198a82]
    0017f19elea rax, [rip+0x1ae473]
    0017f1a5mov rax, [rax+312]
    0017f1accall Stdlib.Printf.fprintf
    0017f1b1mov rbx, rax
    0017f1b4mov rdi, [rbx]
    0017f1b7mov rax, [rsp+16]
    0017f1bccall rdi
    0017f1belea rax, [rip+0x198abb]
    0017f1c5call camlStdlib.prerr_endline_390
    0017f1ca
    0017f1caloc_17f1ca:
    0017f1camov rax, [rsp+8]
    0017f1cfcall camlMyLexing.from_string_309
    0017f1d4mov rbx, [rsp]
    0017f1d8mov rdi, [rbx]
    0017f1dbcall rdi
    0017f1ddmov [rsp], rax
    0017f1e1lea rax, [rip+0x1aae88]
    0017f1e8mov rax, [rax+80]
    0017f1ecmov rax, [rax]
    0017f1efcmp rax, 3
    0017f1f3jle 0x17f21b
    0017f1f5lea rbx, [rip+0x1989d4]
    0017f1fclea rax, [rip+0x1ae415]
    0017f203mov rax, [rax+312]
    0017f20acall Stdlib.Printf.fprintf
    0017f20flea rax, [rip+0x198a6a]
    0017f216call camlStdlib.prerr_endline_390
    0017f21b
    0017f21bloc_17f21b:
    0017f21bmov eax, 1
    0017f220call camlLexstate.restore_lexstate_882
    0017f225mov rax, [rsp]
    0017f229add rsp, 24
    0017f22dret
    0017f22e
    0017f22eloc_17f22e:
    0017f22epush 36
    0017f230call caml_call_realloc_stack
    0017f235pop r10
    0017f237jmp 0x17f162
    0017f150
    0017f23c
    0017f23c // align 0x10
    0017f240
    0017f240camlLexstate.scan_this_list_1186:
    0017f240lea r10, [rsp-352]
    0017f248cmp r10, [r14+40]
    0017f24cjb 0x17f332
    0017f252
    0017f252loc_17f252:
    0017f252sub rsp, 32
    0017f256mov [rsp], rax
    0017f25amov [rsp+8], rbx
    0017f25fmov eax, 1
    0017f264call camlLexstate.start_lexstate_907
    0017f269lea rax, [rip+0x1aae00]
    0017f270mov rax, [rax+80]
    0017f274mov rax, [rax]
    0017f277cmp rax, 3
    0017f27bjle 0x17f2ce
    0017f27dmov rax, [rsp+8]
    0017f282mov [rsp+24], rax
    0017f287lea rax, [rip+0x197712]
    0017f28emov rax, [rax]
    0017f291mov [rsp+16], rax
    0017f296lea rbx, [rip+0x19889b]
    0017f29dlea rax, [rip+0x1ae374]
    0017f2a4mov rax, [rax+312]
    0017f2abcall Stdlib.Printf.fprintf
    0017f2b0mov rdi, rax
    0017f2b3mov rax, [rsp+16]
    0017f2b8mov rbx, [rsp+24]
    0017f2bdcall caml_apply2
    0017f2c2lea rax, [rip+0x1989b7]
    0017f2c9call camlStdlib.prerr_endline_390
    0017f2ce
    0017f2celoc_17f2ce:
    0017f2cemov rax, [rsp+8]
    0017f2d3call camlMyLexing.from_list_562
    0017f2d8mov rbx, [rsp]
    0017f2dcmov rdi, [rbx]
    0017f2dfcall rdi
    0017f2e1mov [rsp], rax
    0017f2e5lea rax, [rip+0x1aad84]
    0017f2ecmov rax, [rax+80]
    0017f2f0mov rax, [rax]
    0017f2f3cmp rax, 3
    0017f2f7jle 0x17f31f
    0017f2f9lea rbx, [rip+0x1987e8]
    0017f300lea rax, [rip+0x1ae311]
    0017f307mov rax, [rax+312]
    0017f30ecall Stdlib.Printf.fprintf
    0017f313lea rax, [rip+0x198966]
    0017f31acall camlStdlib.prerr_endline_390
    0017f31f
    0017f31floc_17f31f:
    0017f31fmov eax, 1
    0017f324call camlLexstate.restore_lexstate_882
    0017f329mov rax, [rsp]
    0017f32dadd rsp, 32
    0017f331ret
    0017f332
    0017f332loc_17f332:
    0017f332push 37
    0017f334call caml_call_realloc_stack
    0017f339pop r10
    0017f33bjmp 0x17f252
    0017f240
    0017f340
    0017f340camlLexstate.scan_this_arg_1187:
    0017f340lea r10, [rsp-344]
    0017f348cmp r10, [r14+40]
    0017f34cjb 0x17f44a
    0017f352
    0017f352loc_17f352:
    0017f352sub rsp, 24
    0017f356mov [rsp+8], rax
    0017f35bmov [rsp], rbx
    0017f35fmov rax, [rbx]
    0017f362mov [rsp+16], rax
    0017f367mov eax, 1
    0017f36ccall camlLexstate.start_lexstate_907
    0017f371mov rax, [rsp]
    0017f375mov rsi, [rax+8]
    0017f379lea rax, [rip+0x197620]
    0017f380mov rdi, [rax+728]
    0017f387mov rbx, rsp
    0017f38amov rsp, [r14+64]
    0017f38ecall caml_modify
    0017f393mov rsp, rbx
    0017f396lea rax, [rip+0x1aacd3]
    0017f39dmov rax, [rax+80]
    0017f3a1mov rax, [rax]
    0017f3a4cmp rax, 3
    0017f3a8jle 0x17f3e5
    0017f3aamov rax, [rsp+16]
    0017f3afmov [rsp], rax
    0017f3b3lea rbx, [rip+0x1986be]
    0017f3balea rax, [rip+0x1ae257]
    0017f3c1mov rax, [rax+312]
    0017f3c8call Stdlib.Printf.fprintf
    0017f3cdmov rbx, rax
    0017f3d0mov rdi, [rbx]
    0017f3d3mov rax, [rsp]
    0017f3d7call rdi
    0017f3d9lea rax, [rip+0x1988a0]
    0017f3e0call camlStdlib.prerr_endline_390
    0017f3e5
    0017f3e5loc_17f3e5:
    0017f3e5mov rax, [rsp+16]
    0017f3eacall camlMyLexing.from_string_309
    0017f3efmov rbx, [rsp+8]
    0017f3f4mov rdi, [rbx]
    0017f3f7call rdi
    0017f3f9mov [rsp], rax
    0017f3fdlea rax, [rip+0x1aac6c]
    0017f404mov rax, [rax+80]
    0017f408mov rax, [rax]
    0017f40bcmp rax, 3
    0017f40fjle 0x17f437
    0017f411lea rbx, [rip+0x1985f8]
    0017f418lea rax, [rip+0x1ae1f9]
    0017f41fmov rax, [rax+312]
    0017f426call Stdlib.Printf.fprintf
    0017f42blea rax, [rip+0x19884e]
    0017f432call camlStdlib.prerr_endline_390
    0017f437
    0017f437loc_17f437:
    0017f437mov eax, 1
    0017f43ccall camlLexstate.restore_lexstate_882
    0017f441mov rax, [rsp]
    0017f445add rsp, 24
    0017f449ret
    0017f44a
    0017f44aloc_17f44a:
    0017f44apush 36
    0017f44ccall caml_call_realloc_stack
    0017f451pop r10
    0017f453jmp 0x17f352
    0017f340
    0017f458
    0017f458 // align 0x10
    0017f460
    0017f460camlLexstate.scan_this_arg_list_1188:
    0017f460lea r10, [rsp-352]
    0017f468cmp r10, [r14+40]
    0017f46cjb 0x17f566
    0017f472
    0017f472loc_17f472:
    0017f472sub rsp, 32
    0017f476mov [rsp+8], rax
    0017f47bmov [rsp], rbx
    0017f47fmov rax, [rbx]
    0017f482mov [rsp+16], rax
    0017f487mov eax, 1
    0017f48ccall camlLexstate.start_lexstate_907
    0017f491mov rax, [rsp]
    0017f495mov rsi, [rax+8]
    0017f499lea rax, [rip+0x197500]
    0017f4a0mov rdi, [rax+728]
    0017f4a7mov rbx, rsp
    0017f4aamov rsp, [r14+64]
    0017f4aecall caml_modify
    0017f4b3mov rsp, rbx
    0017f4b6lea rax, [rip+0x1aabb3]
    0017f4bdmov rax, [rax+80]
    0017f4c1mov rax, [rax]
    0017f4c4cmp rax, 3
    0017f4c8jle 0x17f50d
    0017f4camov rax, [rsp+16]
    0017f4cfmov [rsp+24], rax
    0017f4d4lea rax, [rip+0x1974c5]
    0017f4dbmov rax, [rax]
    0017f4demov [rsp], rax
    0017f4e2lea rbx, [rip+0x198467]
    0017f4e9lea rax, [rip+0x1ae128]
    0017f4f0mov rax, [rax+312]
    0017f4f7call Stdlib.Printf.fprintf
    0017f4fcmov rdi, rax
    0017f4ffmov rax, [rsp]
    0017f503mov rbx, [rsp+24]
    0017f508call caml_apply2
    0017f50d
    0017f50dloc_17f50d:
    0017f50dmov rax, [rsp+16]
    0017f512call camlMyLexing.from_list_562
    0017f517mov rbx, [rsp+8]
    0017f51cmov rdi, [rbx]
    0017f51fcall rdi
    0017f521mov [rsp], rax
    0017f525lea rax, [rip+0x1aab44]
    0017f52cmov rax, [rax+80]
    0017f530mov rax, [rax]
    0017f533cmp rax, 3
    0017f537jle 0x17f553
    0017f539lea rbx, [rip+0x198388]
    0017f540lea rax, [rip+0x1ae0d1]
    0017f547mov rax, [rax+312]
    0017f54ecall Stdlib.Printf.fprintf
    0017f553
    0017f553loc_17f553:
    0017f553mov eax, 1
    0017f558call camlLexstate.restore_lexstate_882
    0017f55dmov rax, [rsp]
    0017f561add rsp, 32
    0017f565ret
    0017f566
    0017f566loc_17f566:
    0017f566push 37
    0017f568call caml_call_realloc_stack
    0017f56dpop r10
    0017f56fjmp 0x17f472
    0017f460
    0017f574
    0017f574 // align 0x10
    0017f580
    0017f580camlLexstate.scan_this_may_cont_1215:
    0017f580lea r10, [rsp-368]
    0017f588cmp r10, [r14+40]
    0017f58cjb 0x17f6e0
    0017f592
    0017f592loc_17f592:
    0017f592sub rsp, 48
    0017f596mov [rsp+24], rax
    0017f59bmov [rsp+40], rbx
    0017f5a0mov [rsp], rdi
    0017f5a4mov [rsp+8], rsi
    0017f5a9mov rax, [rsi]
    0017f5acmov [rsp+16], rax
    0017f5b1lea rbx, [rip+0x1aaab8]
    0017f5b8mov rbx, [rbx+80]
    0017f5bcmov rbx, [rbx]
    0017f5bfcmp rbx, 3
    0017f5c3jle 0x17f63d
    0017f5c5mov [rsp+32], rax
    0017f5calea rbx, [rip+0x19827f]
    0017f5d1lea rax, [rip+0x1ae040]
    0017f5d8mov rax, [rax+312]
    0017f5dfcall Stdlib.Printf.fprintf
    0017f5e4mov rbx, rax
    0017f5e7mov rdi, [rbx]
    0017f5eamov rax, [rsp+32]
    0017f5efcall rdi
    0017f5f1lea rax, [rip+0x198688]
    0017f5f8call camlStdlib.prerr_endline_390
    0017f5fdlea rax, [rip+0x1aaa6c]
    0017f604mov rax, [rax+80]
    0017f608mov rax, [rax]
    0017f60bcmp rax, 3
    0017f60fjle 0x17f63d
    0017f611lea rax, [rip+0x198218]
    0017f618call camlStdlib.prerr_endline_390
    0017f61dmov rax, [rsp+40]
    0017f622call camlLexstate.pretty_lexbuf_726
    0017f627lea rax, [rip+0x197372]
    0017f62emov rax, [rax+728]
    0017f635mov rax, [rax]
    0017f638call camlLexstate.pretty_subst_612
    0017f63d
    0017f63dloc_17f63d:
    0017f63dmov eax, 1
    0017f642call camlLexstate.save_lexstate_881
    0017f647mov rax, [rsp+40]
    0017f64cmov rbx, [rsp]
    0017f650call camlLexstate.record_lexbuf_869
    0017f655mov rax, [rsp+8]
    0017f65amov rsi, [rax+8]
    0017f65elea rax, [rip+0x19733b]
    0017f665mov rdi, [rax+728]
    0017f66cmov rbx, rsp
    0017f66fmov rsp, [r14+64]
    0017f673call caml_modify
    0017f678mov rsp, rbx
    0017f67bmov rax, [rsp+16]
    0017f680call camlMyLexing.from_string_309
    0017f685mov rbx, [rsp+24]
    0017f68amov rdi, [rbx]
    0017f68dcall rdi
    0017f68fmov [rsp], rax
    0017f693mov eax, 1
    0017f698call camlLexstate.restore_lexstate_882
    0017f69dlea rax, [rip+0x1aa9cc]
    0017f6a4mov rax, [rax+80]
    0017f6a8mov rax, [rax]
    0017f6abcmp rax, 3
    0017f6afjle 0x17f6d7
    0017f6b1lea rbx, [rip+0x198110]
    0017f6b8lea rax, [rip+0x1adf59]
    0017f6bfmov rax, [rax+312]
    0017f6c6call Stdlib.Printf.fprintf
    0017f6cblea rax, [rip+0x1985ae]
    0017f6d2call camlStdlib.prerr_endline_390
    0017f6d7
    0017f6d7loc_17f6d7:
    0017f6d7mov rax, [rsp]
    0017f6dbadd rsp, 48
    0017f6dfret
    0017f6e0
    0017f6e0loc_17f6e0:
    0017f6e0push 39
    0017f6e2call caml_call_realloc_stack
    0017f6e7pop r10
    0017f6e9jmp 0x17f592
    0017f580
    0017f6ee
    0017f6ee // align 0x10
    0017f6f0
    0017f6f0camlLexstate.scan_this_list_may_cont_1225:
    0017f6f0lea r10, [rsp-376]
    0017f6f8cmp r10, [r14+40]
    0017f6fcjb 0x17f85c
    0017f702
    0017f702loc_17f702:
    0017f702sub rsp, 56
    0017f706mov [rsp+24], rax
    0017f70bmov [rsp+48], rbx
    0017f710mov [rsp], rdi
    0017f714mov [rsp+8], rsi
    0017f719mov rax, [rsi]
    0017f71cmov [rsp+16], rax
    0017f721lea rbx, [rip+0x1aa948]
    0017f728mov rbx, [rbx+80]
    0017f72cmov rbx, [rbx]
    0017f72fcmp rbx, 3
    0017f733jle 0x17f7b9
    0017f739mov [rsp+40], rax
    0017f73elea rax, [rip+0x19725b]
    0017f745mov rax, [rax]
    0017f748mov [rsp+32], rax
    0017f74dlea rbx, [rip+0x197fec]
    0017f754lea rax, [rip+0x1adebd]
    0017f75bmov rax, [rax+312]
    0017f762call Stdlib.Printf.fprintf
    0017f767mov rdi, rax
    0017f76amov rax, [rsp+32]
    0017f76fmov rbx, [rsp+40]
    0017f774call caml_apply2
    0017f779lea rax, [rip+0x1aa8f0]
    0017f780mov rax, [rax+80]
    0017f784mov rax, [rax]
    0017f787cmp rax, 3
    0017f78bjle 0x17f7b9
    0017f78dlea rax, [rip+0x19809c]
    0017f794call camlStdlib.prerr_endline_390
    0017f799mov rax, [rsp+48]
    0017f79ecall camlLexstate.pretty_lexbuf_726
    0017f7a3lea rax, [rip+0x1971f6]
    0017f7aamov rax, [rax+728]
    0017f7b1mov rax, [rax]
    0017f7b4call camlLexstate.pretty_subst_612
    0017f7b9
    0017f7b9loc_17f7b9:
    0017f7b9mov eax, 1
    0017f7becall camlLexstate.save_lexstate_881
    0017f7c3mov rax, [rsp+48]
    0017f7c8mov rbx, [rsp]
    0017f7cccall camlLexstate.record_lexbuf_869
    0017f7d1mov rax, [rsp+8]
    0017f7d6mov rsi, [rax+8]
    0017f7dalea rax, [rip+0x1971bf]
    0017f7e1mov rdi, [rax+728]
    0017f7e8mov rbx, rsp
    0017f7ebmov rsp, [r14+64]
    0017f7efcall caml_modify
    0017f7f4mov rsp, rbx
    0017f7f7mov rax, [rsp+16]
    0017f7fccall camlMyLexing.from_list_562
    0017f801mov rbx, [rsp+24]
    0017f806mov rdi, [rbx]
    0017f809call rdi
    0017f80bmov [rsp], rax
    0017f80fmov eax, 1
    0017f814call camlLexstate.restore_lexstate_882
    0017f819lea rax, [rip+0x1aa850]
    0017f820mov rax, [rax+80]
    0017f824mov rax, [rax]
    0017f827cmp rax, 3
    0017f82bjle 0x17f853
    0017f82dlea rbx, [rip+0x197eb4]
    0017f834lea rax, [rip+0x1adddd]
    0017f83bmov rax, [rax+312]
    0017f842call Stdlib.Printf.fprintf
    0017f847lea rax, [rip+0x198432]
    0017f84ecall camlStdlib.prerr_endline_390
    0017f853
    0017f853loc_17f853:
    0017f853mov rax, [rsp]
    0017f857add rsp, 56
    0017f85bret
    0017f85c
    0017f85cloc_17f85c:
    0017f85cpush 40
    0017f85ecall caml_call_realloc_stack
    0017f863pop r10
    0017f865jmp 0x17f702
    0017f6f0
    0017f86a
    0017f86a // align 0x10
    0017f870
    0017f870camlLexstate.real_input_file_1235:
    0017f870lea r10, [rsp-392]
    0017f878cmp r10, [r14+40]
    0017f87cjb 0x17fa86
    0017f882
    0017f882loc_17f882:
    0017f882sub rsp, 56
    0017f886mov [rsp], rax
    0017f88amov [rsp+32], rbx
    0017f88fmov rbx, rdi
    0017f892mov [rsp+48], rbx
    0017f897mov [rsp+8], rsi
    0017f89clea rax, [rip+0x1aa7cd]
    0017f8a3mov rax, [rax+80]
    0017f8a7mov rax, [rax]
    0017f8aacmp rax, 1
    0017f8aejle 0x17f8c1
    0017f8b0lea rax, [rip+0x197e19]
    0017f8b7call camlStdlib.$5e_139
    0017f8bccall camlStdlib.prerr_endline_390
    0017f8c1
    0017f8c1loc_17f8c1:
    0017f8c1mov eax, 1
    0017f8c6mov rbx, [rsp+8]
    0017f8cbcall Stdlib.Lexing.from_channel
    0017f8d0mov rbx, rax
    0017f8d3mov [rsp+40], rbx
    0017f8d8mov rax, [rsp+48]
    0017f8ddcall camlLocation.set_382
    0017f8e2lea rax, [rip+0x1aa787]
    0017f8e9mov rax, [rax+80]
    0017f8edmov rbx, [rax]
    0017f8f0mov [rsp+16], rbx
    0017f8f5mov rbx, [rsp]
    0017f8f9mov [rax], rbx
    0017f8fcmov rax, [rax]
    0017f8ffcmp rax, 3
    0017f903jle 0x17f91b
    0017f905lea rax, [rip+0x197dac]
    0017f90cmov rbx, [rsp+48]
    0017f911call camlStdlib.$5e_139
    0017f916call camlStdlib.prerr_endline_390
    0017f91b
    0017f91bloc_17f91b:
    0017f91bmov eax, 1
    0017f920call camlLexstate.start_lexstate_907
    0017f925lea rax, [rip+0x197074]
    0017f92cmov rbx, [rax+776]
    0017f933mov rbx, [rbx]
    0017f936mov [rsp+24], rbx
    0017f93bmov esi, 1
    0017f940mov rdi, [rax+728]
    0017f947mov rbx, rsp
    0017f94amov rsp, [r14+64]
    0017f94ecall caml_modify
    0017f953mov rsp, rbx
    0017f956lea r11, [rip+39]
    0017f95dpush r11
    0017f95fpush [r14+48]
    0017f963mov [r14+48], rsp
    0017f967mov rbx, [rsp+48]
    0017f96cmov rdi, [rbx]
    0017f96fmov rax, [rsp+56]
    0017f974call rdi
    0017f976pop [r14+48]
    0017f97aadd rsp, 8
    0017f97ejmp 0x17fa20
    0017f983nop
    0017f984lea rbx, [rip+0x1aa6e5]
    0017f98bmov rbx, [rbx+48]
    0017f98fcmp rax, rbx
    0017f992jne 0x17f9b8
    0017f994lea rax, [rip+0x197005]
    0017f99bmov rdi, [rax+776]
    0017f9a2mov rsi, [rsp+24]
    0017f9a7mov rbx, rsp
    0017f9aamov rsp, [r14+64]
    0017f9aecall caml_modify
    0017f9b3mov rsp, rbx
    0017f9b6jmp 0x17fa20
    0017f9b8
    0017f9b8loc_17f9b8:
    0017f9b8mov [rsp], rax
    0017f9bclea rax, [rip+0x196fdd]
    0017f9c3mov rdi, [rax+776]
    0017f9camov rsi, [rsp+24]
    0017f9cfmov rbx, rsp
    0017f9d2mov rsp, [r14+64]
    0017f9d6call caml_modify
    0017f9dbmov rsp, rbx
    0017f9demov eax, 1
    0017f9e3call camlLexstate.restore_lexstate_882
    0017f9e8mov rdi, [rsp+8]
    0017f9edlea rax, [rip+0x9005c]
    0017f9f4call caml_c_call
    0017f9f9lea rax, [rip+0x1aa670]
    0017fa00mov rax, [rax+80]
    0017fa04mov rbx, [rsp+16]
    0017fa09mov [rax], rbx
    0017fa0cmov rax, [rsp]
    0017fa10mov rsp, [r14+48]
    0017fa14pop [r14+48]
    0017fa18pop r11
    0017fa1ajmp r11
    0017fa1dnop [rax]
    0017fa20
    0017fa20loc_17fa20:
    0017fa20mov eax, 1
    0017fa25call camlLexstate.restore_lexstate_882
    0017fa2alea rax, [rip+0x1aa63f]
    0017fa31mov rax, [rax+80]
    0017fa35mov rax, [rax]
    0017fa38cmp rax, 3
    0017fa3cjle 0x17fa54
    0017fa3elea rax, [rip+0x197c43]
    0017fa45mov rbx, [rsp+48]
    0017fa4acall camlStdlib.$5e_139
    0017fa4fcall camlStdlib.prerr_endline_390
    0017fa54
    0017fa54loc_17fa54:
    0017fa54mov rdi, [rsp+8]
    0017fa59lea rax, [rip+0x8fff0]
    0017fa60call caml_c_call
    0017fa65lea rax, [rip+0x1aa604]
    0017fa6cmov rax, [rax+80]
    0017fa70mov rbx, [rsp+16]
    0017fa75mov [rax], rbx
    0017fa78mov eax, 1
    0017fa7dadd rsp, 56
    0017fa81jmp 0x193210
    0017fa86
    0017fa86loc_17fa86:
    0017fa86push 42
    0017fa88call caml_call_realloc_stack
    0017fa8dpop r10
    0017fa8fjmp 0x17f882
    0017f870
    0017fa94
    0017fa94 // align 0x10
    0017faa0
    0017faa0camlLexstate.input_file_1245:
    0017faa0lea r10, [rsp-360]
    0017faa8cmp r10, [r14+40]
    0017faacjb 0x17fb95
    0017fab2
    0017fab2loc_17fab2:
    0017fab2sub rsp, 24
    0017fab6mov [rsp+8], rax
    0017fabbmov [rsp+16], rbx
    0017fac0mov rax, rdi
    0017fac3mov [rsp], rax
    0017fac7lea r11, [rip+50]
    0017facepush r11
    0017fad0push [r14+48]
    0017fad4mov [r14+48], rsp
    0017fad8call camlMyfiles.open_tex_528
    0017faddmov rsi, [rax+8]
    0017fae1mov rdi, [rax]
    0017fae4mov rax, [rsp+24]
    0017fae9mov rbx, [rsp+32]
    0017faeecall camlLexstate.real_input_file_1235
    0017faf3pop [r14+48]
    0017faf7add rsp, 8
    0017fafbjmp 0x17fb90
    0017fb00lea rbx, [rip+0x1a2159]
    0017fb07mov rdi, [rbx+8]
    0017fb0bcmp rax, rdi
    0017fb0ejne 0x17fb54
    0017fb10lea rax, [rip+0x1aa559]
    0017fb17mov rax, [rax+80]
    0017fb1bmov rax, [rax]
    0017fb1ecmp rax, 1
    0017fb22jle 0x17fb39
    0017fb24lea rax, [rip+0x197b3d]
    0017fb2bmov rbx, [rsp]
    0017fb2fcall camlStdlib.$5e_139
    0017fb34call camlStdlib.prerr_endline_390
    0017fb39
    0017fb39loc_17fb39:
    0017fb39lea rax, [rip+0x1a2120]
    0017fb40mov rax, [rax+8]
    0017fb44mov rsp, [r14+48]
    0017fb48pop [r14+48]
    0017fb4cpop r11
    0017fb4ejmp r11
    0017fb51nop [rax]
    0017fb54
    0017fb54loc_17fb54:
    0017fb54mov rbx, [rbx]
    0017fb57mov rdi, [rax]
    0017fb5acmp rdi, rbx
    0017fb5djne 0x17fb80
    0017fb5fmov [rsp], rax
    0017fb63mov rax, [rax+8]
    0017fb67call camlMisc.warning_287
    0017fb6cmov rax, [rsp]
    0017fb70mov rsp, [r14+48]
    0017fb74pop [r14+48]
    0017fb78pop r11
    0017fb7ajmp r11
    0017fb7dnop [rax]
    0017fb80
    0017fb80loc_17fb80:
    0017fb80mov rsp, [r14+48]
    0017fb84pop [r14+48]
    0017fb88pop r11
    0017fb8ajmp r11
    0017fb8dnop [rax]
    0017fb90
    0017fb90loc_17fb90:
    0017fb90add rsp, 24
    0017fb94ret
    0017fb95
    0017fb95loc_17fb95:
    0017fb95push 38
    0017fb97call caml_call_realloc_stack
    0017fb9cpop r10
    0017fb9ejmp 0x17fab2
    0017faa0
    0017fba3
    0017fba3 // align 0x10
    0017fbb0
    0017fbb0camlLexstate.checkpoint_1262:
    0017fbb0lea r10, [rsp-320]
    0017fbb8cmp r10, [r14+40]
    0017fbbcjb 0x17fc13
    0017fbbe
    0017fbbeloc_17fbbe:
    0017fbbelea rax, [rip+0x196ddb]
    0017fbc5mov rax, [rax+952]
    0017fbccmov rbx, [rax]
    0017fbcflea rax, [rip+0x19648a]
    0017fbd6call Stdlib.List.map
    0017fbdbsub r15, 24
    0017fbdfcmp r15, [r14]
    0017fbe2jb 0x17fc0c
    0017fbe4
    0017fbe4loc_17fbe4:
    0017fbe4lea rbx, [r15+8]
    0017fbe8mov [rbx-8], 2048
    0017fbf0lea rdi, [rip+0x196da9]
    0017fbf7mov rdi, [rdi+952]
    0017fbfemov rdi, [rdi]
    0017fc01mov [rbx], rdi
    0017fc04mov [rbx+8], rax
    0017fc08mov rax, rbx
    0017fc0bret
    0017fc0c
    0017fc0cloc_17fc0c:
    0017fc0ccall caml_call_gc
    0017fc11jmp 0x17fbe4
    0017fc13
    0017fc13loc_17fc13:
    0017fc13push 33
    0017fc15call caml_call_realloc_stack
    0017fc1apop r10
    0017fc1cjmp 0x17fbbe
    0017fbb0
    0017fc1e
    0017fc1e // align 0x10
    0017fc20
    0017fc20camlLexstate.fun_1734:
    0017fc20mov rax, [rbx]
    0017fc23ret
    0017fc20
    0017fc24
    0017fc24 // align 0x10
    0017fc30
    0017fc30camlLexstate.hot_start_1263:
    0017fc30lea r10, [rsp-328]
    0017fc38cmp r10, [r14+40]
    0017fc3cjb 0x17fc76
    0017fc3e
    0017fc3eloc_17fc3e:
    0017fc3esub rsp, 8
    0017fc42mov [rsp], rax
    0017fc46call camlLexstate.start_rec_1269
    0017fc4blea rax, [rip+0x196d4e]
    0017fc52mov rdi, [rax+952]
    0017fc59mov rsi, [rsp]
    0017fc5dmov rbx, rsp
    0017fc60mov rsp, [r14+64]
    0017fc64call caml_modify
    0017fc69mov rsp, rbx
    0017fc6cmov eax, 1
    0017fc71add rsp, 8
    0017fc75ret
    0017fc76
    0017fc76loc_17fc76:
    0017fc76push 34
    0017fc78call caml_call_realloc_stack
    0017fc7dpop r10
    0017fc7fjmp 0x17fc3e
    0017fc30
    0017fc81
    0017fc81 // align 0x10
    0017fc90
    0017fc90camlLexstate.start_rec_1269:
    0017fc90lea r10, [rsp-352]
    0017fc98cmp r10, [r14+40]
    0017fc9cjb 0x17fd8a
    0017fca2
    0017fca2loc_17fca2:
    0017fca2sub rsp, 32
    0017fca6
    0017fca6loc_17fca6:
    0017fca6cmp r15, [r14]
    0017fca9jbe 0x17fd80
    0017fcaf
    0017fcafloc_17fcaf:
    0017fcaftest al, 1
    0017fcb1je 0x17fcc8
    0017fcb3test bl, 1
    0017fcb6je 0x17fd70
    0017fcbcmov eax, 1
    0017fcc1add rsp, 32
    0017fcc5ret
    0017fcc6
    0017fcc6 66 90 f.
    0017fcc8
    0017fcc8loc_17fcc8:
    0017fcc8test bl, 1
    0017fccbjne 0x17fd70
    0017fcd1mov [rsp+8], rbx
    0017fcd6mov [rsp+16], rax
    0017fcdbmov rbx, [rbx]
    0017fcdemov [rsp], rbx
    0017fce2mov rax, [rax]
    0017fce5mov [rsp+24], rax
    0017fcealea rax, [rip+0x1aa37f]
    0017fcf1mov rax, [rax+80]
    0017fcf5mov rax, [rax]
    0017fcf8cmp rax, 3
    0017fcfcjle 0x17fd47
    0017fcfecmp rbx, 1
    0017fd02je 0x17fd10
    0017fd04lea rbx, [rip+0x197925]
    0017fd0bjmp 0x17fd17
    0017fd0d
    0017fd0d 0f 1f 00 ...
    0017fd10
    0017fd10loc_17fd10:
    0017fd10lea rbx, [rip+0x197909]
    0017fd17
    0017fd17loc_17fd17:
    0017fd17lea rax, [rip+0x197922]
    0017fd1ecall camlStdlib.$5e_139
    0017fd23mov rbx, rax
    0017fd26mov rax, [rsp+24]
    0017fd2bmov rax, [rax]
    0017fd2ecall camlStdlib.$5e_139
    0017fd33mov rbx, rax
    0017fd36lea rax, [rip+0x197913]
    0017fd3dcall camlStdlib.$5e_139
    0017fd42call camlStdlib.prerr_endline_390
    0017fd47
    0017fd47loc_17fd47:
    0017fd47mov rax, [rsp+24]
    0017fd4cmov rax, [rax+8]
    0017fd50mov rbx, [rsp]
    0017fd54mov [rax], rbx
    0017fd57mov rax, [rsp+8]
    0017fd5cmov rbx, [rax+8]
    0017fd60mov rax, [rsp+16]
    0017fd65mov rax, [rax+8]
    0017fd69jmp 0x17fca6
    0017fd6e
    0017fd6e 66 90 f.
    0017fd70
    0017fd70loc_17fd70:
    0017fd70lea rax, [rip+0x197881]
    0017fd77add rsp, 32
    0017fd7bjmp 0x191ae0
    0017fd80
    0017fd80loc_17fd80:
    0017fd80call caml_call_gc
    0017fd85jmp 0x17fcaf
    0017fd8a
    0017fd8aloc_17fd8a:
    0017fd8apush 37
    0017fd8ccall caml_call_realloc_stack
    0017fd91pop r10
    0017fd93jmp 0x17fca2
    0017fc90
    0017fd98
    0017fd98 // align 0x10
    0017fda0
    0017fda0camlLexstate.register_cell_1278:
    0017fda0sub r15, 48
    0017fda4cmp r15, [r14]
    0017fda7jb 0x17fdf9
    0017fda9
    0017fda9loc_17fda9:
    0017fda9lea rdi, [r15+8]
    0017fdadadd rdi, 24
    0017fdb1mov [rdi-8], 2048
    0017fdb9mov [rdi], rax
    0017fdbcmov [rdi+8], rbx
    0017fdc0lea rsi, [rdi-24]
    0017fdc4mov [rsi-8], 2048
    0017fdccmov [rsi], rdi
    0017fdcflea rax, [rip+0x196bca]
    0017fdd6mov rdi, [rax+952]
    0017fdddmov rax, [rdi]
    0017fde0mov [rsi+8], rax
    0017fde4mov rbx, rsp
    0017fde7mov rsp, [r14+64]
    0017fdebcall caml_modify
    0017fdf0mov rsp, rbx
    0017fdf3mov eax, 1
    0017fdf8ret
    0017fdf9
    0017fdf9loc_17fdf9:
    0017fdf9call caml_call_gc
    0017fdfejmp 0x17fda9
    0017fda0
    0017fe00
    0017fe00camlLexstate.unregister_cell_1279:
    0017fe00lea r10, [rsp-320]
    0017fe08cmp r10, [r14+40]
    0017fe0cjb 0x17fe82
    0017fe0e
    0017fe0eloc_17fe0e:
    0017fe0esub r15, 32
    0017fe12cmp r15, [r14]
    0017fe15jb 0x17fe7b
    0017fe17
    0017fe17loc_17fe17:
    0017fe17lea rbx, [r15+8]
    0017fe1bmov [rbx-8], 3319
    0017fe23lea rdi, [rip+102]
    0017fe2amov [rbx], rdi
    0017fe2dmov rdi, 0x100000000000005
    0017fe37mov [rbx+8], rdi
    0017fe3bmov [rbx+16], rax
    0017fe3flea rax, [rip+0x196b5a]
    0017fe46mov rax, [rax+952]
    0017fe4dmov rax, [rax]
    0017fe50call camlLexstate.un_rec_1285
    0017fe55lea rbx, [rip+0x196b44]
    0017fe5cmov rdi, [rbx+952]
    0017fe63mov rsi, rax
    0017fe66mov rbx, rsp
    0017fe69mov rsp, [r14+64]
    0017fe6dcall caml_modify
    0017fe72mov rsp, rbx
    0017fe75mov eax, 1
    0017fe7aret
    0017fe7b
    0017fe7bloc_17fe7b:
    0017fe7bcall caml_call_gc
    0017fe80jmp 0x17fe17
    0017fe82
    0017fe82loc_17fe82:
    0017fe82push 33
    0017fe84call caml_call_realloc_stack
    0017fe89pop r10
    0017fe8bjmp 0x17fe0e
    0017fe00
    0017fe8d
    0017fe8d // align 0x10
    0017fe90
    0017fe90camlLexstate.un_rec_1285:
    0017fe90lea r10, [rsp-344]
    0017fe98cmp r10, [r14+40]
    0017fe9cjb 0x17ff6d
    0017fea2
    0017fea2loc_17fea2:
    0017fea2sub rsp, 24
    0017fea6mov r12, rbx
    0017fea9test al, 1
    0017feabje 0x17fed0
    0017feadmov rbx, [r12+16]
    0017feb2lea rax, [rip+0x197717]
    0017feb9call camlStdlib.$5e_139
    0017febecall camlMisc.warning_287
    0017fec3mov eax, 1
    0017fec8add rsp, 24
    0017feccret
    0017fecd
    0017fecd 0f 1f 00 ...
    0017fed0
    0017fed0loc_17fed0:
    0017fed0mov rbx, [rax+8]
    0017fed4mov [rsp+16], rbx
    0017fed9mov r13, [rax]
    0017fedcmov rbp, [r13]
    0017fee0mov rsi, [r12+16]
    0017fee5mov rdi, rbp
    0017fee8mov rbx, rsp
    0017feebmov rsp, [r14+64]
    0017feefcall caml_string_equal
    0017fef4mov rsp, rbx
    0017fef7cmp rax, 1
    0017fefbje 0x17ff08
    0017fefdmov rax, [rsp+16]
    0017ff02add rsp, 24
    0017ff06ret
    0017ff07
    0017ff07 90 .
    0017ff08
    0017ff08loc_17ff08:
    0017ff08mov [rsp], rbp
    0017ff0cmov [rsp+8], r13
    0017ff11mov rax, [rsp+16]
    0017ff16mov rbx, r12
    0017ff19call camlLexstate.un_rec_1285
    0017ff1esub r15, 48
    0017ff22cmp r15, [r14]
    0017ff25jb 0x17ff66
    0017ff27
    0017ff27loc_17ff27:
    0017ff27lea rbx, [r15+8]
    0017ff2badd rbx, 24
    0017ff2fmov [rbx-8], 2048
    0017ff37mov rdi, [rsp]
    0017ff3bmov [rbx], rdi
    0017ff3emov rdi, [rsp+8]
    0017ff43mov rdi, [rdi+8]
    0017ff47mov [rbx+8], rdi
    0017ff4blea rdi, [rbx-24]
    0017ff4fmov [rdi-8], 2048
    0017ff57mov [rdi], rbx
    0017ff5amov [rdi+8], rax
    0017ff5emov rax, rdi
    0017ff61add rsp, 24
    0017ff65ret
    0017ff66
    0017ff66loc_17ff66:
    0017ff66call caml_call_gc
    0017ff6bjmp 0x17ff27
    0017ff6d
    0017ff6dloc_17ff6d:
    0017ff6dpush 36
    0017ff6fcall caml_call_realloc_stack
    0017ff74pop r10
    0017ff76jmp 0x17fea2
    0017fe90
    0017ff7b
    0017ff7b // align 0x10
    0017ff80
    0017ff80camlLexstate.entry:
    0017ff80lea r10, [rsp-408]
    0017ff88cmp r10, [r14+40]
    0017ff8cjb 0x181440
    0017ff92
    0017ff92loc_17ff92:
    0017ff92sub rsp, 88
    0017ff96lea rax, [rip+0x197ce3]
    0017ff9dlea rbx, [rip+0x1bc25c]
    0017ffa4mov rbx, [rbx+48]
    0017ffa8sub r15, 40
    0017ffaccall caml_allocN
    0017ffb1lea rsi, [r15+8]
    0017ffb5mov [rsi-8], 4343
    0017ffbdlea rdi, [rip-16068]
    0017ffc4mov [rsi], rdi
    0017ffc7mov rdi, 0x100000000000005
    0017ffd1mov [rsi+8], rdi
    0017ffd5mov [rsi+16], rax
    0017ffd9mov [rsi+24], rbx
    0017ffddlea rdi, [rip+0x1969bc]
    0017ffe4add rdi, 8
    0017ffe8mov rbx, rsp
    0017ffebmov rsp, [r14+64]
    0017ffefcall caml_initialize
    0017fff4mov rsp, rbx
    0017fff7lea rsi, [rip+0x196082]
    0017fffelea rdi, [rip+0x19699b]
    00180005mov rbx, rsp
    00180008mov rsp, [r14+64]
    0018000ccall caml_initialize
    00180011mov rsp, rbx
    00180014lea rsi, [rip+0x19607d]
    0018001blea rdi, [rip+0x19697e]
    00180022add rdi, 16
    00180026mov rbx, rsp
    00180029mov rsp, [r14+64]
    0018002dcall caml_initialize
    00180032mov rsp, rbx
    00180035lea rsi, [rip+0x196074]
    0018003clea rdi, [rip+0x19695d]
    00180043add rdi, 24
    00180047mov rbx, rsp
    0018004amov rsp, [r14+64]
    0018004ecall caml_initialize
    00180053mov rsp, rbx
    00180056lea rsi, [rip+0x19606b]
    0018005dlea rdi, [rip+0x19693c]
    00180064add rdi, 32
    00180068mov rbx, rsp
    0018006bmov rsp, [r14+64]
    0018006fcall caml_initialize
    00180074mov rsp, rbx
    00180077lea rsi, [rip+0x19606a]
    0018007elea rdi, [rip+0x19691b]
    00180085add rdi, 40
    00180089mov rbx, rsp
    0018008cmov rsp, [r14+64]
    00180090call caml_initialize
    00180095mov rsp, rbx
    00180098lea rsi, [rip+0x196061]
    0018009flea rdi, [rip+0x1968fa]
    001800a6add rdi, 48
    001800aamov rbx, rsp
    001800admov rsp, [r14+64]
    001800b1call caml_initialize
    001800b6mov rsp, rbx
    001800b9mov ebx, 1
    001800bemov eax, 1
    001800c3call camlLexstate.latex_pat_577
    001800c8mov [rsp], rax
    001800ccmov ebx, 3
    001800d1mov eax, 1
    001800d6call camlLexstate.latex_pat_577
    001800dbmov r12, rax
    001800delea rdi, [rip+0x1968bb]
    001800e5add rdi, 56
    001800e9mov rsi, [rsp]
    001800edmov rbx, rsp
    001800f0mov rsp, [r14+64]
    001800f4call caml_initialize
    001800f9mov rsp, rbx
    001800fclea rdi, [rip+0x19689d]
    00180103add rdi, 64
    00180107mov rsi, r12
    0018010amov rbx, rsp
    0018010dmov rsp, [r14+64]
    00180111call caml_initialize
    00180116mov rsp, rbx
    00180119lea rsi, [rip+0x196000]
    00180120lea rdi, [rip+0x196879]
    00180127add rdi, 72
    0018012bmov rbx, rsp
    0018012emov rsp, [r14+64]
    00180132call caml_initialize
    00180137mov rsp, rbx
    0018013alea rsi, [rip+0x195fff]
    00180141lea rdi, [rip+0x196858]
    00180148add rdi, 120
    0018014cmov rbx, rsp
    0018014fmov rsp, [r14+64]
    00180153call caml_initialize
    00180158mov rsp, rbx
    0018015bcall caml_alloc3
    00180160lea rsi, [r15+8]
    00180164add rsi, 16
    00180168mov [rsi-8], 1024
    00180170mov [rsi], 1
    00180177lea r12, [rsi-16]
    0018017bmov [r12-8], 1024
    00180184mov [r12], 1
    0018018clea rdi, [rip+0x19680d]
    00180193add rdi, 728
    0018019amov rbx, rsp
    0018019dmov rsp, [r14+64]
    001801a1call caml_initialize
    001801a6mov rsp, rbx
    001801a9lea rdi, [rip+0x1967f0]
    001801b0add rdi, 168
    001801b7mov rsi, r12
    001801bamov rbx, rsp
    001801bdmov rsp, [r14+64]
    001801c1call caml_initialize
    001801c6mov rsp, rbx
    001801c9call caml_alloc3
    001801celea rax, [r15+8]
    001801d2mov [rsp], rax
    001801d6mov [rax-8], 3072
    001801demov [rax], 1
    001801e5lea rbx, [rip+0x197314]
    001801ecmov [rax+8], rbx
    001801f0mov [rax+16], 1
    001801f8mov ebx, 1
    001801fdlea rax, [rip+0x1972e4]
    00180204call camlMyStack.create_init_278
    00180209mov r12, rax
    0018020clea rdi, [rip+0x19678d]
    00180213add rdi, 736
    0018021amov rsi, [rsp]
    0018021emov rbx, rsp
    00180221mov rsp, [r14+64]
    00180225call caml_initialize
    0018022amov rsp, rbx
    0018022dlea rdi, [rip+0x19676c]
    00180234add rdi, 456
    0018023bmov rsi, r12
    0018023emov rbx, rsp
    00180241mov rsp, [r14+64]
    00180245call caml_initialize
    0018024amov rsp, rbx
    0018024dlea rsi, [rip+0x195f04]
    00180254lea rdi, [rip+0x196745]
    0018025badd rdi, 96
    0018025fmov rbx, rsp
    00180262mov rsp, [r14+64]
    00180266call caml_initialize
    0018026bmov rsp, rbx
    0018026emov esi, 1
    00180273lea rdi, [rip+0x196726]
    0018027aadd rdi, 88
    0018027emov rbx, rsp
    00180281mov rsp, [r14+64]
    00180285call caml_initialize
    0018028amov rsp, rbx
    0018028dlea rsi, [rip+0x195edc]
    00180294lea rdi, [rip+0x196705]
    0018029badd rdi, 744
    001802a2mov rbx, rsp
    001802a5mov rsp, [r14+64]
    001802a9call caml_initialize
    001802aemov rsp, rbx
    001802b1lea rsi, [rip+0x195ed0]
    001802b8lea rdi, [rip+0x1966e1]
    001802bfadd rdi, 752
    001802c6mov rbx, rsp
    001802c9mov rsp, [r14+64]
    001802cdcall caml_initialize
    001802d2mov rsp, rbx
    001802d5lea rsi, [rip+0x195ecc]
    001802dclea rdi, [rip+0x1966bd]
    001802e3add rdi, 312
    001802eamov rbx, rsp
    001802edmov rsp, [r14+64]
    001802f1call caml_initialize
    001802f6mov rsp, rbx
    001802f9mov edi, 1
    001802femov rbx, rsp
    00180301mov rsp, [r14+64]
    00180305call caml_fresh_oo_id
    0018030amov rsp, rbx
    0018030dcall caml_alloc2
    00180312lea rsi, [r15+8]
    00180316mov [rsi-8], 2296
    0018031elea rbx, [rip+0x1970db]
    00180325mov [rsi], rbx
    00180328mov [rsi+8], rax
    0018032clea rdi, [rip+0x19666d]
    00180333add rdi, 104
    00180337mov rbx, rsp
    0018033amov rsp, [r14+64]
    0018033ecall caml_initialize
    00180343mov rsp, rbx
    00180346mov edi, 1
    0018034bmov rbx, rsp
    0018034emov rsp, [r14+64]
    00180352call caml_fresh_oo_id
    00180357mov rsp, rbx
    0018035acall caml_alloc2
    0018035flea rsi, [r15+8]
    00180363mov [rsi-8], 2296
    0018036blea rbx, [rip+0x19706e]
    00180372mov [rsi], rbx
    00180375mov [rsi+8], rax
    00180379lea rdi, [rip+0x196620]
    00180380add rdi, 112
    00180384mov rbx, rsp
    00180387mov rsp, [r14+64]
    0018038bcall caml_initialize
    00180390mov rsp, rbx
    00180393sub r15, 224
    0018039acall caml_allocN
    0018039flea rax, [r15+8]
    001803a3add rax, 208
    001803a9mov [rsp], rax
    001803admov [rax-8], 1024
    001803b5mov [rax], 1
    001803bcadd rax, -16
    001803c0mov [rsp+8], rax
    001803c5mov [rax-8], 1024
    001803cdmov [rax], 1
    001803d4add rax, -16
    001803d8mov [rsp+16], rax
    001803ddmov [rax-8], 1024
    001803e5mov [rax], 1
    001803ecadd rax, -16
    001803f0mov [rsp+24], rax
    001803f5mov [rax-8], 1024
    001803fdmov [rax], 1
    00180404add rax, -16
    00180408mov [rsp+32], rax
    0018040dmov [rax-8], 1024
    00180415mov [rax], 1
    0018041cadd rax, -16
    00180420mov [rsp+40], rax
    00180425mov [rax-8], 1024
    0018042dmov [rax], 1
    00180434add rax, -16
    00180438mov [rsp+48], rax
    0018043dmov [rax-8], 1024
    00180445mov [rax], 1
    0018044cadd rax, -16
    00180450mov [rsp+56], rax
    00180455mov [rax-8], 1024
    0018045dmov [rax], 1
    00180464add rax, -16
    00180468mov [rsp+64], rax
    0018046dmov [rax-8], 1024
    00180475mov [rax], 3
    0018047clea rbx, [rax-16]
    00180480mov [rsp+72], rbx
    00180485mov [rbx-8], 1024
    0018048dlea rax, [rip+0x1a81ac]
    00180494mov rax, [rax+8]
    00180498mov rdi, [rax]
    0018049bcmp rdi, 1
    0018049fsete al
    001804a2movzx rax, al
    001804a6lea rax, [rax+rax+1]
    001804abmov [rbx], rax
    001804aelea r13, [rbx-16]
    001804b2mov [r13-8], 1024
    001804bacmp rdi, 1
    001804besetne al
    001804c1movzx rax, al
    001804c5lea rax, [rax+rax+1]
    001804camov [r13], rax
    001804celea r12, [r13-16]
    001804d2mov [r12-8], 1024
    001804dbmov [r12], 1
    001804e3lea rbp, [r12-16]
    001804e8mov [rbp-8], 1024
    001804f0mov [rbp], 1
    001804f8lea rax, [rbp-16]
    001804fcmov [rsp+80], rax
    00180501mov rax, [rsp+80]
    00180506mov [rax-8], 1024
    0018050emov rax, [rsp+80]
    00180513mov [rax], 1
    0018051alea rdi, [rip+0x19647f]
    00180521add rdi, 136
    00180528mov rsi, [rsp]
    0018052cmov rbx, rsp
    0018052fmov rsp, [r14+64]
    00180533call caml_initialize
    00180538mov rsp, rbx
    0018053blea rdi, [rip+0x19645e]
    00180542add rdi, 128
    00180549mov rsi, [rsp+8]
    0018054emov rbx, rsp
    00180551mov rsp, [r14+64]
    00180555call caml_initialize
    0018055amov rsp, rbx
    0018055dlea rdi, [rip+0x19643c]
    00180564add rdi, 144
    0018056bmov rsi, [rsp+16]
    00180570mov rbx, rsp
    00180573mov rsp, [r14+64]
    00180577call caml_initialize
    0018057cmov rsp, rbx
    0018057flea rdi, [rip+0x19641a]
    00180586add rdi, 152
    0018058dmov rsi, [rsp+24]
    00180592mov rbx, rsp
    00180595mov rsp, [r14+64]
    00180599call caml_initialize
    0018059emov rsp, rbx
    001805a1lea rdi, [rip+0x1963f8]
    001805a8add rdi, 160
    001805afmov rsi, [rsp+32]
    001805b4mov rbx, rsp
    001805b7mov rsp, [r14+64]
    001805bbcall caml_initialize
    001805c0mov rsp, rbx
    001805c3lea rdi, [rip+0x1963d6]
    001805caadd rdi, 176
    001805d1mov rsi, [rsp+40]
    001805d6mov rbx, rsp
    001805d9mov rsp, [r14+64]
    001805ddcall caml_initialize
    001805e2mov rsp, rbx
    001805e5lea rdi, [rip+0x1963b4]
    001805ecadd rdi, 184
    001805f3mov rsi, [rsp+48]
    001805f8mov rbx, rsp
    001805fbmov rsp, [r14+64]
    001805ffcall caml_initialize
    00180604mov rsp, rbx
    00180607lea rdi, [rip+0x196392]
    0018060eadd rdi, 192
    00180615mov rsi, [rsp+56]
    0018061amov rbx, rsp
    0018061dmov rsp, [r14+64]
    00180621call caml_initialize
    00180626mov rsp, rbx
    00180629lea rdi, [rip+0x196370]
    00180630add rdi, 200
    00180637mov rsi, [rsp+64]
    0018063cmov rbx, rsp
    0018063fmov rsp, [r14+64]
    00180643call caml_initialize
    00180648mov rsp, rbx
    0018064blea rdi, [rip+0x19634e]
    00180652add rdi, 208
    00180659mov rsi, [rsp+72]
    0018065emov rbx, rsp
    00180661mov rsp, [r14+64]
    00180665call caml_initialize
    0018066amov rsp, rbx
    0018066dlea rdi, [rip+0x19632c]
    00180674add rdi, 216
    0018067bmov rsi, r13
    0018067emov rbx, rsp
    00180681mov rsp, [r14+64]
    00180685call caml_initialize
    0018068amov rsp, rbx
    0018068dlea rdi, [rip+0x19630c]
    00180694add rdi, 224
    0018069bmov rsi, r12
    0018069emov rbx, rsp
    001806a1mov rsp, [r14+64]
    001806a5call caml_initialize
    001806aamov rsp, rbx
    001806adlea rdi, [rip+0x1962ec]
    001806b4add rdi, 264
    001806bbmov rsi, rbp
    001806bemov rbx, rsp
    001806c1mov rsp, [r14+64]
    001806c5call caml_initialize
    001806camov rsp, rbx
    001806cdlea rdi, [rip+0x1962cc]
    001806d4add rdi, 272
    001806dbmov rsi, [rsp+80]
    001806e0mov rbx, rsp
    001806e3mov rsp, [r14+64]
    001806e7call caml_initialize
    001806ecmov rsp, rbx
    001806efcall caml_alloc1
    001806f4lea rsi, [r15+8]
    001806f8mov [rsi-8], 1024
    00180700mov [rsi], 5
    00180707lea rdi, [rip+0x196292]
    0018070eadd rdi, 280
    00180715mov rbx, rsp
    00180718mov rsp, [r14+64]
    0018071ccall caml_initialize
    00180721mov rsp, rbx
    00180724lea rsi, [rip+0x195a95]
    0018072blea rdi, [rip+0x19626e]
    00180732add rdi, 80
    00180736mov rbx, rsp
    00180739mov rsp, [r14+64]
    0018073dcall caml_initialize
    00180742mov rsp, rbx
    00180745sub r15, 64
    00180749call caml_allocN
    0018074elea rsi, [r15+8]
    00180752add rsi, 32
    00180756mov [rsi-8], 3072
    0018075emov [rsi], 1
    00180765lea rax, [rip+0x196c44]
    0018076cmov [rsi+8], rax
    00180770mov [rsi+16], 1
    00180778lea r12, [rsi-32]
    0018077cmov [r12-8], 3072
    00180785mov [r12], 1
    0018078dlea rax, [rip+0x196c04]
    00180794mov [r12+8], rax
    00180799mov [r12+16], 1
    001807a2lea rdi, [rip+0x1961f7]
    001807a9add rdi, 440
    001807b0mov rbx, rsp
    001807b3mov rsp, [r14+64]
    001807b7call caml_initialize
    001807bcmov rsp, rbx
    001807bflea rdi, [rip+0x1961da]
    001807c6add rdi, 448
    001807cdmov rsi, r12
    001807d0mov rbx, rsp
    001807d3mov rsp, [r14+64]
    001807d7call caml_initialize
    001807dcmov rsp, rbx
    001807dfcall caml_alloc3
    001807e4lea rsi, [r15+8]
    001807e8mov [rsi-8], 3072
    001807f0mov [rsi], 1
    001807f7lea rax, [rip+0x196b82]
    001807femov [rsi+8], rax
    00180802mov [rsi+16], 1
    0018080alea rdi, [rip+0x19618f]
    00180811add rdi, 344
    00180818mov rbx, rsp
    0018081bmov rsp, [r14+64]
    0018081fcall caml_initialize
    00180824mov rsp, rbx
    00180827lea rsi, [rip+0x1959aa]
    0018082elea rdi, [rip+0x19616b]
    00180835add rdi, 320
    0018083cmov rbx, rsp
    0018083fmov rsp, [r14+64]
    00180843call caml_initialize
    00180848mov rsp, rbx
    0018084blea rax, [rip+0x19599e]
    00180852mov [rsp], rax
    00180856mov esi, 3
    0018085bmov edi, 29
    00180860lea rax, [rip+0x79439]
    00180867call caml_c_call
    0018086cmov r12, rax
    0018086flea rdi, [rip+0x19612a]
    00180876add rdi, 760
    0018087dmov rsi, [rsp]
    00180881mov rbx, rsp
    00180884mov rsp, [r14+64]
    00180888call caml_initialize
    0018088dmov rsp, rbx
    00180890lea rdi, [rip+0x196109]
    00180897add rdi, 768
    0018089emov rsi, r12
    001808a1mov rbx, rsp
    001808a4mov rsp, [r14+64]
    001808a8call caml_initialize
    001808admov rsp, rbx
    001808b0lea rsi, [rip+0x1959a1]
    001808b7lea r12, [rip+0x195982]
    001808belea r13, [rip+0x195963]
    001808c5lea rbp, [rip+0x19593c]
    001808cclea rdi, [rip+0x1960cd]
    001808d3add rdi, 232
    001808damov rbx, rsp
    001808ddmov rsp, [r14+64]
    001808e1call caml_initialize
    001808e6mov rsp, rbx
    001808e9lea rdi, [rip+0x1960b0]
    001808f0add rdi, 240
    001808f7mov rsi, r12
    001808famov rbx, rsp
    001808fdmov rsp, [r14+64]
    00180901call caml_initialize
    00180906mov rsp, rbx
    00180909lea rdi, [rip+0x196090]
    00180910add rdi, 248
    00180917mov rsi, r13
    0018091amov rbx, rsp
    0018091dmov rsp, [r14+64]
    00180921call caml_initialize
    00180926mov rsp, rbx
    00180929lea rdi, [rip+0x196070]
    00180930add rdi, 256
    00180937mov rsi, rbp
    0018093amov rbx, rsp
    0018093dmov rsp, [r14+64]
    00180941call caml_initialize
    00180946mov rsp, rbx
    00180949lea rsi, [rip+0x195938]
    00180950lea r12, [rip+0x195919]
    00180957lea rdi, [rip+0x196042]
    0018095eadd rdi, 288
    00180965mov rbx, rsp
    00180968mov rsp, [r14+64]
    0018096ccall caml_initialize
    00180971mov rsp, rbx
    00180974lea rdi, [rip+0x196025]
    0018097badd rdi, 296
    00180982mov rsi, r12
    00180985mov rbx, rsp
    00180988mov rsp, [r14+64]
    0018098ccall caml_initialize
    00180991mov rsp, rbx
    00180994lea rsi, [rip+0x195905]
    0018099blea rdi, [rip+0x195ffe]
    001809a2add rdi, 304
    001809a9mov rbx, rsp
    001809acmov rsp, [r14+64]
    001809b0call caml_initialize
    001809b5mov rsp, rbx
    001809b8lea rsi, [rip+0x195919]
    001809bflea r12, [rip+0x1958f2]
    001809c6lea rdi, [rip+0x195fd3]
    001809cdadd rdi, 328
    001809d4mov rbx, rsp
    001809d7mov rsp, [r14+64]
    001809dbcall caml_initialize
    001809e0mov rsp, rbx
    001809e3lea rdi, [rip+0x195fb6]
    001809eaadd rdi, 336
    001809f1mov rsi, r12
    001809f4mov rbx, rsp
    001809f7mov rsp, [r14+64]
    001809fbcall caml_initialize
    00180a00mov rsp, rbx
    00180a03lea rsi, [rip+0x195906]
    00180a0alea r12, [rip+0x1958e7]
    00180a11lea rdi, [rip+0x195f88]
    00180a18add rdi, 360
    00180a1fmov rbx, rsp
    00180a22mov rsp, [r14+64]
    00180a26call caml_initialize
    00180a2bmov rsp, rbx
    00180a2elea rdi, [rip+0x195f6b]
    00180a35add rdi, 352
    00180a3cmov rsi, r12
    00180a3fmov rbx, rsp
    00180a42mov rsp, [r14+64]
    00180a46call caml_initialize
    00180a4bmov rsp, rbx
    00180a4ecall caml_alloc3
    00180a53lea rsi, [r15+8]
    00180a57mov [rsi-8], 3072
    00180a5fmov [rsi], 1
    00180a66lea rax, [rip+0x196703]
    00180a6dmov [rsi+8], rax
    00180a71mov [rsi+16], 1
    00180a79lea rdi, [rip+0x195f20]
    00180a80add rdi, 776
    00180a87mov rbx, rsp
    00180a8amov rsp, [r14+64]
    00180a8ecall caml_initialize
    00180a93mov rsp, rbx
    00180a96lea rsi, [rip+0x195893]
    00180a9dlea rdi, [rip+0x195efc]
    00180aa4add rdi, 368
    00180aabmov rbx, rsp
    00180aaemov rsp, [r14+64]
    00180ab2call caml_initialize
    00180ab7mov rsp, rbx
    00180abalea rsi, [rip+0x19589f]
    00180ac1lea r12, [rip+0x195880]
    00180ac8lea rdi, [rip+0x195ed1]
    00180acfadd rdi, 384
    00180ad6mov rbx, rsp
    00180ad9mov rsp, [r14+64]
    00180addcall caml_initialize
    00180ae2mov rsp, rbx
    00180ae5lea rdi, [rip+0x195eb4]
    00180aecadd rdi, 392
    00180af3mov rsi, r12
    00180af6mov rbx, rsp
    00180af9mov rsp, [r14+64]
    00180afdcall caml_initialize
    00180b02mov rsp, rbx
    00180b05lea rsi, [rip+0x195884]
    00180b0clea r12, [rip+0x195865]
    00180b13lea rdi, [rip+0x195e86]
    00180b1aadd rdi, 784
    00180b21mov rbx, rsp
    00180b24mov rsp, [r14+64]
    00180b28call caml_initialize
    00180b2dmov rsp, rbx
    00180b30lea rdi, [rip+0x195e69]
    00180b37add rdi, 792
    00180b3emov rsi, r12
    00180b41mov rbx, rsp
    00180b44mov rsp, [r14+64]
    00180b48call caml_initialize
    00180b4dmov rsp, rbx
    00180b50lea rsi, [rip+0x195871]
    00180b57lea r12, [rip+0x19584a]
    00180b5elea rdi, [rip+0x195e3b]
    00180b65add rdi, 416
    00180b6cmov rbx, rsp
    00180b6fmov rsp, [r14+64]
    00180b73call caml_initialize
    00180b78mov rsp, rbx
    00180b7blea rdi, [rip+0x195e1e]
    00180b82add rdi, 424
    00180b89mov rsi, r12
    00180b8cmov rbx, rsp
    00180b8fmov rsp, [r14+64]
    00180b93call caml_initialize
    00180b98mov rsp, rbx
    00180b9blea rsi, [rip+0x19583e]
    00180ba2lea rdi, [rip+0x195df7]
    00180ba9add rdi, 400
    00180bb0mov rbx, rsp
    00180bb3mov rsp, [r14+64]
    00180bb7call caml_initialize
    00180bbcmov rsp, rbx
    00180bbflea rsi, [rip+0x195832]
    00180bc6lea rdi, [rip+0x195dd3]
    00180bcdadd rdi, 408
    00180bd4mov rbx, rsp
    00180bd7mov rsp, [r14+64]
    00180bdbcall caml_initialize
    00180be0mov rsp, rbx
    00180be3call caml_alloc1
    00180be8lea rsi, [r15+8]
    00180becmov [rsi-8], 1024
    00180bf4mov [rsi], 1
    00180bfblea rdi, [rip+0x195d9e]
    00180c02add rdi, 432
    00180c09mov rbx, rsp
    00180c0cmov rsp, [r14+64]
    00180c10call caml_initialize
    00180c15mov rsp, rbx
    00180c18lea rsi, [rip+0x195809]
    00180c1flea r12, [rip+0x1957ea]
    00180c26lea rdi, [rip+0x195d73]
    00180c2dadd rdi, 464
    00180c34mov rbx, rsp
    00180c37mov rsp, [r14+64]
    00180c3bcall caml_initialize
    00180c40mov rsp, rbx
    00180c43lea rdi, [rip+0x195d56]
    00180c4aadd rdi, 472
    00180c51mov rsi, r12
    00180c54mov rbx, rsp
    00180c57mov rsp, [r14+64]
    00180c5bcall caml_initialize
    00180c60mov rsp, rbx
    00180c63lea rsi, [rip+0x1957d6]
    00180c6alea rdi, [rip+0x195d2f]
    00180c71add rdi, 512
    00180c78mov rbx, rsp
    00180c7bmov rsp, [r14+64]
    00180c7fcall caml_initialize
    00180c84mov rsp, rbx
    00180c87lea rsi, [rip+0x1957ca]
    00180c8elea rdi, [rip+0x195d0b]
    00180c95add rdi, 800
    00180c9cmov rbx, rsp
    00180c9fmov rsp, [r14+64]
    00180ca3call caml_initialize
    00180ca8mov rsp, rbx
    00180cablea rsi, [rip+0x1957c6]
    00180cb2lea rdi, [rip+0x195ce7]
    00180cb9add rdi, 808
    00180cc0mov rbx, rsp
    00180cc3mov rsp, [r14+64]
    00180cc7call caml_initialize
    00180cccmov rsp, rbx
    00180ccflea rsi, [rip+0x19580a]
    00180cd6lea r12, [rip+0x1957eb]
    00180cddlea r13, [rip+0x1957cc]
    00180ce4lea rbp, [rip+0x1957ad]
    00180ceblea rdi, [rip+0x195cae]
    00180cf2add rdi, 816
    00180cf9mov rbx, rsp
    00180cfcmov rsp, [r14+64]
    00180d00call caml_initialize
    00180d05mov rsp, rbx
    00180d08lea rdi, [rip+0x195c91]
    00180d0fadd rdi, 824
    00180d16mov rsi, r12
    00180d19mov rbx, rsp
    00180d1cmov rsp, [r14+64]
    00180d20call caml_initialize
    00180d25mov rsp, rbx
    00180d28lea rdi, [rip+0x195c71]
    00180d2fadd rdi, 832
    00180d36mov rsi, r13
    00180d39mov rbx, rsp
    00180d3cmov rsp, [r14+64]
    00180d40call caml_initialize
    00180d45mov rsp, rbx
    00180d48lea rdi, [rip+0x195c51]
    00180d4fadd rdi, 840
    00180d56mov rsi, rbp
    00180d59mov rbx, rsp
    00180d5cmov rsp, [r14+64]
    00180d60call caml_initialize
    00180d65mov rsp, rbx
    00180d68lea rsi, [rip+0x195789]
    00180d6flea rdi, [rip+0x195c2a]
    00180d76add rdi, 848
    00180d7dmov rbx, rsp
    00180d80mov rsp, [r14+64]
    00180d84call caml_initialize
    00180d89mov rsp, rbx
    00180d8clea rsi, [rip+0x195815]
    00180d93lea rax, [rip+0x1957f6]
    00180d9amov [rsp], rax
    00180d9elea rax, [rip+0x1957cb]
    00180da5mov [rsp+8], rax
    00180daalea r12, [rip+0x1957a7]
    00180db1lea r13, [rip+0x195788]
    00180db8lea rbp, [rip+0x195769]
    00180dbflea rax, [rip+0x19574a]
    00180dc6mov [rsp+16], rax
    00180dcblea rdi, [rip+0x195bce]
    00180dd2add rdi, 528
    00180dd9mov rbx, rsp
    00180ddcmov rsp, [r14+64]
    00180de0call caml_initialize
    00180de5mov rsp, rbx
    00180de8lea rdi, [rip+0x195bb1]
    00180defadd rdi, 536
    00180df6mov rsi, [rsp]
    00180dfamov rbx, rsp
    00180dfdmov rsp, [r14+64]
    00180e01call caml_initialize
    00180e06mov rsp, rbx
    00180e09lea rdi, [rip+0x195b90]
    00180e10add rdi, 576
    00180e17mov rsi, [rsp+8]
    00180e1cmov rbx, rsp
    00180e1fmov rsp, [r14+64]
    00180e23call caml_initialize
    00180e28mov rsp, rbx
    00180e2blea rdi, [rip+0x195b6e]
    00180e32add rdi, 544
    00180e39mov rsi, r12
    00180e3cmov rbx, rsp
    00180e3fmov rsp, [r14+64]
    00180e43call caml_initialize
    00180e48mov rsp, rbx
    00180e4blea rdi, [rip+0x195b4e]
    00180e52add rdi, 552
    00180e59mov rsi, r13
    00180e5cmov rbx, rsp
    00180e5fmov rsp, [r14+64]
    00180e63call caml_initialize
    00180e68mov rsp, rbx
    00180e6blea rdi, [rip+0x195b2e]
    00180e72add rdi, 584
    00180e79mov rsi, rbp
    00180e7cmov rbx, rsp
    00180e7fmov rsp, [r14+64]
    00180e83call caml_initialize
    00180e88mov rsp, rbx
    00180e8blea rdi, [rip+0x195b0e]
    00180e92add rdi, 592
    00180e99mov rsi, [rsp+16]
    00180e9emov rbx, rsp
    00180ea1mov rsp, [r14+64]
    00180ea5call caml_initialize
    00180eaamov rsp, rbx
    00180eadlea rsi, [rip+0x19570c]
    00180eb4lea rdi, [rip+0x195ae5]
    00180ebbadd rdi, 856
    00180ec2mov rbx, rsp
    00180ec5mov rsp, [r14+64]
    00180ec9call caml_initialize
    00180ecemov rsp, rbx
    00180ed1mov edi, 1
    00180ed6mov rbx, rsp
    00180ed9mov rsp, [r14+64]
    00180eddcall caml_fresh_oo_id
    00180ee2mov rsp, rbx
    00180ee5call caml_alloc2
    00180eealea rsi, [r15+8]
    00180eeemov [rsi-8], 2296
    00180ef6lea rbx, [rip+0x1960db]
    00180efdmov [rsi], rbx
    00180f00mov [rsi+8], rax
    00180f04lea rdi, [rip+0x195a95]
    00180f0badd rdi, 864
    00180f12mov rbx, rsp
    00180f15mov rsp, [r14+64]
    00180f19call caml_initialize
    00180f1emov rsp, rbx
    00180f21lea rsi, [rip+0x1956b0]
    00180f28lea rdi, [rip+0x195a71]
    00180f2fadd rdi, 872
    00180f36mov rbx, rsp
    00180f39mov rsp, [r14+64]
    00180f3dcall caml_initialize
    00180f42mov rsp, rbx
    00180f45lea rsi, [rip+0x1956a4]
    00180f4clea rdi, [rip+0x195a4d]
    00180f53add rdi, 880
    00180f5amov rbx, rsp
    00180f5dmov rsp, [r14+64]
    00180f61call caml_initialize
    00180f66mov rsp, rbx
    00180f69lea rsi, [rip+0x1956b0]
    00180f70lea r12, [rip+0x195691]
    00180f77lea rdi, [rip+0x195a22]
    00180f7eadd rdi, 888
    00180f85mov rbx, rsp
    00180f88mov rsp, [r14+64]
    00180f8ccall caml_initialize
    00180f91mov rsp, rbx
    00180f94lea rdi, [rip+0x195a05]
    00180f9badd rdi, 896
    00180fa2mov rsi, r12
    00180fa5mov rbx, rsp
    00180fa8mov rsp, [r14+64]
    00180faccall caml_initialize
    00180fb1mov rsp, rbx
    00180fb4lea rsi, [rip+0x19569d]
    00180fbblea r12, [rip+0x19567e]
    00180fc2lea rdi, [rip+0x1959d7]
    00180fc9add rdi, 496
    00180fd0mov rbx, rsp
    00180fd3mov rsp, [r14+64]
    00180fd7call caml_initialize
    00180fdcmov rsp, rbx
    00180fdflea rdi, [rip+0x1959ba]
    00180fe6add rdi, 504
    00180fedmov rsi, r12
    00180ff0mov rbx, rsp
    00180ff3mov rsp, [r14+64]
    00180ff7call caml_initialize
    00180ffcmov rsp, rbx
    00180ffflea rsi, [rip+0x19566a]
    00181006lea rdi, [rip+0x195993]
    0018100dadd rdi, 480
    00181014mov rbx, rsp
    00181017mov rsp, [r14+64]
    0018101bcall caml_initialize
    00181020mov rsp, rbx
    00181023lea rsi, [rip+0x19565e]
    0018102alea rdi, [rip+0x19596f]
    00181031add rdi, 488
    00181038mov rbx, rsp
    0018103bmov rsp, [r14+64]
    0018103fcall caml_initialize
    00181044mov rsp, rbx
    00181047lea rsi, [rip+0x195652]
    0018104elea rdi, [rip+0x19594b]
    00181055add rdi, 376
    0018105cmov rbx, rsp
    0018105fmov rsp, [r14+64]
    00181063call caml_initialize
    00181068mov rsp, rbx
    0018106blea rsi, [rip+0x19564e]
    00181072lea rdi, [rip+0x195927]
    00181079add rdi, 904
    00181080mov rbx, rsp
    00181083mov rsp, [r14+64]
    00181087call caml_initialize
    0018108cmov rsp, rbx
    0018108flea rsi, [rip+0x19564a]
    00181096lea rdi, [rip+0x195903]
    0018109dadd rdi, 912
    001810a4mov rbx, rsp
    001810a7mov rsp, [r14+64]
    001810abcall caml_initialize
    001810b0mov rsp, rbx
    001810b3lea rsi, [rip+0x195646]
    001810balea rdi, [rip+0x1958df]
    001810c1add rdi, 520
    001810c8mov rbx, rsp
    001810cbmov rsp, [r14+64]
    001810cfcall caml_initialize
    001810d4mov rsp, rbx
    001810d7lea rsi, [rip+0x19563a]
    001810delea rdi, [rip+0x1958bb]
    001810e5add rdi, 600
    001810ecmov rbx, rsp
    001810efmov rsp, [r14+64]
    001810f3call caml_initialize
    001810f8mov rsp, rbx
    001810fblea rsi, [rip+0x19562e]
    00181102lea rdi, [rip+0x195897]
    00181109add rdi, 920
    00181110mov rbx, rsp
    00181113mov rsp, [r14+64]
    00181117call caml_initialize
    0018111cmov rsp, rbx
    0018111flea rsi, [rip+0x195622]
    00181126lea rdi, [rip+0x195873]
    0018112dadd rdi, 928
    00181134mov rbx, rsp
    00181137mov rsp, [r14+64]
    0018113bcall caml_initialize
    00181140mov rsp, rbx
    00181143lea rsi, [rip+0x195616]
    0018114alea rdi, [rip+0x19584f]
    00181151add rdi, 936
    00181158mov rbx, rsp
    0018115bmov rsp, [r14+64]
    0018115fcall caml_initialize
    00181164mov rsp, rbx
    00181167lea rsi, [rip+0x195612]
    0018116elea rdi, [rip+0x19582b]
    00181175add rdi, 616
    0018117cmov rbx, rsp
    0018117fmov rsp, [r14+64]
    00181183call caml_initialize
    00181188mov rsp, rbx
    0018118blea rsi, [rip+0x195626]
    00181192lea r12, [rip+0x1955ff]
    00181199lea rdi, [rip+0x195800]
    001811a0add rdi, 608
    001811a7mov rbx, rsp
    001811aamov rsp, [r14+64]
    001811aecall caml_initialize
    001811b3mov rsp, rbx
    001811b6lea rdi, [rip+0x1957e3]
    001811bdadd rdi, 560
    001811c4mov rsi, r12
    001811c7mov rbx, rsp
    001811camov rsp, [r14+64]
    001811cecall caml_initialize
    001811d3mov rsp, rbx
    001811d6lea rsi, [rip+0x1955f3]
    001811ddlea rdi, [rip+0x1957bc]
    001811e4add rdi, 568
    001811ebmov rbx, rsp
    001811eemov rsp, [r14+64]
    001811f2call caml_initialize
    001811f7mov rsp, rbx
    001811falea rsi, [rip+0x1955ef]
    00181201lea rdi, [rip+0x195798]
    00181208add rdi, 944
    0018120fmov rbx, rsp
    00181212mov rsp, [r14+64]
    00181216call caml_initialize
    0018121bmov rsp, rbx
    0018121elea rsi, [rip+0x1955eb]
    00181225lea rdi, [rip+0x195774]
    0018122cadd rdi, 624
    00181233mov rbx, rsp
    00181236mov rsp, [r14+64]
    0018123acall caml_initialize
    0018123fmov rsp, rbx
    00181242lea rsi, [rip+0x195647]
    00181249lea r12, [rip+0x195620]
    00181250lea r13, [rip+0x1955f9]
    00181257lea rbp, [rip+0x1955d2]
    0018125elea rdi, [rip+0x19573b]
    00181265add rdi, 632
    0018126cmov rbx, rsp
    0018126fmov rsp, [r14+64]
    00181273call caml_initialize
    00181278mov rsp, rbx
    0018127blea rdi, [rip+0x19571e]
    00181282add rdi, 640
    00181289mov rsi, r12
    0018128cmov rbx, rsp
    0018128fmov rsp, [r14+64]
    00181293call caml_initialize
    00181298mov rsp, rbx
    0018129blea rdi, [rip+0x1956fe]
    001812a2add rdi, 648
    001812a9mov rsi, r13
    001812acmov rbx, rsp
    001812afmov rsp, [r14+64]
    001812b3call caml_initialize
    001812b8mov rsp, rbx
    001812bblea rdi, [rip+0x1956de]
    001812c2add rdi, 656
    001812c9mov rsi, rbp
    001812ccmov rbx, rsp
    001812cfmov rsp, [r14+64]
    001812d3call caml_initialize
    001812d8mov rsp, rbx
    001812dblea rsi, [rip+0x1955ce]
    001812e2lea rdi, [rip+0x1956b7]
    001812e9add rdi, 664
    001812f0mov rbx, rsp
    001812f3mov rsp, [r14+64]
    001812f7call caml_initialize
    001812fcmov rsp, rbx
    001812fflea rsi, [rip+0x1955ca]
    00181306lea rdi, [rip+0x195693]
    0018130dadd rdi, 672
    00181314mov rbx, rsp
    00181317mov rsp, [r14+64]
    0018131bcall caml_initialize
    00181320mov rsp, rbx
    00181323lea rsi, [rip+0x1955c6]
    0018132alea rdi, [rip+0x19566f]
    00181331add rdi, 680
    00181338mov rbx, rsp
    0018133bmov rsp, [r14+64]
    0018133fcall caml_initialize
    00181344mov rsp, rbx
    00181347lea rsi, [rip+0x1955c2]
    0018134elea rdi, [rip+0x19564b]
    00181355add rdi, 688
    0018135cmov rbx, rsp
    0018135fmov rsp, [r14+64]
    00181363call caml_initialize
    00181368mov rsp, rbx
    0018136bcall caml_alloc1
    00181370lea rsi, [r15+8]
    00181374mov [rsi-8], 1024
    0018137cmov [rsi], 1
    00181383lea rdi, [rip+0x195616]
    0018138aadd rdi, 952
    00181391mov rbx, rsp
    00181394mov rsp, [r14+64]
    00181398call caml_initialize
    0018139dmov rsp, rbx
    001813a0lea rsi, [rip+0x1955a9]
    001813a7lea r12, [rip+0x195582]
    001813aelea rdi, [rip+0x1955eb]
    001813b5add rdi, 712
    001813bcmov rbx, rsp
    001813bfmov rsp, [r14+64]
    001813c3call caml_initialize
    001813c8mov rsp, rbx
    001813cblea rdi, [rip+0x1955ce]
    001813d2add rdi, 720
    001813d9mov rsi, r12
    001813dcmov rbx, rsp
    001813dfmov rsp, [r14+64]
    001813e3call caml_initialize
    001813e8mov rsp, rbx
    001813eblea rsi, [rip+0x19558e]
    001813f2lea r12, [rip+0x19556f]
    001813f9lea rdi, [rip+0x1955a0]
    00181400add rdi, 696
    00181407mov rbx, rsp
    0018140amov rsp, [r14+64]
    0018140ecall caml_initialize
    00181413mov rsp, rbx
    00181416lea rdi, [rip+0x195583]
    0018141dadd rdi, 704
    00181424mov rsi, r12
    00181427mov rbx, rsp
    0018142amov rsp, [r14+64]
    0018142ecall caml_initialize
    00181433mov rsp, rbx
    00181436mov eax, 1
    0018143badd rsp, 88
    0018143fret
    00181440
    00181440loc_181440:
    00181440push 44
    00181442call caml_call_realloc_stack
    00181447pop r10
    00181449jmp 0x17ff92
    0017ff80