Similarity

0015c950
0015c950camlTabular.check_length_483:
0015c950mov r13, rax
0015c953mov r12l, 1
0015c959mov rbp, [r13-8]
0015c95dshr rbp, 9
0015c961or rbp, 1
0015c965add rbp, -2
0015c969cmp r12, rbp
0015c96cjg 0x15ca70
0015c972
0015c972loc_15c972:
0015c972mov rdi, [r13-8]
0015c976mov rax, rdi
0015c979shr rax, 9
0015c97dcmp rax, r12
0015c980jbe 0x15ca8a
0015c986mov rax, [r13+4*r12-4]
0015c98bmovzx rbx, [rax-8]
0015c990test rbx, rbx
0015c993jne 0x15ca59
0015c999mov rbx, [rax]
0015c99cmov rsi, [rbx+16]
0015c9a0cmp rsi, 1
0015c9a4je 0x15ca59
0015c9aamov rax, [rbx+40]
0015c9aetest al, 1
0015c9b0jne 0x15ca59
0015c9b6movzx rax, [rax-8]
0015c9bbcmp rax, 3
0015c9bfjl 0x15ca59
0015c9c5sub r15, 88
0015c9c9cmp r15, [r14]
0015c9ccjb 0x15ca80
0015c9d2
0015c9d2loc_15c9d2:
0015c9d2lea rax, [r15+8]
0015c9d6add rax, 72
0015c9damov [rax-8], 1026
0015c9e2shr rdi, 10
0015c9e6cvtsi2sd x0, rdi
0015c9ebmovsd_xmm x1, [rip+0xcdd85]
0015c9f3divsd x1, x0
0015c9f7cvttsd2si rdi, x1
0015c9fclea rdi, [rdi+rdi+1]
0015ca01mov [rax], rdi
0015ca04lea rdi, [rax-56]
0015ca08mov [rdi-8], 6144
0015ca10mov rdx, [rbx]
0015ca13mov [rdi], rdx
0015ca16mov rdx, [rbx+8]
0015ca1amov [rdi+8], rdx
0015ca1emov [rdi+16], rsi
0015ca22mov rsi, [rbx+24]
0015ca26mov [rdi+24], rsi
0015ca2amov rbx, [rbx+32]
0015ca2emov [rdi+32], rbx
0015ca32mov [rdi+40], rax
0015ca36lea rsi, [rdi-16]
0015ca3amov [rsi-8], 1024
0015ca42mov [rsi], rdi
0015ca45lea rdi, [r13+4*r12-4]
0015ca4amov rbx, rsp
0015ca4dmov rsp, [r14+64]
0015ca51call caml_modify
0015ca56mov rsp, rbx
0015ca59
0015ca59loc_15ca59:
0015ca59mov rax, r12
0015ca5cadd r12, 2
0015ca60cmp rax, rbp
0015ca63je 0x15ca70
0015ca65cmp r15, [r14]
0015ca68ja 0x15c972
0015ca6ejmp 0x15ca76
0015ca70
0015ca70loc_15ca70:
0015ca70mov eax, 1
0015ca75ret
0015ca76
0015ca76loc_15ca76:
0015ca76call caml_call_gc
0015ca7bjmp 0x15c972
0015ca80
0015ca80loc_15ca80:
0015ca80call caml_call_gc
0015ca85jmp 0x15c9d2
0015ca8a
0015ca8aloc_15ca8a:
0015ca8acall caml_ml_array_bound_error
0015c950

0015ca8f
0015ca8f // align 0x10

0015ca90
0015ca90camlTabular.pretty_format_546:
0015ca90lea r10, [rsp-352]
0015ca98cmp r10, [r14+40]
0015ca9cjb 0x15cbec
0015caa2
0015caa2loc_15caa2:
0015caa2sub rsp, 32
0015caa6mov rdi, rax
0015caa9movzx rax, [rdi-8]
0015caaecmp rax, 1
0015cab2je 0x15cbc0
0015cab8ja 0x15cbe4
0015cabemov rax, [rdi]
0015cac1mov [rsp+16], rax
0015cac6mov rbx, [rax+8]
0015cacamov [rsp+8], rbx
0015cacfmov rbx, [rax+24]
0015cad3mov [rsp+24], rbx
0015cad8mov rbx, [rax+32]
0015cadcmov [rsp], rbx
0015cae0mov rax, [rax+40]
0015cae4call camlLength.pretty_315
0015cae9lea rbx, [rip+0x192c58]
0015caf0call camlStdlib.$5e_139
0015caf5mov rbx, rax
0015caf8lea rax, [rip+0x192c69]
0015caffcall camlStdlib.$5e_139
0015cb04mov rbx, rax
0015cb07mov rax, [rsp+16]
0015cb0cmov rax, [rax+16]
0015cb10cmp rax, 1
0015cb14je 0x15cb20
0015cb16lea rax, [rip+0x192c5b]
0015cb1djmp 0x15cb27
0015cb1f
0015cb1f 90 .
0015cb20
0015cb20loc_15cb20:
0015cb20lea rax, [rip+0x192cd1]
0015cb27
0015cb27loc_15cb27:
0015cb27call camlStdlib.$5e_139
0015cb2cmov rbx, rax
0015cb2flea rax, [rip+0x192c82]
0015cb36call camlStdlib.$5e_139
0015cb3bmov rbx, rax
0015cb3emov rax, [rsp]
0015cb42call camlStdlib.$5e_139
0015cb47mov rbx, rax
0015cb4alea rax, [rip+0x192c37]
0015cb51call camlStdlib.$5e_139
0015cb56mov rbx, rax
0015cb59mov rax, [rsp+8]
0015cb5ecall camlStdlib.$5e_139
0015cb63mov rbx, rax
0015cb66lea rax, [rip+0x192c2b]
0015cb6dcall camlStdlib.$5e_139
0015cb72mov rbx, rax
0015cb75mov rax, [rsp+16]
0015cb7amov rax, [rax]
0015cb7dcall camlStdlib.$5e_139
0015cb82mov rbx, rax
0015cb85lea rax, [rip+0x192c1c]
0015cb8ccall camlStdlib.$5e_139
0015cb91mov rbx, rax
0015cb94lea rax, [rip+0x192c1d]
0015cb9bcall camlStdlib.$5e_139
0015cba0mov rbx, rax
0015cba3mov rax, [rsp+24]
0015cba8call camlStdlib.$5e_139
0015cbadmov rbx, rax
0015cbb0lea rax, [rip+0x192c11]
0015cbb7add rsp, 32
0015cbbbjmp 0x195ba0
0015cbc0
0015cbc0loc_15cbc0:
0015cbc0lea rbx, [rip+0x192bf1]
0015cbc7mov rax, [rdi]
0015cbcacall camlStdlib.$5e_139
0015cbcfmov rbx, rax
0015cbd2lea rax, [rip+0x192b5f]
0015cbd9add rsp, 32
0015cbddjmp 0x195ba0
0015cbe2
0015cbe2 66 90 f.
0015cbe4
0015cbe4loc_15cbe4:
0015cbe4mov rax, [rdi]
0015cbe7add rsp, 32
0015cbebret
0015cbec
0015cbecloc_15cbec:
0015cbecpush 37
0015cbeecall caml_call_realloc_stack
0015cbf3pop r10
0015cbf5jmp 0x15caa2
0015ca90

0015cbfa
0015cbfa // align 0x10

0015cc00
0015cc00camlTabular.pretty_formats_557:
0015cc00mov rbx, rax
0015cc03lea rax, [rip+0x192136]
0015cc0ajmp 0x1ad550
0015cc00

0015cc0f
0015cc0f // align 0x10

0015cc10
0015cc10camlTabular.fun_964:
0015cc10lea r10, [rsp-320]
0015cc18cmp r10, [r14+40]
0015cc1cjb 0x15cc53
0015cc1e
0015cc1eloc_15cc1e:
0015cc1ecall camlTabular.pretty_format_546
0015cc23mov rbx, rax
0015cc26lea rax, [rip+0x1d09eb]
0015cc2dmov rax, [rax+312]
0015cc34call camlStdlib.output_string_253
0015cc39lea rbx, [rip+0x192ae8]
0015cc40lea rax, [rip+0x1d09d1]
0015cc47mov rax, [rax+312]
0015cc4ejmp 0x1963d0
0015cc53
0015cc53loc_15cc53:
0015cc53push 33
0015cc55call caml_call_realloc_stack
0015cc5apop r10
0015cc5cjmp 0x15cc1e
0015cc10

0015cc5e
0015cc5e // align 0x10

0015cc60
0015cc60camlTabular.concat_pre_post_561:
0015cc60lea r10, [rsp-328]
0015cc68cmp r10, [r14+40]
0015cc6cjb 0x15ccf3
0015cc72
0015cc72loc_15cc72:
0015cc72sub rsp, 8
0015cc76mov rdi, rax
0015cc79mov rax, rbx
0015cc7cmov rbx, [rdi-8]
0015cc80shr rbx, 10
0015cc84cmp rbx, 2
0015cc88jl 0x15cc90
0015cc8amov [rsp], rax
0015cc8ejmp 0x15ccac
0015cc90
0015cc90loc_15cc90:
0015cc90mov rbx, [rdi]
0015cc93mov rsi, 0x700000000000000
0015cc9dcmp rbx, rsi
0015cca0jne 0x15cca8
0015cca2add rsp, 8
0015cca6ret
0015cca7
0015cca7 90 .
0015cca8
0015cca8loc_15cca8:
0015cca8mov [rsp], rax
0015ccac
0015ccacloc_15ccac:
0015ccacmov rbx, [rax-8]
0015ccb0shr rbx, 10
0015ccb4cmp rbx, 2
0015ccb8jge 0x15ccd4
0015ccbamov rax, [rax]
0015ccbdmov rbx, 0x700000000000000
0015ccc7cmp rax, rbx
0015cccajne 0x15ccd4
0015ccccmov rax, rdi
0015cccfadd rsp, 8
0015ccd3ret
0015ccd4
0015ccd4loc_15ccd4:
0015ccd4lea rax, [rip+0x192a3d]
0015ccdbmov rbx, rdi
0015ccdecall camlStdlib.$5e_139
0015cce3mov rbx, rax
0015cce6mov rax, [rsp]
0015cceaadd rsp, 8
0015cceejmp 0x195ba0
0015ccf3
0015ccf3loc_15ccf3:
0015ccf3push 34
0015ccf5call caml_call_realloc_stack
0015ccfapop r10
0015ccfcjmp 0x15cc72
0015cc60

0015cd01
0015cd01 // align 0x10

0015cd10
0015cd10camlTabular.fun_1003:
0015cd10lea r10, [rsp-328]
0015cd18cmp r10, [r14+40]
0015cd1cjb 0x15cdad
0015cd22
0015cd22loc_15cd22:
0015cd22sub rsp, 8
0015cd26movzx rdi, [rax-8]
0015cd2btest rdi, rdi
0015cd2ejne 0x15cd6c
0015cd30mov rax, [rax]
0015cd33mov [rsp], rax
0015cd37mov rdi, [rax+24]
0015cd3bmov rax, [rbx+16]
0015cd3fmov rbx, rdi
0015cd42call camlTabular.concat_pre_post_561
0015cd47mov rdi, [rsp]
0015cd4badd rdi, 24
0015cd4fmov rsi, rax
0015cd52mov rbx, rsp
0015cd55mov rsp, [r14+64]
0015cd59call caml_modify
0015cd5emov rsp, rbx
0015cd61mov eax, 1
0015cd66add rsp, 8
0015cd6aret
0015cd6bnop
0015cd6c
0015cd6cloc_15cd6c:
0015cd6csub r15, 24
0015cd70cmp r15, [r14]
0015cd73jb 0x15cda6
0015cd75
0015cd75loc_15cd75:
0015cd75lea rax, [r15+8]
0015cd79mov [rax-8], 2048
0015cd81lea rbx, [rip+0x192178]
0015cd88mov rbx, [rbx]
0015cd8bmov [rax], rbx
0015cd8elea rbx, [rip+0x192393]
0015cd95mov [rax+8], rbx
0015cd99mov rsp, [r14+48]
0015cd9dpop [r14+48]
0015cda1pop r11
0015cda3jmp r11
0015cda6
0015cda6loc_15cda6:
0015cda6call caml_call_gc
0015cdabjmp 0x15cd75
0015cdad
0015cdadloc_15cdad:
0015cdadpush 34
0015cdafcall caml_call_realloc_stack
0015cdb4pop r10
0015cdb6jmp 0x15cd22
0015cd10

0015cdbb
0015cdbb // align 0x10

0015cdc0
0015cdc0camlTabular.fun_1015:
0015cdc0mov rdi, rax
0015cdc3mov rax, [rbx+16]
0015cdc7mov rbx, rdi
0015cdcajmp 0x17f460
0015cdc0

0015cdcf
0015cdcf // align 0x10

0015cdd0
0015cdd0camlTabular.fun_1021:
0015cdd0movzx rdi, [rax-8]
0015cdd5test rdi, rdi
0015cdd8jne 0x15ce20
0015cddamov rax, [rax]
0015cdddsub r15, 24
0015cde1cmp r15, [r14]
0015cde4jb 0x15ce5e
0015cde6
0015cde6loc_15cde6:
0015cde6lea rsi, [r15+8]
0015cdeamov [rsi-8], 2048
0015cdf2mov [rsi], rax
0015cdf5lea rax, [rip+0x1b9ba4]
0015cdfcmov rax, [rax+728]
0015ce03mov rax, [rax]
0015ce06mov [rsi+8], rax
0015ce0amov rdi, [rbx+32]
0015ce0emov rdx, [rbx+24]
0015ce12mov rax, [rbx+16]
0015ce16mov rbx, rdx
0015ce19jmp 0x17f6f0
0015ce1enop
0015ce20
0015ce20loc_15ce20:
0015ce20sub r15, 24
0015ce24cmp r15, [r14]
0015ce27jb 0x15ce57
0015ce29
0015ce29loc_15ce29:
0015ce29lea rax, [r15+8]
0015ce2dmov [rax-8], 2048
0015ce35lea rbx, [rip+0x1193cc]
0015ce3cmov [rax], rbx
0015ce3flea rbx, [rip+0x1922aa]
0015ce46mov [rax+8], rbx
0015ce4amov rsp, [r14+48]
0015ce4epop [r14+48]
0015ce52pop r11
0015ce54jmp r11
0015ce57
0015ce57loc_15ce57:
0015ce57call caml_call_gc
0015ce5cjmp 0x15ce29
0015ce5e
0015ce5eloc_15ce5e:
0015ce5ecall caml_call_gc
0015ce63jmp 0x15cde6
0015cdd0

0015ce65
0015ce65 // align 0x10

0015ce70
0015ce70camlTabular.fun_1026:
0015ce70movzx rdi, [rax-8]
0015ce75test rdi, rdi
0015ce78jne 0x15ce9c
0015ce7amov rsi, [rbx+16]
0015ce7emov rdi, [rax]
0015ce81add rdi, 32
0015ce85mov rbx, rsp
0015ce88mov rsp, [r14+64]
0015ce8ccall caml_modify
0015ce91mov rsp, rbx
0015ce94mov eax, 1
0015ce99ret
0015ce9a
0015ce9a 66 90 f.
0015ce9c
0015ce9cloc_15ce9c:
0015ce9clea rax, [rip+0x192215]
0015cea3jmp 0x1919c0
0015ce70

0015cea8
0015cea8 // align 0x10

0015ceb0
0015ceb0camlTabular.do_rec_866:
0015ceb0lea r10, [rsp-336]
0015ceb8cmp r10, [r14+40]
0015cebcjb 0x15cf19
0015cebe
0015cebeloc_15cebe:
0015cebesub rsp, 16
0015cec2
0015cec2loc_15cec2:
0015cec2cmp r15, [r14]
0015cec5jbe 0x15cf12
0015cec7
0015cec7loc_15cec7:
0015cec7cmp rax, 1
0015cecbje 0x15cef8
0015cecdmov [rsp+8], rbx
0015ced2mov [rsp], rax
0015ced6mov rdi, [rbx+32]
0015cedamov rax, [rbx+16]
0015cedemov rbx, rdi
0015cee1call camlLexstate.scan_this_arg_1187
0015cee6mov rax, [rsp]
0015ceeaadd rax, -2
0015ceeemov rbx, [rsp+8]
0015cef3jmp 0x15cec2
0015cef5
0015cef5 0f 1f 00 ...
0015cef8
0015cef8loc_15cef8:
0015cef8mov rax, [rbx+24]
0015cefcmov rdi, [rbx+16]
0015cf00add rdi, 24
0015cf04mov ebx, 37
0015cf09add rsp, 16
0015cf0djmp 0x15c2e0
0015cf12
0015cf12loc_15cf12:
0015cf12call caml_call_gc
0015cf17jmp 0x15cec7
0015cf19
0015cf19loc_15cf19:
0015cf19push 35
0015cf1bcall caml_call_realloc_stack
0015cf20pop r10
0015cf22jmp 0x15cebe
0015ceb0

0015cf24
0015cf24 // align 0x10

0015cf30
0015cf30camlTabular.fun_1053:
0015cf30mov rdi, rax
0015cf33mov rax, [rbx+16]
0015cf37mov rbx, rdi
0015cf3ajmp 0x17f460
0015cf30

0015cf3f
0015cf3f // align 0x10

0015cf40
0015cf40camlTabular.main_902:
0015cf40lea r10, [rsp-336]
0015cf48cmp r10, [r14+40]
0015cf4cjb 0x15d0ee
0015cf52
0015cf52loc_15cf52:
0015cf52sub rsp, 16
0015cf56mov [rsp], rax
0015cf5amov rbx, [rax]
0015cf5dmov [rsp+8], rbx
0015cf62lea rax, [rip+0x1cd107]
0015cf69mov rax, [rax+80]
0015cf6dmov rax, [rax]
0015cf70cmp rax, 3
0015cf74jle 0x15cf87
0015cf76lea rax, [rip+0x19209b]
0015cf7dcall camlStdlib.$5e_139
0015cf82call camlStdlib.prerr_endline_390
0015cf87
0015cf87loc_15cf87:
0015cf87mov rax, [rsp+8]
0015cf8cmov rbx, [rax-8]
0015cf90shr rbx, 10
0015cf94lea rbx, [8*rbx-1]
0015cf9cmovzx rdi, [rax+rbx]
0015cfa1sub rbx, rdi
0015cfa4lea rdi, [rbx+rbx+1]
0015cfa9cmp rdi, 1
0015cfadjle 0x15d004
0015cfafcmp rbx, 0
0015cfb3jbe 0x15d0e9
0015cfb9movzx rbx, [rax]
0015cfbdlea rbx, [rbx+rbx+1]
0015cfc2cmp rbx, 185
0015cfc9jne 0x15d004
0015cfcbmov [rsp+8], rax
0015cfd0call camlLatexmacros.find_941
0015cfd5mov rax, [rax+8]
0015cfd9movzx rbx, [rax-8]
0015cfdetest rbx, rbx
0015cfe1jne 0x15cff0
0015cfe3mov rax, [rax]
0015cfe6call camlMyLexing.from_list_562
0015cfebjmp 0x15cffa
0015cfed
0015cfed 0f 1f 00 ...
0015cff0
0015cff0loc_15cff0:
0015cff0mov rax, [rsp+8]
0015cff5call camlMyLexing.from_string_309
0015cffa
0015cffaloc_15cffa:
0015cffamov [rsp+8], rax
0015cfffjmp 0x15d00e
0015d001
0015d001 0f 1f 00 ...
0015d004
0015d004loc_15d004:
0015d004call camlMyLexing.from_string_309
0015d009mov [rsp+8], rax
0015d00e
0015d00eloc_15d00e:
0015d00emov rax, [rsp]
0015d012mov rax, [rax+8]
0015d016call camlLexstate.start_normal_914
0015d01blea rax, [rip+0x191ede]
0015d022mov rdi, [rax+144]
0015d029add rdi, 24
0015d02dmov ebx, 37
0015d032mov rax, [rsp+8]
0015d037call Tabular..ocaml_lex_lexformat_rec
0015d03cmov eax, 1
0015d041call camlLexstate.restore_flags_891
0015d046mov eax, 1
0015d04bcall camlLexstate.restore_lexstate_882
0015d050lea rax, [rip+0x191ea9]
0015d057mov rax, [rax+72]
0015d05bmov [rsp], rax
0015d05fmov rdi, [rax]
0015d062mov ebx, 1
0015d067mov rax, [rax+8]
0015d06bcall Stdlib.Array.sub
0015d070mov rbx, [rsp]
0015d074mov [rbx], 1
0015d07bcall camlTabular.check_vert_482
0015d080mov [rsp], rax
0015d084lea rbx, [rip+0x1cb5b5]
0015d08bmov rbx, [rbx+8]
0015d08fmov rbx, [rbx]
0015d092cmp rbx, 1
0015d096je 0x15d09d
0015d098call camlTabular.check_length_483
0015d09d
0015d09dloc_15d09d:
0015d09dlea rax, [rip+0x1ccfcc]
0015d0a4mov rax, [rax+80]
0015d0a8mov rax, [rax]
0015d0abcmp rax, 3
0015d0afjle 0x15d0e0
0015d0b1lea rbx, [rip+0x191f48]
0015d0b8lea rax, [rip+0x1d0559]
0015d0bfmov rax, [rax+312]
0015d0c6call camlStdlib.output_string_253
0015d0cbmov rax, [rsp]
0015d0cfcall camlTabular.pretty_formats_557
0015d0d4lea rax, [rip+0x19271d]
0015d0dbcall camlStdlib.prerr_endline_390
0015d0e0
0015d0e0loc_15d0e0:
0015d0e0mov rax, [rsp]
0015d0e4add rsp, 16
0015d0e8ret
0015d0e9
0015d0e9loc_15d0e9:
0015d0e9call caml_ml_array_bound_error
0015d0ee
0015d0eeloc_15d0ee:
0015d0eepush 35
0015d0f0call caml_call_realloc_stack
0015d0f5pop r10
0015d0f7jmp 0x15cf52
0015cf40

0015d0fc
0015d0fc // align 0x10

0015d100
0015d100camlTabular.entry:
0015d100lea r10, [rsp-320]
0015d108cmp r10, [r14+40]
0015d10cjb 0x15d40b
0015d112
0015d112loc_15d112:
0015d112mov edi, 1
0015d117mov rbx, rsp
0015d11amov rsp, [r14+64]
0015d11ecall caml_fresh_oo_id
0015d123mov rsp, rbx
0015d126call caml_alloc2
0015d12blea rsi, [r15+8]
0015d12fmov [rsi-8], 2296
0015d137lea rbx, [rip+0x1926ca]
0015d13emov [rsi], rbx
0015d141mov [rsi+8], rax
0015d145lea rdi, [rip+0x191db4]
0015d14cmov rbx, rsp
0015d14fmov rsp, [r14+64]
0015d153call caml_initialize
0015d158mov rsp, rbx
0015d15blea rsi, [rip+0x191c0e]
0015d162lea r12, [rip+0x191bef]
0015d169lea rdi, [rip+0x191d90]
0015d170add rdi, 40
0015d174mov rbx, rsp
0015d177mov rsp, [r14+64]
0015d17bcall caml_initialize
0015d180mov rsp, rbx
0015d183lea rdi, [rip+0x191d76]
0015d18aadd rdi, 48
0015d18emov rsi, r12
0015d191mov rbx, rsp
0015d194mov rsp, [r14+64]
0015d198call caml_initialize
0015d19dmov rsp, rbx
0015d1a0lea rsi, [rip+0x191bf9]
0015d1a7lea r12, [rip+0x191bda]
0015d1aelea rdi, [rip+0x191d4b]
0015d1b5add rdi, 56
0015d1b9mov rbx, rsp
0015d1bcmov rsp, [r14+64]
0015d1c0call caml_initialize
0015d1c5mov rsp, rbx
0015d1c8lea rdi, [rip+0x191d31]
0015d1cfadd rdi, 64
0015d1d3mov rsi, r12
0015d1d6mov rbx, rsp
0015d1d9mov rsp, [r14+64]
0015d1ddcall caml_initialize
0015d1e2mov rsp, rbx
0015d1e5call caml_alloc1
0015d1ealea rsi, [r15+8]
0015d1eemov [rsi-8], 1024
0015d1f6mov [rsi], 1
0015d1fdlea rdi, [rip+0x191cfc]
0015d204add rdi, 8
0015d208mov rbx, rsp
0015d20bmov rsp, [r14+64]
0015d20fcall caml_initialize
0015d214mov rsp, rbx
0015d217lea rax, [rip+0x1925ba]
0015d21ecall camlTable.create_275
0015d223lea rdi, [rip+0x191cd6]
0015d22aadd rdi, 72
0015d22emov rsi, rax
0015d231mov rbx, rsp
0015d234mov rsp, [r14+64]
0015d238call caml_initialize
0015d23dmov rsp, rbx
0015d240lea rsi, [rip+0x191b71]
0015d247lea rdi, [rip+0x191cb2]
0015d24eadd rdi, 16
0015d252mov rbx, rsp
0015d255mov rsp, [r14+64]
0015d259call caml_initialize
0015d25emov rsp, rbx
0015d261lea rsi, [rip+0x191b68]
0015d268lea rdi, [rip+0x191c91]
0015d26fadd rdi, 24
0015d273mov rbx, rsp
0015d276mov rsp, [r14+64]
0015d27acall caml_initialize
0015d27fmov rsp, rbx
0015d282lea rsi, [rip+0x191b5f]
0015d289lea rdi, [rip+0x191c70]
0015d290add rdi, 80
0015d294mov rbx, rsp
0015d297mov rsp, [r14+64]
0015d29bcall caml_initialize
0015d2a0mov rsp, rbx
0015d2a3lea rsi, [rip+0x191ece]
0015d2aalea rdi, [rip+0x191c4f]
0015d2b1add rdi, 88
0015d2b5mov rbx, rsp
0015d2b8mov rsp, [r14+64]
0015d2bccall caml_initialize
0015d2c1mov rsp, rbx
0015d2c4lea r12, [rip+0x191b3d]
0015d2cblea rdi, [rip+0x191c2e]
0015d2d2add rdi, 96
0015d2d6mov rsi, r12
0015d2d9mov rbx, rsp
0015d2dcmov rsp, [r14+64]
0015d2e0call caml_initialize
0015d2e5mov rsp, rbx
0015d2e8mov rsi, r12
0015d2ebadd rsi, 24
0015d2eflea rdi, [rip+0x191c0a]
0015d2f6add rdi, 104
0015d2famov rbx, rsp
0015d2fdmov rsp, [r14+64]
0015d301call caml_initialize
0015d306mov rsp, rbx
0015d309mov rsi, r12
0015d30cadd rsi, 56
0015d310lea rdi, [rip+0x191be9]
0015d317add rdi, 112
0015d31bmov rbx, rsp
0015d31emov rsp, [r14+64]
0015d322call caml_initialize
0015d327mov rsp, rbx
0015d32amov rsi, r12
0015d32dadd rsi, 80
0015d331lea rdi, [rip+0x191bc8]
0015d338add rdi, 120
0015d33cmov rbx, rsp
0015d33fmov rsp, [r14+64]
0015d343call caml_initialize
0015d348mov rsp, rbx
0015d34bmov rsi, r12
0015d34eadd rsi, 112
0015d352lea rdi, [rip+0x191ba7]
0015d359add rdi, 128
0015d360mov rbx, rsp
0015d363mov rsp, [r14+64]
0015d367call caml_initialize
0015d36cmov rsp, rbx
0015d36fmov rsi, r12
0015d372add rsi, 136
0015d379lea rdi, [rip+0x191b80]
0015d380add rdi, 136
0015d387mov rbx, rsp
0015d38amov rsp, [r14+64]
0015d38ecall caml_initialize
0015d393mov rsp, rbx
0015d396mov rsi, r12
0015d399add rsi, 168
0015d3a0lea rdi, [rip+0x191b59]
0015d3a7add rdi, 144
0015d3aemov rbx, rsp
0015d3b1mov rsp, [r14+64]
0015d3b5call caml_initialize
0015d3bamov rsp, rbx
0015d3bdmov rsi, r12
0015d3c0add rsi, 192
0015d3c7lea rdi, [rip+0x191b32]
0015d3ceadd rdi, 152
0015d3d5mov rbx, rsp
0015d3d8mov rsp, [r14+64]
0015d3dccall caml_initialize
0015d3e1mov rsp, rbx
0015d3e4lea rsi, [rip+0x191afd]
0015d3eblea rdi, [rip+0x191b0e]
0015d3f2add rdi, 32
0015d3f6mov rbx, rsp
0015d3f9mov rsp, [r14+64]
0015d3fdcall caml_initialize
0015d402mov rsp, rbx
0015d405mov eax, 1
0015d40aret
0015d40b
0015d40bloc_15d40b:
0015d40bpush 33
0015d40dcall caml_call_realloc_stack
0015d412pop r10
0015d414jmp 0x15d112
0015d100

0015d419
0015d419 // align 0x10

0015d420
0015d420camlTable.create_275:
0015d420mov edi, 65
0015d425mov rsi, rax
0015d428lea rax, [rip+0x9c871]
0015d42fcall caml_c_call
0015d434sub r15, 24
0015d438cmp r15, [r14]
0015d43bjb 0x15d458
0015d43d
0015d43dloc_15d43d:
0015d43dlea rbx, [r15+8]
0015d441mov [rbx-8], 2048
0015d449mov [rbx], 1
0015d450mov [rbx+8], rax
0015d454mov rax, rbx
0015d457ret
0015d458
0015d458loc_15d458:
0015d458call caml_call_gc
0015d45djmp 0x15d43d
0015d420

0015d45f
0015d45f // align 0x10

0015d460
0015d460camlTable.reset_276:
0015d460mov [rax], 1
0015d467mov eax, 1
0015d46cret
0015d460

0015d46d
0015d46d // align 0x10

0015d470
0015d470camlTable.incr_table_331:
0015d470lea r10, [rsp-336]
0015d478cmp r10, [r14+40]
0015d47cjb 0x15d53d
0015d482
0015d482loc_15d482:
0015d482sub rsp, 16
0015d486mov [rsp], rax
0015d48amov rax, [rax+8]
0015d48emov rdi, [rax-8]
0015d492cmp rdi, 1023
0015d499jbe 0x15d538
0015d49fand rdi, 255
0015d4a6cmp rdi, 254
0015d4adje 0x15d4b4
0015d4afmov rsi, [rax]
0015d4b2jmp 0x15d4d1
0015d4b4
0015d4b4loc_15d4b4:
0015d4b4sub r15, 16
0015d4b8cmp r15, [r14]
0015d4bbjb 0x15d531
0015d4bd
0015d4bdloc_15d4bd:
0015d4bdlea rsi, [r15+8]
0015d4c1mov [rsi-8], 1277
0015d4c9movsd_xmm x0, [rax]
0015d4cdmovsd_xmm [rsi], x0
0015d4d1
0015d4d1loc_15d4d1:
0015d4d1mov rdi, rbx
0015d4d4lea rax, [rip+0x9c7c5]
0015d4dbcall caml_c_call
0015d4e0mov rdi, rax
0015d4e3mov [rsp+8], rdi
0015d4e8mov rax, [rsp]
0015d4ecmov rax, [rax+8]
0015d4f0mov rdx, [rax-8]
0015d4f4shr rdx, 9
0015d4f8or rdx, 1
0015d4fcmov esi, 1
0015d501mov ebx, 1
0015d506call Stdlib.Array.blit
0015d50bmov rdi, [rsp]
0015d50fadd rdi, 8
0015d513mov rsi, [rsp+8]
0015d518mov rbx, rsp
0015d51bmov rsp, [r14+64]
0015d51fcall caml_modify
0015d524mov rsp, rbx
0015d527mov eax, 1
0015d52cadd rsp, 16
0015d530ret
0015d531
0015d531loc_15d531:
0015d531call caml_call_gc
0015d536jmp 0x15d4bd
0015d538
0015d538loc_15d538:
0015d538call caml_ml_array_bound_error
0015d53d
0015d53dloc_15d53d:
0015d53dpush 35
0015d53fcall caml_call_realloc_stack
0015d544pop r10
0015d546jmp 0x15d482
0015d470

0015d54b
0015d54b // align 0x10

0015d550
0015d550camlTable.emit_336:
0015d550lea r10, [rsp-336]
0015d558cmp r10, [r14+40]
0015d55cjb 0x15d5ff
0015d562
0015d562loc_15d562:
0015d562sub rsp, 16
0015d566mov [rsp], rax
0015d56amov [rsp+8], rbx
0015d56fmov rbx, [rax+8]
0015d573mov rbx, [rbx-8]
0015d577shr rbx, 9
0015d57bor rbx, 1
0015d57fmov rdi, [rax]
0015d582cmp rdi, rbx
0015d585jl 0x15d591
0015d587lea rbx, [rbx+rbx-1]
0015d58ccall camlTable.incr_table_331
0015d591
0015d591loc_15d591:
0015d591mov r12, [rsp]
0015d595mov rax, [r12]
0015d599mov rbx, [r12+8]
0015d59emov rdi, [rbx-8]
0015d5a2mov rsi, rdi
0015d5a5shr rsi, 9
0015d5a9cmp rsi, rax
0015d5acjbe 0x15d5fa
0015d5aeand rdi, 255
0015d5b5cmp rdi, 254
0015d5bcje 0x15d5dc
0015d5belea rdi, [rbx+4*rax-4]
0015d5c3mov rsi, [rsp+8]
0015d5c8mov rbx, rsp
0015d5cbmov rsp, [r14+64]
0015d5cfcall caml_modify
0015d5d4mov rsp, rbx
0015d5d7jmp 0x15d5eb
0015d5d9
0015d5d9 0f 1f 00 ...
0015d5dc
0015d5dcloc_15d5dc:
0015d5dcmov rdi, [rsp+8]
0015d5e1movsd_xmm x0, [rdi]
0015d5e5movsd_xmm [rbx+4*rax-4], x0
0015d5eb
0015d5ebloc_15d5eb:
0015d5ebadd [r12], 2
0015d5f0mov eax, 1
0015d5f5add rsp, 16
0015d5f9ret
0015d5fa
0015d5faloc_15d5fa:
0015d5facall caml_ml_array_bound_error
0015d5ff
0015d5ffloc_15d5ff:
0015d5ffpush 35
0015d601call caml_call_realloc_stack
0015d606pop r10
0015d608jmp 0x15d562
0015d550

0015d60d
0015d60d // align 0x10

0015d610
0015d610camlTable.apply_341:
0015d610cmp r15, [r14]
0015d613jbe 0x15d693
0015d615
0015d615loc_15d615:
0015d615mov rdi, [rax]
0015d618cmp rdi, 1
0015d61cjne 0x15d638
0015d61elea rax, [rip+0x1932fb]
0015d625mov rax, [rax]
0015d628mov rsp, [r14+48]
0015d62cpop [r14+48]
0015d630pop r11
0015d632jmp r11
0015d635nop [rax]
0015d638
0015d638loc_15d638:
0015d638mov rdi, [rax]
0015d63badd rdi, -2
0015d63fmov rsi, [rax+8]
0015d643mov rax, [rsi-8]
0015d647mov rdx, rax
0015d64ashr rdx, 9
0015d64ecmp rdx, rdi
0015d651jbe 0x15d69d
0015d653and rax, 255
0015d659cmp rax, 254
0015d65fje 0x15d668
0015d661mov rax, [rsi+4*rdi-4]
0015d666jmp 0x15d687
0015d668
0015d668loc_15d668:
0015d668sub r15, 16
0015d66ccmp r15, [r14]
0015d66fjb 0x15d68c
0015d671
0015d671loc_15d671:
0015d671lea rax, [r15+8]
0015d675mov [rax-8], 1277
0015d67dmovsd_xmm x0, [rsi+4*rdi-4]
0015d683movsd_xmm [rax], x0
0015d687
0015d687loc_15d687:
0015d687mov rdi, [rbx]
0015d68ajmp rdi
0015d68c
0015d68cloc_15d68c:
0015d68ccall caml_call_gc
0015d691jmp 0x15d671
0015d693
0015d693loc_15d693:
0015d693call caml_call_gc
0015d698jmp 0x15d615
0015d69d
0015d69dloc_15d69d:
0015d69dcall caml_ml_array_bound_error
0015d610

0015d6a2
0015d6a2 // align 0x10

0015d6b0
0015d6b0camlTable.to_array_345:
0015d6b0mov rdi, [rax]
0015d6b3mov ebx, 1
0015d6b8mov rax, [rax+8]
0015d6bcjmp 0x1ad440
0015d6b0

0015d6c1
0015d6c1 // align 0x10

0015d6d0
0015d6d0camlTable.trim_348:
0015d6d0lea r10, [rsp-328]
0015d6d8cmp r10, [r14+40]
0015d6dcjb 0x15d707
0015d6de
0015d6deloc_15d6de:
0015d6desub rsp, 8
0015d6e2mov [rsp], rax
0015d6e6mov rdi, [rax]
0015d6e9mov ebx, 1
0015d6eemov rax, [rax+8]
0015d6f2call Stdlib.Array.sub
0015d6f7mov rbx, [rsp]
0015d6fbmov [rbx], 1
0015d702add rsp, 8
0015d706ret
0015d707
0015d707loc_15d707:
0015d707push 34
0015d709call caml_call_realloc_stack
0015d70epop r10
0015d710jmp 0x15d6de
0015d6d0

0015d712
0015d712 // align 0x10

0015d720
0015d720camlTable.remove_last_352:
0015d720add [rax], -2
0015d724mov rbx, [rax]
0015d727cmp rbx, 1
0015d72bjge 0x15d73c
0015d72dmov [rax], 1
0015d734mov eax, 1
0015d739ret
0015d73a
0015d73a 66 90 f.
0015d73c
0015d73cloc_15d73c:
0015d73cmov eax, 1
0015d741ret
0015d720

0015d742
0015d742 // align 0x10

0015d750
0015d750camlTable.get_size_355:
0015d750mov rax, [rax]
0015d753ret
0015d750

0015d754
0015d754 // align 0x10

0015d760
0015d760camlTable.entry:
0015d760mov edi, 1
0015d765mov rbx, rsp
0015d768mov rsp, [r14+64]
0015d76ccall caml_fresh_oo_id
0015d771mov rsp, rbx
0015d774call caml_alloc2
0015d779lea rsi, [r15+8]
0015d77dmov [rsi-8], 2296
0015d785lea rbx, [rip+0x193204]
0015d78cmov [rsi], rbx
0015d78fmov [rsi+8], rax
0015d793lea rdi, [rip+0x193186]
0015d79amov rbx, rsp
0015d79dmov rsp, [r14+64]
0015d7a1call caml_initialize
0015d7a6mov rsp, rbx
0015d7a9mov esi, 65
0015d7aelea rdi, [rip+0x19316b]
0015d7b5add rdi, 72
0015d7b9mov rbx, rsp
0015d7bcmov rsp, [r14+64]
0015d7c0call caml_initialize
0015d7c5mov rsp, rbx
0015d7c8lea rsi, [rip+0x193061]
0015d7cflea r12, [rip+0x193132]
0015d7d6lea rdi, [rip+0x193143]
0015d7ddadd rdi, 8
0015d7e1mov rbx, rsp
0015d7e4mov rsp, [r14+64]
0015d7e8call caml_initialize
0015d7edmov rsp, rbx
0015d7f0lea rdi, [rip+0x193129]
0015d7f7add rdi, 16
0015d7fbmov rsi, r12
0015d7femov rbx, rsp
0015d801mov rsp, [r14+64]
0015d805call caml_initialize
0015d80amov rsp, rbx
0015d80dlea rsi, [rip+0x193034]
0015d814lea rdi, [rip+0x193105]
0015d81badd rdi, 80
0015d81fmov rbx, rsp
0015d822mov rsp, [r14+64]
0015d826call caml_initialize
0015d82bmov rsp, rbx
0015d82elea rsi, [rip+0x193033]
0015d835lea rdi, [rip+0x1930e4]
0015d83cadd rdi, 24
0015d840mov rbx, rsp
0015d843mov rsp, [r14+64]
0015d847call caml_initialize
0015d84cmov rsp, rbx
0015d84flea rsi, [rip+0x193032]
0015d856lea rdi, [rip+0x1930c3]
0015d85dadd rdi, 32
0015d861mov rbx, rsp
0015d864mov rsp, [r14+64]
0015d868call caml_initialize
0015d86dmov rsp, rbx
0015d870lea rsi, [rip+0x193031]
0015d877lea rdi, [rip+0x1930a2]
0015d87eadd rdi, 48
0015d882mov rbx, rsp
0015d885mov rsp, [r14+64]
0015d889call caml_initialize
0015d88emov rsp, rbx
0015d891lea rsi, [rip+0x193028]
0015d898lea rdi, [rip+0x193081]
0015d89fadd rdi, 40
0015d8a3mov rbx, rsp
0015d8a6mov rsp, [r14+64]
0015d8aacall caml_initialize
0015d8afmov rsp, rbx
0015d8b2lea rsi, [rip+0x19301f]
0015d8b9lea rdi, [rip+0x193060]
0015d8c0add rdi, 56
0015d8c4mov rbx, rsp
0015d8c7mov rsp, [r14+64]
0015d8cbcall caml_initialize
0015d8d0mov rsp, rbx
0015d8d3lea rsi, [rip+0x193016]
0015d8dalea rdi, [rip+0x19303f]
0015d8e1add rdi, 64
0015d8e5mov rbx, rsp
0015d8e8mov rsp, [r14+64]
0015d8eccall caml_initialize
0015d8f1mov rsp, rbx
0015d8f4mov eax, 1
0015d8f9ret
0015d760

0015d8fa
0015d8fa // align 0x10

0015d900
0015d900camlSubst.subst_472:
0015d900mov rsi, rdi
0015d903cmp r15, [r14]
0015d906jbe 0x15d916
0015d908
0015d908loc_15d908:
0015d908add rsi, 32
0015d90cmov edi, 1
0015d911jmp 0x15d920
0015d916
0015d916loc_15d916:
0015d916call caml_call_gc
0015d91bjmp 0x15d908
0015d900

0015d91d
0015d91d // align 0x10

0015d920
0015d920Subst..ocaml_lex_subst_rec:
0015d920lea r10, [rsp-392]
0015d928cmp r10, [r14+40]
0015d92cjb 0x15dee9
0015d932
0015d932loc_15d932:
0015d932sub rsp, 56
0015d936
0015d936loc_15d936:
0015d936mov [rsp+32], rax
0015d93bmov rdx, rbx
0015d93emov [rsp+40], rdx
0015d943mov rbx, rdi
0015d946mov [rsp+48], rsi
0015d94bcmp r15, [r14]
0015d94ejbe 0x15deda
0015d954
0015d954loc_15d954:
0015d954lea rax, [rip+0x1934d5]
0015d95bmov rdi, rdx
0015d95ecall Stdlib.Lexing.engine
0015d963cmp rax, 13
0015d967jbe 0x15d990
0015d969mov [rsp], rax
0015d96dmov rax, [rsp+40]
0015d972mov rbx, [rax]
0015d975mov rdi, [rbx]
0015d978call rdi
0015d97amov rax, [rsp+32]
0015d97fmov rbx, [rsp+40]
0015d984mov rdi, [rsp]
0015d988mov rsi, [rsp+48]
0015d98djmp 0x15d936
0015d98fnop
0015d990
0015d990loc_15d990:
0015d990sar rax, 1
0015d993lea rdx, [rip+0xcd182]
0015d99amovsxd rax, [rdx+4*rax]
0015d99eadd rdx, rax
0015d9a1jmp rdx
0015d9a3nop
0015d9a4mov rax, [rsp+40]
0015d9a9mov rbx, [rax+32]
0015d9admov rdi, rbx
0015d9b0add rdi, 4
0015d9b4sub rdi, rbx
0015d9b7inc rdi
0015d9bamov rax, [rax+8]
0015d9becall Stdlib.Bytes.sub
0015d9c3mov [rsp], rax
0015d9c7mov eax, 71
0015d9cccall camlLexstate.is_plain_833
0015d9d1cmp rax, 1
0015d9d5je 0x15da5c
0015d9dbmov rdi, [rsp]
0015d9dfmov rax, [rdi-8]
0015d9e3shr rax, 10
0015d9e7lea rax, [8*rax-1]
0015d9efmovzx rbx, [rdi+rax]
0015d9f4sub rax, rbx
0015d9f7cmp rax, 1
0015d9fbjbe 0x15dee4
0015da01movzx rax, [rdi+1]
0015da06lea rbx, [rax+rax-97]
0015da0bsub r15, 40
0015da0fcmp r15, [r14]
0015da12jb 0x15ded0
0015da18
0015da18loc_15da18:
0015da18lea rax, [r15+8]
0015da1cmov [rax-8], 4343
0015da24lea rdi, [rip+1813]
0015da2bmov [rax], rdi
0015da2emov rdi, 0x100000000000005
0015da38mov [rax+8], rdi
0015da3cmov rdi, [rsp+48]
0015da41add rdi, -32
0015da45mov [rax+16], rdi
0015da49mov rdi, [rsp+32]
0015da4emov [rax+24], rdi
0015da52call camlLexstate.scan_arg_855
0015da57jmp 0x15da7b
0015da59nop [rax]
0015da5c
0015da5cloc_15da5c:
0015da5clea rax, [rip+0x1932fd]
0015da63mov rax, [rax+96]
0015da67lea rbx, [rip+0x1c3f8a]
0015da6emov rdi, [rbx+48]
0015da72mov rbx, [rsp]
0015da76call camlDoOut.put_754
0015da7b
0015da7bloc_15da7b:
0015da7bmov rsi, [rsp+48]
0015da80add rsi, -32
0015da84add rsi, 32
0015da88mov edi, 1
0015da8dmov rax, [rsp+32]
0015da92mov rbx, [rsp+40]
0015da97jmp 0x15d936
0015da9cmov eax, 71
0015daa1call camlLexstate.is_plain_833
0015daa6cmp rax, 1
0015daaaje 0x15dad0
0015daaclea rax, [rip+0x1932ad]
0015dab3mov rax, [rax+96]
0015dab7lea rbx, [rip+0x1c3f3a]
0015dabemov rdi, [rbx+64]
0015dac2mov ebx, 71
0015dac7call camlDoOut.put_char_792
0015daccjmp 0x15daf2
0015dacenop
0015dad0
0015dad0loc_15dad0:
0015dad0lea rax, [rip+0x193289]
0015dad7mov rax, [rax+96]
0015dadblea rbx, [rip+0x1c3f16]
0015dae2mov rdi, [rbx+48]
0015dae6lea rbx, [rip+0x194e23]
0015daedcall camlDoOut.put_754
0015daf2
0015daf2loc_15daf2:
0015daf2mov rsi, [rsp+48]
0015daf7add rsi, -32
0015dafbadd rsi, 32
0015daffmov edi, 1
0015db04mov rax, [rsp+32]
0015db09mov rbx, [rsp+40]
0015db0ejmp 0x15d936
0015db13nop
0015db14lea rax, [rip+0x193245]
0015db1bmov rax, [rax+96]
0015db1flea rbx, [rip+0x1c3ed2]
0015db26mov rdi, [rbx+56]
0015db2amov rbx, [rsp+40]
0015db2fcall camlDoOut.blit_760
0015db34mov rsi, [rsp+48]
0015db39add rsi, -32
0015db3dadd rsi, 32
0015db41mov edi, 1
0015db46mov rax, [rsp+32]
0015db4bmov rbx, [rsp+40]
0015db50jmp 0x15d936
0015db55nop [rax]
0015db58mov rax, [rsp+40]
0015db5dmov rbx, [rax+32]
0015db61mov rdi, rbx
0015db64add rdi, 14
0015db68sub rdi, rbx
0015db6binc rdi
0015db6emov rax, [rax+8]
0015db72call Stdlib.Bytes.sub
0015db77mov [rsp], rax
0015db7blea rax, [rip+0x1c39be]
0015db82mov rbx, [rax+80]
0015db86mov [rbx], 3
0015db8dmov rax, [rax+64]
0015db91call camlDoOut.reset_705
0015db96lea rax, [rip+0x1bd5b3]
0015db9dmov rdi, [rax+128]
0015dba4add rdi, 24
0015dba8mov ebx, 41
0015dbadmov rax, [rsp+40]
0015dbb2call Saver..ocaml_lex_arg_rec
0015dbb7lea rax, [rip+0x1c3982]
0015dbbemov rbx, [rax+80]
0015dbc2mov [rbx], 1
0015dbc9mov rax, [rax+64]
0015dbcdcall camlDoOut.to_string_830
0015dbd2mov [rsp+8], rax
0015dbd7lea rax, [rip+0x193182]
0015dbdemov rax, [rax+96]
0015dbe2lea rbx, [rip+0x1c3e0f]
0015dbe9mov rdi, [rbx+48]
0015dbedmov rbx, [rsp]
0015dbf1call camlDoOut.put_754
0015dbf6lea rax, [rip+0x193163]
0015dbfdmov rax, [rax+96]
0015dc01lea rbx, [rip+0x1c3df0]
0015dc08mov rdi, [rbx+48]
0015dc0cmov rbx, [rsp+8]
0015dc11call camlDoOut.put_754
0015dc16mov rsi, [rsp+48]
0015dc1badd rsi, -32
0015dc1fadd rsi, 32
0015dc23mov edi, 1
0015dc28mov rax, [rsp+32]
0015dc2dmov rbx, [rsp+40]
0015dc32jmp 0x15d936
0015dc37nop
0015dc38mov rax, [rsp+40]
0015dc3dmov rdi, [rax+40]
0015dc41mov rbx, [rax+32]
0015dc45sub rdi, rbx
0015dc48inc rdi
0015dc4bmov rax, [rax+8]
0015dc4fcall Stdlib.Bytes.sub
0015dc54mov rbx, rax
0015dc57mov [rsp+16], rbx
0015dc5cmov rax, [rsp+32]
0015dc61cmp rax, 1
0015dc65je 0x15de3c
0015dc6blea r11, [rip+390]
0015dc72push r11
0015dc74push [r14+48]
0015dc78mov [r14+48], rsp
0015dc7cmov rax, rbx
0015dc7fcall camlLatexmacros.find_fail_942
0015dc84mov [rsp+16], rax
0015dc89mov rax, [rax+8]
0015dc8dmov [rsp+24], rax
0015dc92movzx rax, [rax-8]
0015dc97test rax, rax
0015dc9ajne 0x15ddcc
0015dca0lea rax, [rip+0x1b6cc1]
0015dca7mov rbx, [rax+216]
0015dcaemov rbx, [rbx]
0015dcb1mov rax, [rax+184]
0015dcb8mov rdi, [rax+240]
0015dcbfmov rax, [rsp+32]
0015dcc4call Stdlib.Set.mem
0015dcc9cmp rax, 1
0015dccdjne 0x15ddcc
0015dcd3lea rax, [rip+0x1cc396]
0015dcdamov rax, [rax+80]
0015dcdemov rax, [rax]
0015dce1cmp rax, 5
0015dce5jle 0x15dd18
0015dce7mov rax, [rsp+32]
0015dcecmov [rsp+40], rax
0015dcf1lea rbx, [rip+0x194b88]
0015dcf8lea rax, [rip+0x1cf919]
0015dcffmov rax, [rax+312]
0015dd06call Stdlib.Printf.fprintf
0015dd0bmov rbx, rax
0015dd0emov rdi, [rbx]
0015dd11mov rax, [rsp+40]
0015dd16call rdi
0015dd18
0015dd18loc_15dd18:
0015dd18mov rax, [rsp+16]
0015dd1dmov rbx, [rax]
0015dd20mov rax, [rsp+32]
0015dd25mov rdi, [rsp+56]
0015dd2acall camlLexstate.make_stack_1175
0015dd2fmov [rsp+16], rax
0015dd34lea rax, [rip+0x193025]
0015dd3bmov rax, [rax+96]
0015dd3flea rbx, [rip+0x1c3cb2]
0015dd46mov rdi, [rbx+64]
0015dd4amov ebx, 247
0015dd4fcall camlDoOut.put_char_792
0015dd54sub r15, 40
0015dd58cmp r15, [r14]
0015dd5bjb 0x15dec6
0015dd61
0015dd61loc_15dd61:
0015dd61lea rax, [r15+8]
0015dd65mov [rax-8], 4343
0015dd6dlea rbx, [rip+1052]
0015dd74mov [rax], rbx
0015dd77mov rbx, 0x100000000000005
0015dd81mov [rax+8], rbx
0015dd85mov rbx, [rsp+64]
0015dd8aadd rbx, -32
0015dd8emov [rax+16], rbx
0015dd92mov rbx, [rsp+48]
0015dd97mov [rax+24], rbx
0015dd9bmov rbx, [rsp+24]
0015dda0mov rdi, [rsp+16]
0015dda5call camlLexstate.scan_body_856
0015ddaalea rax, [rip+0x192faf]
0015ddb1mov rax, [rax+96]
0015ddb5lea rbx, [rip+0x1c3c3c]
0015ddbcmov rdi, [rbx+64]
0015ddc0mov ebx, 251
0015ddc5call camlDoOut.put_char_792
0015ddcajmp 0x15ddec
0015ddcc
0015ddccloc_15ddcc:
0015ddcclea rax, [rip+0x192f8d]
0015ddd3mov rax, [rax+96]
0015ddd7lea rbx, [rip+0x1c3c1a]
0015dddemov rdi, [rbx+48]
0015dde2mov rbx, [rsp+32]
0015dde7call camlDoOut.put_754
0015ddec
0015ddecloc_15ddec:
0015ddecpop [r14+48]
0015ddf0add rsp, 8
0015ddf4jmp 0x15de57
0015ddf6nop
0015ddf8lea rbx, [rip+0x1b6b69]
0015ddffmov rbx, [rbx]
0015de02cmp rax, rbx
0015de05jne 0x15de2c
0015de07lea rax, [rip+0x192f52]
0015de0emov rax, [rax+96]
0015de12lea rbx, [rip+0x1c3bdf]
0015de19mov rdi, [rbx+48]
0015de1dmov rbx, [rsp+16]
0015de22call camlDoOut.put_754
0015de27jmp 0x15de57
0015de29nop [rax]
0015de2c
0015de2cloc_15de2c:
0015de2cmov rsp, [r14+48]
0015de30pop [r14+48]
0015de34pop r11
0015de36jmp r11
0015de39nop [rax]
0015de3c
0015de3cloc_15de3c:
0015de3clea rax, [rip+0x192f1d]
0015de43mov rax, [rax+96]
0015de47lea rdi, [rip+0x1c3baa]
0015de4emov rdi, [rdi+48]
0015de52call camlDoOut.put_754
0015de57
0015de57loc_15de57:
0015de57mov rsi, [rsp+48]
0015de5cadd rsi, -32
0015de60add rsi, 32
0015de64mov edi, 1
0015de69mov rax, [rsp+32]
0015de6emov rbx, [rsp+40]
0015de73jmp 0x15d936
0015de78mov eax, 1
0015de7dadd rsp, 56
0015de81ret
0015de82nop
0015de84sub r15, 24
0015de88cmp r15, [r14]
0015de8bjb 0x15debf
0015de8d
0015de8dloc_15de8d:
0015de8dlea rax, [r15+8]
0015de91mov [rax-8], 2048
0015de99lea rbx, [rip+0x1b8b00]
0015dea0mov rbx, [rbx+104]
0015dea4mov [rax], rbx
0015dea7lea rbx, [rip+0x194932]
0015deaemov [rax+8], rbx
0015deb2mov rsp, [r14+48]
0015deb6pop [r14+48]
0015debapop r11
0015debcjmp r11
0015debf
0015debfloc_15debf:
0015debfcall caml_call_gc
0015dec4jmp 0x15de8d
0015dec6
0015dec6loc_15dec6:
0015dec6call caml_call_gc
0015decbjmp 0x15dd61
0015ded0
0015ded0loc_15ded0:
0015ded0call caml_call_gc
0015ded5jmp 0x15da18
0015deda
0015dedaloc_15deda:
0015dedacall caml_call_gc
0015dedfjmp 0x15d954
0015dee4
0015dee4loc_15dee4:
0015dee4call caml_ml_array_bound_error
0015dee9
0015dee9loc_15dee9:
0015dee9push 42
0015deebcall caml_call_realloc_stack
0015def0pop r10
0015def2jmp 0x15d932
0015d920

0015def7
0015def7 // align 0x10

0015df00
0015df00camlSubst.do_translate_474:
0015df00mov rdi, rbx
0015df03cmp r15, [r14]
0015df06jbe 0x15df16
0015df08
0015df08loc_15df08:
0015df08add rdi, 24
0015df0cmov ebx, 35
0015df11jmp 0x15df20
0015df16
0015df16loc_15df16:
0015df16call caml_call_gc
0015df1bjmp 0x15df08
0015df00

0015df1d
0015df1d // align 0x10

0015df20
0015df20Subst..ocaml_lex_do_translate_rec:
0015df20lea r10, [rsp-344]
0015df28cmp r10, [r14+40]
0015df2cjb 0x15e10e
0015df32
0015df32loc_15df32:
0015df32sub rsp, 24
0015df36
0015df36loc_15df36:
0015df36mov rsi, rax
0015df39mov [rsp], rsi
0015df3dmov [rsp+16], rdi
0015df42cmp r15, [r14]
0015df45jbe 0x15e0ff
0015df4b
0015df4bloc_15df4b:
0015df4blea rax, [rip+0x192ede]
0015df52mov rdi, rsi
0015df55call Stdlib.Lexing.engine
0015df5acmp rax, 7
0015df5ejbe 0x15df84
0015df60mov [rsp+8], rax
0015df65mov rax, [rsp]
0015df69mov rbx, [rax]
0015df6cmov rdi, [rbx]
0015df6fcall rdi
0015df71mov rax, [rsp]
0015df75mov rbx, [rsp+8]
0015df7amov rdi, [rsp+16]
0015df7fjmp 0x15df36
0015df81nop [rax]
0015df84
0015df84loc_15df84:
0015df84sar rax, 1
0015df87lea rdx, [rip+0xccbaa]
0015df8emovsxd rax, [rdx+4*rax]
0015df92add rdx, rax
0015df95jmp rdx
0015df97nop
0015df98mov rax, [rsp]
0015df9cmov rbx, [rax+32]
0015dfa0mov rdi, rbx
0015dfa3add rdi, 14
0015dfa7sub rdi, rbx
0015dfaainc rdi
0015dfadmov rax, [rax+8]
0015dfb1call Stdlib.Bytes.sub
0015dfb6sub r15, 48
0015dfbacmp r15, [r14]
0015dfbdjb 0x15e0f5
0015dfc3
0015dfc3loc_15dfc3:
0015dfc3lea rbx, [r15+8]
0015dfc7mov [rbx-8], 5367
0015dfcflea rdi, [rip+634]
0015dfd6mov [rbx], rdi
0015dfd9mov rdi, 0x100000000000005
0015dfe3mov [rbx+8], rdi
0015dfe7mov rdi, [rsp+16]
0015dfecadd rdi, -24
0015dff0mov [rbx+16], rdi
0015dff4mov rdi, [rsp]
0015dff8mov [rbx+24], rdi
0015dffcmov [rbx+32], rax
0015e000mov rax, rbx
0015e003add rsp, 24
0015e007ret
0015e008sub r15, 40
0015e00ccmp r15, [r14]
0015e00fjb 0x15e0eb
0015e015
0015e015loc_15e015:
0015e015lea rax, [r15+8]
0015e019mov [rax-8], 4343
0015e021lea rbx, [rip+840]
0015e028mov [rax], rbx
0015e02bmov rbx, 0x100000000000005
0015e035mov [rax+8], rbx
0015e039mov rbx, [rsp+16]
0015e03eadd rbx, -24
0015e042mov [rax+16], rbx
0015e046mov rbx, [rsp]
0015e04amov [rax+24], rbx
0015e04eadd rsp, 24
0015e052ret
0015e053nop
0015e054mov rbx, [rsp]
0015e058mov rax, [rbx+32]
0015e05csar rax, 1
0015e05fmov rdi, [rbx+8]
0015e063mov rsi, [rdi-8]
0015e067shr rsi, 10
0015e06blea rsi, [8*rsi-1]
0015e073movzx rdx, [rdi+rsi]
0015e078sub rsi, rdx
0015e07bcmp rsi, rax
0015e07ejbe 0x15e109
0015e084movzx rax, [rdi+rax]
0015e089lea rdi, [rax+rax+1]
0015e08esub r15, 48
0015e092cmp r15, [r14]
0015e095jb 0x15e0e4
0015e097
0015e097loc_15e097:
0015e097lea rax, [r15+8]
0015e09bmov [rax-8], 5367
0015e0a3lea rsi, [rip+854]
0015e0aamov [rax], rsi
0015e0admov rsi, 0x100000000000005
0015e0b7mov [rax+8], rsi
0015e0bbmov rsi, [rsp+16]
0015e0c0add rsi, -24
0015e0c4mov [rax+16], rsi
0015e0c8mov [rax+24], rbx
0015e0ccmov [rax+32], rdi
0015e0d0add rsp, 24
0015e0d4ret
0015e0d5nop [rax]
0015e0d8lea rax, [rip+0x192a39]
0015e0dfadd rsp, 24
0015e0e3ret
0015e0e4
0015e0e4loc_15e0e4:
0015e0e4call caml_call_gc
0015e0e9jmp 0x15e097
0015e0eb
0015e0ebloc_15e0eb:
0015e0ebcall caml_call_gc
0015e0f0jmp 0x15e015
0015e0f5
0015e0f5loc_15e0f5:
0015e0f5call caml_call_gc
0015e0fajmp 0x15dfc3
0015e0ff
0015e0ffloc_15e0ff:
0015e0ffcall caml_call_gc
0015e104jmp 0x15df4b
0015e109
0015e109loc_15e109:
0015e109call caml_ml_array_bound_error
0015e10e
0015e10eloc_15e10e:
0015e10epush 36
0015e110call caml_call_realloc_stack
0015e115pop r10
0015e117jmp 0x15df32
0015df20

0015e11c
0015e11c // align 0x10

0015e120
0015e120camlSubst.fun_955:
0015e120mov rdx, rax
0015e123mov rax, [rbx+16]
0015e127mov rsi, [rbx+24]
0015e12badd rsi, 32
0015e12fmov edi, 1
0015e134mov rbx, rdx
0015e137jmp 0x15d920
0015e120

0015e13c
0015e13c // align 0x10

0015e140
0015e140camlSubst.fun_939:
0015e140mov rdi, rax
0015e143mov rsi, [rbx+24]
0015e147mov rbx, [rbx+16]
0015e14bsub r15, 40
0015e14fcmp r15, [r14]
0015e152jb 0x15e188
0015e154
0015e154loc_15e154:
0015e154lea rax, [r15+8]
0015e158mov [rax-8], 4343
0015e160lea rdx, [rip-71]
0015e167mov [rax], rdx
0015e16amov rdx, 0x100000000000005
0015e174mov [rax+8], rdx
0015e178mov [rax+16], rsi
0015e17cmov [rax+24], rbx
0015e180mov rbx, rdi
0015e183jmp 0x17f460
0015e188
0015e188loc_15e188:
0015e188call caml_call_gc
0015e18djmp 0x15e154
0015e140

0015e18f
0015e18f // align 0x10

0015e190
0015e190camlSubst.fun_989:
0015e190movzx rdi, [rax-8]
0015e195test rdi, rdi
0015e198jne 0x15e1e4
0015e19amov rdi, [rbx+24]
0015e19emov rbx, [rbx+16]
0015e1a2sub r15, 40
0015e1a6cmp r15, [r14]
0015e1a9jb 0x15e222
0015e1ab
0015e1abloc_15e1ab:
0015e1ablea rsi, [r15+8]
0015e1afmov [rsi-8], 4343
0015e1b7lea rdx, [rip+114]
0015e1bemov [rsi], rdx
0015e1c1mov rdx, 0x100000000000005
0015e1cbmov [rsi+8], rdx
0015e1cfmov [rsi+16], rdi
0015e1d3mov [rsi+24], rbx
0015e1d7mov rbx, [rax]
0015e1damov rax, rsi
0015e1ddjmp 0x17f240
0015e1e2nop
0015e1e4
0015e1e4loc_15e1e4:
0015e1e4sub r15, 24
0015e1e8cmp r15, [r14]
0015e1ebjb 0x15e21b
0015e1ed
0015e1edloc_15e1ed:
0015e1edlea rax, [r15+8]
0015e1f1mov [rax-8], 2048
0015e1f9lea rbx, [rip+0x118008]
0015e200mov [rax], rbx
0015e203lea rbx, [rip+0x1945f6]
0015e20amov [rax+8], rbx
0015e20emov rsp, [r14+48]
0015e212pop [r14+48]
0015e216pop r11
0015e218jmp r11
0015e21b
0015e21bloc_15e21b:
0015e21bcall caml_call_gc
0015e220jmp 0x15e1ed
0015e222
0015e222loc_15e222:
0015e222call caml_call_gc
0015e227jmp 0x15e1ab
0015e190

0015e229
0015e229 // align 0x10

0015e230
0015e230camlSubst.fun_1005:
0015e230mov rdx, rax
0015e233mov rax, [rbx+16]
0015e237mov rsi, [rbx+24]
0015e23badd rsi, 32
0015e23fmov edi, 1
0015e244mov rbx, rdx
0015e247jmp 0x15d920
0015e230

0015e24c
0015e24c // align 0x10

0015e250
0015e250camlSubst.fun_1026:
0015e250lea r10, [rsp-344]
0015e258cmp r10, [r14+40]
0015e25cjb 0x15e359
0015e262
0015e262loc_15e262:
0015e262sub rsp, 24
0015e266mov [rsp+8], rax
0015e26bmov [rsp+16], rbx
0015e270cmp r15, [r14]
0015e273jbe 0x15e34f
0015e279
0015e279loc_15e279:
0015e279lea rax, [rip+0x1c32c0]
0015e280mov rbx, [rax+80]
0015e284mov [rbx], 3
0015e28bmov rax, [rax+64]
0015e28fcall camlDoOut.reset_705
0015e294mov rax, [rsp+16]
0015e299mov rax, [rax+24]
0015e29dlea rbx, [rip+0x1bceac]
0015e2a4mov rdi, [rbx+128]
0015e2abadd rdi, 24
0015e2afmov ebx, 41
0015e2b4call Saver..ocaml_lex_arg_rec
0015e2b9lea rax, [rip+0x1c3280]
0015e2c0mov rbx, [rax+80]
0015e2c4mov [rbx], 1
0015e2cbmov rax, [rax+64]
0015e2cfcall camlDoOut.to_string_830
0015e2d4mov [rsp], rax
0015e2d8mov rax, [rsp+16]
0015e2ddmov rbx, [rax+32]
0015e2e1lea rax, [rip+0x192a78]
0015e2e8mov rax, [rax+96]
0015e2eclea rdi, [rip+0x1c3705]
0015e2f3mov rdi, [rdi+48]
0015e2f7call camlDoOut.put_754
0015e2fclea rax, [rip+0x192a5d]
0015e303mov rax, [rax+96]
0015e307lea rbx, [rip+0x1c36ea]
0015e30emov rdi, [rbx+48]
0015e312mov rbx, [rsp]
0015e316call camlDoOut.put_754
0015e31bmov rax, [rsp+8]
0015e320mov [rsp], rax
0015e324mov rbx, [rsp+16]
0015e329mov rax, [rbx+24]
0015e32dmov rdi, [rbx+16]
0015e331add rdi, 24
0015e335mov ebx, 35
0015e33acall Subst..ocaml_lex_do_translate_rec
0015e33fmov rbx, rax
0015e342mov rdi, [rbx]
0015e345mov rax, [rsp]
0015e349add rsp, 24
0015e34djmp rdi
0015e34f
0015e34floc_15e34f:
0015e34fcall caml_call_gc
0015e354jmp 0x15e279
0015e359
0015e359loc_15e359:
0015e359push 36
0015e35bcall caml_call_realloc_stack
0015e360pop r10
0015e362jmp 0x15e262
0015e250

0015e367
0015e367 // align 0x10

0015e370
0015e370camlSubst.fun_1049:
0015e370lea r10, [rsp-336]
0015e378cmp r10, [r14+40]
0015e37cjb 0x15e3e9
0015e37e
0015e37eloc_15e37e:
0015e37esub rsp, 16
0015e382mov [rsp], rax
0015e386mov [rsp+8], rbx
0015e38bcmp r15, [r14]
0015e38ejbe 0x15e3e2
0015e390
0015e390loc_15e390:
0015e390mov rbx, [rbx+24]
0015e394lea rax, [rip+0x1929c5]
0015e39bmov rax, [rax+96]
0015e39flea rdi, [rip+0x1c3652]
0015e3a6mov rdi, [rdi+56]
0015e3aacall camlDoOut.blit_760
0015e3afmov rax, [rsp]
0015e3b3mov [rsp], rax
0015e3b7mov rbx, [rsp+8]
0015e3bcmov rax, [rbx+24]
0015e3c0mov rdi, [rbx+16]
0015e3c4add rdi, 24
0015e3c8mov ebx, 35
0015e3cdcall Subst..ocaml_lex_do_translate_rec
0015e3d2mov rbx, rax
0015e3d5mov rdi, [rbx]
0015e3d8mov rax, [rsp]
0015e3dcadd rsp, 16
0015e3e0jmp rdi
0015e3e2
0015e3e2loc_15e3e2:
0015e3e2call caml_call_gc
0015e3e7jmp 0x15e390
0015e3e9
0015e3e9loc_15e3e9:
0015e3e9push 35
0015e3ebcall caml_call_realloc_stack
0015e3f0pop r10
0015e3f2jmp 0x15e37e
0015e370

0015e3f4
0015e3f4 // align 0x10

0015e400
0015e400camlSubst.fun_1065:
0015e400lea r10, [rsp-336]
0015e408cmp r10, [r14+40]
0015e40cjb 0x15e487
0015e40e
0015e40eloc_15e40e:
0015e40esub rsp, 16
0015e412mov rdi, rax
0015e415mov [rsp], rdi
0015e419mov [rsp+8], rbx
0015e41ecmp r15, [r14]
0015e421jbe 0x15e480
0015e423
0015e423loc_15e423:
0015e423mov rax, [rbx+32]
0015e427mov rsi, [rdi]
0015e42amov rbx, rdi
0015e42dcall rsi
0015e42fmov rbx, rax
0015e432lea rax, [rip+0x192927]
0015e439mov rax, [rax+96]
0015e43dlea rdi, [rip+0x1c35b4]
0015e444mov rdi, [rdi+64]
0015e448call camlDoOut.put_char_792
0015e44dmov rax, [rsp]
0015e451mov [rsp], rax
0015e455mov rbx, [rsp+8]
0015e45amov rax, [rbx+24]
0015e45emov rdi, [rbx+16]
0015e462add rdi, 24
0015e466mov ebx, 35
0015e46bcall Subst..ocaml_lex_do_translate_rec
0015e470mov rbx, rax
0015e473mov rdi, [rbx]
0015e476mov rax, [rsp]
0015e47aadd rsp, 16
0015e47ejmp rdi
0015e480
0015e480loc_15e480:
0015e480call caml_call_gc
0015e485jmp 0x15e423
0015e487
0015e487loc_15e487:
0015e487push 35
0015e489call caml_call_realloc_stack
0015e48epop r10
0015e490jmp 0x15e40e
0015e400

0015e495
0015e495 // align 0x10

0015e4a0
0015e4a0camlSubst.fun_1080:
0015e4a0lea rax, [rip+0x1928b9]
0015e4a7mov rax, [rax+96]
0015e4abjmp 0x18a4c0
0015e4a0

0015e4b0
0015e4b0camlSubst.sharp_inside_694:
0015e4b0lea r10, [rsp-336]
0015e4b8cmp r10, [r14+40]
0015e4bcjb 0x15e535
0015e4be
0015e4beloc_15e4be:
0015e4belea r11, [rip+71]
0015e4c5push r11
0015e4c7push [r14+48]
0015e4cbmov [r14+48], rsp
0015e4cfmov esi, 71
0015e4d4mov edi, 1
0015e4d9mov rbx, [rax-8]
0015e4ddshr rbx, 10
0015e4e1lea rbx, [8*rbx-1]
0015e4e9movzx rdx, [rax+rbx]
0015e4eesub rbx, rdx
0015e4f1lea rbx, [rbx+rbx+1]
0015e4f6call Stdlib.String.index_rec
0015e4fbmov eax, 3
0015e500pop [r14+48]
0015e504add rsp, 8
0015e508jmp 0x15e534
0015e50anop
0015e50clea rbx, [rip+0x1cf105]
0015e513mov rbx, [rbx+56]
0015e517cmp rax, rbx
0015e51ajne 0x15e524
0015e51cmov eax, 1
0015e521ret
0015e522nop
0015e524
0015e524loc_15e524:
0015e524mov rsp, [r14+48]
0015e528pop [r14+48]
0015e52cpop r11
0015e52ejmp r11
0015e531nop [rax]
0015e534
0015e534loc_15e534:
0015e534ret
0015e535
0015e535loc_15e535:
0015e535push 35
0015e537call caml_call_realloc_stack
0015e53cpop r10
0015e53ejmp 0x15e4be
0015e4b0

0015e543
0015e543 // align 0x10

0015e550
0015e550camlSubst.do_do_subst_this_697:
0015e550lea r10, [rsp-352]
0015e558cmp r10, [r14+40]
0015e55cjb 0x15e6bc
0015e562
0015e562loc_15e562:
0015e562sub rsp, 32
0015e566mov rdi, [rbx]
0015e569mov [rsp+16], rdi
0015e56emov rsi, [rbx+8]
0015e572test sil, 1
0015e576jne 0x15e6a8
0015e57cmov [rsp+8], rbx
0015e581mov [rsp], rax
0015e585mov rax, rdi
0015e588call camlSubst.sharp_inside_694
0015e58dcmp rax, 1
0015e591je 0x15e6a8
0015e597lea rax, [rip+0x1cbad2]
0015e59emov rax, [rax+80]
0015e5a2mov rax, [rax]
0015e5a5cmp rax, 3
0015e5a9jle 0x15e5f2
0015e5abmov rax, [rsp+16]
0015e5b0mov [rsp+24], rax
0015e5b5lea rbx, [rip+0x19417c]
0015e5bclea rax, [rip+0x1cf055]
0015e5c3mov rax, [rax+312]
0015e5cacall Stdlib.Printf.fprintf
0015e5cfmov rbx, rax
0015e5d2mov rdi, [rbx]
0015e5d5mov rax, [rsp+24]
0015e5dacall rdi
0015e5dclea rax, [rip+0x1b83bd]
0015e5e3mov rax, [rax+728]
0015e5eamov rax, [rax]
0015e5edcall camlLexstate.pretty_subst_612
0015e5f2
0015e5f2loc_15e5f2:
0015e5f2mov rbx, [rsp]
0015e5f6lea rax, [rip+0x192763]
0015e5fdmov rdi, [rax+112]
0015e601sub r15, 40
0015e605cmp r15, [r14]
0015e608jb 0x15e6b2
0015e60e
0015e60eloc_15e60e:
0015e60elea rax, [r15+8]
0015e612mov [rax-8], 4343
0015e61alea rsi, [rip+175]
0015e621mov [rax], rsi
0015e624mov rsi, 0x100000000000005
0015e62emov [rax+8], rsi
0015e632mov [rax+16], rbx
0015e636mov [rax+24], rdi
0015e63amov rbx, [rsp+8]
0015e63fcall camlLexstate.scan_this_arg_1187
0015e644lea rax, [rip+0x192715]
0015e64bmov rax, [rax+96]
0015e64fcall camlDoOut.to_string_830
0015e654mov rbx, rax
0015e657mov [rsp], rbx
0015e65blea rax, [rip+0x1cba0e]
0015e662mov rax, [rax+80]
0015e666mov rax, [rax]
0015e669cmp rax, 3
0015e66djle 0x15e69c
0015e66flea rax, [rip+0x1934fa]
0015e676call camlStdlib.$5e_139
0015e67bmov rbx, rax
0015e67emov rax, [rsp+16]
0015e683call camlStdlib.$5e_139
0015e688mov rbx, rax
0015e68blea rax, [rip+0x19408e]
0015e692call camlStdlib.$5e_139
0015e697call camlStdlib.prerr_endline_390
0015e69c
0015e69cloc_15e69c:
0015e69cmov rax, [rsp]
0015e6a0add rsp, 32
0015e6a4ret
0015e6a5
0015e6a5 0f 1f 00 ...
0015e6a8
0015e6a8loc_15e6a8:
0015e6a8mov rax, [rsp+16]
0015e6adadd rsp, 32
0015e6b1ret
0015e6b2
0015e6b2loc_15e6b2:
0015e6b2call caml_call_gc
0015e6b7jmp 0x15e60e
0015e6bc
0015e6bcloc_15e6bc:
0015e6bcpush 37
0015e6becall caml_call_realloc_stack
0015e6c3pop r10
0015e6c5jmp 0x15e562
0015e550

0015e6ca
0015e6ca // align 0x10

0015e6d0
0015e6d0camlSubst.fun_1092:
0015e6d0mov rdx, rax
0015e6d3mov rax, [rbx+16]
0015e6d7mov rsi, [rbx+24]
0015e6dbadd rsi, 32
0015e6dfmov edi, 1
0015e6e4mov rbx, rdx
0015e6e7jmp 0x15d920
0015e6d0

0015e6ec
0015e6ec // align 0x10

0015e6f0
0015e6f0camlSubst.sharp_inside_list_704:
0015e6f0mov rbx, rax
0015e6f3lea rax, [rip+0x192666]
0015e6famov rax, [rax+144]
0015e701jmp 0x1a0c10
0015e6f0

0015e706
0015e706 // align 0x10

0015e710
0015e710camlSubst.do_do_subst_this_list_777:
0015e710lea r10, [rsp-360]
0015e718cmp r10, [r14+40]
0015e71cjb 0x15e8c4
0015e722
0015e722loc_15e722:
0015e722sub rsp, 40
0015e726mov rdi, [rbx]
0015e729mov [rsp+16], rdi
0015e72emov rsi, [rbx+8]
0015e732test sil, 1
0015e736jne 0x15e8b0
0015e73cmov [rsp+8], rbx
0015e741mov [rsp], rax
0015e745lea rax, [rip+0x192614]
0015e74cmov rax, [rax+144]
0015e753mov rbx, rdi
0015e756call Stdlib.List.exists
0015e75bcmp rax, 1
0015e75fje 0x15e8b0
0015e765lea rax, [rip+0x1cb904]
0015e76cmov rax, [rax+80]
0015e770mov rax, [rax]
0015e773cmp rax, 3
0015e777jle 0x15e7d4
0015e779mov rax, [rsp+16]
0015e77emov [rsp+32], rax
0015e783lea rax, [rip+0x1b8216]
0015e78amov rax, [rax]
0015e78dmov [rsp+24], rax
0015e792lea rbx, [rip+0x193357]
0015e799lea rax, [rip+0x1cee78]
0015e7a0mov rax, [rax+312]
0015e7a7call Stdlib.Printf.fprintf
0015e7acmov rdi, rax
0015e7afmov rax, [rsp+24]
0015e7b4mov rbx, [rsp+32]
0015e7b9call caml_apply2
0015e7belea rax, [rip+0x1b81db]
0015e7c5mov rax, [rax+728]
0015e7ccmov rax, [rax]
0015e7cfcall camlLexstate.pretty_subst_612
0015e7d4
0015e7d4loc_15e7d4:
0015e7d4mov rbx, [rsp]
0015e7d8lea rax, [rip+0x192581]
0015e7dfmov rdi, [rax+112]
0015e7e3sub r15, 40
0015e7e7cmp r15, [r14]
0015e7eajb 0x15e8ba
0015e7f0
0015e7f0loc_15e7f0:
0015e7f0lea rax, [r15+8]
0015e7f4mov [rax-8], 4343
0015e7fclea rsi, [rip+221]
0015e803mov [rax], rsi
0015e806mov rsi, 0x100000000000005
0015e810mov [rax+8], rsi
0015e814mov [rax+16], rbx
0015e818mov [rax+24], rdi
0015e81cmov rbx, [rsp+8]
0015e821call camlLexstate.scan_this_arg_list_1188
0015e826lea rax, [rip+0x192533]
0015e82dmov rax, [rax+96]
0015e831call camlDoOut.to_list_835
0015e836mov [rsp], rax
0015e83alea rbx, [rip+0x1cb82f]
0015e841mov rbx, [rbx+80]
0015e845mov rbx, [rbx]
0015e848cmp rbx, 3
0015e84cjle 0x15e8a7
0015e84emov [rsp+32], rax
0015e853lea rax, [rip+0x1b8146]
0015e85amov rax, [rax]
0015e85dmov [rsp+24], rax
0015e862mov rbx, [rsp+16]
0015e867mov [rsp+16], rbx
0015e86cmov [rsp+8], rax
0015e871lea rbx, [rip+0x192628]
0015e878lea rax, [rip+0x1ced99]
0015e87fmov rax, [rax+312]
0015e886call Stdlib.Printf.fprintf
0015e88bmov rdx, rax
0015e88emov rax, [rsp+8]
0015e893mov rbx, [rsp+16]
0015e898mov rdi, [rsp+24]
0015e89dmov rsi, [rsp+32]
0015e8a2call caml_apply4
0015e8a7
0015e8a7loc_15e8a7:
0015e8a7mov rax, [rsp]
0015e8abadd rsp, 40
0015e8afret
0015e8b0
0015e8b0loc_15e8b0:
0015e8b0mov rax, [rsp+16]
0015e8b5add rsp, 40
0015e8b9ret
0015e8ba
0015e8baloc_15e8ba:
0015e8bacall caml_call_gc
0015e8bfjmp 0x15e7f0
0015e8c4
0015e8c4loc_15e8c4:
0015e8c4push 38
0015e8c6call caml_call_realloc_stack
0015e8cbpop r10
0015e8cdjmp 0x15e722
0015e710

0015e8d2
0015e8d2 // align 0x10

0015e8e0
0015e8e0camlSubst.fun_1109:
0015e8e0mov rdx, rax
0015e8e3mov rax, [rbx+16]
0015e8e7mov rsi, [rbx+24]
0015e8ebadd rsi, 32
0015e8efmov edi, 1
0015e8f4mov rbx, rdx
0015e8f7jmp 0x15d920
0015e8e0

0015e8fc
0015e8fc // align 0x10

0015e900
0015e900camlSubst.do_subst_this_list_784:
0015e900lea r10, [rsp-320]
0015e908cmp r10, [r14+40]
0015e90cjb 0x15e92a
0015e90e
0015e90eloc_15e90e:
0015e90emov rbx, rax
0015e911mov eax, 1
0015e916call camlSubst.do_do_subst_this_list_777
0015e91bmov rbx, rax
0015e91elea rax, [rip+0x19256b]
0015e925jmp 0x1ab480
0015e92a
0015e92aloc_15e92a:
0015e92apush 33
0015e92ccall caml_call_realloc_stack
0015e931pop r10
0015e933jmp 0x15e90e
0015e900

0015e935
0015e935 // align 0x10

0015e940
0015e940camlSubst.do_subst_this_787:
0015e940mov rbx, rax
0015e943mov eax, 1
0015e948jmp 0x15e550
0015e940

0015e94d
0015e94d // align 0x10

0015e950
0015e950camlSubst.subst_list_790:
0015e950mov rbx, [rax+8]
0015e954sub r15, 32
0015e958cmp r15, [r14]
0015e95bjb 0x15e990
0015e95d
0015e95dloc_15e95d:
0015e95dlea rdi, [r15+8]
0015e961mov [rdi-8], 3319
0015e969lea rsi, [rip+48]
0015e970mov [rdi], rsi
0015e973mov rsi, 0x100000000000005
0015e97dmov [rdi+8], rsi
0015e981mov [rdi+16], rbx
0015e985mov rbx, [rax]
0015e988mov rax, rdi
0015e98bjmp 0x19fe40
0015e990
0015e990loc_15e990:
0015e990call caml_call_gc
0015e995jmp 0x15e95d
0015e950

0015e997
0015e997 // align 0x10

0015e9a0
0015e9a0camlSubst.fun_1124:
0015e9a0sub r15, 24
0015e9a4cmp r15, [r14]
0015e9a7jb 0x15e9cd
0015e9a9
0015e9a9loc_15e9a9:
0015e9a9lea rdi, [r15+8]
0015e9admov [rdi-8], 2048
0015e9b5mov [rdi], rax
0015e9b8mov rax, [rbx+16]
0015e9bcmov [rdi+8], rax
0015e9c0mov eax, 1
0015e9c5mov rbx, rdi
0015e9c8jmp 0x15e550
0015e9cd
0015e9cdloc_15e9cd:
0015e9cdcall caml_call_gc
0015e9d2jmp 0x15e9a9
0015e9a0

0015e9d4
0015e9d4 // align 0x10

0015e9e0
0015e9e0camlSubst.subst_this_796:
0015e9e0lea rbx, [rip+0x1b7fb9]
0015e9e7mov rbx, [rbx+728]
0015e9eemov rdi, [rbx]
0015e9f1sub r15, 24
0015e9f5cmp r15, [r14]
0015e9f8jb 0x15ea17
0015e9fa
0015e9faloc_15e9fa:
0015e9falea rbx, [r15+8]
0015e9femov [rbx-8], 2048
0015ea06mov [rbx], rax
0015ea09mov [rbx+8], rdi
0015ea0dmov eax, 1
0015ea12jmp 0x15e550
0015ea17
0015ea17loc_15ea17:
0015ea17call caml_call_gc
0015ea1cjmp 0x15e9fa
0015e9e0

0015ea1e
0015ea1e // align 0x10

0015ea20
0015ea20camlSubst.subst_arg_799:
0015ea20lea r10, [rsp-320]
0015ea28cmp r10, [r14+40]
0015ea2cjb 0x15ea40
0015ea2e
0015ea2eloc_15ea2e:
0015ea2ecall camlLexstate.save_arg_1030
0015ea33mov rbx, rax
0015ea36mov eax, 1
0015ea3bjmp 0x15e550
0015ea40
0015ea40loc_15ea40:
0015ea40push 33
0015ea42call caml_call_realloc_stack
0015ea47pop r10
0015ea49jmp 0x15ea2e
0015ea20

0015ea4b
0015ea4b // align 0x10

0015ea50
0015ea50camlSubst.subst_opt_800:
0015ea50lea r10, [rsp-320]
0015ea58cmp r10, [r14+40]
0015ea5cjb 0x15ea75
0015ea5e
0015ea5eloc_15ea5e:
0015ea5ecall camlLexstate.save_arg_opt_1107
0015ea63call camlLexstate.from_ok_1113
0015ea68mov rbx, rax
0015ea6bmov eax, 1
0015ea70jmp 0x15e710
0015ea75
0015ea75loc_15ea75:
0015ea75push 33
0015ea77call caml_call_realloc_stack
0015ea7cpop r10
0015ea7ejmp 0x15ea5e
0015ea50