Similarity

00113600
00113600camlPackage.fun_3046:
00113600lea r10, [rsp-368]
00113608cmp r10, [r14+40]
0011360cjb 0x113941
00113612
00113612loc_113612:
00113612sub rsp, 16
00113616mov [rsp], rbx
0011361acmp r15, [r14]
0011361djbe 0x113937
00113623
00113623loc_113623:
00113623lea rbx, [rip+0x203376]
0011362amov rbx, [rbx+168]
00113631mov rbx, [rbx]
00113634cmp rbx, 3
00113638je 0x113910
0011363emov [rsp+8], rax
00113643mov eax, 69
00113648call camlLexstate.is_plain_833
0011364dcmp rax, 1
00113651jne 0x113910
00113657lea r11, [rip+618]
0011365epush r11
00113660push [r14+48]
00113664mov [r14+48], rsp
00113668mov rax, [rsp+24]
0011366dcall camlSave.peek_next_char_355
00113672mov rbx, rax
00113675cmp rbx, 255
0011367cjge 0x113798
00113682mov rax, rbx
00113685sar rax, 1
00113688lea rdx, [rip+0x116d39]
0011368fmovsxd rax, [rdx+4*rax]
00113693add rdx, rax
00113696jmp rdx
00113698mov rax, [rsp+16]
0011369dmov rdi, [rax+32]
001136a1lea rbx, [rip+0x1788f0]
001136a8mov rax, [rsp+24]
001136adcall camlPackage.gscan_1556
001136b2jmp 0x1138bc
001136b7nop
001136b8mov rax, [rsp+16]
001136bdmov rdi, [rax+32]
001136c1lea rbx, [rip+0x1788c0]
001136c8mov rax, [rsp+24]
001136cdcall camlPackage.gscan_1556
001136d2jmp 0x1138bc
001136d7nop
001136d8mov rax, [rsp+16]
001136ddmov rdi, [rax+32]
001136e1lea rbx, [rip+0x178890]
001136e8mov rax, [rsp+24]
001136edcall camlPackage.gscan_1556
001136f2jmp 0x1138bc
001136f7nop
001136f8lea rax, [rip+0x207a51]
001136ffmov rdi, [rax+64]
00113703add rdi, 24
00113707mov ebx, 405
0011370cmov rax, [rsp+24]
00113711call Save..ocaml_lex_gobble_one_char_rec
00113716mov rax, [rsp+16]
0011371bmov rax, [rax+40]
0011371fmov rbx, [rax+352]
00113726lea rax, [rip+0x17883b]
0011372dmov rdi, [rbx]
00113730call rdi
00113732jmp 0x1138bc
00113737nop
00113738lea rax, [rip+0x207a11]
0011373fmov rdi, [rax+64]
00113743add rdi, 24
00113747mov ebx, 405
0011374cmov rax, [rsp+24]
00113751call Save..ocaml_lex_gobble_one_char_rec
00113756mov rax, [rsp+16]
0011375bmov rax, [rax+40]
0011375fmov rbx, [rax+352]
00113766lea rax, [rip+0x1787eb]
0011376dmov rdi, [rbx]
00113770call rdi
00113772jmp 0x1138bc
00113777nop
00113778mov rax, [rsp+16]
0011377dmov rdi, [rax+32]
00113781lea rbx, [rip+0x1787c0]
00113788mov rax, [rsp+24]
0011378dcall camlPackage.gscan_1556
00113792jmp 0x1138bc
00113797nop
00113798
00113798loc_113798:
00113798mov rax, [rsp+16]
0011379dmov rax, [rax+40]
001137a1mov rbx, [rax+360]
001137a8mov eax, 69
001137admov rdi, [rbx]
001137b0call rdi
001137b2jmp 0x1138bc
001137b7nop
001137b8lea r11, [rip+53]
001137bfpush r11
001137c1push [r14+48]
001137c5mov [r14+48], rsp
001137c9mov rax, rbx
001137cccall camlOutUnicode.diaeresis_865
001137d1mov rbx, rax
001137d4mov rax, [rsp+32]
001137d9mov rdi, [rax+24]
001137ddmov rax, [rsp+40]
001137e2call camlPackage.gput_unicode_1549
001137e7pop [r14+48]
001137ebadd rsp, 8
001137efjmp 0x1138bc
001137f4lea rbx, [rip+0x1e053d]
001137fbmov rbx, [rbx+40]
001137ffcmp rax, rbx
00113802jne 0x113840
00113804sub r15, 24
00113808cmp r15, [r14]
0011380bjb 0x11392d
00113811
00113811loc_113811:
00113811lea rax, [r15+8]
00113815mov [rax-8], 2048
0011381dlea rbx, [rip+0x1629e4]
00113824mov [rax], rbx
00113827lea rbx, [rip+0x1786fa]
0011382emov [rax+8], rbx
00113832mov rsp, [r14+48]
00113836pop [r14+48]
0011383apop r11
0011383cjmp r11
0011383fnop
00113840
00113840loc_113840:
00113840mov rsp, [r14+48]
00113844pop [r14+48]
00113848pop r11
0011384ajmp r11
0011384dnop [rax]
00113850mov rax, [rsp+16]
00113855mov rdi, [rax+24]
00113859mov ebx, 447
0011385emov rax, [rsp+24]
00113863call camlPackage.gput_unicode_1549
00113868jmp 0x1138bc
0011386anop
0011386cmov rax, [rsp+16]
00113871mov rdi, [rax+16]
00113875mov rax, [rsp+24]
0011387acall camlPackage.gput_1548
0011387fjmp 0x1138bc
00113881nop [rax]
00113884lea rax, [rip+0x2078c5]
0011388bmov rdi, [rax+64]
0011388fadd rdi, 24
00113893mov ebx, 405
00113898mov rax, [rsp+24]
0011389dcall Save..ocaml_lex_gobble_one_char_rec
001138a2jmp 0x1138bc
001138a4mov rax, [rsp+16]
001138a9mov rdi, [rax+16]
001138admov ebx, 91
001138b2mov rax, [rsp+24]
001138b7call camlPackage.gput_1548
001138bc
001138bcloc_1138bc:
001138bcpop [r14+48]
001138c0add rsp, 8
001138c4jmp 0x113908
001138c6nop
001138c8lea rbx, [rip+0x219d49]
001138cfmov rbx, [rbx+56]
001138d3cmp rax, rbx
001138d6jne 0x1138f8
001138d8mov rax, [rsp]
001138dcmov rax, [rax+40]
001138e0mov rbx, [rax+360]
001138e7mov eax, 69
001138ecmov rdi, [rbx]
001138efadd rsp, 16
001138f3jmp rdi
001138f5nop [rax]
001138f8
001138f8loc_1138f8:
001138f8mov rsp, [r14+48]
001138fcpop [r14+48]
00113900pop r11
00113902jmp r11
00113905nop [rax]
00113908
00113908loc_113908:
00113908add rsp, 16
0011390cret
0011390dnop [rax]
00113910
00113910loc_113910:
00113910mov rax, [rsp]
00113914mov rax, [rax+40]
00113918mov rbx, [rax+360]
0011391fmov eax, 69
00113924mov rdi, [rbx]
00113927add rsp, 16
0011392bjmp rdi
0011392d
0011392dloc_11392d:
0011392dcall caml_call_gc
00113932jmp 0x113811
00113937
00113937loc_113937:
00113937call caml_call_gc
0011393cjmp 0x113623
00113941
00113941loc_113941:
00113941push 39
00113943call caml_call_realloc_stack
00113948pop r10
0011394ajmp 0x113612
00113600

0011394f
0011394f // align 0x10

00113950
00113950camlPackage.fun_3075:
00113950lea r10, [rsp-320]
00113958cmp r10, [r14+40]
0011395cjb 0x113973
0011395e
0011395eloc_11395e:
0011395emov rbx, [rbx+16]
00113962mov rbx, [rbx+224]
00113969mov rdi, [rbx]
0011396ccall rdi
0011396ejmp 0x1603f0
00113973
00113973loc_113973:
00113973push 33
00113975call caml_call_realloc_stack
0011397apop r10
0011397cjmp 0x11395e
00113950

0011397e
0011397e // align 0x10

00113980
00113980camlPackage.fun_3078:
00113980lea r10, [rsp-320]
00113988cmp r10, [r14+40]
0011398cjb 0x1139a3
0011398e
0011398eloc_11398e:
0011398emov rbx, [rbx+16]
00113992mov rbx, [rbx+224]
00113999mov rdi, [rbx]
0011399ccall rdi
0011399ejmp 0x1600b0
001139a3
001139a3loc_1139a3:
001139a3push 33
001139a5call caml_call_realloc_stack
001139aapop r10
001139acjmp 0x11398e
00113980

001139ae
001139ae // align 0x10

001139b0
001139b0camlPackage.fun_3081:
001139b0lea r10, [rsp-320]
001139b8cmp r10, [r14+40]
001139bcjb 0x1139d3
001139be
001139beloc_1139be:
001139bemov rbx, [rbx+16]
001139c2mov rbx, [rbx+224]
001139c9mov rdi, [rbx]
001139cccall rdi
001139cejmp 0x160250
001139d3
001139d3loc_1139d3:
001139d3push 33
001139d5call caml_call_realloc_stack
001139dapop r10
001139dcjmp 0x1139be
001139b0

001139de
001139de // align 0x10

001139e0
001139e0camlPackage.fun_3084:
001139e0lea r10, [rsp-344]
001139e8cmp r10, [r14+40]
001139ecjb 0x113a3a
001139ee
001139eeloc_1139ee:
001139eesub rsp, 24
001139f2mov [rsp+8], rax
001139f7mov [rsp], rbx
001139fbmov rbx, [rbx+16]
001139ffmov rbx, [rbx+224]
00113a06mov rdi, [rbx]
00113a09call rdi
00113a0bmov [rsp+16], rax
00113a10mov rax, [rsp]
00113a14mov rax, [rax+16]
00113a18mov rbx, [rax+224]
00113a1fmov rdi, [rbx]
00113a22mov rax, [rsp+8]
00113a27call rdi
00113a29mov rbx, rax
00113a2cmov rax, [rsp+16]
00113a31add rsp, 24
00113a35jmp 0x1799b0
00113a3a
00113a3aloc_113a3a:
00113a3apush 36
00113a3ccall caml_call_realloc_stack
00113a41pop r10
00113a43jmp 0x1139ee
001139e0

00113a45
00113a45 // align 0x10

00113a50
00113a50camlPackage.fun_3087:
00113a50lea r10, [rsp-320]
00113a58cmp r10, [r14+40]
00113a5cjb 0x113ab6
00113a5e
00113a5eloc_113a5e:
00113a5esub r15, 32
00113a62cmp r15, [r14]
00113a65jb 0x113aaf
00113a67
00113a67loc_113a67:
00113a67lea rsi, [r15+8]
00113a6bmov [rsi-8], 3319
00113a73lea rax, [rip+86]
00113a7amov [rsi], rax
00113a7dmov rax, 0x100000000000005
00113a87mov [rsi+8], rax
00113a8bmov rax, [rbx+16]
00113a8fmov [rsi+16], rax
00113a93mov rdi, [rax+160]
00113a9alea rax, [rip+0x1783d7]
00113aa1mov rbx, rsi
00113aa4call caml_apply2
00113aa9mov eax, 1
00113aaeret
00113aaf
00113aafloc_113aaf:
00113aafcall caml_call_gc
00113ab4jmp 0x113a67
00113ab6
00113ab6loc_113ab6:
00113ab6push 33
00113ab8call caml_call_realloc_stack
00113abdpop r10
00113abfjmp 0x113a5e
00113a50

00113ac1
00113ac1 // align 0x10

00113ad0
00113ad0camlPackage.fun_3093:
00113ad0lea r10, [rsp-344]
00113ad8cmp r10, [r14+40]
00113adcjb 0x113b2a
00113ade
00113adeloc_113ade:
00113adesub rsp, 24
00113ae2mov [rsp+8], rax
00113ae7mov [rsp], rbx
00113aebmov rbx, [rbx+16]
00113aefmov rbx, [rbx+224]
00113af6mov rdi, [rbx]
00113af9call rdi
00113afbmov [rsp+16], rax
00113b00mov rax, [rsp]
00113b04mov rax, [rax+16]
00113b08mov rbx, [rax+224]
00113b0fmov rdi, [rbx]
00113b12mov rax, [rsp+8]
00113b17call rdi
00113b19mov rbx, rax
00113b1cmov rax, [rsp+16]
00113b21add rsp, 24
00113b25jmp 0x179ad0
00113b2a
00113b2aloc_113b2a:
00113b2apush 36
00113b2ccall caml_call_realloc_stack
00113b31pop r10
00113b33jmp 0x113ade
00113ad0

00113b35
00113b35 // align 0x10

00113b40
00113b40camlPackage.fun_3096:
00113b40lea r10, [rsp-320]
00113b48cmp r10, [r14+40]
00113b4cjb 0x113ba6
00113b4e
00113b4eloc_113b4e:
00113b4esub r15, 32
00113b52cmp r15, [r14]
00113b55jb 0x113b9f
00113b57
00113b57loc_113b57:
00113b57lea rsi, [r15+8]
00113b5bmov [rsi-8], 3319
00113b63lea rax, [rip+86]
00113b6amov [rsi], rax
00113b6dmov rax, 0x100000000000005
00113b77mov [rsi+8], rax
00113b7bmov rax, [rbx+16]
00113b7fmov [rsi+16], rax
00113b83mov rdi, [rax+160]
00113b8alea rax, [rip+0x1782bf]
00113b91mov rbx, rsi
00113b94call caml_apply2
00113b99mov eax, 1
00113b9eret
00113b9f
00113b9floc_113b9f:
00113b9fcall caml_call_gc
00113ba4jmp 0x113b57
00113ba6
00113ba6loc_113ba6:
00113ba6push 33
00113ba8call caml_call_realloc_stack
00113badpop r10
00113bafjmp 0x113b4e
00113b40

00113bb1
00113bb1 // align 0x10

00113bc0
00113bc0camlPackage.fun_3102:
00113bc0lea r10, [rsp-320]
00113bc8cmp r10, [r14+40]
00113bccjb 0x113c01
00113bce
00113bceloc_113bce:
00113bcemov rbx, [rbx+16]
00113bd2mov rbx, [rbx+224]
00113bd9mov rdi, [rbx]
00113bdccall rdi
00113bdelea rbx, [rip+0x20e07b]
00113be5mov rdi, [rbx+72]
00113be9mov rsi, rax
00113becmov rbx, rsp
00113befmov rsp, [r14+64]
00113bf3call caml_modify
00113bf8mov rsp, rbx
00113bfbmov eax, 1
00113c00ret
00113c01
00113c01loc_113c01:
00113c01push 33
00113c03call caml_call_realloc_stack
00113c08pop r10
00113c0ajmp 0x113bce
00113bc0

00113c0c
00113c0c // align 0x10

00113c10
00113c10camlPackage.cr_fmt_one_1590:
00113c10lea r10, [rsp-344]
00113c18cmp r10, [r14+40]
00113c1cjb 0x113c66
00113c1e
00113c1eloc_113c1e:
00113c1esub rsp, 24
00113c22mov [rsp+16], rdi
00113c27mov [rsp+8], rbx
00113c2cmov [rsp], rax
00113c30lea rax, [rip+0x1780c9]
00113c37call Stdlib.Printf.sprintf
00113c3cmov rdi, rax
00113c3fmov rax, [rsp]
00113c43mov rbx, [rsp+8]
00113c48call caml_apply2
00113c4dmov rbx, rax
00113c50mov rax, [rsp+16]
00113c55mov rax, [rax+24]
00113c59mov rax, [rax+24]
00113c5dadd rsp, 24
00113c61jmp 0x17f150
00113c66
00113c66loc_113c66:
00113c66push 36
00113c68call caml_call_realloc_stack
00113c6dpop r10
00113c6fjmp 0x113c1e
00113c10

00113c71
00113c71 // align 0x10

00113c80
00113c80camlPackage.cr_fmt_two_1591:
00113c80lea r10, [rsp-352]
00113c88cmp r10, [r14+40]
00113c8cjb 0x113ce0
00113c8e
00113c8eloc_113c8e:
00113c8esub rsp, 32
00113c92mov [rsp+24], rsi
00113c97mov [rsp+16], rdi
00113c9cmov [rsp+8], rbx
00113ca1mov [rsp], rax
00113ca5lea rax, [rip+0x177f1c]
00113caccall Stdlib.Printf.sprintf
00113cb1mov rsi, rax
00113cb4mov rax, [rsp]
00113cb8mov rbx, [rsp+8]
00113cbdmov rdi, [rsp+16]
00113cc2call caml_apply3
00113cc7mov rbx, rax
00113ccamov rax, [rsp+24]
00113ccfmov rax, [rax+24]
00113cd3mov rax, [rax+24]
00113cd7add rsp, 32
00113cdbjmp 0x17f150
00113ce0
00113ce0loc_113ce0:
00113ce0push 37
00113ce2call caml_call_realloc_stack
00113ce7pop r10
00113ce9jmp 0x113c8e
00113c80

00113ceb
00113ceb // align 0x10

00113cf0
00113cf0camlPackage.cr_fmt_many_1592:
00113cf0lea r10, [rsp-384]
00113cf8cmp r10, [r14+40]
00113cfcjb 0x113f27
00113d02
00113d02loc_113d02:
00113d02sub rsp, 64
00113d06mov [rsp], rax
00113d0amov [rsp+16], rbx
00113d0fmov [rsp+24], rdi
00113d14mov [rsp+40], rsi
00113d19mov [rsp+56], rdx
00113d1elea rax, [rip+0x1773a3]
00113d25mov [rsp+32], rax
00113d2amov eax, 33
00113d2fcall Stdlib.Buffer.create
00113d34mov [rsp+48], rax
00113d39mov esi, 3
00113d3emov edi, 1
00113d43lea rbx, [rip+0x179116]
00113d4acall Stdlib.Buffer.add_substring
00113d4fmov rax, [rsp+16]
00113d54mov [rsp+8], rax
00113d59mov rax, [rsp]
00113d5dmov [rsp], rax
00113d61lea rax, [rip+0x177c28]
00113d68call Stdlib.Printf.sprintf
00113d6dmov rdi, rax
00113d70mov rax, [rsp]
00113d74mov rbx, [rsp+8]
00113d79call caml_apply2
00113d7emov rbx, rax
00113d81mov rax, [rbx-8]
00113d85shr rax, 10
00113d89lea rax, [8*rax-1]
00113d91movzx rdi, [rbx+rax]
00113d96sub rax, rdi
00113d99lea rsi, [rax+rax+1]
00113d9emov edi, 1
00113da3mov rax, [rsp+48]
00113da8call Stdlib.Buffer.add_substring
00113dadmov esi, 3
00113db2mov edi, 1
00113db7lea rbx, [rip+0x1799b2]
00113dbemov rax, [rsp+48]
00113dc3call Stdlib.Buffer.add_substring
00113dc8mov rax, [rsp+16]
00113dcdmov [rsp], rax
00113dd1lea rax, [rip+0x177ce0]
00113dd8call Stdlib.Printf.sprintf
00113dddmov rbx, rax
00113de0mov rdi, [rbx]
00113de3mov rax, [rsp]
00113de7call rdi
00113de9mov rbx, rax
00113decmov rax, [rbx-8]
00113df0shr rax, 10
00113df4lea rax, [8*rax-1]
00113dfcmovzx rdi, [rbx+rax]
00113e01sub rax, rdi
00113e04lea rsi, [rax+rax+1]
00113e09mov edi, 1
00113e0emov rax, [rsp+48]
00113e13call Stdlib.Buffer.add_substring
00113e18mov esi, 45
00113e1dmov edi, 1
00113e22lea rbx, [rip+0x177b47]
00113e29mov rax, [rsp+48]
00113e2ecall Stdlib.Buffer.add_substring
00113e33mov rax, [rsp+24]
00113e38mov [rsp], rax
00113e3clea rax, [rip+0x177c75]
00113e43call Stdlib.Printf.sprintf
00113e48mov rbx, rax
00113e4bmov rdi, [rbx]
00113e4emov rax, [rsp]
00113e52call rdi
00113e54mov rbx, rax
00113e57mov rax, [rbx-8]
00113e5bshr rax, 10
00113e5flea rax, [8*rax-1]
00113e67movzx rdi, [rbx+rax]
00113e6csub rax, rdi
00113e6flea rsi, [rax+rax+1]
00113e74mov edi, 1
00113e79mov rax, [rsp+48]
00113e7ecall Stdlib.Buffer.add_substring
00113e83sub r15, 40
00113e87cmp r15, [r14]
00113e8ajb 0x113f1d
00113e90
00113e90loc_113e90:
00113e90lea rbx, [r15+8]
00113e94mov [rbx-8], 4343
00113e9clea rax, [rip+237]
00113ea3mov [rbx], rax
00113ea6mov rax, 0x100000000000005
00113eb0mov [rbx+8], rax
00113eb4mov rax, [rsp+32]
00113eb9mov [rbx+16], rax
00113ebdmov rax, [rsp+48]
00113ec2mov [rbx+24], rax
00113ec6mov rax, [rsp+40]
00113ecbcall camlPackage.do_rec_1694
00113ed0mov esi, 3
00113ed5mov edi, 1
00113edalea rbx, [rip+0x179297]
00113ee1mov rax, [rsp+48]
00113ee6call Stdlib.Buffer.add_substring
00113eebmov rax, [rsp+48]
00113ef0mov rdi, [rax+8]
00113ef4mov rax, [rax]
00113ef7mov rax, [rax]
00113efamov ebx, 1
00113effcall Stdlib.Bytes.sub
00113f04mov rbx, rax
00113f07mov rax, [rsp+56]
00113f0cmov rax, [rax+24]
00113f10mov rax, [rax+24]
00113f14add rsp, 64
00113f18jmp 0x17f150
00113f1d
00113f1dloc_113f1d:
00113f1dcall caml_call_gc
00113f22jmp 0x113e90
00113f27
00113f27loc_113f27:
00113f27push 41
00113f29call caml_call_realloc_stack
00113f2epop r10
00113f30jmp 0x113d02
00113cf0

00113f35
00113f35 // align 0x10

00113f40
00113f40camlPackage.fmt_lbl_1607:
00113f40lea r10, [rsp-328]
00113f48cmp r10, [r14+40]
00113f4cjb 0x113f7e
00113f4e
00113f4eloc_113f4e:
00113f4esub rsp, 8
00113f52cmp r15, [r14]
00113f55jbe 0x113f77
00113f57
00113f57loc_113f57:
00113f57mov [rsp], rax
00113f5blea rax, [rip+0x177b56]
00113f62call Stdlib.Printf.sprintf
00113f67mov rbx, rax
00113f6amov rdi, [rbx]
00113f6dmov rax, [rsp]
00113f71add rsp, 8
00113f75jmp rdi
00113f77
00113f77loc_113f77:
00113f77call caml_call_gc
00113f7cjmp 0x113f57
00113f7e
00113f7eloc_113f7e:
00113f7epush 34
00113f80call caml_call_realloc_stack
00113f85pop r10
00113f87jmp 0x113f4e
00113f40

00113f89
00113f89 // align 0x10

00113f90
00113f90camlPackage.do_rec_1694:
00113f90lea r10, [rsp-344]
00113f98cmp r10, [r14+40]
00113f9cjb 0x1140d7
00113fa2
00113fa2loc_113fa2:
00113fa2sub rsp, 24
00113fa6
00113fa6loc_113fa6:
00113fa6cmp r15, [r14]
00113fa9jbe 0x1140cd
00113faf
00113fafloc_113faf:
00113faftest al, 1
00113fb1je 0x113fc0
00113fb3mov eax, 1
00113fb8add rsp, 24
00113fbcret
00113fbd
00113fbd 0f 1f 00 ...
00113fc0
00113fc0loc_113fc0:
00113fc0mov [rsp+16], rbx
00113fc5mov rdi, [rax]
00113fc8mov [rsp], rdi
00113fccmov rdi, [rax+8]
00113fd0test dil, 1
00113fd4je 0x114048
00113fd6mov rax, [rbx+24]
00113fdamov esi, 41
00113fdfmov edi, 1
00113fe4lea rbx, [rip+0x177965]
00113febcall Stdlib.Buffer.add_substring
00113ff0mov rax, [rsp]
00113ff4mov [rsp], rax
00113ff8lea rax, [rip+0x177ab9]
00113fffcall Stdlib.Printf.sprintf
00114004mov rbx, rax
00114007mov rdi, [rbx]
0011400amov rax, [rsp]
0011400ecall rdi
00114010mov rbx, rax
00114013mov rax, [rsp+16]
00114018mov rax, [rax+24]
0011401cmov rdi, [rbx-8]
00114020shr rdi, 10
00114024lea rdi, [8*rdi-1]
0011402cmovzx rsi, [rbx+rdi]
00114031sub rdi, rsi
00114034lea rsi, [rdi+rdi+1]
00114039mov edi, 1
0011403eadd rsp, 24
00114042jmp 0x1c0e10
00114047
00114047 90 .
00114048
00114048loc_114048:
00114048mov [rsp+8], rax
0011404dmov rax, [rbx+24]
00114051mov esi, 45
00114056mov edi, 1
0011405blea rbx, [rip+0x17790e]
00114062call Stdlib.Buffer.add_substring
00114067mov rax, [rsp]
0011406bmov [rsp], rax
0011406flea rax, [rip+0x177a42]
00114076call Stdlib.Printf.sprintf
0011407bmov rbx, rax
0011407emov rdi, [rbx]
00114081mov rax, [rsp]
00114085call rdi
00114087mov rbx, rax
0011408amov rax, [rsp+16]
0011408fmov rax, [rax+24]
00114093mov rdi, [rbx-8]
00114097shr rdi, 10
0011409blea rdi, [8*rdi-1]
001140a3movzx rsi, [rbx+rdi]
001140a8sub rdi, rsi
001140ablea rsi, [rdi+rdi+1]
001140b0mov edi, 1
001140b5call Stdlib.Buffer.add_substring
001140bamov rax, [rsp+8]
001140bfmov rax, [rax+8]
001140c3mov rbx, [rsp+16]
001140c8jmp 0x113fa6
001140cd
001140cdloc_1140cd:
001140cdcall caml_call_gc
001140d2jmp 0x113faf
001140d7
001140d7loc_1140d7:
001140d7push 36
001140d9call caml_call_realloc_stack
001140depop r10
001140e0jmp 0x113fa2
00113f90

001140e5
001140e5 // align 0x10

001140f0
001140f0camlPackage.cr_split_1699:
001140f0lea r10, [rsp-320]
001140f8cmp r10, [r14+40]
001140fcjb 0x1141ea
00114102
00114102loc_114102:
00114102mov rbx, [rax-8]
00114106shr rbx, 10
0011410alea rbx, [8*rbx-1]
00114112movzx rdi, [rax+rbx]
00114117sub rbx, rdi
0011411alea rbx, [rbx+rbx+1]
0011411fsub r15, 96
00114123cmp r15, [r14]
00114126jb 0x1141e0
0011412c
0011412cloc_11412c:
0011412clea rsi, [r15+8]
00114130add rsi, 56
00114134mov [rsi-8], 4343
0011413clea rdx, [rip-0x1d123]
00114143mov [rsi], rdx
00114146mov rdi, 0x200000000000007
00114150mov [rsi+8], rdi
00114154lea rdi, [rip+165]
0011415bmov [rsi+16], rdi
0011415fmov [rsi+24], rax
00114163lea rdi, [rsi-56]
00114167mov [rdi-8], 6391
0011416fmov [rdi], rdx
00114172mov rdx, 0x200000000000007
0011417cmov [rdi+8], rdx
00114180lea rdx, [rip+233]
00114187mov [rdi+16], rdx
0011418bmov [rdi+24], rax
0011418fmov [rdi+32], rbx
00114193mov [rdi+40], rsi
00114197mov ebx, 1
0011419cmov eax, 1
001141a1call camlPackage.do_rec_1708
001141a6mov rbx, [rax+8]
001141aamov rdi, [rax]
001141adtest dil, 1
001141b1je 0x1141b8
001141b3mov rax, rbx
001141b6jmp 0x1141d4
001141b8
001141b8loc_1141b8:
001141b8sub r15, 24
001141bccmp r15, [r14]
001141bfjb 0x1141d9
001141c1
001141c1loc_1141c1:
001141c1lea rax, [r15+8]
001141c5mov [rax-8], 2048
001141cdmov [rax], rdi
001141d0mov [rax+8], rbx
001141d4
001141d4loc_1141d4:
001141d4jmp 0x19fc80
001141d9
001141d9loc_1141d9:
001141d9call caml_call_gc
001141dejmp 0x1141c1
001141e0
001141e0loc_1141e0:
001141e0call caml_call_gc
001141e5jmp 0x11412c
001141ea
001141ealoc_1141ea:
001141eapush 33
001141eccall caml_call_realloc_stack
001141f1pop r10
001141f3jmp 0x114102
001140f0

001141f8
001141f8 // align 0x10

00114200
00114200camlPackage.extract_1703:
00114200lea r10, [rsp-320]
00114208cmp r10, [r14+40]
0011420cjb 0x11425b
0011420e
0011420eloc_11420e:
0011420emov rsi, rax
00114211mov rax, rdi
00114214mov rdi, rbx
00114217sub rdi, rsi
0011421ainc rdi
0011421dcmp rdi, 1
00114221jg 0x11422c
00114223mov eax, 1
00114228ret
00114229
00114229 0f 1f 00 ...
0011422c
0011422cloc_11422c:
0011422cmov rax, [rax+24]
00114230mov rbx, rsi
00114233call Stdlib.Bytes.sub
00114238sub r15, 16
0011423ccmp r15, [r14]
0011423fjb 0x114254
00114241
00114241loc_114241:
00114241lea rbx, [r15+8]
00114245mov [rbx-8], 1024
0011424dmov [rbx], rax
00114250mov rax, rbx
00114253ret
00114254
00114254loc_114254:
00114254call caml_call_gc
00114259jmp 0x114241
0011425b
0011425bloc_11425b:
0011425bpush 33
0011425dcall caml_call_realloc_stack
00114262pop r10
00114264jmp 0x11420e
00114200

00114266
00114266 // align 0x10

00114270
00114270camlPackage.do_rec_1708:
00114270lea r10, [rsp-360]
00114278cmp r10, [r14+40]
0011427cjb 0x114445
00114282
00114282loc_114282:
00114282sub rsp, 40
00114286
00114286loc_114286:
00114286cmp r15, [r14]
00114289jbe 0x114436
0011428f
0011428floc_11428f:
0011428fmov rsi, [rdi+32]
00114293cmp rbx, rsi
00114296jge 0x1143bc
0011429cmov rsi, rbx
0011429fsar rsi, 1
001142a2mov rdx, [rdi+24]
001142a6mov rcx, [rdx-8]
001142aashr rcx, 10
001142aelea rcx, [8*rcx-1]
001142b6movzx r8, [rdx+rcx]
001142bbsub rcx, r8
001142becmp rcx, rsi
001142c1jbe 0x114440
001142c7movzx rsi, [rdx+rsi]
001142cclea rsi, [rsi+rsi+1]
001142d1cmp rsi, 89
001142d5je 0x1142e0
001142d7add rbx, 2
001142dbjmp 0x114286
001142dd
001142dd 0f 1f 00 ...
001142e0
001142e0loc_1142e0:
001142e0mov [rsp], rdi
001142e4mov [rsp+16], rbx
001142e9mov [rsp+8], rax
001142eeadd rbx, 2
001142f2mov rax, rbx
001142f5call camlPackage.do_rec_1708
001142famov rbx, [rax+8]
001142femov [rsp+32], rbx
00114303mov rax, [rax]
00114306mov [rsp+24], rax
0011430bmov rax, [rsp]
0011430fmov rdi, [rax+40]
00114313mov rax, [rsp+8]
00114318mov rbx, [rsp+16]
0011431dcall camlPackage.extract_1703
00114322test al, 1
00114324je 0x114370
00114326sub r15, 48
0011432acmp r15, [r14]
0011432djb 0x11442c
00114333
00114333loc_114333:
00114333lea rbx, [r15+8]
00114337add rbx, 24
0011433bmov [rbx-8], 2048
00114343mov rax, [rsp+24]
00114348mov [rbx], rax
0011434bmov rax, [rsp+32]
00114350mov [rbx+8], rax
00114354lea rax, [rbx-24]
00114358mov [rax-8], 2048
00114360mov [rax], 1
00114367mov [rax+8], rbx
0011436badd rsp, 40
0011436fret
00114370
00114370loc_114370:
00114370sub r15, 48
00114374cmp r15, [r14]
00114377jb 0x114422
0011437d
0011437dloc_11437d:
0011437dlea rbx, [r15+8]
00114381add rbx, 24
00114385mov [rbx-8], 2048
0011438dmov rax, [rax]
00114390mov [rbx], rax
00114393mov rax, [rsp+24]
00114398mov [rbx+8], rax
0011439clea rax, [rbx-24]
001143a0mov [rax-8], 2048
001143a8mov [rax], rbx
001143abmov rbx, [rsp+32]
001143b0mov [rax+8], rbx
001143b4add rsp, 40
001143b8ret
001143b9
001143b9 0f 1f 00 ...
001143bc
001143bcloc_1143bc:
001143bcmov rdi, [rdi+40]
001143c0call camlPackage.extract_1703
001143c5test al, 1
001143c7je 0x1143d8
001143c9lea rax, [rip+0x177568]
001143d0add rsp, 40
001143d4ret
001143d5
001143d5 0f 1f 00 ...
001143d8
001143d8loc_1143d8:
001143d8sub r15, 48
001143dccmp r15, [r14]
001143dfjb 0x11441b
001143e1
001143e1loc_1143e1:
001143e1lea rbx, [r15+8]
001143e5add rbx, 24
001143e9mov [rbx-8], 2048
001143f1mov rax, [rax]
001143f4mov [rbx], rax
001143f7mov [rbx+8], 1
001143fflea rax, [rbx-24]
00114403mov [rax-8], 2048
0011440bmov [rax], rbx
0011440emov [rax+8], 1
00114416add rsp, 40
0011441aret
0011441b
0011441bloc_11441b:
0011441bcall caml_call_gc
00114420jmp 0x1143e1
00114422
00114422loc_114422:
00114422call caml_call_gc
00114427jmp 0x11437d
0011442c
0011442cloc_11442c:
0011442ccall caml_call_gc
00114431jmp 0x114333
00114436
00114436loc_114436:
00114436call caml_call_gc
0011443bjmp 0x11428f
00114440
00114440loc_114440:
00114440call caml_ml_array_bound_error
00114445
00114445loc_114445:
00114445push 38
00114447call caml_call_realloc_stack
0011444cpop r10
0011444ejmp 0x114282
00114270

00114453
00114453 // align 0x10

00114460
00114460camlPackage.cr_fmt_1788:
00114460test bl, 1
00114463je 0x11446c
00114465mov eax, 1
0011446aret
0011446b
0011446b 90 .
0011446c
0011446cloc_11446c:
0011446cmov rsi, [rbx+8]
00114470mov rbx, [rbx]
00114473test sil, 1
00114477je 0x114484
00114479mov rdi, [rdi+24]
0011447djmp 0x113c10
00114482
00114482 66 90 f.
00114484
00114484loc_114484:
00114484mov rcx, [rsi]
00114487mov rsi, [rsi+8]
0011448btest sil, 1
0011448fje 0x1144a0
00114491mov rsi, [rdi+32]
00114495mov rdi, rcx
00114498jmp 0x113c80
0011449d
0011449d 0f 1f 00 ...
001144a0
001144a0loc_1144a0:
001144a0mov rdx, [rdi+40]
001144a4mov rdi, rcx
001144a7jmp 0x113cf0
00114460

001144ac
001144ac // align 0x10

001144b0
001144b0camlPackage.cr_add_info_1798:
001144b0sub r15, 40
001144b4cmp r15, [r14]
001144b7jb 0x1144f1
001144b9
001144b9loc_1144b9:
001144b9lea rsi, [r15+8]
001144bdmov [rsi-8], 4343
001144c5lea rdx, [rip+52]
001144ccmov [rsi], rdx
001144cfmov rdx, 0x100000000000005
001144d9mov [rsi+8], rdx
001144ddmov [rsi+16], rax
001144e1mov rax, [rdi+24]
001144e5mov [rsi+24], rax
001144e9mov rax, rsi
001144ecjmp 0x19fe40
001144f1
001144f1loc_1144f1:
001144f1call caml_call_gc
001144f6jmp 0x1144b9
001144b0

001144f8
001144f8 // align 0x10

00114500
00114500camlPackage.fun_3244:
00114500lea r10, [rsp-352]
00114508cmp r10, [r14+40]
0011450cjb 0x1145f9
00114512
00114512loc_114512:
00114512sub rsp, 32
00114516mov [rsp+16], rax
0011451bmov [rsp+24], rbx
00114520mov rbx, [rbx+16]
00114524mov rdi, [rbx]
00114527call rdi
00114529mov [rsp], rax
0011452dlea rax, [rip+0x1773ac]
00114534call Stdlib.Printf.sprintf
00114539mov rbx, rax
0011453cmov rdi, [rbx]
0011453fmov rax, [rsp]
00114543call rdi
00114545mov [rsp+8], rax
0011454amov rax, [rsp+24]
0011454fmov rbx, [rax+16]
00114553mov rdi, [rbx]
00114556mov rax, [rsp+16]
0011455bcall rdi
0011455dmov [rsp], rax
00114561lea rax, [rip+0x1772c8]
00114568call Stdlib.Printf.sprintf
0011456dmov rbx, rax
00114570mov rdi, [rbx]
00114573mov rax, [rsp]
00114577call rdi
00114579mov [rsp], rax
0011457dmov rax, [rsp+8]
00114582call camlLatexmacros.exists_938
00114587cmp rax, 1
0011458bje 0x1145c0
0011458dmov rax, [rsp+24]
00114592mov rax, [rax+24]
00114596mov rbx, [rax+216]
0011459dmov rdi, [rbx]
001145a0mov rax, [rsp]
001145a4call rdi
001145a6sub r15, 16
001145aacmp r15, [r14]
001145adjb 0x1145f2
001145af
001145afloc_1145af:
001145aflea rbx, [r15+8]
001145b3mov [rbx-8], 1024
001145bbmov [rbx], rax
001145bejmp 0x1145c5
001145c0
001145c0loc_1145c0:
001145c0mov ebx, 1
001145c5
001145c5loc_1145c5:
001145c5sub r15, 24
001145c9cmp r15, [r14]
001145ccjb 0x1145eb
001145ce
001145celoc_1145ce:
001145celea rax, [r15+8]
001145d2mov [rax-8], 2048
001145damov rdi, [rsp+16]
001145dfmov [rax], rdi
001145e2mov [rax+8], rbx
001145e6add rsp, 32
001145earet
001145eb
001145ebloc_1145eb:
001145ebcall caml_call_gc
001145f0jmp 0x1145ce
001145f2
001145f2loc_1145f2:
001145f2call caml_call_gc
001145f7jmp 0x1145af
001145f9
001145f9loc_1145f9:
001145f9push 37
001145fbcall caml_call_realloc_stack
00114600pop r10
00114602jmp 0x114512
00114500

00114607
00114607 // align 0x10

00114610
00114610camlPackage.fun_3258:
00114610mov rsi, rax
00114613mov rax, [rbx+16]
00114617mov rdi, [rbx+24]
0011461bmov rbx, rsi
0011461ejmp 0x1144b0
00114610

00114623
00114623 // align 0x10

00114630
00114630camlPackage.fun_3268:
00114630mov rsi, rax
00114633mov rax, [rbx+16]
00114637mov rdi, [rbx+24]
0011463bmov rbx, rsi
0011463ejmp 0x1144b0
00114630

00114643
00114643 // align 0x10

00114650
00114650camlPackage.cr_group_types_1809:
00114650lea r10, [rsp-352]
00114658cmp r10, [r14+40]
0011465cjb 0x114798
00114662
00114662loc_114662:
00114662sub rsp, 32
00114666test bl, 1
00114669je 0x114670
0011466badd rsp, 32
0011466fret
00114670
00114670loc_114670:
00114670mov [rsp+16], rax
00114675mov rsi, [rbx+8]
00114679mov [rsp+8], rsi
0011467emov rax, [rbx]
00114681mov rbx, [rax+8]
00114685mov [rsp], rbx
00114689sub r15, 64
0011468dcmp r15, [r14]
00114690jb 0x11478e
00114696
00114696loc_114696:
00114696lea rdi, [r15+8]
0011469aadd rdi, 40
0011469emov [rdi-8], 2048
001146a6mov rax, [rax]
001146a9mov [rdi], rax
001146acmov [rdi+8], 1
001146b4lea rax, [rdi-40]
001146b8mov [rax-8], 4343
001146c0lea rdx, [rip-0x1d6a7]
001146c7mov [rax], rdx
001146camov rdx, 0x200000000000007
001146d4mov [rax+8], rdx
001146d8lea rdx, [rip+209]
001146dfmov [rax+16], rdx
001146e3mov [rax+24], rbx
001146e7mov rbx, rsi
001146eacall Stdlib.List.fold_right
001146efmov [rsp+24], rax
001146f4sub r15, 40
001146f8cmp r15, [r14]
001146fbjb 0x114784
00114701
00114701loc_114701:
00114701lea rax, [r15+8]
00114705mov [rax-8], 4343
0011470dlea rbx, [rip-0x1d6f4]
00114714mov [rax], rbx
00114717mov rbx, 0x200000000000007
00114721mov [rax+8], rbx
00114725lea rbx, [rip+244]
0011472cmov [rax+16], rbx
00114730mov rbx, [rsp]
00114734mov [rax+24], rbx
00114738mov edi, 1
0011473dmov rbx, [rsp+8]
00114742call Stdlib.List.fold_right
00114747mov rbx, rax
0011474amov rax, [rsp+16]
0011474fcall camlPackage.cr_group_types_1809
00114754sub r15, 24
00114758cmp r15, [r14]
0011475bjb 0x11477d
0011475d
0011475dloc_11475d:
0011475dlea rbx, [r15+8]
00114761mov [rbx-8], 2048
00114769mov rdi, [rsp+24]
0011476emov [rbx], rdi
00114771mov [rbx+8], rax
00114775mov rax, rbx
00114778add rsp, 32
0011477cret
0011477d
0011477dloc_11477d:
0011477dcall caml_call_gc
00114782jmp 0x11475d
00114784
00114784loc_114784:
00114784call caml_call_gc
00114789jmp 0x114701
0011478e
0011478eloc_11478e:
0011478ecall caml_call_gc
00114793jmp 0x114696
00114798
00114798loc_114798:
00114798push 37
0011479acall caml_call_realloc_stack
0011479fpop r10
001147a1jmp 0x114662
00114650

001147a6
001147a6 // align 0x10

001147b0
001147b0camlPackage.fun_3276:
001147b0sub rsp, 16
001147b4mov [rsp], rax
001147b8mov [rsp+8], rbx
001147bdmov rsi, [rax+8]
001147c1mov rdi, [rdi+24]
001147c5lea rax, [rip+0xec114]
001147cccall caml_c_call
001147d1cmp rax, 1
001147d5je 0x114804
001147d7sub r15, 24
001147dbcmp r15, [r14]
001147dejb 0x11480e
001147e0
001147e0loc_1147e0:
001147e0lea rax, [r15+8]
001147e4mov [rax-8], 2048
001147ecmov rbx, [rsp]
001147f0mov rbx, [rbx]
001147f3mov [rax], rbx
001147f6mov rbx, [rsp+8]
001147fbmov [rax+8], rbx
001147ffadd rsp, 16
00114803ret
00114804
00114804loc_114804:
00114804mov rax, [rsp+8]
00114809add rsp, 16
0011480dret
0011480e
0011480eloc_11480e:
0011480ecall caml_call_gc
00114813jmp 0x1147e0
001147b0

00114815
00114815 // align 0x10

00114820
00114820camlPackage.fun_3279:
00114820sub rsp, 16
00114824mov [rsp], rax
00114828mov [rsp+8], rbx
0011482dmov rsi, [rax+8]
00114831mov rdi, [rdi+24]
00114835lea rax, [rip+0xec0a4]
0011483ccall caml_c_call
00114841cmp rax, 1
00114845je 0x114854
00114847mov rax, [rsp+8]
0011484cadd rsp, 16
00114850ret
00114851
00114851 0f 1f 00 ...
00114854
00114854loc_114854:
00114854sub r15, 24
00114858cmp r15, [r14]
0011485bjb 0x11487e
0011485d
0011485dloc_11485d:
0011485dlea rax, [r15+8]
00114861mov [rax-8], 2048
00114869mov rbx, [rsp]
0011486dmov [rax], rbx
00114870mov rbx, [rsp+8]
00114875mov [rax+8], rbx
00114879add rsp, 16
0011487dret
0011487e
0011487eloc_11487e:
0011487ecall caml_call_gc
00114883jmp 0x11485d
00114820

00114885
00114885 // align 0x10

00114890
00114890camlPackage.protect_int_of_string_1824:
00114890test al, 1
00114892je 0x11489c
00114894mov rax, -1
0011489bret
0011489c
0011489cloc_11489c:
0011489clea r11, [rip+37]
001148a3push r11
001148a5push [r14+48]
001148a9mov [r14+48], rsp
001148admov rdi, [rax]
001148b0lea rax, [rip+0xf8b29]
001148b7call caml_c_call
001148bcpop [r14+48]
001148c0add rsp, 8
001148c4jmp 0x1148d0
001148c6
001148c6 66 90 f.
001148c8mov rax, -1
001148cfret
001148d0
001148d0loc_1148d0:
001148d0ret
00114890

001148d1
001148d1 // align 0x10

001148e0
001148e0camlPackage.cr_sort_labels_1828:
001148e0lea r10, [rsp-328]
001148e8cmp r10, [r14+40]
001148ecjb 0x114a4b
001148f2
001148f2loc_1148f2:
001148f2sub rsp, 8
001148f6mov rsi, rax
001148f9mov [rsp], rbx
001148fdmov rbx, [rbx+16]
00114901mov rax, [rbx+16]
00114905mov rdi, [rbx+24]
00114909mov rbx, rsi
0011490ccall camlPackage.cr_add_info_1798
00114911mov rbx, rax
00114914mov eax, 1
00114919call camlPackage.cr_group_types_1809
0011491emov rbx, rax
00114921mov rax, [rsp]
00114925mov rax, [rax+24]
00114929call Stdlib.List.map
0011492emov rbx, rax
00114931lea rdi, [rip+0x176770]
00114938lea rax, [rip+0x220931]
0011493fmov rsi, [rax+152]
00114946sub r15, 40
0011494acmp r15, [r14]
0011494djb 0x114a41
00114953
00114953loc_114953:
00114953lea rax, [r15+8]
00114957mov [rax-8], 4343
0011495flea rdx, [rip+346]
00114966mov [rax], rdx
00114969mov rdx, 0x100000000000005
00114973mov [rax+8], rdx
00114977mov [rax+16], rdi
0011497bmov [rax+24], rsi
0011497fcall Stdlib.List.map
00114984mov rbx, rax
00114987lea rdi, [rip+0x1766fa]
0011498elea rax, [rip+0x2208db]
00114995mov rsi, [rax+496]
0011499csub r15, 40
001149a0cmp r15, [r14]
001149a3jb 0x114a37
001149a9
001149a9loc_1149a9:
001149a9lea rax, [r15+8]
001149admov [rax-8], 4343
001149b5lea rdx, [rip+276]
001149bcmov [rax], rdx
001149bfmov rdx, 0x100000000000005
001149c9mov [rax+8], rdx
001149cdmov [rax+16], rdi
001149d1mov [rax+24], rsi
001149d5call Stdlib.List.map
001149damov rbx, rax
001149ddlea rdi, [rip+0x17668c]
001149e4lea rax, [rip+0x220885]
001149ebmov rsi, [rax+152]
001149f2sub r15, 40
001149f6cmp r15, [r14]
001149f9jb 0x114a30
001149fb
001149fbloc_1149fb:
001149fblea rax, [r15+8]
001149ffmov [rax-8], 4343
00114a07lea rdx, [rip+274]
00114a0emov [rax], rdx
00114a11mov rdx, 0x100000000000005
00114a1bmov [rax+8], rdx
00114a1fmov [rax+16], rdi
00114a23mov [rax+24], rsi
00114a27add rsp, 8
00114a2bjmp 0x19fe40
00114a30
00114a30loc_114a30:
00114a30call caml_call_gc
00114a35jmp 0x1149fb
00114a37
00114a37loc_114a37:
00114a37call caml_call_gc
00114a3cjmp 0x1149a9
00114a41
00114a41loc_114a41:
00114a41call caml_call_gc
00114a46jmp 0x114953
00114a4b
00114a4bloc_114a4b:
00114a4bpush 34
00114a4dcall caml_call_realloc_stack
00114a52pop r10
00114a54jmp 0x1148f2
001148e0

00114a59
00114a59 // align 0x10

00114a60
00114a60camlPackage.fun_3316:
00114a60lea r10, [rsp-328]
00114a68cmp r10, [r14+40]
00114a6cjb 0x114aad
00114a6e
00114a6eloc_114a6e:
00114a6esub rsp, 8
00114a72mov [rsp], rax
00114a76mov rax, rbx
00114a79call camlPackage.protect_int_of_string_1824
00114a7esub r15, 24
00114a82cmp r15, [r14]
00114a85jb 0x114aa6
00114a87
00114a87loc_114a87:
00114a87lea rbx, [r15+8]
00114a8bmov [rbx-8], 2048
00114a93mov rdi, [rsp]
00114a97mov [rbx], rdi
00114a9amov [rbx+8], rax
00114a9emov rax, rbx
00114aa1add rsp, 8
00114aa5ret
00114aa6
00114aa6loc_114aa6:
00114aa6call caml_call_gc
00114aabjmp 0x114a87
00114aad
00114aadloc_114aad:
00114aadpush 34
00114aafcall caml_call_realloc_stack
00114ab4pop r10
00114ab6jmp 0x114a6e
00114a60

00114ab8
00114ab8 // align 0x10

00114ac0
00114ac0camlPackage.fun_3321:
00114ac0mov rdi, rax
00114ac3mov rax, [rbx+16]
00114ac7mov rbx, rdi
00114acajmp 0x19fe40
00114ac0

00114acf
00114acf // align 0x10

00114ad0
00114ad0camlPackage.fun_3329:
00114ad0mov rdi, rax
00114ad3mov rax, [rbx+16]
00114ad7mov rbx, rdi
00114adajmp 0x1a2980
00114ad0

00114adf
00114adf // align 0x10

00114ae0
00114ae0camlPackage.fun_3324:
00114ae0mov rbx, [rbx+8]
00114ae4mov rdi, [rax+8]
00114ae8cmp rdi, rbx
00114aebsetl al
00114aeemovzx rsi, al
00114af2cmp rdi, rbx
00114af5setg al
00114af8movzx rax, al
00114afcsub rax, rsi
00114afflea rax, [rax+rax+1]
00114b04ret
00114ae0

00114b05
00114b05 // align 0x10

00114b10
00114b10camlPackage.fun_3332:
00114b10mov rax, [rax]
00114b13ret
00114b10

00114b14
00114b14 // align 0x10

00114b20
00114b20camlPackage.fun_3337:
00114b20mov rdi, rax
00114b23mov rax, [rbx+16]
00114b27mov rbx, rdi
00114b2ajmp 0x19fe40
00114b20

00114b2f
00114b2f // align 0x10

00114b30
00114b30camlPackage.cr_fmt_groups_1844:
00114b30lea r10, [rsp-336]
00114b38cmp r10, [r14+40]
00114b3cjb 0x114c2b
00114b42
00114b42loc_114b42:
00114b42sub rsp, 16
00114b46test bl, 1
00114b49je 0x114b58
00114b4bmov eax, 1
00114b50add rsp, 16
00114b54ret
00114b55
00114b55 0f 1f 00 ...
00114b58
00114b58loc_114b58:
00114b58mov rsi, [rbx+8]
00114b5cmov rbx, [rbx]
00114b5ftest sil, 1
00114b63je 0x114b74
00114b65mov rdi, [rdi+24]
00114b69add rsp, 16
00114b6djmp 0x114460
00114b72
00114b72 66 90 f.
00114b74
00114b74loc_114b74:
00114b74mov [rsp], rsi
00114b78mov [rsp+8], rdi
00114b7dmov rsi, [rsi+8]
00114b81test sil, 1
00114b85je 0x114bcc
00114b87mov rdi, [rdi+24]
00114b8bcall camlPackage.cr_fmt_1788
00114b90lea rbx, [rip+0x176a91]
00114b97mov rax, [rsp+8]
00114b9cmov rax, [rax+32]
00114ba0mov rax, [rax+24]
00114ba4call camlLexstate.scan_this_1185
00114ba9mov rax, [rsp]
00114badmov rbx, [rax]
00114bb0mov rax, [rsp+8]
00114bb5mov rdi, [rax+24]
00114bb9lea rax, [rip+0x176a58]
00114bc0add rsp, 16
00114bc4jmp 0x114460
00114bc9
00114bc9 0f 1f 00 ...
00114bcc
00114bccloc_114bcc:
00114bccmov rdi, [rdi+24]
00114bd0call camlPackage.cr_fmt_1788
00114bd5sub r15, 40
00114bd9cmp r15, [r14]
00114bdcjb 0x114c24
00114bde
00114bdeloc_114bde:
00114bdelea rbx, [r15+8]
00114be2mov [rbx-8], 4343
00114bealea rax, [rip+79]
00114bf1mov [rbx], rax
00114bf4mov rax, 0x100000000000005
00114bfemov [rbx+8], rax
00114c02mov rdi, [rsp+8]
00114c07mov rax, [rdi+24]
00114c0bmov [rbx+16], rax
00114c0fmov rax, [rdi+32]
00114c13mov [rbx+24], rax
00114c17mov rax, [rsp]
00114c1badd rsp, 16
00114c1fjmp 0x114c40
00114c24
00114c24loc_114c24:
00114c24call caml_call_gc
00114c29jmp 0x114bde
00114c2b
00114c2bloc_114c2b:
00114c2bpush 35
00114c2dcall caml_call_realloc_stack
00114c32pop r10
00114c34jmp 0x114b42
00114b30

00114c39
00114c39 // align 0x10

00114c40
00114c40camlPackage.do_rec_1852:
00114c40lea r10, [rsp-344]
00114c48cmp r10, [r14+40]
00114c4cjb 0x114d06
00114c52
00114c52loc_114c52:
00114c52sub rsp, 24
00114c56
00114c56loc_114c56:
00114c56mov rdi, rbx
00114c59cmp r15, [r14]
00114c5cjbe 0x114cfc
00114c62
00114c62loc_114c62:
00114c62test al, 1
00114c64je 0x114c70
00114c66mov eax, 1
00114c6badd rsp, 24
00114c6fret
00114c70
00114c70loc_114c70:
00114c70mov [rsp+8], rdi
00114c75mov rbx, [rax]
00114c78mov [rsp+16], rbx
00114c7dmov rbx, [rax+8]
00114c81test bl, 1
00114c84je 0x114cb8
00114c86lea rbx, [rip+0x176963]
00114c8dmov rax, [rdi+24]
00114c91mov rax, [rax+24]
00114c95call camlLexstate.scan_this_1185
00114c9amov rax, [rsp+8]
00114c9fmov rdi, [rax+16]
00114ca3lea rax, [rip+0x17696e]
00114caamov rbx, [rsp+16]
00114cafadd rsp, 24
00114cb3jmp 0x114460
00114cb8
00114cb8loc_114cb8:
00114cb8mov [rsp], rax
00114cbclea rbx, [rip+0x176905]
00114cc3mov rax, [rdi+24]
00114cc7mov rax, [rax+24]
00114ccbcall camlLexstate.scan_this_1185
00114cd0mov rax, [rsp+8]
00114cd5mov rdi, [rax+16]
00114cd9lea rax, [rip+0x176938]
00114ce0mov rbx, [rsp+16]
00114ce5call camlPackage.cr_fmt_1788
00114ceamov rax, [rsp]
00114ceemov rax, [rax+8]
00114cf2mov rbx, [rsp+8]
00114cf7jmp 0x114c56
00114cfc
00114cfcloc_114cfc:
00114cfccall caml_call_gc
00114d01jmp 0x114c62
00114d06
00114d06loc_114d06:
00114d06push 36
00114d08call caml_call_realloc_stack
00114d0dpop r10
00114d0fjmp 0x114c52
00114c40

00114d14
00114d14 // align 0x10

00114d20
00114d20camlPackage.fun_3366:
00114d20lea r10, [rsp-328]
00114d28cmp r10, [r14+40]
00114d2cjb 0x114e62
00114d32
00114d32loc_114d32:
00114d32sub rsp, 8
00114d36mov [rsp], rbx
00114d3asub r15, 56
00114d3ecmp r15, [r14]
00114d41jb 0x114e58
00114d47
00114d47loc_114d47:
00114d47lea rsi, [r15+8]
00114d4bmov [rsi-8], 6391
00114d53lea rax, [rip+278]
00114d5amov [rsi], rax
00114d5dmov rax, 0x100000000000005
00114d67mov [rsi+8], rax
00114d6bmov rax, [rbx+16]
00114d6fmov [rsi+16], rax
00114d73mov rax, [rbx+24]
00114d77mov [rsi+24], rax
00114d7bmov rax, [rbx+32]
00114d7fmov [rsi+32], rax
00114d83mov rax, [rbx+40]
00114d87mov [rsi+40], rax
00114d8bmov rdi, [rax+160]
00114d92lea rax, [rip+0x1767df]
00114d99mov rbx, rsi
00114d9ccall caml_apply2
00114da1sub r15, 32
00114da5cmp r15, [r14]
00114da8jb 0x114e4e
00114dae
00114daeloc_114dae:
00114daelea rbx, [r15+8]
00114db2mov [rbx-8], 3319
00114dbalea rax, [rip+319]
00114dc1mov [rbx], rax
00114dc4mov rax, 0x100000000000005
00114dcemov [rbx+8], rax
00114dd2mov rax, [rsp]
00114dd6mov rax, [rax+40]
00114ddamov [rbx+16], rax
00114ddemov rdi, [rax+160]
00114de5lea rax, [rip+0x176774]
00114deccall caml_apply2
00114df1sub r15, 32
00114df5cmp r15, [r14]
00114df8jb 0x114e47
00114dfa
00114dfaloc_114dfa:
00114dfalea rbx, [r15+8]
00114dfemov [rbx-8], 3319
00114e06lea rax, [rip+435]
00114e0dmov [rbx], rax
00114e10mov rax, 0x100000000000005
00114e1amov [rbx+8], rax
00114e1emov rax, [rsp]
00114e22mov rax, [rax+40]
00114e26mov [rbx+16], rax
00114e2amov rdi, [rax+160]
00114e31lea rax, [rip+0x176708]
00114e38call caml_apply2
00114e3dmov eax, 1
00114e42add rsp, 8
00114e46ret
00114e47
00114e47loc_114e47:
00114e47call caml_call_gc
00114e4cjmp 0x114dfa
00114e4e
00114e4eloc_114e4e:
00114e4ecall caml_call_gc
00114e53jmp 0x114dae
00114e58
00114e58loc_114e58:
00114e58call caml_call_gc
00114e5djmp 0x114d47
00114e62
00114e62loc_114e62:
00114e62push 34
00114e64call caml_call_realloc_stack
00114e69pop r10
00114e6bjmp 0x114d32
00114d20

00114e70
00114e70camlPackage.fun_3382:
00114e70lea r10, [rsp-344]
00114e78cmp r10, [r14+40]
00114e7cjb 0x114ee6
00114e7e
00114e7eloc_114e7e:
00114e7esub rsp, 24
00114e82mov [rsp], rax
00114e86mov [rsp+8], rbx
00114e8bmov rbx, [rbx+40]
00114e8fmov rbx, [rbx+224]
00114e96mov rdi, [rbx]
00114e99call rdi
00114e9bmov [rsp+16], rax
00114ea0mov rax, [rsp+8]
00114ea5mov rax, [rax+40]
00114ea9mov rbx, [rax+224]
00114eb0mov rdi, [rbx]
00114eb3mov rax, [rsp]
00114eb7call rdi
00114eb9call camlPackage.cr_split_1699
00114ebemov rbx, [rsp+8]
00114ec3mov rbx, [rbx+24]
00114ec7call camlPackage.cr_sort_labels_1828
00114eccmov rbx, rax
00114ecfmov rax, [rsp+8]
00114ed4mov rdi, [rax+32]
00114ed8mov rax, [rsp+16]
00114eddadd rsp, 24
00114ee1jmp 0x114b30
00114ee6
00114ee6loc_114ee6:
00114ee6push 36
00114ee8call caml_call_realloc_stack
00114eedpop r10
00114eefjmp 0x114e7e
00114e70

00114ef1
00114ef1 // align 0x10

00114f00
00114f00camlPackage.fun_3389:
00114f00lea r10, [rsp-344]
00114f08cmp r10, [r14+40]
00114f0cjb 0x114fa6
00114f12
00114f12loc_114f12:
00114f12sub rsp, 24
00114f16mov [rsp], rax
00114f1amov rbx, [rbx+16]
00114f1emov rbx, [rbx+240]
00114f25mov rdi, [rbx]
00114f28call rdi
00114f2amov [rsp+16], rax
00114f2fmov rax, [rsp]
00114f33call camlLexstate.save_arg_1030
00114f38mov rbx, rax
00114f3blea rax, [rip+0x1e091e]
00114f42mov rax, [rax+272]
00114f49call camlGet.do_get_int_873
00114f4emov [rsp+8], rax
00114f53mov rax, [rsp]
00114f57call camlLexstate.save_body_1031
00114f5csub r15, 16
00114f60cmp r15, [r14]
00114f63jb 0x114f9f
00114f65
00114f65loc_114f65:
00114f65lea rbx, [r15+8]
00114f69mov [rsp], rbx
00114f6dmov [rbx-8], 1024
00114f75mov rax, [rax]
00114f78mov [rbx], rax
00114f7bmov eax, 1
00114f80mov rbx, [rsp+8]
00114f85call camlLexstate.latex_pat_577
00114f8amov rbx, rax
00114f8dmov rax, [rsp+16]
00114f92mov rdi, [rsp]
00114f96add rsp, 24
00114f9ajmp 0x17af20
00114f9f
00114f9floc_114f9f:
00114f9fcall caml_call_gc
00114fa4jmp 0x114f65
00114fa6
00114fa6loc_114fa6:
00114fa6push 36
00114fa8call caml_call_realloc_stack
00114fadpop r10
00114fafjmp 0x114f12
00114f00

00114fb4
00114fb4 // align 0x10

00114fc0
00114fc0camlPackage.fun_3392:
00114fc0lea r10, [rsp-368]
00114fc8cmp r10, [r14+40]
00114fccjb 0x115150
00114fd2
00114fd2loc_114fd2:
00114fd2sub rsp, 48
00114fd6mov [rsp+8], rax
00114fdbmov [rsp], rbx
00114fdfmov rbx, [rbx+16]
00114fe3mov rbx, [rbx+240]
00114feamov rdi, [rbx]
00114fedcall rdi
00114fefmov [rsp+40], rax
00114ff4mov rax, [rsp]
00114ff8mov rax, [rax+16]
00114ffcmov rbx, [rax+240]
00115003mov rdi, [rbx]
00115006mov rax, [rsp+8]
0011500bcall rdi
0011500dmov [rsp+24], rax
00115012mov rax, [rsp]
00115016mov rax, [rax+16]
0011501amov rbx, [rax+240]
00115021mov rdi, [rbx]
00115024mov rax, [rsp+8]
00115029call rdi
0011502bmov [rsp], rax
0011502fmov rax, [rsp+8]
00115034call camlLexstate.save_arg_1030
00115039mov rbx, rax
0011503clea rax, [rip+0x1e081d]
00115043mov rax, [rax+272]
0011504acall camlGet.do_get_int_873
0011504fmov [rsp+32], rax
00115054mov rax, [rsp+8]
00115059call camlLexstate.save_body_1031
0011505emov rax, [rax]
00115061mov [rsp+16], rax
00115066sub r15, 16
0011506acmp r15, [r14]
0011506djb 0x115146
00115073
00115073loc_115073:
00115073lea rbx, [r15+8]
00115077mov [rsp+8], rbx
0011507cmov [rbx-8], 1024
00115084mov [rbx], rax
00115087mov eax, 1
0011508cmov rbx, [rsp+32]
00115091call camlLexstate.latex_pat_577
00115096mov rbx, rax
00115099mov rax, [rsp]
0011509dmov rdi, [rsp+8]
001150a2call camlLatexmacros.def_952
001150a7mov rax, [rsp+40]
001150accall camlLatexmacros.exists_938
001150b1cmp rax, 1
001150b5je 0x1150c4
001150b7mov eax, 1
001150bcadd rsp, 48
001150c0ret
001150c1
001150c1 0f 1f 00 ...
001150c4
001150c4loc_1150c4:
001150c4sub r15, 64
001150c8cmp r15, [r14]
001150cbjb 0x11513f
001150cd
001150cdloc_1150cd:
001150cdlea rax, [r15+8]
001150d1add rax, 40
001150d5mov [rax-8], 2048
001150ddlea rbx, [rip+0x17868c]
001150e4mov [rax], rbx
001150e7mov rbx, [rsp+16]
001150ecmov [rax+8], rbx
001150f0lea rbx, [rax-24]
001150f4mov [rbx-8], 2048
001150fcmov rdi, [rsp+24]
00115101mov [rbx], rdi
00115104mov [rbx+8], rax
00115108lea rax, [rbx-16]
0011510cmov [rsp], rax
00115110mov [rax-8], 1024
00115118mov [rax], rbx
0011511bmov eax, 1
00115120mov rbx, [rsp+32]
00115125call camlLexstate.latex_pat_577
0011512amov rbx, rax
0011512dmov rax, [rsp+40]
00115132mov rdi, [rsp]
00115136add rsp, 48
0011513ajmp 0x17af20
0011513f
0011513floc_11513f:
0011513fcall caml_call_gc
00115144jmp 0x1150cd
00115146
00115146loc_115146:
00115146call caml_call_gc
0011514bjmp 0x115073
00115150
00115150loc_115150:
00115150push 39
00115152call caml_call_realloc_stack
00115157pop r10
00115159jmp 0x114fd2
00114fc0

0011515e
0011515e // align 0x10

00115160
00115160camlPackage.get_elements_1876:
00115160mov rbx, [rax-8]
00115164shr rbx, 10
00115168lea rbx, [8*rbx-1]
00115170movzx rdi, [rax+rbx]
00115175sub rbx, rdi
00115178lea rdi, [rbx+rbx+1]
0011517dsub r15, 32
00115181cmp r15, [r14]
00115184jb 0x1151b6
00115186
00115186loc_115186:
00115186lea rbx, [r15+8]
0011518amov [rbx-8], 3319
00115192lea rsi, [rip+39]
00115199mov [rbx], rsi
0011519cmov rsi, 0x100000000000005
001151a6mov [rbx+8], rsi
001151aamov [rbx+16], rax
001151aemov rax, rdi
001151b1jmp 0x1151c0
001151b6
001151b6loc_1151b6:
001151b6call caml_call_gc
001151bbjmp 0x115186
00115160

001151bd
001151bd // align 0x10

001151c0
001151c0camlPackage.all_elements_1880:
001151c0lea r10, [rsp-344]
001151c8cmp r10, [r14+40]
001151ccjb 0x115255
001151d2
001151d2loc_1151d2:
001151d2sub rsp, 24
001151d6cmp rax, 1
001151daje 0x115244
001151dcmov [rsp+8], rbx
001151e1mov [rsp], rax
001151e5mov rsi, rax
001151e8add rsi, -2
001151ecmov rax, [rbx+16]
001151f0mov edi, 3
001151f5mov rbx, rsi
001151f8call Stdlib.Bytes.sub
001151fdsub r15, 24
00115201cmp r15, [r14]
00115204jb 0x11524e
00115206
00115206loc_115206:
00115206lea rbx, [r15+8]
0011520amov [rsp+16], rbx
0011520fmov [rbx-8], 2048
00115217mov [rbx], rax
0011521amov [rbx+8], 1
00115222mov rax, [rsp]
00115226add rax, -2
0011522amov rbx, [rsp+8]
0011522fcall camlPackage.all_elements_1880
00115234mov rbx, [rsp+16]
00115239add rsp, 24
0011523djmp 0x1960f0
00115242
00115242 66 90 f.
00115244
00115244loc_115244:
00115244mov eax, 1
00115249add rsp, 24
0011524dret
0011524e
0011524eloc_11524e:
0011524ecall caml_call_gc
00115253jmp 0x115206
00115255
00115255loc_115255:
00115255push 36
00115257call caml_call_realloc_stack
0011525cpop r10
0011525ejmp 0x1151d2
001151c0

00115263
00115263 // align 0x10

00115270
00115270camlPackage.str_cat_1883:
00115270jmp 0x195ba0
00115270

00115275
00115275 // align 0x10

00115280
00115280camlPackage.fun_3406:
00115280lea r10, [rsp-328]
00115288cmp r10, [r14+40]
0011528cjb 0x11531e
00115292
00115292loc_115292:
00115292sub rsp, 8
00115296mov [rsp], rbx
0011529acall camlLexstate.save_arg_1030
0011529fmov rax, [rax]
001152a2call camlPackage.get_elements_1876
001152a7mov rbx, rax
001152aasub r15, 32
001152aecmp r15, [r14]
001152b1jb 0x115317
001152b3
001152b3loc_1152b3:
001152b3lea rax, [r15+8]
001152b7mov [rax-8], 3319
001152bflea rdi, [rip+106]
001152c6mov [rax], rdi
001152c9mov rdi, 0x100000000000005
001152d3mov [rax+8], rdi
001152d7mov rdi, [rsp]
001152dbmov rdi, [rdi+32]
001152dfmov [rax+16], rdi
001152e3call Stdlib.List.map
001152e8mov rdi, rax
001152eblea rbx, [rip+0x17846e]
001152f2mov rax, [rsp]
001152f6mov rax, [rax+24]
001152facall Stdlib.List.fold_left
001152ffmov rbx, [rsp]
00115303mov rbx, [rbx+40]
00115307mov rbx, [rbx+352]
0011530emov rdi, [rbx]
00115311add rsp, 8
00115315jmp rdi
00115317
00115317loc_115317:
00115317call caml_call_gc
0011531cjmp 0x1152b3
0011531e
0011531eloc_11531e:
0011531epush 34
00115320call caml_call_realloc_stack
00115325pop r10
00115327jmp 0x115292
00115280

0011532c
0011532c // align 0x10

00115330
00115330camlPackage.format_1891:
00115330lea r10, [rsp-328]
00115338cmp r10, [r14+40]
0011533cjb 0x115394
0011533e
0011533eloc_11533e:
0011533esub rsp, 8
00115342cmp r15, [r14]
00115345jbe 0x11538d
00115347
00115347loc_115347:
00115347mov rbx, [rbx+16]
0011534bmov rbx, [rbx+184]
00115352mov [rsp], rbx
00115356lea rbx, [rip+0x177e1b]
0011535dcall camlStdlib.$5e_139
00115362mov rbx, rax
00115365lea rax, [rip+0x17618c]
0011536ccall camlStdlib.$5e_139
00115371mov rbx, rax
00115374lea rax, [rip+0x177735]
0011537bcall camlStdlib.$5e_139
00115380mov rbx, [rsp]
00115384mov rdi, [rbx]
00115387add rsp, 8
0011538bjmp rdi
0011538d
0011538dloc_11538d:
0011538dcall caml_call_gc
00115392jmp 0x115347
00115394
00115394loc_115394:
00115394push 34
00115396call caml_call_realloc_stack
0011539bpop r10
0011539djmp 0x11533e
00115330

0011539f
0011539f // align 0x10

001153a0
001153a0camlPackage.fun_3413:
001153a0lea r10, [rsp-328]
001153a8cmp r10, [r14+40]
001153acjb 0x115448
001153b2
001153b2loc_1153b2:
001153b2sub rsp, 8
001153b6mov [rsp], rbx
001153bacall camlLexstate.save_arg_1030
001153bfmov rbx, rax
001153c2mov eax, 1
001153c7call camlSubst.do_do_subst_this_697
001153cccall camlPackage.get_elements_1876
001153d1mov rbx, rax
001153d4sub r15, 32
001153d8cmp r15, [r14]
001153dbjb 0x115441
001153dd
001153ddloc_1153dd:
001153ddlea rax, [r15+8]
001153e1mov [rax-8], 3319
001153e9lea rdi, [rip+112]
001153f0mov [rax], rdi
001153f3mov rdi, 0x100000000000005
001153fdmov [rax+8], rdi
00115401mov rdi, [rsp]
00115405mov rdi, [rdi+32]
00115409mov [rax+16], rdi
0011540dcall Stdlib.List.map
00115412mov rdi, rax
00115415lea rbx, [rip+0x178344]
0011541cmov rax, [rsp]
00115420mov rax, [rax+24]
00115424call Stdlib.List.fold_left
00115429mov rbx, [rsp]
0011542dmov rbx, [rbx+40]
00115431mov rbx, [rbx+352]
00115438mov rdi, [rbx]
0011543badd rsp, 8
0011543fjmp rdi
00115441
00115441loc_115441:
00115441call caml_call_gc
00115446jmp 0x1153dd
00115448
00115448loc_115448:
00115448push 34
0011544acall caml_call_realloc_stack
0011544fpop r10
00115451jmp 0x1153b2
001153a0

00115456
00115456 // align 0x10

00115460
00115460camlPackage.format_1899:
00115460lea r10, [rsp-328]
00115468cmp r10, [r14+40]
0011546cjb 0x1154c4
0011546e
0011546eloc_11546e:
0011546esub rsp, 8
00115472cmp r15, [r14]
00115475jbe 0x1154bd
00115477
00115477loc_115477:
00115477mov rbx, [rbx+16]
0011547bmov rbx, [rbx+184]
00115482mov [rsp], rbx
00115486lea rbx, [rip+0x177ceb]
0011548dcall camlStdlib.$5e_139
00115492mov rbx, rax
00115495lea rax, [rip+0x17602c]
0011549ccall camlStdlib.$5e_139
001154a1mov rbx, rax
001154a4lea rax, [rip+0x177605]
001154abcall camlStdlib.$5e_139
001154b0mov rbx, [rsp]
001154b4mov rdi, [rbx]
001154b7add rsp, 8
001154bbjmp rdi
001154bd
001154bdloc_1154bd:
001154bdcall caml_call_gc
001154c2jmp 0x115477
001154c4
001154c4loc_1154c4:
001154c4push 34
001154c6call caml_call_realloc_stack
001154cbpop r10
001154cdjmp 0x11546e
00115460

001154cf
001154cf // align 0x10

001154d0
001154d0camlPackage.fun_3422:
001154d0lea r10, [rsp-328]
001154d8cmp r10, [r14+40]
001154dcjb 0x115578
001154e2
001154e2loc_1154e2:
001154e2sub rsp, 8
001154e6mov [rsp], rbx
001154eacall camlLexstate.save_arg_1030
001154efmov rbx, rax
001154f2mov eax, 1
001154f7call camlSubst.do_do_subst_this_697
001154fccall camlPackage.get_elements_1876
00115501mov rbx, rax
00115504sub r15, 32
00115508cmp r15, [r14]
0011550bjb 0x115571
0011550d
0011550dloc_11550d:
0011550dlea rax, [r15+8]
00115511mov [rax-8], 3319
00115519lea rdi, [rip+112]
00115520mov [rax], rdi
00115523mov rdi, 0x100000000000005
0011552dmov [rax+8], rdi
00115531mov rdi, [rsp]
00115535mov rdi, [rdi+32]
00115539mov [rax+16], rdi
0011553dcall Stdlib.List.map
00115542mov rdi, rax
00115545lea rbx, [rip+0x178214]
0011554cmov rax, [rsp]
00115550mov rax, [rax+24]
00115554call Stdlib.List.fold_left
00115559mov rbx, [rsp]
0011555dmov rbx, [rbx+40]
00115561mov rbx, [rbx+352]
00115568mov rdi, [rbx]
0011556badd rsp, 8
0011556fjmp rdi
00115571
00115571loc_115571:
00115571call caml_call_gc
00115576jmp 0x11550d
00115578
00115578loc_115578:
00115578push 34
0011557acall caml_call_realloc_stack
0011557fpop r10
00115581jmp 0x1154e2
001154d0

00115586
00115586 // align 0x10

00115590
00115590camlPackage.format_1907:
00115590lea r10, [rsp-328]
00115598cmp r10, [r14+40]
0011559cjb 0x1155f4
0011559e
0011559eloc_11559e:
0011559esub rsp, 8
001155a2cmp r15, [r14]
001155a5jbe 0x1155ed
001155a7
001155a7loc_1155a7:
001155a7mov rbx, [rbx+16]
001155abmov rbx, [rbx+184]
001155b2mov [rsp], rbx
001155b6lea rbx, [rip+0x177bbb]
001155bdcall camlStdlib.$5e_139
001155c2mov rbx, rax
001155c5lea rax, [rip+0x175eb4]
001155cccall camlStdlib.$5e_139
001155d1mov rbx, rax
001155d4lea rax, [rip+0x1774d5]
001155dbcall camlStdlib.$5e_139
001155e0mov rbx, [rsp]
001155e4mov rdi, [rbx]
001155e7add rsp, 8
001155ebjmp rdi
001155ed
001155edloc_1155ed:
001155edcall caml_call_gc
001155f2jmp 0x1155a7
001155f4
001155f4loc_1155f4:
001155f4push 34
001155f6call caml_call_realloc_stack
001155fbpop r10
001155fdjmp 0x11559e
00115590

001155ff
001155ff // align 0x10

00115600
00115600camlPackage.fun_3431:
00115600lea r10, [rsp-328]
00115608cmp r10, [r14+40]
0011560cjb 0x11566f
0011560e
0011560eloc_11560e:
0011560esub rsp, 8
00115612mov [rsp], rbx
00115616cmp r15, [r14]
00115619jbe 0x115668
0011561b
0011561bloc_11561b:
0011561bcall camlLexstate.save_arg_1030
00115620mov rbx, rax
00115623mov eax, 1
00115628call camlSubst.do_do_subst_this_697
0011562dmov rbx, [rsp]
00115631mov rbx, [rbx+16]
00115635mov rbx, [rbx+352]
0011563cmov [rsp], rbx
00115640lea rbx, [rip+0x175e01]
00115647call camlStdlib.$5e_139
0011564cmov rbx, rax
0011564flea rax, [rip+0x175e02]
00115656call camlStdlib.$5e_139
0011565bmov rbx, [rsp]
0011565fmov rdi, [rbx]
00115662add rsp, 8
00115666jmp rdi
00115668
00115668loc_115668:
00115668call caml_call_gc
0011566djmp 0x11561b
0011566f
0011566floc_11566f:
0011566fpush 34
00115671call caml_call_realloc_stack
00115676pop r10
00115678jmp 0x11560e
00115600

0011567a
0011567a // align 0x10

00115680
00115680camlPackage.fun_3436:
00115680lea r10, [rsp-328]
00115688cmp r10, [r14+40]
0011568cjb 0x1156c2
0011568e
0011568eloc_11568e:
0011568esub rsp, 8
00115692mov [rsp], rbx
00115696cmp r15, [r14]
00115699jbe 0x1156bb
0011569b
0011569bloc_11569b:
0011569bcall camlLexstate.save_arg_1030
001156a0mov rax, [rax]
001156a3mov rbx, [rsp]
001156a7mov rbx, [rbx+16]
001156abmov rbx, [rbx+352]
001156b2mov rdi, [rbx]
001156b5add rsp, 8
001156b9jmp rdi
001156bb
001156bbloc_1156bb:
001156bbcall caml_call_gc
001156c0jmp 0x11569b
001156c2
001156c2loc_1156c2:
001156c2push 34
001156c4call caml_call_realloc_stack
001156c9pop r10
001156cbjmp 0x11568e
00115680

001156cd
001156cd // align 0x10

001156d0
001156d0camlPackage.fun_3439:
001156d0lea r10, [rsp-328]
001156d8cmp r10, [r14+40]
001156dcjb 0x11576e
001156e2
001156e2loc_1156e2:
001156e2sub rsp, 8
001156e6mov [rsp], rbx
001156eacall camlLexstate.save_arg_1030
001156efmov rax, [rax]
001156f2call camlPackage.get_elements_1876
001156f7mov rbx, rax
001156fasub r15, 32
001156fecmp r15, [r14]
00115701jb 0x115767
00115703
00115703loc_115703:
00115703lea rax, [r15+8]
00115707mov [rax-8], 3319
0011570flea rdi, [rip+106]
00115716mov [rax], rdi
00115719mov rdi, 0x100000000000005
00115723mov [rax+8], rdi
00115727mov rdi, [rsp]
0011572bmov rdi, [rdi+32]
0011572fmov [rax+16], rdi
00115733call Stdlib.List.map
00115738mov rdi, rax
0011573blea rbx, [rip+0x17801e]
00115742mov rax, [rsp]
00115746mov rax, [rax+24]
0011574acall Stdlib.List.fold_left
0011574fmov rbx, [rsp]
00115753mov rbx, [rbx+40]
00115757mov rbx, [rbx+352]
0011575emov rdi, [rbx]
00115761add rsp, 8
00115765jmp rdi
00115767
00115767loc_115767:
00115767call caml_call_gc
0011576cjmp 0x115703
0011576e
0011576eloc_11576e:
0011576epush 34
00115770call caml_call_realloc_stack
00115775pop r10
00115777jmp 0x1156e2
001156d0

0011577c
0011577c // align 0x10

00115780
00115780camlPackage.format_1921:
00115780lea r10, [rsp-328]
00115788cmp r10, [r14+40]
0011578cjb 0x1157e4
0011578e
0011578eloc_11578e:
0011578esub rsp, 8
00115792cmp r15, [r14]
00115795jbe 0x1157dd
00115797
00115797loc_115797:
00115797mov rbx, [rbx+16]
0011579bmov rbx, [rbx+184]
001157a2mov [rsp], rbx
001157a6lea rbx, [rip+0x1779cb]
001157adcall camlStdlib.$5e_139
001157b2mov rbx, rax
001157b5lea rax, [rip+0x175c2c]
001157bccall camlStdlib.$5e_139
001157c1mov rbx, rax
001157c4lea rax, [rip+0x1772e5]
001157cbcall camlStdlib.$5e_139
001157d0mov rbx, [rsp]
001157d4mov rdi, [rbx]
001157d7add rsp, 8
001157dbjmp rdi
001157dd
001157ddloc_1157dd:
001157ddcall caml_call_gc
001157e2jmp 0x115797
001157e4
001157e4loc_1157e4:
001157e4push 34
001157e6call caml_call_realloc_stack
001157ebpop r10
001157edjmp 0x11578e
00115780