File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    0016c750
    0016c750camlUltra.remove_list_899:
    0016c750lea r10, [rsp-352]
    0016c758cmp r10, [r14+40]
    0016c75cjb 0x16c872
    0016c762
    0016c762loc_16c762:
    0016c762sub rsp, 32
    0016c766mov rdi, rax
    0016c769test bl, 1
    0016c76cje 0x16c778
    0016c76emov eax, 1
    0016c773add rsp, 32
    0016c777ret
    0016c778
    0016c778loc_16c778:
    0016c778mov rax, [rbx]
    0016c77bmovzx rsi, [rax-8]
    0016c780cmp rsi, 2
    0016c784je 0x16c790
    0016c786mov [rsp], rax
    0016c78ajmp 0x16c830
    0016c78f
    0016c78f 90 .
    0016c790
    0016c790loc_16c790:
    0016c790mov [rsp+8], rdi
    0016c795mov rbx, [rbx+8]
    0016c799mov [rsp+16], rbx
    0016c79emov rbx, [rax+8]
    0016c7a2mov [rsp+24], rbx
    0016c7a7mov rax, [rax]
    0016c7aamov rbx, rdi
    0016c7adcall camlUtil.sub_405
    0016c7b2test al, 1
    0016c7b4je 0x16c7d8
    0016c7b6mov rax, [rsp+8]
    0016c7bbmov rbx, [rsp+16]
    0016c7c0call camlUltra.remove_list_899
    0016c7c5mov rbx, rax
    0016c7c8mov rax, [rsp+24]
    0016c7cdadd rsp, 32
    0016c7d1jmp 0x1960f0
    0016c7d6
    0016c7d6 66 90 f.
    0016c7d8
    0016c7d8loc_16c7d8:
    0016c7d8mov [rsp], rax
    0016c7dcmov rax, [rsp+8]
    0016c7e1mov rbx, [rsp+16]
    0016c7e6call camlUltra.remove_list_899
    0016c7ebsub r15, 48
    0016c7efcmp r15, [r14]
    0016c7f2jb 0x16c86b
    0016c7f4
    0016c7f4loc_16c7f4:
    0016c7f4lea rbx, [r15+8]
    0016c7f8add rbx, 24
    0016c7fcmov [rbx-8], 2050
    0016c804mov rdi, [rsp]
    0016c808mov [rbx], rdi
    0016c80bmov rdi, [rsp+24]
    0016c810mov [rbx+8], rdi
    0016c814lea rdi, [rbx-24]
    0016c818mov [rdi-8], 2048
    0016c820mov [rdi], rbx
    0016c823mov [rdi+8], rax
    0016c827mov rax, rdi
    0016c82aadd rsp, 32
    0016c82eret
    0016c82f
    0016c82f 90 .
    0016c830
    0016c830loc_16c830:
    0016c830mov rbx, [rbx+8]
    0016c834mov rax, rdi
    0016c837call camlUltra.remove_list_899
    0016c83csub r15, 24
    0016c840cmp r15, [r14]
    0016c843jb 0x16c864
    0016c845
    0016c845loc_16c845:
    0016c845lea rbx, [r15+8]
    0016c849mov [rbx-8], 2048
    0016c851mov rdi, [rsp]
    0016c855mov [rbx], rdi
    0016c858mov [rbx+8], rax
    0016c85cmov rax, rbx
    0016c85fadd rsp, 32
    0016c863ret
    0016c864
    0016c864loc_16c864:
    0016c864call caml_call_gc
    0016c869jmp 0x16c845
    0016c86b
    0016c86bloc_16c86b:
    0016c86bcall caml_call_gc
    0016c870jmp 0x16c7f4
    0016c872
    0016c872loc_16c872:
    0016c872push 37
    0016c874call caml_call_realloc_stack
    0016c879pop r10
    0016c87bjmp 0x16c762
    0016c750
    0016c880
    0016c880camlUltra.lift_neutral_908:
    0016c880lea r10, [rsp-352]
    0016c888cmp r10, [r14+40]
    0016c88cjb 0x16c980
    0016c892
    0016c892loc_16c892:
    0016c892sub rsp, 32
    0016c896mov [rsp+16], rax
    0016c89bmov rsi, rbx
    0016c89emov [rsp+8], rsi
    0016c8a3mov [rsp+24], rdi
    0016c8a8mov ebx, 1
    0016c8admov eax, 1
    0016c8b2mov rdi, rsi
    0016c8b5call camlUltra.neutrals_892
    0016c8batest al, 1
    0016c8bcje 0x16c90c
    0016c8besub r15, 48
    0016c8c2cmp r15, [r14]
    0016c8c5jb 0x16c976
    0016c8cb
    0016c8cbloc_16c8cb:
    0016c8cblea rbx, [r15+8]
    0016c8cfadd rbx, 24
    0016c8d3mov [rbx-8], 2050
    0016c8dbmov rax, [rsp+16]
    0016c8e0mov [rbx], rax
    0016c8e3mov rax, [rsp+8]
    0016c8e8mov [rbx+8], rax
    0016c8eclea rax, [rbx-24]
    0016c8f0mov [rax-8], 2048
    0016c8f8mov [rax], rbx
    0016c8fbmov rbx, [rsp+24]
    0016c900mov [rax+8], rbx
    0016c904add rsp, 32
    0016c908ret
    0016c909
    0016c909 0f 1f 00 ...
    0016c90c
    0016c90cloc_16c90c:
    0016c90cmov [rsp], rax
    0016c910mov rbx, [rsp+8]
    0016c915call camlUltra.remove_list_899
    0016c91amov [rsp+8], rax
    0016c91fmov rax, [rsp]
    0016c923mov rbx, [rsp+16]
    0016c928call camlStdlib.$40_196
    0016c92dsub r15, 48
    0016c931cmp r15, [r14]
    0016c934jb 0x16c96f
    0016c936
    0016c936loc_16c936:
    0016c936lea rbx, [r15+8]
    0016c93aadd rbx, 24
    0016c93emov [rbx-8], 2050
    0016c946mov [rbx], rax
    0016c949mov rax, [rsp+8]
    0016c94emov [rbx+8], rax
    0016c952lea rax, [rbx-24]
    0016c956mov [rax-8], 2048
    0016c95emov [rax], rbx
    0016c961mov rbx, [rsp+24]
    0016c966mov [rax+8], rbx
    0016c96aadd rsp, 32
    0016c96eret
    0016c96f
    0016c96floc_16c96f:
    0016c96fcall caml_call_gc
    0016c974jmp 0x16c936
    0016c976
    0016c976loc_16c976:
    0016c976call caml_call_gc
    0016c97bjmp 0x16c8cb
    0016c980
    0016c980loc_16c980:
    0016c980push 37
    0016c982call caml_call_realloc_stack
    0016c987pop r10
    0016c989jmp 0x16c892
    0016c880
    0016c98e
    0016c98e // align 0x10
    0016c990
    0016c990camlUltra.check_node_914:
    0016c990lea r10, [rsp-360]
    0016c998cmp r10, [r14+40]
    0016c99cjb 0x16cacf
    0016c9a2
    0016c9a2loc_16c9a2:
    0016c9a2sub rsp, 40
    0016c9a6mov [rsp+16], rax
    0016c9abmov [rsp+24], rbx
    0016c9b0mov [rsp+32], rdi
    0016c9b5test bl, 1
    0016c9b8jne 0x16cab0
    0016c9bemov rbx, [rbx]
    0016c9c1movzx rdi, [rbx-8]
    0016c9c6cmp rdi, 2
    0016c9cajne 0x16cab0
    0016c9d0mov [rsp], rbx
    0016c9d4call camlUltra.some_font_850
    0016c9d9cmp rax, 1
    0016c9ddje 0x16cab0
    0016c9e3lea rax, [rip+0x1900a6]
    0016c9eamov rax, [rax+296]
    0016c9f1add rax, -24
    0016c9f5mov rbx, [rsp+24]
    0016c9facall Stdlib.List.for_all
    0016c9ffcmp rax, 1
    0016ca03je 0x16cab0
    0016ca09mov rax, [rsp+16]
    0016ca0ecall camlUltra.other_props_860
    0016ca13mov rbx, [rsp+24]
    0016ca18call camlUltra.all_props_871
    0016ca1dtest al, 1
    0016ca1fje 0x16ca3c
    0016ca21mov rax, [rsp+16]
    0016ca26mov rbx, [rsp+24]
    0016ca2bmov rdi, [rsp+32]
    0016ca30add rsp, 40
    0016ca34jmp 0x16c880
    0016ca39
    0016ca39 0f 1f 00 ...
    0016ca3c
    0016ca3cloc_16ca3c:
    0016ca3cmov rbx, [rsp]
    0016ca40mov rbx, [rbx]
    0016ca43call camlUltra.extract_props_881
    0016ca48mov [rsp+8], rax
    0016ca4dsub r15, 24
    0016ca51cmp r15, [r14]
    0016ca54jb 0x16cac8
    0016ca56
    0016ca56loc_16ca56:
    0016ca56lea rdi, [r15+8]
    0016ca5amov [rdi-8], 2050
    0016ca62mov rax, [rax+8]
    0016ca66mov [rdi], rax
    0016ca69mov rax, [rsp]
    0016ca6dmov rax, [rax+8]
    0016ca71mov [rdi+8], rax
    0016ca75mov rax, [rsp+24]
    0016ca7amov rbx, [rax+8]
    0016ca7emov rax, rdi
    0016ca81call camlUltra.clean_887
    0016ca86mov [rsp], rax
    0016ca8amov rax, [rsp+8]
    0016ca8fmov rax, [rax]
    0016ca92mov rbx, [rsp+16]
    0016ca97call camlStdlib.$40_196
    0016ca9cmov rbx, [rsp]
    0016caa0mov rdi, [rsp+32]
    0016caa5add rsp, 40
    0016caa9jmp 0x16c880
    0016caae
    0016caae 66 90 f.
    0016cab0
    0016cab0loc_16cab0:
    0016cab0mov rax, [rsp+16]
    0016cab5mov rbx, [rsp+24]
    0016cabamov rdi, [rsp+32]
    0016cabfadd rsp, 40
    0016cac3jmp 0x16c880
    0016cac8
    0016cac8loc_16cac8:
    0016cac8call caml_call_gc
    0016cacdjmp 0x16ca56
    0016cacf
    0016cacfloc_16cacf:
    0016cacfpush 38
    0016cad1call caml_call_realloc_stack
    0016cad6pop r10
    0016cad8jmp 0x16c9a2
    0016c990
    0016cadd
    0016cadd // align 0x10
    0016cae0
    0016cae0camlUltra.as_list_925:
    0016cae0lea r10, [rsp-336]
    0016cae8cmp r10, [r14+40]
    0016caecjb 0x16cb3e
    0016caee
    0016caeeloc_16caee:
    0016caeesub rsp, 16
    0016caf2cmp rax, rbx
    0016caf5jle 0x16cb00
    0016caf7mov rax, rsi
    0016cafaadd rsp, 16
    0016caferet
    0016caff
    0016caff 90 .
    0016cb00
    0016cb00loc_16cb00:
    0016cb00mov [rsp], rdi
    0016cb04mov [rsp+8], rax
    0016cb09add rax, 2
    0016cb0dcall camlUltra.as_list_925
    0016cb12mov rbx, rax
    0016cb15mov rdi, [rsp]
    0016cb19mov rax, [rdi-8]
    0016cb1dshr rax, 9
    0016cb21mov rsi, [rsp+8]
    0016cb26cmp rax, rsi
    0016cb29jbe 0x16cb39
    0016cb2bmov rax, [rdi+4*rsi-4]
    0016cb30add rsp, 16
    0016cb34jmp 0x16c620
    0016cb39
    0016cb39loc_16cb39:
    0016cb39call caml_ml_array_bound_error
    0016cb3e
    0016cb3eloc_16cb3e:
    0016cb3epush 35
    0016cb40call caml_call_realloc_stack
    0016cb45pop r10
    0016cb47jmp 0x16caee
    0016cae0
    0016cb49
    0016cb49 // align 0x10
    0016cb50
    0016cb50camlUltra.remove_930:
    0016cb50lea r10, [rsp-328]
    0016cb58cmp r10, [r14+40]
    0016cb5cjb 0x16cbbc
    0016cb5e
    0016cb5eloc_16cb5e:
    0016cb5esub rsp, 8
    0016cb62mov rdi, rax
    0016cb65mov rax, rbx
    0016cb68movzx rbx, [rax-8]
    0016cb6dcmp rbx, 2
    0016cb71jne 0x16cbb0
    0016cb73mov rbx, [rax+8]
    0016cb77mov [rsp], rbx
    0016cb7bmov rax, [rax]
    0016cb7emov rbx, rdi
    0016cb81call camlUtil.sub_405
    0016cb86sub r15, 24
    0016cb8acmp r15, [r14]
    0016cb8djb 0x16cbb5
    0016cb8f
    0016cb8floc_16cb8f:
    0016cb8flea rbx, [r15+8]
    0016cb93mov [rbx-8], 2050
    0016cb9bmov [rbx], rax
    0016cb9emov rax, [rsp]
    0016cba2mov [rbx+8], rax
    0016cba6mov rax, rbx
    0016cba9add rsp, 8
    0016cbadret
    0016cbae
    0016cbae 66 90 f.
    0016cbb0
    0016cbb0loc_16cbb0:
    0016cbb0add rsp, 8
    0016cbb4ret
    0016cbb5
    0016cbb5loc_16cbb5:
    0016cbb5call caml_call_gc
    0016cbbajmp 0x16cb8f
    0016cbbc
    0016cbbcloc_16cbbc:
    0016cbbcpush 34
    0016cbbecall caml_call_realloc_stack
    0016cbc3pop r10
    0016cbc5jmp 0x16cb5e
    0016cb50
    0016cbc7
    0016cbc7 // align 0x10
    0016cbd0
    0016cbd0camlUltra.is_text_blank_931:
    0016cbd0movzx rax, [rax-8]
    0016cbd5cmp rax, 2
    0016cbd9jl 0x16cbe4
    0016cbdbmov eax, 1
    0016cbe0ret
    0016cbe1
    0016cbe1 0f 1f 00 ...
    0016cbe4
    0016cbe4loc_16cbe4:
    0016cbe4mov eax, 3
    0016cbe9ret
    0016cbd0
    0016cbea
    0016cbea // align 0x10
    0016cbf0
    0016cbf0camlUltra.is_node_932:
    0016cbf0movzx rbx, [rax-8]
    0016cbf5cmp rbx, 2
    0016cbf9jne 0x16cc08
    0016cbfbmov rax, [rax]
    0016cbfetest al, 1
    0016cc00jne 0x16cc08
    0016cc02mov eax, 3
    0016cc07ret
    0016cc08
    0016cc08loc_16cc08:
    0016cc08mov eax, 1
    0016cc0dret
    0016cbf0
    0016cc0e
    0016cc0e // align 0x10
    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