Similarity

0016cc10
0016cc10camlUltra.cut_begin_942:
0016cc10lea r10, [rsp-352]
0016cc18cmp r10, [r14+40]
0016cc1cjb 0x16cddf
0016cc22
0016cc22loc_16cc22:
0016cc22sub rsp, 32
0016cc26mov rdx, rax
0016cc29cmp rsi, rdi
0016cc2cjl 0x16cc58
0016cc2esub r15, 24
0016cc32cmp r15, [r14]
0016cc35jb 0x16cdd0
0016cc3b
0016cc3bloc_16cc3b:
0016cc3blea rax, [r15+8]
0016cc3fmov [rax-8], 2048
0016cc47mov [rax], rdi
0016cc4amov [rax+8], 1
0016cc52add rsp, 32
0016cc56ret
0016cc57
0016cc57 90 .
0016cc58
0016cc58loc_16cc58:
0016cc58mov [rsp+24], rsi
0016cc5dmov [rsp+8], rdi
0016cc62mov [rsp+16], rbx
0016cc67mov [rsp], rdx
0016cc6bmov rax, [rbx-8]
0016cc6fmov rdi, rax
0016cc72shr rdi, 9
0016cc76cmp rdi, rsi
0016cc79jbe 0x16cdda
0016cc7fand rax, 255
0016cc85cmp rax, 254
0016cc8bje 0x16cc94
0016cc8dmov rax, [rbx+4*rsi-4]
0016cc92jmp 0x16ccb7
0016cc94
0016cc94loc_16cc94:
0016cc94sub r15, 16
0016cc98cmp r15, [r14]
0016cc9bjb 0x16cdc6
0016cca1
0016cca1loc_16cca1:
0016cca1lea rax, [r15+8]
0016cca5mov [rax-8], 1277
0016ccadmovsd_xmm x0, [rbx+4*rsi-4]
0016ccb3movsd_xmm [rax], x0
0016ccb7
0016ccb7loc_16ccb7:
0016ccb7mov rdi, [rdx]
0016ccbamov rbx, rdx
0016ccbdcall rdi
0016ccbfcmp rax, 1
0016ccc3je 0x16cd84
0016ccc9mov rsi, [rsp+24]
0016ccceadd rsi, 2
0016ccd2mov rax, [rsp]
0016ccd6mov rbx, [rsp+16]
0016ccdbmov rdi, [rsp+8]
0016cce0call camlUltra.cut_begin_942
0016cce5mov rsi, [rsp+16]
0016cceamov rbx, [rsi-8]
0016cceemov rdi, rbx
0016ccf1shr rdi, 9
0016ccf5mov rdx, [rsp+24]
0016ccfacmp rdi, rdx
0016ccfdjbe 0x16cdda
0016cd03and rbx, 255
0016cd0acmp rbx, 254
0016cd11je 0x16cd1c
0016cd13mov rbx, [rsi+4*rdx-4]
0016cd18jmp 0x16cd3f
0016cd1a
0016cd1a 66 90 f.
0016cd1c
0016cd1cloc_16cd1c:
0016cd1csub r15, 16
0016cd20cmp r15, [r14]
0016cd23jb 0x16cdbc
0016cd29
0016cd29loc_16cd29:
0016cd29lea rbx, [r15+8]
0016cd2dmov [rbx-8], 1277
0016cd35movsd_xmm x0, [rsi+4*rdx-4]
0016cd3bmovsd_xmm [rbx], x0
0016cd3f
0016cd3floc_16cd3f:
0016cd3fsub r15, 48
0016cd43cmp r15, [r14]
0016cd46jb 0x16cdb5
0016cd48
0016cd48loc_16cd48:
0016cd48lea rdi, [r15+8]
0016cd4cadd rdi, 24
0016cd50mov [rdi-8], 2048
0016cd58mov [rdi], rbx
0016cd5bmov rbx, [rax+8]
0016cd5fmov [rdi+8], rbx
0016cd63lea rbx, [rdi-24]
0016cd67mov [rbx-8], 2048
0016cd6fmov rax, [rax]
0016cd72mov [rbx], rax
0016cd75mov [rbx+8], rdi
0016cd79mov rax, rbx
0016cd7cadd rsp, 32
0016cd80ret
0016cd81
0016cd81 0f 1f 00 ...
0016cd84
0016cd84loc_16cd84:
0016cd84sub r15, 24
0016cd88cmp r15, [r14]
0016cd8bjb 0x16cdae
0016cd8d
0016cd8dloc_16cd8d:
0016cd8dlea rax, [r15+8]
0016cd91mov [rax-8], 2048
0016cd99mov rbx, [rsp+24]
0016cd9emov [rax], rbx
0016cda1mov [rax+8], 1
0016cda9add rsp, 32
0016cdadret
0016cdae
0016cdaeloc_16cdae:
0016cdaecall caml_call_gc
0016cdb3jmp 0x16cd8d
0016cdb5
0016cdb5loc_16cdb5:
0016cdb5call caml_call_gc
0016cdbajmp 0x16cd48
0016cdbc
0016cdbcloc_16cdbc:
0016cdbccall caml_call_gc
0016cdc1jmp 0x16cd29
0016cdc6
0016cdc6loc_16cdc6:
0016cdc6call caml_call_gc
0016cdcbjmp 0x16cca1
0016cdd0
0016cdd0loc_16cdd0:
0016cdd0call caml_call_gc
0016cdd5jmp 0x16cc3b
0016cdda
0016cddaloc_16cdda:
0016cddacall caml_ml_array_bound_error
0016cddf
0016cddfloc_16cddf:
0016cddfpush 37
0016cde1call caml_call_realloc_stack
0016cde6pop r10
0016cde8jmp 0x16cc22
0016cc10

0016cded
0016cded // align 0x10

0016cdf0
0016cdf0camlUltra.cut_end_949:
0016cdf0sub r15, 48
0016cdf4cmp r15, [r14]
0016cdf7jb 0x16ce44
0016cdf9
0016cdf9loc_16cdf9:
0016cdf9lea rsi, [r15+8]
0016cdfdmov [rsi-8], 5367
0016ce05lea rdx, [rip-0x75dec]
0016ce0cmov [rsi], rdx
0016ce0fmov rdx, 0x200000000000007
0016ce19mov [rsi+8], rdx
0016ce1dlea rdx, [rip+44]
0016ce24mov [rsi+16], rdx
0016ce28mov [rsi+24], rax
0016ce2cmov [rsi+32], rbx
0016ce30mov rbx, rdi
0016ce33add rbx, -2
0016ce37mov eax, 1
0016ce3cmov rdi, rsi
0016ce3fjmp 0x16ce50
0016ce44
0016ce44loc_16ce44:
0016ce44call caml_call_gc
0016ce49jmp 0x16cdf9
0016cdf0

0016ce4b
0016ce4b // align 0x10

0016ce50
0016ce50camlUltra.do_rec_954:
0016ce50lea r10, [rsp-344]
0016ce58cmp r10, [r14+40]
0016ce5cjb 0x16cfec
0016ce62
0016ce62loc_16ce62:
0016ce62sub rsp, 24
0016ce66
0016ce66loc_16ce66:
0016ce66cmp rbx, 1
0016ce6ajge 0x16ce94
0016ce6csub r15, 24
0016ce70cmp r15, [r14]
0016ce73jb 0x16cfdd
0016ce79
0016ce79loc_16ce79:
0016ce79lea rdi, [r15+8]
0016ce7dmov [rdi-8], 2048
0016ce85mov [rdi], rbx
0016ce88mov [rdi+8], rax
0016ce8cmov rax, rdi
0016ce8fadd rsp, 24
0016ce93ret
0016ce94
0016ce94loc_16ce94:
0016ce94mov [rsp], rdi
0016ce98mov [rsp+8], rbx
0016ce9dmov [rsp+16], rax
0016cea2mov rsi, [rdi+24]
0016cea6mov rdi, [rdi+32]
0016ceaamov rax, [rdi-8]
0016ceaemov rdx, rax
0016ceb1shr rdx, 9
0016ceb5cmp rdx, rbx
0016ceb8jbe 0x16cfe7
0016cebeand rax, 255
0016cec4cmp rax, 254
0016cecaje 0x16ced4
0016ceccmov rax, [rdi+4*rbx-4]
0016ced1jmp 0x16cef7
0016ced3
0016ced3 90 .
0016ced4
0016ced4loc_16ced4:
0016ced4sub r15, 16
0016ced8cmp r15, [r14]
0016cedbjb 0x16cfd3
0016cee1
0016cee1loc_16cee1:
0016cee1lea rax, [r15+8]
0016cee5mov [rax-8], 1277
0016ceedmovsd_xmm x0, [rdi+4*rbx-4]
0016cef3movsd_xmm [rax], x0
0016cef7
0016cef7loc_16cef7:
0016cef7mov rdi, [rsi]
0016cefamov rbx, rsi
0016cefdcall rdi
0016ceffcmp rax, 1
0016cf03je 0x16cf90
0016cf09mov rdi, [rsp]
0016cf0dmov rax, [rdi+32]
0016cf11mov rsi, [rax-8]
0016cf15mov rdx, rsi
0016cf18shr rdx, 9
0016cf1cmov rbx, [rsp+8]
0016cf21cmp rdx, rbx
0016cf24jbe 0x16cfe7
0016cf2aand rsi, 255
0016cf31cmp rsi, 254
0016cf38je 0x16cf44
0016cf3amov rsi, [rax+4*rbx-4]
0016cf3fjmp 0x16cf63
0016cf41
0016cf41 0f 1f 00 ...
0016cf44
0016cf44loc_16cf44:
0016cf44sub r15, 16
0016cf48cmp r15, [r14]
0016cf4bjb 0x16cfc9
0016cf4d
0016cf4dloc_16cf4d:
0016cf4dlea rsi, [r15+8]
0016cf51mov [rsi-8], 1277
0016cf59movsd_xmm x0, [rax+4*rbx-4]
0016cf5fmovsd_xmm [rsi], x0
0016cf63
0016cf63loc_16cf63:
0016cf63sub r15, 24
0016cf67cmp r15, [r14]
0016cf6ajb 0x16cfc2
0016cf6c
0016cf6cloc_16cf6c:
0016cf6clea rax, [r15+8]
0016cf70mov [rax-8], 2048
0016cf78mov [rax], rsi
0016cf7bmov rsi, [rsp+16]
0016cf80mov [rax+8], rsi
0016cf84add rbx, -2
0016cf88jmp 0x16ce66
0016cf8d
0016cf8d 0f 1f 00 ...
0016cf90
0016cf90loc_16cf90:
0016cf90sub r15, 24
0016cf94cmp r15, [r14]
0016cf97jb 0x16cfbb
0016cf99
0016cf99loc_16cf99:
0016cf99lea rax, [r15+8]
0016cf9dmov [rax-8], 2048
0016cfa5mov rbx, [rsp+8]
0016cfaamov [rax], rbx
0016cfadmov rbx, [rsp+16]
0016cfb2mov [rax+8], rbx
0016cfb6add rsp, 24
0016cfbaret
0016cfbb
0016cfbbloc_16cfbb:
0016cfbbcall caml_call_gc
0016cfc0jmp 0x16cf99
0016cfc2
0016cfc2loc_16cfc2:
0016cfc2call caml_call_gc
0016cfc7jmp 0x16cf6c
0016cfc9
0016cfc9loc_16cfc9:
0016cfc9call caml_call_gc
0016cfcejmp 0x16cf4d
0016cfd3
0016cfd3loc_16cfd3:
0016cfd3call caml_call_gc
0016cfd8jmp 0x16cee1
0016cfdd
0016cfddloc_16cfdd:
0016cfddcall caml_call_gc
0016cfe2jmp 0x16ce79
0016cfe7
0016cfe7loc_16cfe7:
0016cfe7call caml_ml_array_bound_error
0016cfec
0016cfecloc_16cfec:
0016cfecpush 36
0016cfeecall caml_call_realloc_stack
0016cff3pop r10
0016cff5jmp 0x16ce62
0016ce50

0016cffa
0016cffa // align 0x10

0016d000
0016d000camlUltra.is_other_957:
0016d000mov rax, [rax]
0016d003and rax, 1
0016d007lea rax, [rax+rax+1]
0016d00cret
0016d000

0016d00d
0016d00d // align 0x10

0016d010
0016d010camlUltra.deeper_967:
0016d010lea r10, [rsp-360]
0016d018cmp r10, [r14+40]
0016d01cjb 0x16d106
0016d022
0016d022loc_16d022:
0016d022sub rsp, 40
0016d026mov rcx, rax
0016d029mov [rsp], rcx
0016d02dmov [rsp+8], rbx
0016d032mov [rsp+16], rdi
0016d037mov [rsp+32], rsi
0016d03cmov [rsp+24], rdx
0016d041sub r15, 56
0016d045cmp r15, [r14]
0016d048jb 0x16d0fc
0016d04e
0016d04eloc_16d04e:
0016d04elea rsi, [r15+8]
0016d052mov [rsi-8], 6391
0016d05alea rax, [rip-0x76041]
0016d061mov [rsi], rax
0016d064mov rax, 0x200000000000007
0016d06emov [rsi+8], rax
0016d072lea rax, [rip+167]
0016d079mov [rsi+16], rax
0016d07dadd rdx, 96
0016d081mov [rsi+24], rdx
0016d085mov [rsi+32], rbx
0016d089mov [rsi+40], rdi
0016d08dmov eax, 1
0016d092mov rbx, rcx
0016d095mov rdi, rsi
0016d098call camlUltra.again_976
0016d09dcmp rax, 1
0016d0a1je 0x16d0e0
0016d0a3mov esi, 1
0016d0a8mov rax, [rsp]
0016d0acmov rbx, [rsp+8]
0016d0b1mov rdi, [rsp+16]
0016d0b6call camlUltra.as_list_925
0016d0bbcall Stdlib.Array.of_list
0016d0c0mov rbx, rax
0016d0c3mov rsi, [rsp+24]
0016d0c8add rsi, 96
0016d0ccmov eax, 3
0016d0d1mov rdi, [rsp+32]
0016d0d6add rsp, 40
0016d0dajmp 0x16d7b0
0016d0df
0016d0df 90 .
0016d0e0
0016d0e0loc_16d0e0:
0016d0e0mov rax, [rsp]
0016d0e4mov rbx, [rsp+8]
0016d0e9mov rdi, [rsp+16]
0016d0eemov rsi, [rsp+32]
0016d0f3add rsp, 40
0016d0f7jmp 0x16cae0
0016d0fc
0016d0fcloc_16d0fc:
0016d0fccall caml_call_gc
0016d101jmp 0x16d04e
0016d106
0016d106loc_16d106:
0016d106push 38
0016d108call caml_call_realloc_stack
0016d10dpop r10
0016d10fjmp 0x16d022
0016d010

0016d114
0016d114 // align 0x10

0016d120
0016d120camlUltra.again_976:
0016d120lea r10, [rsp-360]
0016d128cmp r10, [r14+40]
0016d12cjb 0x16d2c5
0016d132
0016d132loc_16d132:
0016d132sub rsp, 40
0016d136
0016d136loc_16d136:
0016d136cmp r15, [r14]
0016d139jbe 0x16d2b6
0016d13f
0016d13floc_16d13f:
0016d13fmov rsi, [rdi+32]
0016d143cmp rbx, rsi
0016d146jle 0x16d150
0016d148add rsp, 40
0016d14cret
0016d14d
0016d14d 0f 1f 00 ...
0016d150
0016d150loc_16d150:
0016d150mov [rsp+32], rdi
0016d155mov [rsp+24], rbx
0016d15amov [rsp], rax
0016d15emov rax, [rdi+40]
0016d162mov rdi, [rax-8]
0016d166shr rdi, 9
0016d16acmp rdi, rbx
0016d16djbe 0x16d2c0
0016d173mov rax, [rax+4*rbx-4]
0016d178movzx rbx, [rax-8]
0016d17dcmp rbx, 2
0016d181jne 0x16d298
0016d187mov rbx, [rax]
0016d18atest bl, 1
0016d18dje 0x16d1cc
0016d18fmov rbx, [rax+8]
0016d193lea rax, [rip+0x18f8f6]
0016d19amov rax, [rax+392]
0016d1a1call Stdlib.List.exists
0016d1a6cmp rax, 1
0016d1aajne 0x16d1b4
0016d1acmov rax, [rsp]
0016d1b0jmp 0x16d1b9
0016d1b2
0016d1b2 66 90 f.
0016d1b4
0016d1b4loc_16d1b4:
0016d1b4mov eax, 3
0016d1b9
0016d1b9loc_16d1b9:
0016d1b9mov rbx, [rsp+24]
0016d1beadd rbx, 2
0016d1c2mov rdi, [rsp+32]
0016d1c7jmp 0x16d136
0016d1cc
0016d1ccloc_16d1cc:
0016d1ccmov [rsp+16], rbx
0016d1d1mov [rsp+8], rax
0016d1d6lea rax, [rip+0x18f8b3]
0016d1ddmov rax, [rax+416]
0016d1e4call Stdlib.List.exists
0016d1e9cmp rax, 1
0016d1edje 0x16d298
0016d1f3mov rbx, [rsp+24]
0016d1f8add rbx, 2
0016d1fcmov rax, [rsp]
0016d200mov rdi, [rsp+32]
0016d205call camlUltra.again_976
0016d20amov [rsp], rax
0016d20ecmp rax, 1
0016d212jne 0x16d28d
0016d214mov rax, [rsp+8]
0016d219mov rax, [rax+8]
0016d21dcall Stdlib.Array.of_list
0016d222mov rbx, rax
0016d225mov rax, [rsp+32]
0016d22amov rsi, [rax+24]
0016d22emov edi, 1
0016d233mov eax, 3
0016d238call camlUltra.opt_970
0016d23dsub r15, 24
0016d241cmp r15, [r14]
0016d244jb 0x16d2af
0016d246
0016d246loc_16d246:
0016d246lea rsi, [r15+8]
0016d24amov [rsi-8], 2050
0016d252mov rbx, [rsp+16]
0016d257mov [rsi], rbx
0016d25amov [rsi+8], rax
0016d25emov rax, [rsp+32]
0016d263mov rax, [rax+40]
0016d267mov rbx, [rax-8]
0016d26bshr rbx, 9
0016d26fmov rdi, [rsp+24]
0016d274cmp rbx, rdi
0016d277jbe 0x16d2c0
0016d279lea rdi, [rax+4*rdi-4]
0016d27emov rbx, rsp
0016d281mov rsp, [r14+64]
0016d285call caml_modify
0016d28amov rsp, rbx
0016d28d
0016d28dloc_16d28d:
0016d28dmov rax, [rsp]
0016d291add rsp, 40
0016d295ret
0016d296
0016d296 66 90 f.
0016d298
0016d298loc_16d298:
0016d298mov rbx, [rsp+24]
0016d29dadd rbx, 2
0016d2a1mov rax, [rsp]
0016d2a5mov rdi, [rsp+32]
0016d2aajmp 0x16d136
0016d2af
0016d2afloc_16d2af:
0016d2afcall caml_call_gc
0016d2b4jmp 0x16d246
0016d2b6
0016d2b6loc_16d2b6:
0016d2b6call caml_call_gc
0016d2bbjmp 0x16d13f
0016d2c0
0016d2c0loc_16d2c0:
0016d2c0call caml_ml_array_bound_error
0016d2c5
0016d2c5loc_16d2c5:
0016d2c5push 38
0016d2c7call caml_call_realloc_stack
0016d2ccpop r10
0016d2cejmp 0x16d132
0016d120

0016d2d3
0016d2d3 // align 0x10

0016d2e0
0016d2e0camlUltra.trees_968:
0016d2e0lea r10, [rsp-368]
0016d2e8cmp r10, [r14+40]
0016d2ecjb 0x16d41e
0016d2f2
0016d2f2loc_16d2f2:
0016d2f2sub rsp, 48
0016d2f6cmp rax, rbx
0016d2f9jle 0x16d304
0016d2fbmov rax, rsi
0016d2feadd rsp, 48
0016d302ret
0016d303
0016d303 90 .
0016d304
0016d304loc_16d304:
0016d304mov [rsp+8], rdx
0016d309mov [rsp+40], rsi
0016d30emov [rsp+32], rdi
0016d313mov [rsp+24], rbx
0016d318mov [rsp+16], rax
0016d31dcall camlUltra.factorize_628
0016d322test al, 1
0016d324je 0x16d34c
0016d326mov rdx, [rsp+8]
0016d32badd rdx, -32
0016d32fmov rax, [rsp+16]
0016d334mov rbx, [rsp+24]
0016d339mov rdi, [rsp+32]
0016d33emov rsi, [rsp+40]
0016d343add rsp, 48
0016d347jmp 0x16d010
0016d34c
0016d34cloc_16d34c:
0016d34csub r15, 64
0016d350cmp r15, [r14]
0016d353jb 0x16d414
0016d359
0016d359loc_16d359:
0016d359lea rbx, [r15+8]
0016d35dmov [rsp], rbx
0016d361mov [rbx-8], 7415
0016d369lea rdi, [rip-0x76440]
0016d370mov [rbx], rdi
0016d373mov rdi, 0x300000000000007
0016d37dmov [rbx+8], rdi
0016d381lea rdi, [rip+168]
0016d388mov [rbx+16], rdi
0016d38cmov rsi, [rsp+8]
0016d391mov rdi, rsi
0016d394add rdi, -32
0016d398mov [rbx+24], rdi
0016d39cmov [rbx+32], rsi
0016d3a0mov rdi, [rsp+24]
0016d3a5mov [rbx+40], rdi
0016d3a9mov rdi, [rsp+32]
0016d3aemov [rbx+48], rdi
0016d3b2call camlUltra.select_factors_840
0016d3b7mov [rsp+8], rax
0016d3bclea rax, [rip+0x1a60fd]
0016d3c3mov rax, [rax]
0016d3c6mov rax, [rax]
0016d3c9cmp rax, 3
0016d3cdjle 0x16d3f8
0016d3cflea rax, [rip+0x18fb12]
0016d3d6call camlStdlib.prerr_endline_390
0016d3dblea rax, [rip+0x18f2fe]
0016d3e2mov rbx, [rsp+8]
0016d3e7call Stdlib.List.iter
0016d3eclea rax, [rip+0x18fa15]
0016d3f3call camlStdlib.prerr_endline_390
0016d3f8
0016d3f8loc_16d3f8:
0016d3f8mov rax, [rsp+16]
0016d3fdmov rbx, [rsp+8]
0016d402mov rdi, [rsp+40]
0016d407mov rsi, [rsp]
0016d40badd rsp, 48
0016d40fjmp 0x16d430
0016d414
0016d414loc_16d414:
0016d414call caml_call_gc
0016d419jmp 0x16d359
0016d41e
0016d41eloc_16d41e:
0016d41epush 39
0016d420call caml_call_realloc_stack
0016d425pop r10
0016d427jmp 0x16d2f2
0016d2e0

0016d42c
0016d42c // align 0x10

0016d430
0016d430camlUltra.zyva_991:
0016d430lea r10, [rsp-392]
0016d438cmp r10, [r14+40]
0016d43cjb 0x16d5b3
0016d442
0016d442loc_16d442:
0016d442sub rsp, 72
0016d446mov rcx, rdi
0016d449mov r13, rsi
0016d44ctest bl, 1
0016d44fje 0x16d46c
0016d451mov rdi, [r13+48]
0016d455mov rbx, [r13+40]
0016d459mov rdx, [r13+24]
0016d45dmov rsi, rcx
0016d460add rsp, 72
0016d464jmp 0x16d010
0016d469
0016d469 0f 1f 00 ...
0016d46c
0016d46cloc_16d46c:
0016d46cmov [rsp+48], r13
0016d471mov [rsp+8], rcx
0016d476mov [rsp], rbx
0016d47amov [rsp+32], rax
0016d47fmov rax, [rbx]
0016d482mov rbx, [rax+8]
0016d486mov [rsp+40], rbx
0016d48bmov rax, [rax]
0016d48emov rbx, [rax+8]
0016d492mov [rsp+16], rbx
0016d497mov r12, [rax]
0016d49amov [rsp+24], r12
0016d49fcmp r12, rbx
0016d4a2jg 0x16d529
0016d4a8mov [rsp+64], rbx
0016d4admov [rsp+56], r12
0016d4b2
0016d4b2loc_16d4b2:
0016d4b2mov rax, [r13+48]
0016d4b6mov rbx, [rax-8]
0016d4bashr rbx, 9
0016d4becmp rbx, r12
0016d4c1jbe 0x16d5ae
0016d4c7mov rbx, [rax+4*r12-4]
0016d4ccmov rax, [rsp+40]
0016d4d1call camlUltra.remove_930
0016d4d6mov r13, [rsp+48]
0016d4dbmov rbx, [r13+48]
0016d4dfmov rdi, [rbx-8]
0016d4e3shr rdi, 9
0016d4e7mov r12, [rsp+56]
0016d4eccmp rdi, r12
0016d4efjbe 0x16d5ae
0016d4f5lea rdi, [rbx+4*r12-4]
0016d4famov rsi, rax
0016d4fdmov rbx, rsp
0016d500mov rsp, [r14+64]
0016d504call caml_modify
0016d509mov rsp, rbx
0016d50cmov rax, r12
0016d50fadd r12, 2
0016d513mov [rsp+56], r12
0016d518mov rbx, [rsp+64]
0016d51dcmp rax, rbx
0016d520je 0x16d529
0016d522cmp r15, [r14]
0016d525ja 0x16d4b2
0016d527jmp 0x16d5a4
0016d529
0016d529loc_16d529:
0016d529mov rax, [rsp]
0016d52dmov rbx, [rax+8]
0016d531mov rax, [rsp+16]
0016d536add rax, 2
0016d53amov rdi, [rsp+8]
0016d53fmov rsi, r13
0016d542call camlUltra.zyva_991
0016d547mov [rsp], rax
0016d54bmov rax, [rsp+48]
0016d550mov rdi, [rax+48]
0016d554mov rdx, [rax+32]
0016d558mov esi, 1
0016d55dmov rax, [rsp+24]
0016d562mov rbx, [rsp+16]
0016d567call camlUltra.trees_968
0016d56cmov rbx, rax
0016d56fmov rax, [rsp+40]
0016d574mov rdi, [rsp]
0016d578call camlUltra.check_node_914
0016d57dmov rsi, rax
0016d580mov rax, [rsp+48]
0016d585mov rdi, [rax+48]
0016d589mov rbx, [rsp+24]
0016d58eadd rbx, -2
0016d592mov rdx, [rax+24]
0016d596mov rax, [rsp+32]
0016d59badd rsp, 72
0016d59fjmp 0x16d010
0016d5a4
0016d5a4loc_16d5a4:
0016d5a4call caml_call_gc
0016d5a9jmp 0x16d4b2
0016d5ae
0016d5aeloc_16d5ae:
0016d5aecall caml_ml_array_bound_error
0016d5b3
0016d5b3loc_16d5b3:
0016d5b3push 42
0016d5b5call caml_call_realloc_stack
0016d5bapop r10
0016d5bcjmp 0x16d442
0016d430

0016d5c1
0016d5c1 // align 0x10

0016d5d0
0016d5d0camlUltra.fun_1446:
0016d5d0lea r10, [rsp-344]
0016d5d8cmp r10, [r14+40]
0016d5dcjb 0x16d637
0016d5de
0016d5deloc_16d5de:
0016d5desub rsp, 24
0016d5e2mov [rsp+16], rbx
0016d5e7mov rbx, [rax+8]
0016d5ebmov [rsp+8], rbx
0016d5f0mov rax, [rax]
0016d5f3mov [rsp], rax
0016d5f7lea rbx, [rip+0x18f82a]
0016d5felea rax, [rip+0x1c0013]
0016d605mov rax, [rax+312]
0016d60ccall Stdlib.Printf.fprintf
0016d611mov rdi, rax
0016d614mov rax, [rsp]
0016d618mov rbx, [rsp+8]
0016d61dcall caml_apply2
0016d622lea rax, [rip+0x18efa7]
0016d629mov rbx, [rsp+16]
0016d62eadd rsp, 24
0016d632jmp 0x1a0330
0016d637
0016d637loc_16d637:
0016d637push 36
0016d639call caml_call_realloc_stack
0016d63epop r10
0016d640jmp 0x16d5de
0016d5d0

0016d642
0016d642 // align 0x10

0016d650
0016d650camlUltra.fun_1452:
0016d650lea r10, [rsp-320]
0016d658cmp r10, [r14+40]
0016d65cjb 0x16d684
0016d65e
0016d65eloc_16d65e:
0016d65emov rbx, [rax+8]
0016d662lea rax, [rip+0x18f7af]
0016d669call camlStdlib.$5e_139
0016d66emov rbx, rax
0016d671lea rax, [rip+0x1bffa0]
0016d678mov rax, [rax+312]
0016d67fjmp 0x1963d0
0016d684
0016d684loc_16d684:
0016d684push 33
0016d686call caml_call_realloc_stack
0016d68bpop r10
0016d68djmp 0x16d65e
0016d650

0016d68f
0016d68f // align 0x10

0016d690
0016d690camlUltra.opt_onodes_969:
0016d690lea r10, [rsp-360]
0016d698cmp r10, [r14+40]
0016d69cjb 0x16d79e
0016d6a2
0016d6a2loc_16d6a2:
0016d6a2sub rsp, 40
0016d6a6mov rsi, [rax-8]
0016d6aashr rsi, 9
0016d6aecmp rsi, rbx
0016d6b1jbe 0x16d799
0016d6b7mov rsi, [rax+4*rbx-4]
0016d6bcmovzx rdx, [rsi-8]
0016d6c1cmp rdx, 3
0016d6c5jl 0x16d788
0016d6cbmov [rsp], rdi
0016d6cfmov [rsp+32], rbx
0016d6d4mov [rsp+24], rax
0016d6d9mov rax, [rsi+8]
0016d6ddmov [rsp+16], rax
0016d6e2mov rax, [rsi]
0016d6e5mov [rsp+8], rax
0016d6eamov rax, [rsi+16]
0016d6eecall Stdlib.Array.of_list
0016d6f3mov rbx, rax
0016d6f6mov rsi, [rsp]
0016d6faadd rsi, 32
0016d6femov edi, 1
0016d703mov eax, 1
0016d708call camlUltra.opt_970
0016d70dtest al, 1
0016d70fjne 0x16d728
0016d711mov rbx, [rax]
0016d714movzx rbx, [rbx-8]
0016d719cmp rbx, 2
0016d71djne 0x16d728
0016d71fmov rbx, [rax+8]
0016d723test bl, 1
0016d726je 0x16d728
0016d728
0016d728loc_16d728:
0016d728sub r15, 32
0016d72ccmp r15, [r14]
0016d72fjb 0x16d792
0016d731
0016d731loc_16d731:
0016d731lea rsi, [r15+8]
0016d735mov [rsi-8], 3075
0016d73dmov rbx, [rsp+8]
0016d742mov [rsi], rbx
0016d745mov rbx, [rsp+16]
0016d74amov [rsi+8], rbx
0016d74emov [rsi+16], rax
0016d752mov rbx, [rsp+24]
0016d757mov rax, [rbx-8]
0016d75bshr rax, 9
0016d75fmov rdi, [rsp+32]
0016d764cmp rax, rdi
0016d767jbe 0x16d799
0016d769lea rdi, [rbx+4*rdi-4]
0016d76emov rbx, rsp
0016d771mov rsp, [r14+64]
0016d775call caml_modify
0016d77amov rsp, rbx
0016d77dmov eax, 1
0016d782add rsp, 40
0016d786ret
0016d787
0016d787 90 .
0016d788
0016d788loc_16d788:
0016d788mov eax, 1
0016d78dadd rsp, 40
0016d791ret
0016d792
0016d792loc_16d792:
0016d792call caml_call_gc
0016d797jmp 0x16d731
0016d799
0016d799loc_16d799:
0016d799call caml_ml_array_bound_error
0016d79e
0016d79eloc_16d79e:
0016d79epush 38
0016d7a0call caml_call_realloc_stack
0016d7a5pop r10
0016d7a7jmp 0x16d6a2
0016d690

0016d7ac
0016d7ac // align 0x10

0016d7b0
0016d7b0camlUltra.opt_970:
0016d7b0lea r10, [rsp-384]
0016d7b8cmp r10, [r14+40]
0016d7bcjb 0x16d950
0016d7c2
0016d7c2loc_16d7c2:
0016d7c2sub rsp, 64
0016d7c6mov [rsp+16], rax
0016d7cbmov [rsp+56], rbx
0016d7d0mov [rsp+40], rdi
0016d7d5mov [rsp+48], rsi
0016d7dacmp r15, [r14]
0016d7ddjbe 0x16d946
0016d7e3
0016d7e3loc_16d7e3:
0016d7e3mov rax, [rbx-8]
0016d7e7shr rax, 9
0016d7ebor rax, 1
0016d7efmov [rsp], rax
0016d7f3mov ebx, 1
0016d7f8add rax, -2
0016d7fccmp rbx, rax
0016d7ffjg 0x16d843
0016d801mov [rsp+24], rax
0016d806mov [rsp+8], rbx
0016d80b
0016d80bloc_16d80b:
0016d80bmov rdi, [rsp+48]
0016d810add rdi, -32
0016d814mov rax, [rsp+56]
0016d819call camlUltra.opt_onodes_969
0016d81emov rbx, [rsp+8]
0016d823mov rax, rbx
0016d826add rbx, 2
0016d82amov [rsp+8], rbx
0016d82fmov rdi, [rsp+24]
0016d834cmp rax, rdi
0016d837je 0x16d843
0016d839cmp r15, [r14]
0016d83cja 0x16d80b
0016d83ejmp 0x16d93c
0016d843
0016d843loc_16d843:
0016d843lea rax, [rip+0x18f246]
0016d84amov rax, [rax+384]
0016d851mov [rsp+8], rax
0016d856mov esi, 1
0016d85bmov rbx, [rsp+56]
0016d860mov rdi, [rsp]
0016d864call camlUltra.cut_begin_942
0016d869mov rbx, [rax+8]
0016d86dmov rax, [rax]
0016d870mov rdi, [rsp]
0016d874cmp rax, rdi
0016d877jl 0x16d88c
0016d879mov rax, rbx
0016d87cmov rbx, [rsp+40]
0016d881add rsp, 64
0016d885jmp 0x1960f0
0016d88a
0016d88a 66 90 f.
0016d88c
0016d88cloc_16d88c:
0016d88cmov [rsp+24], rax
0016d891mov [rsp+32], rbx
0016d896mov rax, [rsp+8]
0016d89bmov rbx, [rsp+56]
0016d8a0call camlUltra.cut_end_949
0016d8a5mov rdi, [rax+8]
0016d8a9mov rbx, [rax]
0016d8acmov rax, [rsp+16]
0016d8b1cmp rax, 1
0016d8b5je 0x16d8f8
0016d8b7mov [rsp], rbx
0016d8bbmov rax, rdi
0016d8bemov rbx, [rsp+40]
0016d8c3call camlStdlib.$40_196
0016d8c8mov rsi, rax
0016d8cbmov rdx, [rsp+48]
0016d8d0add rdx, -64
0016d8d4mov rax, [rsp+24]
0016d8d9mov rbx, [rsp]
0016d8ddmov rdi, [rsp+56]
0016d8e2call camlUltra.trees_968
0016d8e7mov rbx, rax
0016d8eamov rax, [rsp+32]
0016d8efadd rsp, 64
0016d8f3jmp 0x1960f0
0016d8f8
0016d8f8loc_16d8f8:
0016d8f8mov [rsp], rdi
0016d8fcmov rdx, [rsp+48]
0016d901add rdx, -64
0016d905mov esi, 1
0016d90amov rax, [rsp+24]
0016d90fmov rdi, [rsp+56]
0016d914call camlUltra.trees_968
0016d919mov rbx, rax
0016d91cmov rdx, [rsp+48]
0016d921add rdx, 32
0016d925mov rax, [rsp+32]
0016d92amov rdi, [rsp]
0016d92emov rsi, [rsp+40]
0016d933add rsp, 64
0016d937jmp 0x16d960
0016d93c
0016d93cloc_16d93c:
0016d93ccall caml_call_gc
0016d941jmp 0x16d80b
0016d946
0016d946loc_16d946:
0016d946call caml_call_gc
0016d94bjmp 0x16d7e3
0016d950
0016d950loc_16d950:
0016d950push 41
0016d952call caml_call_realloc_stack
0016d957pop r10
0016d959jmp 0x16d7c2
0016d7b0

0016d95e
0016d95e // align 0x10

0016d960
0016d960camlUltra.extend_blanks_971:
0016d960lea r10, [rsp-368]
0016d968cmp r10, [r14+40]
0016d96cjb 0x16db3d
0016d972
0016d972loc_16d972:
0016d972sub rsp, 48
0016d976mov [rsp+40], rax
0016d97bmov [rsp], rbx
0016d97fmov [rsp+16], rdi
0016d984mov [rsp+24], rsi
0016d989test bl, 1
0016d98cjne 0x16db00
0016d992mov rsi, [rbx]
0016d995movzx rdx, [rsi-8]
0016d99acmp rdx, 2
0016d99ejne 0x16db00
0016d9a4mov rbx, [rbx+8]
0016d9a8test bl, 1
0016d9abje 0x16db00
0016d9b1mov rdx, [rsi+8]
0016d9b5mov rbx, [rsi]
0016d9b8cmp rax, 1
0016d9bcje 0x16db00
0016d9c2cmp rdi, 1
0016d9c6je 0x16db00
0016d9ccmov [rsp+8], rbx
0016d9d1mov [rsp+32], rdx
0016d9d6lea rax, [rip+0x1a4463]
0016d9ddmov rax, [rax+104]
0016d9e1call Stdlib.List.exists
0016d9e6cmp rax, 1
0016d9eaje 0x16db00
0016d9f0mov rax, [rsp+40]
0016d9f5call camlUtil.is_blanks_421
0016d9facmp rax, 1
0016d9feje 0x16db00
0016da04mov rax, [rsp+16]
0016da09call camlUtil.is_blanks_421
0016da0ecmp rax, 1
0016da12je 0x16db00
0016da18lea rax, [rip+0x1a4421]
0016da1fmov rax, [rax+104]
0016da23mov rbx, [rsp+8]
0016da28call Stdlib.List.partition
0016da2dmov [rsp], rax
0016da31mov rax, [rax+8]
0016da35test al, 1
0016da37je 0x16da64
0016da39mov rax, [rsp+16]
0016da3emov rbx, [rsp+24]
0016da43call camlStdlib.$40_196
0016da48mov rbx, rax
0016da4bmov rax, [rsp+32]
0016da50call camlStdlib.$40_196
0016da55mov rbx, rax
0016da58mov rax, [rsp+40]
0016da5dcall camlStdlib.$40_196
0016da62jmp 0x16dabc
0016da64
0016da64loc_16da64:
0016da64sub r15, 48
0016da68cmp r15, [r14]
0016da6bjb 0x16db33
0016da71
0016da71loc_16da71:
0016da71lea rbx, [r15+8]
0016da75add rbx, 24
0016da79mov [rbx-8], 2050
0016da81mov [rbx], rax
0016da84mov rax, [rsp+32]
0016da89mov [rbx+8], rax
0016da8dlea rax, [rbx-24]
0016da91mov [rax-8], 2048
0016da99mov [rax], rbx
0016da9cmov rbx, [rsp+16]
0016daa1mov [rax+8], rbx
0016daa5mov rbx, [rsp+24]
0016daaacall camlStdlib.$40_196
0016daafmov rbx, rax
0016dab2mov rax, [rsp+40]
0016dab7call camlStdlib.$40_196
0016dabc
0016dabcloc_16dabc:
0016dabcsub r15, 48
0016dac0cmp r15, [r14]
0016dac3jb 0x16db2c
0016dac5
0016dac5loc_16dac5:
0016dac5lea rbx, [r15+8]
0016dac9add rbx, 24
0016dacdmov [rbx-8], 2050
0016dad5mov rdi, [rsp]
0016dad9mov rdi, [rdi]
0016dadcmov [rbx], rdi
0016dadfmov [rbx+8], rax
0016dae3lea rax, [rbx-24]
0016dae7mov [rax-8], 2048
0016daefmov [rax], rbx
0016daf2mov [rax+8], 1
0016dafaadd rsp, 48
0016daferet
0016daff
0016daff 90 .
0016db00
0016db00loc_16db00:
0016db00mov rax, [rsp+16]
0016db05mov rbx, [rsp+24]
0016db0acall camlStdlib.$40_196
0016db0fmov rbx, rax
0016db12mov rax, [rsp]
0016db16call camlStdlib.$40_196
0016db1bmov rbx, rax
0016db1emov rax, [rsp+40]
0016db23add rsp, 48
0016db27jmp 0x1960f0
0016db2c
0016db2cloc_16db2c:
0016db2ccall caml_call_gc
0016db31jmp 0x16dac5
0016db33
0016db33loc_16db33:
0016db33call caml_call_gc
0016db38jmp 0x16da71
0016db3d
0016db3dloc_16db3d:
0016db3dpush 39
0016db3fcall caml_call_realloc_stack
0016db44pop r10
0016db46jmp 0x16d972
0016d960

0016db4b
0016db4b // align 0x10

0016db50
0016db50camlUltra.main_1036:
0016db50lea r10, [rsp-352]
0016db58cmp r10, [r14+40]
0016db5cjb 0x16ddbc
0016db62
0016db62loc_16db62:
0016db62sub rsp, 32
0016db66mov [rsp+8], rax
0016db6bmov [rsp+24], rbx
0016db70lea rax, [rip+0x1a5949]
0016db77mov rax, [rax]
0016db7amov rax, [rax]
0016db7dcmp rax, 5
0016db81jle 0x16dbde
0016db83lea rbx, [rip+0x18f22e]
0016db8alea rax, [rip+0x1bfa87]
0016db91mov rax, [rax+312]
0016db98call Stdlib.Printf.fprintf
0016db9dlea rax, [rip+0x1bfa74]
0016dba4mov rdi, [rax+312]
0016dbablea rax, [rip+0x191fe6]
0016dbb2mov rbx, [rax+56]
0016dbb6mov rax, [rax+48]
0016dbbamov rsi, [rsp+24]
0016dbbfcall camlPp.trees_448
0016dbc4lea rbx, [rip+0x18f175]
0016dbcblea rax, [rip+0x1bfa46]
0016dbd2mov rax, [rax+312]
0016dbd9call Stdlib.Printf.fprintf
0016dbde
0016dbdeloc_16dbde:
0016dbdelea rax, [rip+0x19bc9b]
0016dbe5mov rax, [rax+8]
0016dbe9lea rbx, [rip+0x1a3c58]
0016dbf0mov rsi, [rbx+104]
0016dbf4lea rbx, [rip+0x1a3cd5]
0016dbfbmov rdi, [rsp+24]
0016dc00call camlUtil.do_costs_272
0016dc05mov [rsp], rax
0016dc09mov rax, [rsp+24]
0016dc0ecall camlExplode.trees_402
0016dc13call Stdlib.Array.of_list
0016dc18mov rbx, rax
0016dc1blea rax, [rip+0x18ee6e]
0016dc22mov rsi, [rax+448]
0016dc29mov edi, 1
0016dc2emov eax, 3
0016dc33call camlUltra.opt_970
0016dc38mov rdi, rax
0016dc3bmov [rsp+16], rdi
0016dc40lea rax, [rip+0x1a41f9]
0016dc47mov rax, [rax+8]
0016dc4blea rbx, [rip+0x1a3bf6]
0016dc52mov rsi, [rbx+104]
0016dc56lea rbx, [rip+0x1a3c73]
0016dc5dcall camlUtil.do_costs_272
0016dc62mov rdi, [rsp]
0016dc66mov rsi, rax
0016dc69lea rax, [rip+0x92c40]
0016dc70call caml_c_call
0016dc75cmp rax, 1
0016dc79jge 0x16dd20
0016dc7flea rax, [rip+0x1a583a]
0016dc86mov rax, [rax]
0016dc89mov rax, [rax]
0016dc8ccmp rax, 3
0016dc90jle 0x16dcfe
0016dc92lea rax, [rip+0x18f077]
0016dc99call camlStdlib.prerr_endline_390
0016dc9elea rax, [rip+0x1bf973]
0016dca5mov rdi, [rax+312]
0016dcaclea rax, [rip+0x191ee5]
0016dcb3mov rbx, [rax+56]
0016dcb7mov rax, [rax+48]
0016dcbbmov rsi, [rsp+24]
0016dcc0call camlPp.trees_448
0016dcc5lea rax, [rip+0x18f014]
0016dccccall camlStdlib.prerr_endline_390
0016dcd1lea rax, [rip+0x1bf940]
0016dcd8mov rdi, [rax+312]
0016dcdflea rax, [rip+0x191eb2]
0016dce6mov rbx, [rax+184]
0016dcedmov rax, [rax+176]
0016dcf4mov rsi, [rsp+16]
0016dcf9call camlPp.trees_448
0016dcfe
0016dcfeloc_16dcfe:
0016dcfelea rax, [rip+0x191e93]
0016dd05mov rbx, [rax+56]
0016dd09mov rax, [rax+48]
0016dd0dmov rdi, [rsp+8]
0016dd12mov rsi, [rsp+24]
0016dd17add rsp, 32
0016dd1bjmp 0x16e790
0016dd20
0016dd20loc_16dd20:
0016dd20lea rax, [rip+0x1a5799]
0016dd27mov rax, [rax]
0016dd2amov rax, [rax]
0016dd2dcmp rax, 5
0016dd31jle 0x16dd94
0016dd33lea rbx, [rip+0x18ef56]
0016dd3alea rax, [rip+0x1bf8d7]
0016dd41mov rax, [rax+312]
0016dd48call Stdlib.Printf.fprintf
0016dd4dlea rax, [rip+0x1bf8c4]
0016dd54mov rdi, [rax+312]
0016dd5blea rax, [rip+0x191e36]
0016dd62mov rbx, [rax+184]
0016dd69mov rax, [rax+176]
0016dd70mov rsi, [rsp+16]
0016dd75call camlPp.trees_448
0016dd7alea rbx, [rip+0x18efbf]
0016dd81lea rax, [rip+0x1bf890]
0016dd88mov rax, [rax+312]
0016dd8fcall Stdlib.Printf.fprintf
0016dd94
0016dd94loc_16dd94:
0016dd94lea rax, [rip+0x191dfd]
0016dd9bmov rbx, [rax+184]
0016dda2mov rax, [rax+176]
0016dda9mov rdi, [rsp+8]
0016ddaemov rsi, [rsp+16]
0016ddb3add rsp, 32
0016ddb7jmp 0x16e790
0016ddbc
0016ddbcloc_16ddbc:
0016ddbcpush 37
0016ddbecall caml_call_realloc_stack
0016ddc3pop r10
0016ddc5jmp 0x16db62
0016db50

0016ddca
0016ddca // align 0x10

0016ddd0
0016ddd0camlUltra.entry:
0016ddd0lea rsi, [rip+0x18e929]
0016ddd7lea rdi, [rip+0x18ecb2]
0016dddeadd rdi, 8
0016dde2mov rbx, rsp
0016dde5mov rsp, [r14+64]
0016dde9call caml_initialize
0016ddeemov rsp, rbx
0016ddf1lea rsi, [rip+0x18e928]
0016ddf8lea rdi, [rip+0x18ec91]
0016ddffadd rdi, 16
0016de03mov rbx, rsp
0016de06mov rsp, [r14+64]
0016de0acall caml_initialize
0016de0fmov rsp, rbx
0016de12lea rsi, [rip+0x18e927]
0016de19lea rdi, [rip+0x18ec70]
0016de20add rdi, 24
0016de24mov rbx, rsp
0016de27mov rsp, [r14+64]
0016de2bcall caml_initialize
0016de30mov rsp, rbx
0016de33lea rsi, [rip+0x18e926]
0016de3alea rdi, [rip+0x18ec4f]
0016de41add rdi, 32
0016de45mov rbx, rsp
0016de48mov rsp, [r14+64]
0016de4ccall caml_initialize
0016de51mov rsp, rbx
0016de54lea rsi, [rip+0x18e925]
0016de5blea rdi, [rip+0x18ec2e]
0016de62add rdi, 40
0016de66mov rbx, rsp
0016de69mov rsp, [r14+64]
0016de6dcall caml_initialize
0016de72mov rsp, rbx
0016de75lea rsi, [rip+0x18e924]
0016de7clea rdi, [rip+0x18ec0d]
0016de83add rdi, 48
0016de87mov rbx, rsp
0016de8amov rsp, [r14+64]
0016de8ecall caml_initialize
0016de93mov rsp, rbx
0016de96lea rsi, [rip+0x18e923]
0016de9dlea rdi, [rip+0x18ebec]
0016dea4add rdi, 56
0016dea8mov rbx, rsp
0016deabmov rsp, [r14+64]
0016deafcall caml_initialize
0016deb4mov rsp, rbx
0016deb7lea rsi, [rip+0x18e922]
0016debelea rdi, [rip+0x18ebcb]
0016dec5add rdi, 64
0016dec9mov rbx, rsp
0016deccmov rsp, [r14+64]
0016ded0call caml_initialize
0016ded5mov rsp, rbx
0016ded8lea rsi, [rip+0x18e921]
0016dedflea rdi, [rip+0x18ebaa]
0016dee6add rdi, 72
0016deeamov rbx, rsp
0016deedmov rsp, [r14+64]
0016def1call caml_initialize
0016def6mov rsp, rbx
0016def9lea rsi, [rip+0x18e920]
0016df00lea rdi, [rip+0x18eb89]
0016df07add rdi, 80
0016df0bmov rbx, rsp
0016df0emov rsp, [r14+64]
0016df12call caml_initialize
0016df17mov rsp, rbx
0016df1alea rsi, [rip+0x18e91f]
0016df21lea rdi, [rip+0x18eb68]
0016df28add rdi, 88
0016df2cmov rbx, rsp
0016df2fmov rsp, [r14+64]
0016df33call caml_initialize
0016df38mov rsp, rbx
0016df3blea rsi, [rip+0x18e91e]
0016df42lea rdi, [rip+0x18eb47]
0016df49add rdi, 96
0016df4dmov rbx, rsp
0016df50mov rsp, [r14+64]
0016df54call caml_initialize
0016df59mov rsp, rbx
0016df5clea rsi, [rip+0x18e91d]
0016df63lea rdi, [rip+0x18eb26]
0016df6aadd rdi, 104
0016df6emov rbx, rsp
0016df71mov rsp, [r14+64]
0016df75call caml_initialize
0016df7amov rsp, rbx
0016df7dlea rsi, [rip+0x18e91c]
0016df84lea rdi, [rip+0x18eb05]
0016df8badd rdi, 112
0016df8fmov rbx, rsp
0016df92mov rsp, [r14+64]
0016df96call caml_initialize
0016df9bmov rsp, rbx
0016df9elea rsi, [rip+0x18e91b]
0016dfa5lea rdi, [rip+0x18eae4]
0016dfacadd rdi, 120
0016dfb0mov rbx, rsp
0016dfb3mov rsp, [r14+64]
0016dfb7call caml_initialize
0016dfbcmov rsp, rbx
0016dfbflea rsi, [rip+0x18e91a]
0016dfc6lea rdi, [rip+0x18eac3]
0016dfcdadd rdi, 128
0016dfd4mov rbx, rsp
0016dfd7mov rsp, [r14+64]
0016dfdbcall caml_initialize
0016dfe0mov rsp, rbx
0016dfe3lea rsi, [rip+0x18e936]
0016dfealea r12, [rip+0x18e90f]
0016dff1lea rdi, [rip+0x18ea98]
0016dff8add rdi, 136
0016dfffmov rbx, rsp
0016e002mov rsp, [r14+64]
0016e006call caml_initialize
0016e00bmov rsp, rbx
0016e00elea rdi, [rip+0x18ea7b]
0016e015add rdi, 144
0016e01cmov rsi, r12
0016e01fmov rbx, rsp
0016e022mov rsp, [r14+64]
0016e026call caml_initialize
0016e02bmov rsp, rbx
0016e02elea rsi, [rip+0x18e90b]
0016e035lea rdi, [rip+0x18ea54]
0016e03cadd rdi, 152
0016e043mov rbx, rsp
0016e046mov rsp, [r14+64]
0016e04acall caml_initialize
0016e04fmov rsp, rbx
0016e052lea rsi, [rip+0x18e907]
0016e059lea rdi, [rip+0x18ea30]
0016e060add rdi, 160
0016e067mov rbx, rsp
0016e06amov rsp, [r14+64]
0016e06ecall caml_initialize
0016e073mov rsp, rbx
0016e076lea rsi, [rip+0x18e903]
0016e07dlea rdi, [rip+0x18ea0c]
0016e084add rdi, 168
0016e08bmov rbx, rsp
0016e08emov rsp, [r14+64]
0016e092call caml_initialize
0016e097mov rsp, rbx
0016e09alea rsi, [rip+0x18e8ff]
0016e0a1lea rdi, [rip+0x18e9e8]
0016e0a8add rdi, 176
0016e0afmov rbx, rsp
0016e0b2mov rsp, [r14+64]
0016e0b6call caml_initialize
0016e0bbmov rsp, rbx
0016e0belea rsi, [rip+0x18e8fb]
0016e0c5lea rdi, [rip+0x18e9c4]
0016e0ccadd rdi, 184
0016e0d3mov rbx, rsp
0016e0d6mov rsp, [r14+64]
0016e0dacall caml_initialize
0016e0dfmov rsp, rbx
0016e0e2lea rsi, [rip+0x18e8f7]
0016e0e9lea rdi, [rip+0x18e9a0]
0016e0f0add rdi, 192
0016e0f7mov rbx, rsp
0016e0famov rsp, [r14+64]
0016e0fecall caml_initialize
0016e103mov rsp, rbx
0016e106lea rsi, [rip+0x18e8f3]
0016e10dlea rdi, [rip+0x18e97c]
0016e114add rdi, 200
0016e11bmov rbx, rsp
0016e11emov rsp, [r14+64]
0016e122call caml_initialize
0016e127mov rsp, rbx
0016e12alea rsi, [rip+0x18e8e7]
0016e131lea rdi, [rip+0x18e958]
0016e138add rdi, 208
0016e13fmov rbx, rsp
0016e142mov rsp, [r14+64]
0016e146call caml_initialize
0016e14bmov rsp, rbx
0016e14elea rsi, [rip+0x18e8e3]
0016e155lea rdi, [rip+0x18e934]
0016e15cadd rdi, 216
0016e163mov rbx, rsp
0016e166mov rsp, [r14+64]
0016e16acall caml_initialize
0016e16fmov rsp, rbx
0016e172lea rsi, [rip+0x18e8df]
0016e179lea rdi, [rip+0x18e910]
0016e180add rdi, 224
0016e187mov rbx, rsp
0016e18amov rsp, [r14+64]
0016e18ecall caml_initialize
0016e193mov rsp, rbx
0016e196lea rsi, [rip+0x18e8d3]
0016e19dlea rdi, [rip+0x18e8ec]
0016e1a4add rdi, 232
0016e1abmov rbx, rsp
0016e1aemov rsp, [r14+64]
0016e1b2call caml_initialize
0016e1b7mov rsp, rbx
0016e1balea rsi, [rip+0x18e0bf]
0016e1c1lea rdi, [rip+0x18e8c8]
0016e1c8add rdi, 240
0016e1cfmov rbx, rsp
0016e1d2mov rsp, [r14+64]
0016e1d6call caml_initialize
0016e1dbmov rsp, rbx
0016e1delea rsi, [rip+0x18e0b3]
0016e1e5lea rdi, [rip+0x18e8a4]
0016e1ecadd rdi, 248
0016e1f3mov rbx, rsp
0016e1f6mov rsp, [r14+64]
0016e1facall caml_initialize
0016e1ffmov rsp, rbx
0016e202lea rsi, [rip+0x18e0af]
0016e209lea rdi, [rip+0x18e880]
0016e210add rdi, 256
0016e217mov rbx, rsp
0016e21amov rsp, [r14+64]
0016e21ecall caml_initialize
0016e223mov rsp, rbx
0016e226lea rsi, [rip+0x18e0a3]
0016e22dlea rdi, [rip+0x18e85c]
0016e234add rdi, 264
0016e23bmov rbx, rsp
0016e23emov rsp, [r14+64]
0016e242call caml_initialize
0016e247mov rsp, rbx
0016e24alea rsi, [rip+0x18e09f]
0016e251lea rdi, [rip+0x18e838]
0016e258add rdi, 272
0016e25fmov rbx, rsp
0016e262mov rsp, [r14+64]
0016e266call caml_initialize
0016e26bmov rsp, rbx
0016e26elea rsi, [rip+0x18e093]
0016e275lea rdi, [rip+0x18e814]
0016e27cadd rdi, 280
0016e283mov rbx, rsp
0016e286mov rsp, [r14+64]
0016e28acall caml_initialize
0016e28fmov rsp, rbx
0016e292lea r12, [rip+0x18e087]
0016e299lea rdi, [rip+0x18e7f0]
0016e2a0add rdi, 288
0016e2a7mov rsi, r12
0016e2aamov rbx, rsp
0016e2admov rsp, [r14+64]
0016e2b1call caml_initialize
0016e2b6mov rsp, rbx
0016e2b9mov rsi, r12
0016e2bcadd rsi, 24
0016e2c0lea rdi, [rip+0x18e7c9]
0016e2c7add rdi, 296
0016e2cemov rbx, rsp
0016e2d1mov rsp, [r14+64]
0016e2d5call caml_initialize
0016e2damov rsp, rbx
0016e2ddlea rsi, [rip+0x18e06c]
0016e2e4lea rdi, [rip+0x18e7a5]
0016e2ebadd rdi, 304
0016e2f2mov rbx, rsp
0016e2f5mov rsp, [r14+64]
0016e2f9call caml_initialize
0016e2femov rsp, rbx
0016e301lea rsi, [rip+0x18e060]
0016e308lea rdi, [rip+0x18e781]
0016e30fadd rdi, 312
0016e316mov rbx, rsp
0016e319mov rsp, [r14+64]
0016e31dcall caml_initialize
0016e322mov rsp, rbx
0016e325lea rsi, [rip+0x18e05c]
0016e32clea rdi, [rip+0x18e75d]
0016e333add rdi, 320
0016e33amov rbx, rsp
0016e33dmov rsp, [r14+64]
0016e341call caml_initialize
0016e346mov rsp, rbx
0016e349lea rsi, [rip+0x18e058]
0016e350lea rdi, [rip+0x18e739]
0016e357add rdi, 328
0016e35emov rbx, rsp
0016e361mov rsp, [r14+64]
0016e365call caml_initialize
0016e36amov rsp, rbx
0016e36dlea rsi, [rip+0x18e054]
0016e374lea rdi, [rip+0x18e715]
0016e37badd rdi, 336
0016e382mov rbx, rsp
0016e385mov rsp, [r14+64]
0016e389call caml_initialize
0016e38emov rsp, rbx
0016e391lea rsi, [rip+0x18e050]
0016e398lea rdi, [rip+0x18e6f1]
0016e39fadd rdi, 344
0016e3a6mov rbx, rsp
0016e3a9mov rsp, [r14+64]
0016e3adcall caml_initialize
0016e3b2mov rsp, rbx
0016e3b5lea rsi, [rip+0x18e04c]
0016e3bclea rdi, [rip+0x18e6cd]
0016e3c3add rdi, 352
0016e3camov rbx, rsp
0016e3cdmov rsp, [r14+64]
0016e3d1call caml_initialize
0016e3d6mov rsp, rbx
0016e3d9lea rsi, [rip+0x18e048]
0016e3e0lea rdi, [rip+0x18e6a9]
0016e3e7add rdi, 360
0016e3eemov rbx, rsp
0016e3f1mov rsp, [r14+64]
0016e3f5call caml_initialize
0016e3famov rsp, rbx
0016e3fdlea rsi, [rip+0x18e044]
0016e404lea rdi, [rip+0x18e685]
0016e40badd rdi, 368
0016e412mov rbx, rsp
0016e415mov rsp, [r14+64]
0016e419call caml_initialize
0016e41emov rsp, rbx
0016e421lea rsi, [rip+0x18e070]
0016e428lea r12, [rip+0x18e051]
0016e42flea r13, [rip+0x18e032]
0016e436lea rdi, [rip+0x18e653]
0016e43dadd rdi, 376
0016e444mov rbx, rsp
0016e447mov rsp, [r14+64]
0016e44bcall caml_initialize
0016e450mov rsp, rbx
0016e453lea rdi, [rip+0x18e636]
0016e45aadd rdi, 384
0016e461mov rsi, r12
0016e464mov rbx, rsp
0016e467mov rsp, [r14+64]
0016e46bcall caml_initialize
0016e470mov rsp, rbx
0016e473lea rdi, [rip+0x18e616]
0016e47aadd rdi, 392
0016e481mov rsi, r13
0016e484mov rbx, rsp
0016e487mov rsp, [r14+64]
0016e48bcall caml_initialize
0016e490mov rsp, rbx
0016e493lea rsi, [rip+0x18e01e]
0016e49alea rdi, [rip+0x18e5ef]
0016e4a1add rdi, 400
0016e4a8mov rbx, rsp
0016e4abmov rsp, [r14+64]
0016e4afcall caml_initialize
0016e4b4mov rsp, rbx
0016e4b7lea rsi, [rip+0x18e01a]
0016e4belea rdi, [rip+0x18e5cb]
0016e4c5add rdi, 408
0016e4ccmov rbx, rsp
0016e4cfmov rsp, [r14+64]
0016e4d3call caml_initialize
0016e4d8mov rsp, rbx
0016e4dblea rsi, [rip+0x18e016]
0016e4e2lea rdi, [rip+0x18e5a7]
0016e4e9add rdi, 416
0016e4f0mov rbx, rsp
0016e4f3mov rsp, [r14+64]
0016e4f7call caml_initialize
0016e4fcmov rsp, rbx
0016e4fflea r12, [rip+0x18e00a]
0016e506lea rdi, [rip+0x18e583]
0016e50dadd rdi, 424
0016e514mov rsi, r12
0016e517mov rbx, rsp
0016e51amov rsp, [r14+64]
0016e51ecall caml_initialize
0016e523mov rsp, rbx
0016e526mov rsi, r12
0016e529add rsi, 32
0016e52dlea rdi, [rip+0x18e55c]
0016e534add rdi, 432
0016e53bmov rbx, rsp
0016e53emov rsp, [r14+64]
0016e542call caml_initialize
0016e547mov rsp, rbx
0016e54amov rsi, r12
0016e54dadd rsi, 64
0016e551lea rdi, [rip+0x18e538]
0016e558add rdi, 440
0016e55fmov rbx, rsp
0016e562mov rsp, [r14+64]
0016e566call caml_initialize
0016e56bmov rsp, rbx
0016e56emov rsi, r12
0016e571add rsi, 96
0016e575lea rdi, [rip+0x18e514]
0016e57cadd rdi, 448
0016e583mov rbx, rsp
0016e586mov rsp, [r14+64]
0016e58acall caml_initialize
0016e58fmov rsp, rbx
0016e592mov rsi, r12
0016e595add rsi, 128
0016e59clea rdi, [rip+0x18e4ed]
0016e5a3add rdi, 456
0016e5aamov rbx, rsp
0016e5admov rsp, [r14+64]
0016e5b1call caml_initialize
0016e5b6mov rsp, rbx
0016e5b9lea rsi, [rip+0x18dff0]
0016e5c0lea rdi, [rip+0x18e4c9]
0016e5c7mov rbx, rsp
0016e5camov rsp, [r14+64]
0016e5cecall caml_initialize
0016e5d3mov rsp, rbx
0016e5d6mov eax, 1
0016e5dbret
0016ddd0

0016e5dc
0016e5dc // align 0x10

0016e5e0
0016e5e0camlPp.potag_291:
0016e5e0lea r10, [rsp-328]
0016e5e8cmp r10, [r14+40]
0016e5ecjb 0x16e608
0016e5ee
0016e5eeloc_16e5ee:
0016e5eesub rsp, 8
0016e5f2mov [rsp], rbx
0016e5f6mov rbx, [rbx+16]
0016e5facall camlStdlib.output_string_253
0016e5ffmov rax, [rsp]
0016e603add rsp, 8
0016e607ret
0016e608
0016e608loc_16e608:
0016e608push 34
0016e60acall caml_call_realloc_stack
0016e60fpop r10
0016e611jmp 0x16e5ee
0016e5e0

0016e613
0016e613 // align 0x10

0016e620
0016e620camlPp.pctag_296:
0016e620mov rbx, [rbx+24]
0016e624jmp 0x1963d0
0016e620

0016e629
0016e629 // align 0x10

0016e630
0016e630camlPp.ppattr_301:
0016e630mov rax, rbx
0016e633ret
0016e630

0016e634
0016e634 // align 0x10

0016e640
0016e640camlPp.ppattrs_305:
0016e640lea r10, [rsp-320]
0016e648cmp r10, [r14+40]
0016e64cjb 0x16e670
0016e64e
0016e64eloc_16e64e:
0016e64emov rbx, rax
0016e651lea rax, [rip+0x191540]
0016e658mov rax, [rax+64]
0016e65ccall Stdlib.List.map
0016e661mov rbx, rax
0016e664lea rax, [rip+0x191865]
0016e66bjmp 0x1ab480
0016e670
0016e670loc_16e670:
0016e670push 33
0016e672call caml_call_realloc_stack
0016e677pop r10
0016e679jmp 0x16e64e
0016e640

0016e67b
0016e67b // align 0x10

0016e680
0016e680camlPp.tree_447:
0016e680lea r10, [rsp-360]
0016e688cmp r10, [r14+40]
0016e68cjb 0x16e77a
0016e692
0016e692loc_16e692:
0016e692sub rsp, 40
0016e696mov rdx, rax
0016e699mov rax, rdi
0016e69ccmp r15, [r14]
0016e69fjbe 0x16e770
0016e6a5
0016e6a5loc_16e6a5:
0016e6a5movzx rdi, [rsi-8]
0016e6aacmp rdi, 2
0016e6aeje 0x16e70c
0016e6b0cmp rdi, 3
0016e6b4jl 0x16e764
0016e6bamov [rsp+24], rsi
0016e6bfmov [rsp+32], rax
0016e6c4mov [rsp+16], rbx
0016e6c9mov [rsp+8], rdx
0016e6cemov rbx, [rsi]
0016e6d1call camlStdlib.output_string_253
0016e6d6mov rax, [rsp+24]
0016e6dbmov rsi, [rax+16]
0016e6dfmov rax, [rsp+8]
0016e6e4mov rbx, [rsp+16]
0016e6e9mov rdi, [rsp+32]
0016e6eecall camlPp.trees_448
0016e6f3mov rax, [rsp+24]
0016e6f8mov rbx, [rax+8]
0016e6fcmov rax, [rsp+32]
0016e701add rsp, 40
0016e705jmp 0x1963d0
0016e70a
0016e70a 66 90 f.
0016e70c
0016e70cloc_16e70c:
0016e70cmov [rsp+24], rsi
0016e711mov [rsp+32], rax
0016e716mov [rsp+16], rbx
0016e71bmov [rsp+8], rdx
0016e720mov rbx, [rsi]
0016e723mov rdi, rdx
0016e726call caml_apply2
0016e72bmov [rsp], rax
0016e72fmov rax, [rsp+24]
0016e734mov rsi, [rax+8]
0016e738mov rax, [rsp+8]
0016e73dmov rbx, [rsp+16]
0016e742mov rdi, [rsp+32]
0016e747call camlPp.trees_448
0016e74cmov rax, [rsp+32]
0016e751mov rbx, [rsp]
0016e755mov rdi, [rsp+16]
0016e75aadd rsp, 40
0016e75ejmp 0xf73e0
0016e763
0016e763 90 .
0016e764
0016e764loc_16e764:
0016e764mov rbx, [rsi]
0016e767add rsp, 40
0016e76bjmp 0x1963d0
0016e770
0016e770loc_16e770:
0016e770call caml_call_gc
0016e775jmp 0x16e6a5
0016e77a
0016e77aloc_16e77a:
0016e77apush 38
0016e77ccall caml_call_realloc_stack
0016e781pop r10
0016e783jmp 0x16e692
0016e680

0016e788
0016e788 // align 0x10

0016e790
0016e790camlPp.trees_448:
0016e790lea r10, [rsp-352]
0016e798cmp r10, [r14+40]
0016e79cjb 0x16e7f3
0016e79e
0016e79eloc_16e79e:
0016e79esub rsp, 32
0016e7a2
0016e7a2loc_16e7a2:
0016e7a2cmp r15, [r14]
0016e7a5jbe 0x16e7ec
0016e7a7
0016e7a7loc_16e7a7:
0016e7a7test sil, 1
0016e7abje 0x16e7b8
0016e7admov eax, 1
0016e7b2add rsp, 32
0016e7b6ret
0016e7b7
0016e7b7 90 .
0016e7b8
0016e7b8loc_16e7b8:
0016e7b8mov [rsp], rsi
0016e7bcmov [rsp+24], rdi
0016e7c1mov [rsp+16], rbx
0016e7c6mov [rsp+8], rax
0016e7cbmov rsi, [rsi]
0016e7cecall camlPp.tree_447
0016e7d3mov rax, [rsp]
0016e7d7mov rsi, [rax+8]
0016e7dbmov rax, [rsp+8]
0016e7e0mov rbx, [rsp+16]
0016e7e5mov rdi, [rsp+24]
0016e7eajmp 0x16e7a2
0016e7ec
0016e7ecloc_16e7ec:
0016e7eccall caml_call_gc
0016e7f1jmp 0x16e7a7
0016e7f3
0016e7f3loc_16e7f3:
0016e7f3push 37
0016e7f5call caml_call_realloc_stack
0016e7fapop r10
0016e7fcjmp 0x16e79e
0016e790

0016e7fe
0016e7fe // align 0x10

0016e800
0016e800camlPp.ptree_467:
0016e800mov rdi, rax
0016e803mov rsi, rbx
0016e806lea rax, [rip+0x19138b]
0016e80dmov rbx, [rax+56]
0016e811mov rax, [rax+48]
0016e815jmp 0x16e680
0016e800

0016e81a
0016e81a // align 0x10

0016e820
0016e820camlPp.ptrees_468:
0016e820mov rdi, rax
0016e823mov rsi, rbx
0016e826lea rax, [rip+0x19136b]
0016e82dmov rbx, [rax+56]
0016e831mov rax, [rax+48]
0016e835jmp 0x16e790
0016e820

0016e83a
0016e83a // align 0x10

0016e840
0016e840camlPp.fun_683:
0016e840mov rdi, rax
0016e843mov rax, [rbx+16]
0016e847mov rbx, rdi
0016e84ajmp 0x1a23e0
0016e840

0016e84f
0016e84f // align 0x10

0016e850
0016e850camlPp.fun_678:
0016e850mov rbx, [rax]
0016e853test bl, 1
0016e856jne 0x16e880
0016e858movzx rax, [rbx-8]
0016e85dlea rdx, [rip+0xbdaf0]
0016e864movsxd rax, [rdx+4*rax]
0016e868add rdx, rax
0016e86bjmp rdx
0016e86dnop [rax]
0016e870mov rax, [rbx]
0016e873test al, 1
0016e875jne 0x16e880
0016e877mov eax, 3
0016e87cret
0016e87dnop [rax]
0016e880
0016e880loc_16e880:
0016e880mov eax, 1
0016e885ret
0016e850

0016e886
0016e886 // align 0x10

0016e890
0016e890camlPp.fun_691:
0016e890mov rdi, rax
0016e893mov rax, [rbx+16]
0016e897mov rbx, rdi
0016e89ajmp 0x1a23e0
0016e890

0016e89f
0016e89f // align 0x10

0016e8a0
0016e8a0camlPp.fun_686:
0016e8a0mov rax, [rax]
0016e8a3test al, 1
0016e8a5jne 0x16e8b8
0016e8a7movzx rax, [rax-8]
0016e8accmp rax, 4
0016e8b0jl 0x16e8b8
0016e8b2mov eax, 3
0016e8b7ret
0016e8b8
0016e8b8loc_16e8b8:
0016e8b8mov eax, 1
0016e8bdret
0016e8a0

0016e8be
0016e8be // align 0x10

0016e8c0
0016e8c0camlPp.do_potags_499:
0016e8c0lea r10, [rsp-336]
0016e8c8cmp r10, [r14+40]
0016e8ccjb 0x16e913
0016e8ce
0016e8celoc_16e8ce:
0016e8cesub rsp, 16
0016e8d2
0016e8d2loc_16e8d2:
0016e8d2cmp r15, [r14]
0016e8d5jbe 0x16e90c
0016e8d7
0016e8d7loc_16e8d7:
0016e8d7test bl, 1
0016e8daje 0x16e8e8
0016e8dcmov eax, 1
0016e8e1add rsp, 16
0016e8e5ret
0016e8e6
0016e8e6 66 90 f.
0016e8e8
0016e8e8loc_16e8e8:
0016e8e8mov [rsp], rbx
0016e8ecmov [rsp+8], rax
0016e8f1mov rbx, [rbx]
0016e8f4mov rbx, [rbx+8]
0016e8f8call camlStdlib.output_string_253
0016e8fdmov rax, [rsp]
0016e901mov rbx, [rax+8]
0016e905mov rax, [rsp+8]
0016e90ajmp 0x16e8d2
0016e90c
0016e90cloc_16e90c:
0016e90ccall caml_call_gc
0016e911jmp 0x16e8d7
0016e913
0016e913loc_16e913:
0016e913push 35
0016e915call caml_call_realloc_stack
0016e91apop r10
0016e91cjmp 0x16e8ce
0016e8c0

0016e91e
0016e91e // align 0x10

0016e920
0016e920camlPp.do_pctags_504:
0016e920lea r10, [rsp-336]
0016e928cmp r10, [r14+40]
0016e92cjb 0x16e96f
0016e92e
0016e92eloc_16e92e:
0016e92esub rsp, 16
0016e932test bl, 1
0016e935je 0x16e944
0016e937mov eax, 1
0016e93cadd rsp, 16
0016e940ret
0016e941
0016e941 0f 1f 00 ...
0016e944
0016e944loc_16e944:
0016e944mov [rsp], rbx
0016e948mov [rsp+8], rax
0016e94dmov rbx, [rbx+8]
0016e951call camlPp.do_pctags_504
0016e956mov rax, [rsp]
0016e95amov rax, [rax]
0016e95dmov rbx, [rax+16]
0016e961mov rax, [rsp+8]
0016e966add rsp, 16
0016e96ajmp 0x1963d0
0016e96f
0016e96floc_16e96f:
0016e96fpush 35
0016e971call caml_call_realloc_stack
0016e976pop r10
0016e978jmp 0x16e92e
0016e920

0016e97a
0016e97a // align 0x10

0016e980
0016e980camlPp.close_to_open_509:
0016e980lea r10, [rsp-328]
0016e988cmp r10, [r14+40]
0016e98cjb 0x16e9e5
0016e98e
0016e98eloc_16e98e:
0016e98esub rsp, 8
0016e992cmp r15, [r14]
0016e995jbe 0x16e9de
0016e997
0016e997loc_16e997:
0016e997mov rbx, [rax-8]
0016e99bshr rbx, 10
0016e99flea rbx, [8*rbx-1]
0016e9a7movzx rdi, [rax+rbx]
0016e9acsub rbx, rdi
0016e9aflea rdi, [rbx+rbx-5]
0016e9b4mov ebx, 5
0016e9b9call Stdlib.Bytes.sub
0016e9bemov [rsp], rax
0016e9c2lea rax, [rip+0x191307]
0016e9c9call Stdlib.Printf.sprintf
0016e9cemov rbx, rax
0016e9d1mov rdi, [rbx]
0016e9d4mov rax, [rsp]
0016e9d8add rsp, 8
0016e9dcjmp rdi
0016e9de
0016e9deloc_16e9de:
0016e9decall caml_call_gc
0016e9e3jmp 0x16e997
0016e9e5
0016e9e5loc_16e9e5:
0016e9e5push 34
0016e9e7call caml_call_realloc_stack
0016e9ecpop r10
0016e9eejmp 0x16e98e
0016e980

0016e9f0
0016e9f0camlPp.fmtfont_535:
0016e9f0lea r10, [rsp-344]
0016e9f8cmp r10, [r14+40]
0016e9fcjb 0x16eaa7
0016ea02
0016ea02loc_16ea02:
0016ea02sub rsp, 24
0016ea06mov rsi, rax
0016ea09mov rax, rbx
0016ea0ctest sil, 1
0016ea10je 0x16ea18
0016ea12add rsp, 24
0016ea16ret
0016ea17
0016ea17 90 .
0016ea18
0016ea18loc_16ea18:
0016ea18mov [rsp+16], rax
0016ea1dmov rax, [rsi]
0016ea20mov rax, [rax+16]
0016ea24mov [rsp+8], rax
0016ea29lea rdi, [rip+0x191290]
0016ea30lea rax, [rip+0x190e01]
0016ea37mov rbx, rsi
0016ea3acall Stdlib.List.fold_right
0016ea3fmov [rsp], rax
0016ea43mov rax, [rsp+8]
0016ea48call camlPp.close_to_open_509
0016ea4dmov rbx, [rsp]
0016ea51call camlStdlib.$5e_139
0016ea56sub r15, 56
0016ea5acmp r15, [r14]
0016ea5djb 0x16eaa0
0016ea5f
0016ea5floc_16ea5f:
0016ea5flea rbx, [r15+8]
0016ea63add rbx, 24
0016ea67mov [rbx-8], 3072
0016ea6fmov [rbx], 1
0016ea76mov [rbx+8], rax
0016ea7amov rax, [rsp+8]
0016ea7fmov [rbx+16], rax
0016ea83lea rax, [rbx-24]
0016ea87mov [rax-8], 2048
0016ea8fmov [rax], rbx
0016ea92mov rbx, [rsp+16]
0016ea97mov [rax+8], rbx
0016ea9badd rsp, 24
0016ea9fret
0016eaa0
0016eaa0loc_16eaa0:
0016eaa0call caml_call_gc
0016eaa5jmp 0x16ea5f
0016eaa7
0016eaa7loc_16eaa7:
0016eaa7push 36
0016eaa9call caml_call_realloc_stack
0016eaaepop r10
0016eab0jmp 0x16ea02
0016e9f0

0016eab5
0016eab5 // align 0x10

0016eac0
0016eac0camlPp.fun_704:
0016eac0mov rax, [rax+8]
0016eac4jmp 0x195ba0
0016eac0

0016eac9
0016eac9 // align 0x10

0016ead0
0016ead0camlPp.do_fmtfontsyle_544:
0016ead0lea r10, [rsp-336]
0016ead8cmp r10, [r14+40]
0016eadcjb 0x16eb28
0016eade
0016eadeloc_16eade:
0016eadesub rsp, 16
0016eae2cmp r15, [r14]
0016eae5jbe 0x16eb21
0016eae7
0016eae7loc_16eae7:
0016eae7or rax, 1
0016eaeblea rdi, [rip+0x190d5e]
0016eaf2mov rax, [rdi+4*rax-4]
0016eaf7mov [rsp+8], rbx
0016eafcmov [rsp], rax
0016eb00lea rax, [rip+0x191311]
0016eb07call Stdlib.Printf.sprintf
0016eb0cmov rdi, rax
0016eb0fmov rax, [rsp]
0016eb13mov rbx, [rsp+8]
0016eb18add rsp, 16
0016eb1cjmp 0xf73e0
0016eb21
0016eb21loc_16eb21:
0016eb21call caml_call_gc
0016eb26jmp 0x16eae7
0016eb28
0016eb28loc_16eb28:
0016eb28push 35
0016eb2acall caml_call_realloc_stack
0016eb2fpop r10
0016eb31jmp 0x16eade
0016ead0

0016eb33
0016eb33 // align 0x10

0016eb40
0016eb40camlPp.fmtfontsyle_549:
0016eb40mov rax, [rax]
0016eb43test al, 1
0016eb45jne 0x16eb60
0016eb47movzx rbx, [rax-8]
0016eb4ccmp rbx, 4
0016eb50jl 0x16eb60
0016eb52mov rbx, [rax+8]
0016eb56mov rax, [rax]
0016eb59jmp 0x16ead0
0016eb5enop
0016eb60
0016eb60loc_16eb60:
0016eb60sub r15, 24
0016eb64cmp r15, [r14]
0016eb67jb 0x16eb97
0016eb69
0016eb69loc_16eb69:
0016eb69lea rax, [r15+8]
0016eb6dmov [rax-8], 2048
0016eb75lea rbx, [rip+0x10768c]
0016eb7cmov [rax], rbx
0016eb7flea rbx, [rip+0x191262]
0016eb86mov [rax+8], rbx
0016eb8amov rsp, [r14+48]
0016eb8epop [r14+48]
0016eb92pop r11
0016eb94jmp r11
0016eb97
0016eb97loc_16eb97:
0016eb97call caml_call_gc
0016eb9cjmp 0x16eb69
0016eb40

0016eb9e
0016eb9e // align 0x10

0016eba0
0016eba0camlPp.as_fontstyle_554:
0016eba0mov rax, [rax]
0016eba3test al, 1
0016eba5jne 0x16ebb8
0016eba7movzx rbx, [rax-8]
0016ebaccmp rbx, 4
0016ebb0jl 0x16ebb8
0016ebb2mov rax, [rax]
0016ebb5ret
0016ebb6nop
0016ebb8
0016ebb8loc_16ebb8:
0016ebb8sub r15, 24
0016ebbccmp r15, [r14]
0016ebbfjb 0x16ebef
0016ebc1
0016ebc1loc_16ebc1:
0016ebc1lea rax, [r15+8]
0016ebc5mov [rax-8], 2048
0016ebcdlea rbx, [rip+0x107634]
0016ebd4mov [rax], rbx
0016ebd7lea rbx, [rip+0x1911d2]
0016ebdemov [rax+8], rbx
0016ebe2mov rsp, [r14+48]
0016ebe6pop [r14+48]
0016ebeapop r11
0016ebecjmp r11
0016ebef
0016ebefloc_16ebef:
0016ebefcall caml_call_gc
0016ebf4jmp 0x16ebc1
0016eba0

0016ebf6
0016ebf6 // align 0x10

0016ec00
0016ec00camlPp.fmtfontsyles_558:
0016ec00lea r10, [rsp-328]
0016ec08cmp r10, [r14+40]
0016ec0cjb 0x16ec72
0016ec0e
0016ec0eloc_16ec0e:
0016ec0esub rsp, 8
0016ec12mov rbx, rax
0016ec15cmp r15, [r14]
0016ec18jbe 0x16ec6b
0016ec1a
0016ec1aloc_16ec1a:
0016ec1alea rax, [rip+0x190c6f]
0016ec21call Stdlib.List.stable_sort
0016ec26mov rbx, rax
0016ec29lea rax, [rip+0x190f68]
0016ec30mov rax, [rax+144]
0016ec37call Stdlib.List.map
0016ec3cmov rbx, rax
0016ec3flea rax, [rip+0x1910ca]
0016ec46call Stdlib.String.concat
0016ec4bmov [rsp], rax
0016ec4flea rax, [rip+0x1910ca]
0016ec56call Stdlib.Printf.sprintf
0016ec5bmov rbx, rax
0016ec5emov rdi, [rbx]
0016ec61mov rax, [rsp]
0016ec65add rsp, 8
0016ec69jmp rdi
0016ec6b
0016ec6bloc_16ec6b:
0016ec6bcall caml_call_gc
0016ec70jmp 0x16ec1a
0016ec72
0016ec72loc_16ec72:
0016ec72push 34
0016ec74call caml_call_realloc_stack
0016ec79pop r10
0016ec7bjmp 0x16ec0e
0016ec00

0016ec7d
0016ec7d // align 0x10

0016ec80
0016ec80camlPp.fun_713:
0016ec80lea r10, [rsp-336]
0016ec88cmp r10, [r14+40]
0016ec8cjb 0x16ecd5
0016ec8e
0016ec8eloc_16ec8e:
0016ec8esub rsp, 16
0016ec92mov [rsp], rax
0016ec96mov rax, rbx
0016ec99call camlPp.as_fontstyle_554
0016ec9emov [rsp+8], rax
0016eca3mov rax, [rsp]
0016eca7call camlPp.as_fontstyle_554
0016ecacmov rbx, rax
0016ecafmov rsi, [rsp+8]
0016ecb4cmp rbx, rsi
0016ecb7setl al
0016ecbamovzx rdi, al
0016ecbecmp rbx, rsi
0016ecc1setg al
0016ecc4movzx rax, al
0016ecc8sub rax, rdi
0016eccblea rax, [rax+rax+1]
0016ecd0add rsp, 16
0016ecd4ret
0016ecd5
0016ecd5loc_16ecd5:
0016ecd5push 35
0016ecd7call caml_call_realloc_stack
0016ecdcpop r10
0016ecdejmp 0x16ec8e
0016ec80

0016ece0
0016ece0camlPp.fmtspan_564:
0016ece0lea r10, [rsp-344]
0016ece8cmp r10, [r14+40]
0016ececjb 0x16ed8e
0016ecf2
0016ecf2loc_16ecf2:
0016ecf2sub rsp, 24
0016ecf6test al, 1
0016ecf8je 0x16ed04
0016ecfamov rax, rbx
0016ecfdadd rsp, 24
0016ed01ret
0016ed02
0016ed02 66 90 f.
0016ed04
0016ed04loc_16ed04:
0016ed04mov [rsp+16], rbx
0016ed09mov rbx, [rax]
0016ed0cmov rbx, [rbx+16]
0016ed10mov [rsp+8], rbx
0016ed15call camlPp.fmtfontsyles_558
0016ed1alea rbx, [rip+0x190f9f]
0016ed21call camlStdlib.$5e_139
0016ed26mov [rsp], rax
0016ed2amov rax, [rsp+8]
0016ed2fcall camlPp.close_to_open_509
0016ed34mov rbx, [rsp]
0016ed38call camlStdlib.$5e_139
0016ed3dsub r15, 56
0016ed41cmp r15, [r14]
0016ed44jb 0x16ed87
0016ed46
0016ed46loc_16ed46:
0016ed46lea rbx, [r15+8]
0016ed4aadd rbx, 24
0016ed4emov [rbx-8], 3072
0016ed56mov [rbx], 1
0016ed5dmov [rbx+8], rax
0016ed61mov rax, [rsp+8]
0016ed66mov [rbx+16], rax
0016ed6alea rax, [rbx-24]
0016ed6emov [rax-8], 2048
0016ed76mov [rax], rbx
0016ed79mov rbx, [rsp+16]
0016ed7emov [rax+8], rbx
0016ed82add rsp, 24
0016ed86ret
0016ed87
0016ed87loc_16ed87:
0016ed87call caml_call_gc
0016ed8cjmp 0x16ed46
0016ed8e
0016ed8eloc_16ed8e:
0016ed8epush 36
0016ed90call caml_call_realloc_stack
0016ed95pop r10
0016ed97jmp 0x16ecf2
0016ece0