Similarity

0016b590
0016b590camlUltra.do_rec_657:
0016b590lea r10, [rsp-360]
0016b598cmp r10, [r14+40]
0016b59cjb 0x16b6df
0016b5a2
0016b5a2loc_16b5a2:
0016b5a2sub rsp, 40
0016b5a6
0016b5a6loc_16b5a6:
0016b5a6mov r9, rax
0016b5a9mov rcx, rbx
0016b5acmov r8, rdi
0016b5afcmp r15, [r14]
0016b5b2jbe 0x16b6d0
0016b5b8
0016b5b8loc_16b5b8:
0016b5b8mov rax, [rsi+24]
0016b5bccmp r9, rax
0016b5bfjg 0x16b6ac
0016b5c5mov [rsp+8], rsi
0016b5camov [rsp+32], r8
0016b5cfmov [rsp+24], rcx
0016b5d4mov [rsp+16], r9
0016b5d9mov rax, [rsi+32]
0016b5ddmov rbx, [rax-8]
0016b5e1shr rbx, 9
0016b5e5cmp rbx, r9
0016b5e8jbe 0x16b6da
0016b5eemov rax, [rax+4*r9-4]
0016b5f3movzx rbx, [rax-8]
0016b5f8cmp rbx, 2
0016b5fcjne 0x16b634
0016b5femov [rsp], rax
0016b602mov rax, [rax+8]
0016b606call camlUtil.is_blanks_421
0016b60bmov rbx, rax
0016b60emov rax, [rsp]
0016b612mov rsi, [rax]
0016b615mov rax, [rsp+8]
0016b61amov rax, [rax+40]
0016b61emov rdi, [rsp+16]
0016b623mov rdx, [rsp+24]
0016b628mov rcx, [rsp+32]
0016b62dcall camlUltra.extend_factors_421
0016b632jmp 0x16b690
0016b634
0016b634loc_16b634:
0016b634call camlUtil.is_blank_420
0016b639cmp rax, 1
0016b63dje 0x16b664
0016b63fmov rax, [rsp+8]
0016b644mov rax, [rax+40]
0016b648mov edi, 1
0016b64dmov rbx, [rsp+16]
0016b652mov rsi, [rsp+24]
0016b657mov rdx, [rsp+32]
0016b65ccall camlUltra.part_factor_neutral_431
0016b661jmp 0x16b690
0016b663
0016b663 90 .
0016b664
0016b664loc_16b664:
0016b664mov rax, [rsp+8]
0016b669mov rax, [rax+40]
0016b66dmov edx, 1
0016b672mov esi, 1
0016b677mov ebx, 1
0016b67cmov rdi, [rsp+16]
0016b681mov rcx, [rsp+24]
0016b686mov r8, [rsp+32]
0016b68bcall camlUltra.part_factor_392
0016b690
0016b690loc_16b690:
0016b690mov rdi, [rax]
0016b693mov rbx, [rax+8]
0016b697mov rax, [rsp+16]
0016b69cadd rax, 2
0016b6a0mov rsi, [rsp+8]
0016b6a5jmp 0x16b5a6
0016b6aa
0016b6aa 66 90 f.
0016b6ac
0016b6acloc_16b6ac:
0016b6acmov rax, [rsi+40]
0016b6b0mov edx, 1
0016b6b5mov esi, 1
0016b6bamov ebx, 1
0016b6bfmov rdi, r9
0016b6c2call camlUltra.part_factor_392
0016b6c7mov rax, [rax+8]
0016b6cbadd rsp, 40
0016b6cfret
0016b6d0
0016b6d0loc_16b6d0:
0016b6d0call caml_call_gc
0016b6d5jmp 0x16b5b8
0016b6da
0016b6daloc_16b6da:
0016b6dacall caml_ml_array_bound_error
0016b6df
0016b6dfloc_16b6df:
0016b6dfpush 38
0016b6e1call caml_call_realloc_stack
0016b6e6pop r10
0016b6e8jmp 0x16b5a2
0016b590

0016b6ed
0016b6ed // align 0x10

0016b6f0
0016b6f0camlUltra.same_686:
0016b6f0sub rsp, 16
0016b6f4mov rbx, [rbx]
0016b6f7mov [rsp], rbx
0016b6fbmov rax, [rax]
0016b6femov [rsp+8], rax
0016b703mov rsi, [rbx]
0016b706mov rdi, [rax]
0016b709lea rax, [rip+0x951d0]
0016b710call caml_c_call
0016b715cmp rax, 1
0016b719je 0x16b740
0016b71bmov rax, [rsp]
0016b71fmov rsi, [rax+8]
0016b723mov rax, [rsp+8]
0016b728mov rdi, [rax+8]
0016b72clea rax, [rip+0x951ad]
0016b733call caml_c_call
0016b738add rsp, 16
0016b73cret
0016b73d
0016b73d 0f 1f 00 ...
0016b740
0016b740loc_16b740:
0016b740mov eax, 1
0016b745add rsp, 16
0016b749ret
0016b6f0

0016b74a
0016b74a // align 0x10

0016b750
0016b750camlUltra.covers_cost_694:
0016b750mov rbx, [rbx]
0016b753mov rbx, [rbx]
0016b756mov rax, [rax]
0016b759mov rax, [rax]
0016b75cmov rdi, [rbx+8]
0016b760mov rbx, [rbx]
0016b763mov rsi, [rax+8]
0016b767mov rax, [rax]
0016b76acmp rax, rbx
0016b76djg 0x16b774
0016b76fcmp rdi, rsi
0016b772jl 0x16b794
0016b774
0016b774loc_16b774:
0016b774cmp rax, rbx
0016b777jge 0x16b78c
0016b779cmp rdi, rsi
0016b77csetle al
0016b77fmovzx rax, al
0016b783lea rax, [rax+rax+1]
0016b788ret
0016b789
0016b789 0f 1f 00 ...
0016b78c
0016b78cloc_16b78c:
0016b78cmov eax, 1
0016b791ret
0016b792
0016b792 66 90 f.
0016b794
0016b794loc_16b794:
0016b794mov eax, 3
0016b799ret
0016b750

0016b79a
0016b79a // align 0x10

0016b7a0
0016b7a0camlUltra.biggest_702:
0016b7a0lea r10, [rsp-320]
0016b7a8cmp r10, [r14+40]
0016b7acjb 0x16b7d4
0016b7ae
0016b7aeloc_16b7ae:
0016b7aemov rbx, rax
0016b7b1cmp r15, [r14]
0016b7b4jbe 0x16b7cd
0016b7b6
0016b7b6loc_16b7b6:
0016b7b6mov eax, 1
0016b7bbcall camlUltra.through_705
0016b7c0mov rbx, rax
0016b7c3mov eax, 1
0016b7c8jmp 0x16b7e0
0016b7cd
0016b7cdloc_16b7cd:
0016b7cdcall caml_call_gc
0016b7d2jmp 0x16b7b6
0016b7d4
0016b7d4loc_16b7d4:
0016b7d4push 33
0016b7d6call caml_call_realloc_stack
0016b7dbpop r10
0016b7ddjmp 0x16b7ae
0016b7a0

0016b7df
0016b7df // align 0x10

0016b7e0
0016b7e0camlUltra.through_705:
0016b7e0lea r10, [rsp-344]
0016b7e8cmp r10, [r14+40]
0016b7ecjb 0x16b89d
0016b7f2
0016b7f2loc_16b7f2:
0016b7f2sub rsp, 24
0016b7f6
0016b7f6loc_16b7f6:
0016b7f6test bl, 1
0016b7f9je 0x16b800
0016b7fbadd rsp, 24
0016b7ffret
0016b800
0016b800loc_16b800:
0016b800mov [rsp+8], rax
0016b805mov rdi, [rbx+8]
0016b809mov [rsp+16], rdi
0016b80emov rbx, [rbx]
0016b811mov [rsp], rbx
0016b815sub r15, 32
0016b819cmp r15, [r14]
0016b81cjb 0x16b896
0016b81e
0016b81eloc_16b81e:
0016b81elea rax, [r15+8]
0016b822mov [rax-8], 3319
0016b82alea rsi, [rip+127]
0016b831mov [rax], rsi
0016b834mov rsi, 0x100000000000005
0016b83emov [rax+8], rsi
0016b842mov [rax+16], rbx
0016b846mov rbx, rdi
0016b849call Stdlib.List.exists
0016b84ecmp rax, 1
0016b852je 0x16b860
0016b854mov rax, [rsp+8]
0016b859mov rbx, [rsp+16]
0016b85ejmp 0x16b7f6
0016b860
0016b860loc_16b860:
0016b860sub r15, 24
0016b864cmp r15, [r14]
0016b867jb 0x16b88f
0016b869
0016b869loc_16b869:
0016b869lea rax, [r15+8]
0016b86dmov [rax-8], 2048
0016b875mov rbx, [rsp]
0016b879mov [rax], rbx
0016b87cmov rbx, [rsp+8]
0016b881mov [rax+8], rbx
0016b885mov rbx, [rsp+16]
0016b88ajmp 0x16b7f6
0016b88f
0016b88floc_16b88f:
0016b88fcall caml_call_gc
0016b894jmp 0x16b869
0016b896
0016b896loc_16b896:
0016b896call caml_call_gc
0016b89bjmp 0x16b81e
0016b89d
0016b89dloc_16b89d:
0016b89dpush 36
0016b89fcall caml_call_realloc_stack
0016b8a4pop r10
0016b8a6jmp 0x16b7f2
0016b7e0

0016b8ab
0016b8ab // align 0x10

0016b8b0
0016b8b0camlUltra.fun_1314:
0016b8b0mov rbx, [rbx+16]
0016b8b4jmp 0x16b750
0016b8b0

0016b8b9
0016b8b9 // align 0x10

0016b8c0
0016b8c0camlUltra.conflicts_711:
0016b8c0sub rsp, 32
0016b8c4mov rbx, [rbx]
0016b8c7mov rdi, [rbx+8]
0016b8cbmov [rsp+24], rdi
0016b8d0mov rsi, [rbx]
0016b8d3mov [rsp+8], rsi
0016b8d8mov rax, [rax]
0016b8dbmov rbx, [rax+8]
0016b8dfmov [rsp+16], rbx
0016b8e4mov rdi, [rax]
0016b8e7mov [rsp], rdi
0016b8eblea rax, [rip+0x9504e]
0016b8f2call caml_c_call
0016b8f7cmp rax, 1
0016b8fbje 0x16b935
0016b8fdmov rdi, [rsp+8]
0016b902mov rsi, [rsp+16]
0016b907lea rax, [rip+0x95072]
0016b90ecall caml_c_call
0016b913cmp rax, 1
0016b917je 0x16b935
0016b919mov rdi, [rsp+16]
0016b91emov rsi, [rsp+24]
0016b923lea rax, [rip+0x95016]
0016b92acall caml_c_call
0016b92fcmp rax, 1
0016b933jne 0x16b994
0016b935
0016b935loc_16b935:
0016b935mov rdi, [rsp+8]
0016b93amov rsi, [rsp]
0016b93elea rax, [rip+0x94ffb]
0016b945call caml_c_call
0016b94acmp rax, 1
0016b94eje 0x16b988
0016b950mov rdi, [rsp]
0016b954mov rsi, [rsp+24]
0016b959lea rax, [rip+0x95020]
0016b960call caml_c_call
0016b965cmp rax, 1
0016b969je 0x16b988
0016b96bmov rdi, [rsp+24]
0016b970mov rsi, [rsp+16]
0016b975lea rax, [rip+0x94fc4]
0016b97ccall caml_c_call
0016b981add rsp, 32
0016b985ret
0016b986
0016b986 66 90 f.
0016b988
0016b988loc_16b988:
0016b988mov eax, 1
0016b98dadd rsp, 32
0016b991ret
0016b992
0016b992 66 90 f.
0016b994
0016b994loc_16b994:
0016b994mov eax, 3
0016b999add rsp, 32
0016b99dret
0016b8c0

0016b99e
0016b99e // align 0x10

0016b9a0
0016b9a0camlUltra.num_conflicts_719:
0016b9a0mov rdi, rbx
0016b9a3sub r15, 40
0016b9a7cmp r15, [r14]
0016b9aajb 0x16b9ec
0016b9ac
0016b9acloc_16b9ac:
0016b9aclea rsi, [r15+8]
0016b9b0mov [rsi-8], 4343
0016b9b8lea rbx, [rip-0x7499f]
0016b9bfmov [rsi], rbx
0016b9c2mov rbx, 0x200000000000007
0016b9ccmov [rsi+8], rbx
0016b9d0lea rbx, [rip+41]
0016b9d7mov [rsi+16], rbx
0016b9dbmov [rsi+24], rax
0016b9dfmov ebx, 1
0016b9e4mov rax, rsi
0016b9e7jmp 0x1a0430
0016b9ec
0016b9ecloc_16b9ec:
0016b9eccall caml_call_gc
0016b9f1jmp 0x16b9ac
0016b9a0

0016b9f3
0016b9f3 // align 0x10

0016ba00
0016ba00camlUltra.fun_1320:
0016ba00lea r10, [rsp-328]
0016ba08cmp r10, [r14+40]
0016ba0cjb 0x16ba3d
0016ba0e
0016ba0eloc_16ba0e:
0016ba0esub rsp, 8
0016ba12mov [rsp], rax
0016ba16mov rax, [rdi+24]
0016ba1acall camlUltra.conflicts_711
0016ba1fcmp rax, 1
0016ba23je 0x16ba34
0016ba25mov rax, [rsp]
0016ba29add rax, 2
0016ba2dadd rsp, 8
0016ba31ret
0016ba32
0016ba32 66 90 f.
0016ba34
0016ba34loc_16ba34:
0016ba34mov rax, [rsp]
0016ba38add rsp, 8
0016ba3cret
0016ba3d
0016ba3dloc_16ba3d:
0016ba3dpush 34
0016ba3fcall caml_call_realloc_stack
0016ba44pop r10
0016ba46jmp 0x16ba0e
0016ba00

0016ba48
0016ba48 // align 0x10

0016ba50
0016ba50camlUltra.put_conflicts_725:
0016ba50mov rdi, rax
0016ba53sub r15, 40
0016ba57cmp r15, [r14]
0016ba5ajb 0x16ba99
0016ba5c
0016ba5cloc_16ba5c:
0016ba5clea rax, [r15+8]
0016ba60mov [rax-8], 4343
0016ba68lea rbx, [rip-0x74a4f]
0016ba6fmov [rax], rbx
0016ba72mov rbx, 0x200000000000007
0016ba7cmov [rax+8], rbx
0016ba80lea rbx, [rip+25]
0016ba87mov [rax+16], rbx
0016ba8bmov [rax+24], rdi
0016ba8fmov ebx, 1
0016ba94jmp 0x1a0430
0016ba99
0016ba99loc_16ba99:
0016ba99call caml_call_gc
0016ba9ejmp 0x16ba5c
0016ba50

0016baa0
0016baa0camlUltra.fun_1324:
0016baa0lea r10, [rsp-336]
0016baa8cmp r10, [r14+40]
0016baacjb 0x16bb0f
0016baae
0016baaeloc_16baae:
0016baaesub rsp, 16
0016bab2mov [rsp+8], rax
0016bab7mov rax, rbx
0016babamov [rsp], rax
0016babemov rbx, [rdi+24]
0016bac2call camlUltra.num_conflicts_719
0016bac7sub r15, 48
0016bacbcmp r15, [r14]
0016bacejb 0x16bb08
0016bad0
0016bad0loc_16bad0:
0016bad0lea rbx, [r15+8]
0016bad4add rbx, 24
0016bad8mov [rbx-8], 2048
0016bae0mov rdi, [rsp]
0016bae4mov [rbx], rdi
0016bae7mov [rbx+8], rax
0016baeblea rax, [rbx-24]
0016baefmov [rax-8], 2048
0016baf7mov [rax], rbx
0016bafamov rbx, [rsp+8]
0016baffmov [rax+8], rbx
0016bb03add rsp, 16
0016bb07ret
0016bb08
0016bb08loc_16bb08:
0016bb08call caml_call_gc
0016bb0djmp 0x16bad0
0016bb0f
0016bb0floc_16bb0f:
0016bb0fpush 35
0016bb11call caml_call_realloc_stack
0016bb16pop r10
0016bb18jmp 0x16baae
0016baa0

0016bb1a
0016bb1a // align 0x10

0016bb20
0016bb20camlUltra.add_730:
0016bb20lea r10, [rsp-352]
0016bb28cmp r10, [r14+40]
0016bb2cjb 0x16bc9f
0016bb32
0016bb32loc_16bb32:
0016bb32sub rsp, 32
0016bb36test bl, 1
0016bb39je 0x16bb9c
0016bb3bsub r15, 72
0016bb3fcmp r15, [r14]
0016bb42jb 0x16bc95
0016bb48
0016bb48loc_16bb48:
0016bb48lea rbx, [r15+8]
0016bb4cadd rbx, 48
0016bb50mov [rbx-8], 2048
0016bb58mov rdi, [rax+8]
0016bb5cmov [rbx], rdi
0016bb5fmov [rbx+8], 1
0016bb67lea rdi, [rbx-24]
0016bb6bmov [rdi-8], 2048
0016bb73mov rax, [rax]
0016bb76mov [rdi], rax
0016bb79mov [rdi+8], rbx
0016bb7dlea rax, [rdi-24]
0016bb81mov [rax-8], 2048
0016bb89mov [rax], rdi
0016bb8cmov [rax+8], 1
0016bb94add rsp, 32
0016bb98ret
0016bb99
0016bb99 0f 1f 00 ...
0016bb9c
0016bb9cloc_16bb9c:
0016bb9cmov [rsp], rbx
0016bba0mov [rsp+8], rax
0016bba5mov rdi, [rbx+8]
0016bba9mov [rsp+24], rdi
0016bbaemov rbx, [rbx]
0016bbb1mov [rsp+16], rbx
0016bbb6call camlUltra.same_686
0016bbbbcmp rax, 1
0016bbbfje 0x16bc2c
0016bbc1sub r15, 72
0016bbc5cmp r15, [r14]
0016bbc8jb 0x16bc8b
0016bbce
0016bbceloc_16bbce:
0016bbcelea rax, [r15+8]
0016bbd2add rax, 48
0016bbd6mov [rax-8], 2048
0016bbdemov rbx, [rsp+8]
0016bbe3mov rbx, [rbx+8]
0016bbe7mov [rax], rbx
0016bbeamov rdi, [rsp+16]
0016bbefmov rbx, [rdi+8]
0016bbf3mov [rax+8], rbx
0016bbf7lea rbx, [rax-24]
0016bbfbmov [rbx-8], 2048
0016bc03mov rdi, [rdi]
0016bc06mov [rbx], rdi
0016bc09mov [rbx+8], rax
0016bc0dlea rax, [rbx-24]
0016bc11mov [rax-8], 2048
0016bc19mov [rax], rbx
0016bc1cmov rbx, [rsp+24]
0016bc21mov [rax+8], rbx
0016bc25add rsp, 32
0016bc29ret
0016bc2a
0016bc2a 66 90 f.
0016bc2c
0016bc2cloc_16bc2c:
0016bc2cmov rax, [rsp+8]
0016bc31mov rbx, [rsp+16]
0016bc36call camlUltra.conflicts_711
0016bc3bcmp rax, 1
0016bc3fje 0x16bc4c
0016bc41mov rax, [rsp]
0016bc45add rsp, 32
0016bc49ret
0016bc4a
0016bc4a 66 90 f.
0016bc4c
0016bc4cloc_16bc4c:
0016bc4cmov rax, [rsp+8]
0016bc51mov rbx, [rsp+24]
0016bc56call camlUltra.add_730
0016bc5bsub r15, 24
0016bc5fcmp r15, [r14]
0016bc62jb 0x16bc84
0016bc64
0016bc64loc_16bc64:
0016bc64lea rbx, [r15+8]
0016bc68mov [rbx-8], 2048
0016bc70mov rdi, [rsp+16]
0016bc75mov [rbx], rdi
0016bc78mov [rbx+8], rax
0016bc7cmov rax, rbx
0016bc7fadd rsp, 32
0016bc83ret
0016bc84
0016bc84loc_16bc84:
0016bc84call caml_call_gc
0016bc89jmp 0x16bc64
0016bc8b
0016bc8bloc_16bc8b:
0016bc8bcall caml_call_gc
0016bc90jmp 0x16bbce
0016bc95
0016bc95loc_16bc95:
0016bc95call caml_call_gc
0016bc9ajmp 0x16bb48
0016bc9f
0016bc9floc_16bc9f:
0016bc9fpush 37
0016bca1call caml_call_realloc_stack
0016bca6pop r10
0016bca8jmp 0x16bb32
0016bb20

0016bcad
0016bcad // align 0x10

0016bcb0
0016bcb0camlUltra.get_them_740:
0016bcb0mov rdi, rax
0016bcb3mov ebx, 1
0016bcb8lea rax, [rip+0x1909a9]
0016bcbfjmp 0x1a0430
0016bcb0

0016bcc4
0016bcc4 // align 0x10

0016bcd0
0016bcd0camlUltra.fun_1330:
0016bcd0mov rdi, rax
0016bcd3mov rax, [rbx]
0016bcd6mov rbx, rdi
0016bcd9jmp 0x16bb20
0016bcd0

0016bcde
0016bcde // align 0x10

0016bce0
0016bce0camlUltra.pfactorc_746:
0016bce0lea r10, [rsp-328]
0016bce8cmp r10, [r14+40]
0016bcecjb 0x16bd5b
0016bcee
0016bceeloc_16bcee:
0016bceesub rsp, 8
0016bcf2mov [rsp], rax
0016bcf6sub r15, 40
0016bcfacmp r15, [r14]
0016bcfdjb 0x16bd54
0016bcff
0016bcffloc_16bcff:
0016bcfflea rdi, [r15+8]
0016bd03mov [rdi-8], 4343
0016bd0blea rsi, [rip-0x74c92]
0016bd12mov [rdi], rsi
0016bd15mov rsi, 0xfe00000000000007
0016bd1fmov [rdi+8], rsi
0016bd23lea rsi, [rip+70]
0016bd2amov [rdi+16], rsi
0016bd2emov [rdi+24], rax
0016bd32mov rax, rdi
0016bd35call Stdlib.List.iter
0016bd3amov esi, 21
0016bd3fmov rdi, [rsp]
0016bd43lea rax, [rip+0xa4186]
0016bd4acall caml_c_call
0016bd4fadd rsp, 8
0016bd53ret
0016bd54
0016bd54loc_16bd54:
0016bd54call caml_call_gc
0016bd59jmp 0x16bcff
0016bd5b
0016bd5bloc_16bd5b:
0016bd5bpush 34
0016bd5dcall caml_call_realloc_stack
0016bd62pop r10
0016bd64jmp 0x16bcee
0016bce0

0016bd66
0016bd66 // align 0x10

0016bd70
0016bd70camlUltra.fun_1333:
0016bd70lea r10, [rsp-352]
0016bd78cmp r10, [r14+40]
0016bd7cjb 0x16bde2
0016bd7e
0016bd7eloc_16bd7e:
0016bd7esub rsp, 32
0016bd82cmp r15, [r14]
0016bd85jbe 0x16bddb
0016bd87
0016bd87loc_16bd87:
0016bd87mov rsi, [rax]
0016bd8amov [rsp+24], rbx
0016bd8fmov rax, [rax+8]
0016bd93mov rax, [rax+8]
0016bd97mov [rsp+16], rax
0016bd9cmov rax, [rsi+8]
0016bda0mov [rsp+8], rax
0016bda5mov rax, [rsi]
0016bda8mov [rsp], rax
0016bdaclea rbx, [rip+0x1911b5]
0016bdb3mov rax, [rdi+24]
0016bdb7call Stdlib.Printf.fprintf
0016bdbcmov rdx, rax
0016bdbfmov rax, [rsp]
0016bdc3mov rbx, [rsp+8]
0016bdc8mov rdi, [rsp+16]
0016bdcdmov rsi, [rsp+24]
0016bdd2add rsp, 32
0016bdd6jmp 0xf72f0
0016bddb
0016bddbloc_16bddb:
0016bddbcall caml_call_gc
0016bde0jmp 0x16bd87
0016bde2
0016bde2loc_16bde2:
0016bde2push 37
0016bde4call caml_call_realloc_stack
0016bde9pop r10
0016bdebjmp 0x16bd7e
0016bd70

0016bded
0016bded // align 0x10

0016bdf0
0016bdf0camlUltra.slen_755:
0016bdf0lea r10, [rsp-336]
0016bdf8cmp r10, [r14+40]
0016bdfcjb 0x16be79
0016bdfe
0016bdfeloc_16bdfe:
0016bdfesub rsp, 16
0016be02mov rbx, [rax+16]
0016be06mov rdi, [rbx-8]
0016be0ashr rdi, 10
0016be0elea rdi, [8*rdi-1]
0016be16movzx rbx, [rbx+rdi]
0016be1bsub rdi, rbx
0016be1eshl rdi, 1
0016be21mov [rsp+8], rdi
0016be26mov rbx, [rax+8]
0016be2amov rdi, [rbx-8]
0016be2eshr rdi, 10
0016be32lea rdi, [8*rdi-1]
0016be3amovzx rbx, [rbx+rdi]
0016be3fsub rdi, rbx
0016be42shl rdi, 1
0016be45mov [rsp], rdi
0016be49mov rax, [rax]
0016be4ccall camlHtmltext.is_font_426
0016be51cmp rax, 1
0016be55je 0x16be60
0016be57mov eax, 11
0016be5cjmp 0x16be65
0016be5e
0016be5e 66 90 f.
0016be60
0016be60loc_16be60:
0016be60mov eax, 1
0016be65
0016be65loc_16be65:
0016be65mov rbx, [rsp]
0016be69add rax, rbx
0016be6cmov rbx, [rsp+8]
0016be71add rax, rbx
0016be74add rsp, 16
0016be78ret
0016be79
0016be79loc_16be79:
0016be79push 35
0016be7bcall caml_call_realloc_stack
0016be80pop r10
0016be82jmp 0x16bdfe
0016bdf0

0016be87
0016be87 // align 0x10

0016be90
0016be90camlUltra.order_factors_827:
0016be90lea r10, [rsp-336]
0016be98cmp r10, [r14+40]
0016be9cjb 0x16bf26
0016bea2
0016bea2loc_16bea2:
0016bea2sub rsp, 16
0016bea6mov rdi, rax
0016bea9mov rsi, [rbx+8]
0016beadmov rdx, [rdi+8]
0016beb1cmp rdx, rsi
0016beb4setl al
0016beb7movzx rcx, al
0016bebbcmp rdx, rsi
0016bebesetg al
0016bec1movzx rax, al
0016bec5sub rax, rcx
0016bec8lea rax, [rax+rax+1]
0016becdcmp rax, 1
0016bed1je 0x16bed8
0016bed3add rsp, 16
0016bed7ret
0016bed8
0016bed8loc_16bed8:
0016bed8mov [rsp], rbx
0016bedcmov rax, [rdi]
0016bedfmov rax, [rax+8]
0016bee3call camlUltra.slen_755
0016bee8mov [rsp+8], rax
0016beedmov rax, [rsp]
0016bef1mov rax, [rax]
0016bef4mov rax, [rax+8]
0016bef8call camlUltra.slen_755
0016befdmov rbx, rax
0016bf00mov rsi, [rsp+8]
0016bf05cmp rbx, rsi
0016bf08setl al
0016bf0bmovzx rdi, al
0016bf0fcmp rbx, rsi
0016bf12setg al
0016bf15movzx rax, al
0016bf19sub rax, rdi
0016bf1clea rax, [rax+rax+1]
0016bf21add rsp, 16
0016bf25ret
0016bf26
0016bf26loc_16bf26:
0016bf26push 35
0016bf28call caml_call_realloc_stack
0016bf2dpop r10
0016bf2fjmp 0x16bea2
0016be90

0016bf34
0016bf34 // align 0x10

0016bf40
0016bf40camlUltra.select_factors_840:
0016bf40lea r10, [rsp-344]
0016bf48cmp r10, [r14+40]
0016bf4cjb 0x16c04d
0016bf52
0016bf52loc_16bf52:
0016bf52sub rsp, 24
0016bf56call camlUltra.put_conflicts_725
0016bf5bmov [rsp], rax
0016bf5fcall camlUltra.biggest_702
0016bf64mov rbx, rax
0016bf67mov [rsp+8], rbx
0016bf6clea rax, [rip+0x190b1d]
0016bf73mov rax, [rax+264]
0016bf7acall Stdlib.List.stable_sort
0016bf7fmov [rsp+16], rax
0016bf84lea rax, [rip+0x1a7535]
0016bf8bmov rax, [rax]
0016bf8emov rax, [rax]
0016bf91cmp rax, 3
0016bf95jle 0x16c030
0016bf9blea rbx, [rip+0x190fb6]
0016bfa2lea rax, [rip+0x1c166f]
0016bfa9mov rax, [rax+312]
0016bfb0call camlStdlib.output_string_253
0016bfb5lea rax, [rip+0x1c165c]
0016bfbcmov rax, [rax+312]
0016bfc3mov rbx, [rsp]
0016bfc7call camlUltra.pfactorc_746
0016bfcclea rbx, [rip+0x190f75]
0016bfd3lea rax, [rip+0x1c163e]
0016bfdamov rax, [rax+312]
0016bfe1call camlStdlib.output_string_253
0016bfe6lea rax, [rip+0x1c162b]
0016bfedmov rax, [rax+312]
0016bff4mov rbx, [rsp+8]
0016bff9call camlUltra.pfactorc_746
0016bffelea rbx, [rip+0x190f33]
0016c005lea rax, [rip+0x1c160c]
0016c00cmov rax, [rax+312]
0016c013call camlStdlib.output_string_253
0016c018lea rax, [rip+0x1c15f9]
0016c01fmov rax, [rax+312]
0016c026mov rbx, [rsp+16]
0016c02bcall camlUltra.pfactorc_746
0016c030
0016c030loc_16c030:
0016c030mov rax, [rsp+16]
0016c035call camlUltra.get_them_740
0016c03amov rbx, rax
0016c03dlea rax, [rip+0x190644]
0016c044add rsp, 24
0016c048jmp 0x1a2980
0016c04d
0016c04dloc_16c04d:
0016c04dpush 36
0016c04fcall caml_call_realloc_stack
0016c054pop r10
0016c056jmp 0x16bf52
0016bf40

0016c05b
0016c05b // align 0x10

0016c060
0016c060camlUltra.fun_1351:
0016c060mov rbx, [rbx]
0016c063mov rbx, [rbx]
0016c066mov rax, [rax]
0016c069mov rdi, [rax+8]
0016c06dcmp rdi, rbx
0016c070setl al
0016c073movzx rsi, al
0016c077cmp rdi, rbx
0016c07asetg al
0016c07dmovzx rax, al
0016c081sub rax, rsi
0016c084lea rax, [rax+rax+1]
0016c089ret
0016c060

0016c08a
0016c08a // align 0x10

0016c090
0016c090camlUltra.fun_1354:
0016c090mov rax, [rax]
0016c093jmp 0x176b60
0016c090

0016c098
0016c098 // align 0x10

0016c0a0
0016c0a0camlUltra.some_font_850:
0016c0a0mov rbx, rax
0016c0a3lea rax, [rip+0x1905fe]
0016c0aajmp 0x1a0c10
0016c0a0

0016c0af
0016c0af // align 0x10

0016c0b0
0016c0b0camlUltra.font_tree_854:
0016c0b0lea r10, [rsp-336]
0016c0b8cmp r10, [r14+40]
0016c0bcjb 0x16c139
0016c0be
0016c0beloc_16c0be:
0016c0besub rsp, 16
0016c0c2mov rdi, rax
0016c0c5cmp r15, [r14]
0016c0c8jbe 0x16c132
0016c0ca
0016c0caloc_16c0ca:
0016c0camovzx rax, [rdi-8]
0016c0cftest rax, rax
0016c0d2je 0x16c128
0016c0d4mov [rsp], rbx
0016c0d8mov [rsp+8], rdi
0016c0dddec rax
0016c0e0cmp rax, 1
0016c0e4je 0x16c0f4
0016c0e6ja 0x16c128
0016c0e8mov eax, 3
0016c0edadd rsp, 16
0016c0f1ret
0016c0f2
0016c0f2 66 90 f.
0016c0f4
0016c0f4loc_16c0f4:
0016c0f4mov rax, [rdi]
0016c0f7call camlUltra.some_font_850
0016c0fccmp rax, 1
0016c100jne 0x16c11c
0016c102mov rbx, [rsp]
0016c106add rbx, 24
0016c10amov rax, [rsp+8]
0016c10fmov rax, [rax+8]
0016c113add rsp, 16
0016c117jmp 0x16c150
0016c11c
0016c11cloc_16c11c:
0016c11cmov eax, 3
0016c121add rsp, 16
0016c125ret
0016c126
0016c126 66 90 f.
0016c128
0016c128loc_16c128:
0016c128mov eax, 1
0016c12dadd rsp, 16
0016c131ret
0016c132
0016c132loc_16c132:
0016c132call caml_call_gc
0016c137jmp 0x16c0ca
0016c139
0016c139loc_16c139:
0016c139push 35
0016c13bcall caml_call_realloc_stack
0016c140pop r10
0016c142jmp 0x16c0be
0016c0b0

0016c147
0016c147 // align 0x10

0016c150
0016c150camlUltra.font_trees_855:
0016c150mov rdi, rax
0016c153mov rax, rbx
0016c156add rax, -24
0016c15amov rbx, rdi
0016c15djmp 0x1a0b90
0016c150

0016c162
0016c162 // align 0x10

0016c170
0016c170camlUltra.other_props_860:
0016c170mov rbx, rax
0016c173cmp r15, [r14]
0016c176jbe 0x16c188
0016c178
0016c178loc_16c178:
0016c178lea rax, [rip+0x1a5cc1]
0016c17fmov rax, [rax+48]
0016c183jmp 0x16c190
0016c188
0016c188loc_16c188:
0016c188call caml_call_gc
0016c18djmp 0x16c178
0016c170

0016c18f
0016c18f // align 0x10

0016c190
0016c190camlUltra.other_863:
0016c190lea r10, [rsp-344]
0016c198cmp r10, [r14+40]
0016c19cjb 0x16c25c
0016c1a2
0016c1a2loc_16c1a2:
0016c1a2sub rsp, 24
0016c1a6
0016c1a6loc_16c1a6:
0016c1a6cmp r15, [r14]
0016c1a9jbe 0x16c252
0016c1af
0016c1afloc_16c1af:
0016c1aftest bl, 1
0016c1b2je 0x16c1bc
0016c1b4add rsp, 24
0016c1b8ret
0016c1b9
0016c1b9 0f 1f 00 ...
0016c1bc
0016c1bcloc_16c1bc:
0016c1bcmov [rsp+16], rbx
0016c1c1mov [rsp+8], rax
0016c1c6mov rax, [rbx]
0016c1c9mov [rsp], rax
0016c1cdmov rax, [rax]
0016c1d0call camlHtmltext.is_font_426
0016c1d5cmp rax, 1
0016c1d9je 0x16c238
0016c1dbsub r15, 40
0016c1dfcmp r15, [r14]
0016c1e2jb 0x16c24b
0016c1e4
0016c1e4loc_16c1e4:
0016c1e4lea rax, [r15+8]
0016c1e8mov [rax-8], 4343
0016c1f0lea rbx, [rip-0x751d7]
0016c1f7mov [rax], rbx
0016c1famov rbx, 0x200000000000007
0016c204mov [rax+8], rbx
0016c208lea rbx, [rip+97]
0016c20fmov [rax+16], rbx
0016c213mov rbx, [rsp]
0016c217mov [rax+24], rbx
0016c21bmov ebx, 1
0016c220mov rdi, [rsp+8]
0016c225call Stdlib.List.fold_left
0016c22amov rbx, [rsp+16]
0016c22fmov rbx, [rbx+8]
0016c233jmp 0x16c1a6
0016c238
0016c238loc_16c238:
0016c238mov rax, [rsp+16]
0016c23dmov rbx, [rax+8]
0016c241mov rax, [rsp+8]
0016c246jmp 0x16c1a6
0016c24b
0016c24bloc_16c24b:
0016c24bcall caml_call_gc
0016c250jmp 0x16c1e4
0016c252
0016c252loc_16c252:
0016c252call caml_call_gc
0016c257jmp 0x16c1af
0016c25c
0016c25cloc_16c25c:
0016c25cpush 36
0016c25ecall caml_call_realloc_stack
0016c263pop r10
0016c265jmp 0x16c1a2
0016c190

0016c26a
0016c26a // align 0x10

0016c270
0016c270camlUltra.fun_1363:
0016c270lea r10, [rsp-336]
0016c278cmp r10, [r14+40]
0016c27cjb 0x16c2d9
0016c27e
0016c27eloc_16c27e:
0016c27esub rsp, 16
0016c282mov [rsp+8], rax
0016c287mov [rsp], rbx
0016c28bmov rax, [rdi+24]
0016c28fmov rax, [rax]
0016c292mov rdi, [rbx]
0016c295call rdi
0016c297cmp rax, 1
0016c29bje 0x16c2a8
0016c29dmov rax, [rsp+8]
0016c2a2add rsp, 16
0016c2a6ret
0016c2a7
0016c2a7 90 .
0016c2a8
0016c2a8loc_16c2a8:
0016c2a8sub r15, 24
0016c2accmp r15, [r14]
0016c2afjb 0x16c2d2
0016c2b1
0016c2b1loc_16c2b1:
0016c2b1lea rax, [r15+8]
0016c2b5mov [rax-8], 2048
0016c2bdmov rbx, [rsp]
0016c2c1mov [rax], rbx
0016c2c4mov rbx, [rsp+8]
0016c2c9mov [rax+8], rbx
0016c2cdadd rsp, 16
0016c2d1ret
0016c2d2
0016c2d2loc_16c2d2:
0016c2d2call caml_call_gc
0016c2d7jmp 0x16c2b1
0016c2d9
0016c2d9loc_16c2d9:
0016c2d9push 35
0016c2dbcall caml_call_realloc_stack
0016c2e0pop r10
0016c2e2jmp 0x16c27e
0016c270

0016c2e4
0016c2e4 // align 0x10

0016c2f0
0016c2f0camlUltra.all_props_871:
0016c2f0lea r10, [rsp-352]
0016c2f8cmp r10, [r14+40]
0016c2fcjb 0x16c45a
0016c302
0016c302loc_16c302:
0016c302sub rsp, 32
0016c306
0016c306loc_16c306:
0016c306mov rdi, rax
0016c309cmp r15, [r14]
0016c30cjbe 0x16c450
0016c312
0016c312loc_16c312:
0016c312test dil, 1
0016c316je 0x16c324
0016c318mov eax, 1
0016c31dadd rsp, 32
0016c321ret
0016c322nop
0016c324
0016c324loc_16c324:
0016c324test bl, 1
0016c327je 0x16c334
0016c329mov rax, rdi
0016c32cadd rsp, 32
0016c330ret
0016c331nop [rax]
0016c334
0016c334loc_16c334:
0016c334mov rsi, [rbx]
0016c337movzx rax, [rsi-8]
0016c33ctest rax, rax
0016c33fje 0x16c408
0016c345mov [rsp], rsi
0016c349mov [rsp+24], rbx
0016c34emov [rsp+16], rdi
0016c353dec rax
0016c356cmp rax, 1
0016c35aje 0x16c380
0016c35cja 0x16c408
0016c362lea rax, [rip+0x1a5ad7]
0016c369mov rax, [rax+64]
0016c36dmov rbx, rdi
0016c370call Stdlib.List.find_all
0016c375mov rbx, [rsp+24]
0016c37amov rbx, [rbx+8]
0016c37ejmp 0x16c306
0016c380
0016c380loc_16c380:
0016c380mov rax, [rsi]
0016c383mov [rsp+8], rax
0016c388call camlUltra.some_font_850
0016c38dcmp rax, 1
0016c391je 0x16c3e8
0016c393sub r15, 32
0016c397cmp r15, [r14]
0016c39ajb 0x16c446
0016c3a0
0016c3a0loc_16c3a0:
0016c3a0lea rax, [r15+8]
0016c3a4mov [rax-8], 3319
0016c3aclea rbx, [rip+301]
0016c3b3mov [rax], rbx
0016c3b6mov rbx, 0x100000000000005
0016c3c0mov [rax+8], rbx
0016c3c4mov rbx, [rsp+8]
0016c3c9mov [rax+16], rbx
0016c3cdmov rbx, [rsp+16]
0016c3d2call Stdlib.List.find_all
0016c3d7mov rbx, [rsp+24]
0016c3dcmov rbx, [rbx+8]
0016c3e0jmp 0x16c306
0016c3e5nop [rax]
0016c3e8
0016c3e8loc_16c3e8:
0016c3e8mov rax, [rsp]
0016c3ecmov rbx, [rax+8]
0016c3f0mov rax, [rsp+16]
0016c3f5call camlUltra.all_props_871
0016c3famov rbx, [rsp+24]
0016c3ffmov rbx, [rbx+8]
0016c403jmp 0x16c306
0016c408
0016c408loc_16c408:
0016c408sub r15, 24
0016c40ccmp r15, [r14]
0016c40fjb 0x16c43f
0016c411
0016c411loc_16c411:
0016c411lea rax, [r15+8]
0016c415mov [rax-8], 2048
0016c41dlea rbx, [rip+0x109de4]
0016c424mov [rax], rbx
0016c427lea rbx, [rip+0x190ad2]
0016c42emov [rax+8], rbx
0016c432mov rsp, [r14+48]
0016c436pop [r14+48]
0016c43apop r11
0016c43cjmp r11
0016c43f
0016c43floc_16c43f:
0016c43fcall caml_call_gc
0016c444jmp 0x16c411
0016c446
0016c446loc_16c446:
0016c446call caml_call_gc
0016c44bjmp 0x16c3a0
0016c450
0016c450loc_16c450:
0016c450call caml_call_gc
0016c455jmp 0x16c312
0016c45a
0016c45aloc_16c45a:
0016c45apush 37
0016c45ccall caml_call_realloc_stack
0016c461pop r10
0016c463jmp 0x16c302
0016c2f0

0016c468
0016c468 // align 0x10

0016c470
0016c470camlUltra.fun_1374:
0016c470lea r10, [rsp-336]
0016c478cmp r10, [r14+40]
0016c47cjb 0x16c4c9
0016c47e
0016c47eloc_16c47e:
0016c47esub rsp, 16
0016c482mov [rsp+8], rax
0016c487mov [rsp], rbx
0016c48bcmp r15, [r14]
0016c48ejbe 0x16c4c2
0016c490
0016c490loc_16c490:
0016c490mov rax, [rax]
0016c493call camlHtmltext.is_font_426
0016c498cmp rax, 1
0016c49cje 0x16c4b8
0016c49emov rax, [rsp]
0016c4a2mov rbx, [rax+16]
0016c4a6mov rax, [rsp+8]
0016c4abmov rax, [rax]
0016c4aemov rdi, [rbx]
0016c4b1add rsp, 16
0016c4b5jmp rdi
0016c4b7nop
0016c4b8
0016c4b8loc_16c4b8:
0016c4b8mov eax, 1
0016c4bdadd rsp, 16
0016c4c1ret
0016c4c2
0016c4c2loc_16c4c2:
0016c4c2call caml_call_gc
0016c4c7jmp 0x16c490
0016c4c9
0016c4c9loc_16c4c9:
0016c4c9push 35
0016c4cbcall caml_call_realloc_stack
0016c4d0pop r10
0016c4d2jmp 0x16c47e
0016c470

0016c4d4
0016c4d4 // align 0x10

0016c4e0
0016c4e0camlUltra.fun_1368:
0016c4e0sub r15, 32
0016c4e4cmp r15, [r14]
0016c4e7jb 0x16c51d
0016c4e9
0016c4e9loc_16c4e9:
0016c4e9lea rdi, [r15+8]
0016c4edmov [rdi-8], 3319
0016c4f5lea rsi, [rip-140]
0016c4fcmov [rdi], rsi
0016c4ffmov rsi, 0x100000000000005
0016c509mov [rdi+8], rsi
0016c50dmov [rdi+16], rax
0016c511mov rbx, [rbx+16]
0016c515mov rax, rdi
0016c518jmp 0x1a0c10
0016c51d
0016c51dloc_16c51d:
0016c51dcall caml_call_gc
0016c522jmp 0x16c4e9
0016c4e0

0016c524
0016c524 // align 0x10

0016c530
0016c530camlUltra.extract_props_881:
0016c530sub r15, 32
0016c534cmp r15, [r14]
0016c537jb 0x16c569
0016c539
0016c539loc_16c539:
0016c539lea rdi, [r15+8]
0016c53dmov [rdi-8], 3319
0016c545lea rsi, [rip+36]
0016c54cmov [rdi], rsi
0016c54fmov rsi, 0x100000000000005
0016c559mov [rdi+8], rsi
0016c55dmov [rdi+16], rax
0016c561mov rax, rdi
0016c564jmp 0x1a23e0
0016c569
0016c569loc_16c569:
0016c569call caml_call_gc
0016c56ejmp 0x16c539
0016c530

0016c570
0016c570camlUltra.fun_1379:
0016c570lea r10, [rsp-336]
0016c578cmp r10, [r14+40]
0016c57cjb 0x16c5f1
0016c57e
0016c57eloc_16c57e:
0016c57esub rsp, 16
0016c582mov [rsp], rax
0016c586mov [rsp+8], rbx
0016c58bmov rax, [rax]
0016c58ecall camlHtmltext.is_font_426
0016c593cmp rax, 1
0016c597je 0x16c5e0
0016c599sub r15, 32
0016c59dcmp r15, [r14]
0016c5a0jb 0x16c5ea
0016c5a2
0016c5a2loc_16c5a2:
0016c5a2lea rax, [r15+8]
0016c5a6mov [rax-8], 3319
0016c5aelea rbx, [rip+75]
0016c5b5mov [rax], rbx
0016c5b8mov rbx, 0x100000000000005
0016c5c2mov [rax+8], rbx
0016c5c6mov rbx, [rsp]
0016c5camov [rax+16], rbx
0016c5cemov rbx, [rsp+8]
0016c5d3mov rbx, [rbx+16]
0016c5d7add rsp, 16
0016c5dbjmp 0x1a0c10
0016c5e0
0016c5e0loc_16c5e0:
0016c5e0mov eax, 1
0016c5e5add rsp, 16
0016c5e9ret
0016c5ea
0016c5ealoc_16c5ea:
0016c5eacall caml_call_gc
0016c5efjmp 0x16c5a2
0016c5f1
0016c5f1loc_16c5f1:
0016c5f1push 35
0016c5f3call caml_call_realloc_stack
0016c5f8pop r10
0016c5fajmp 0x16c57e
0016c570

0016c5fc
0016c5fc // align 0x10

0016c600
0016c600camlUltra.fun_1385:
0016c600mov rdi, rax
0016c603cmp r15, [r14]
0016c606jbe 0x16c617
0016c608
0016c608loc_16c608:
0016c608mov rax, [rbx+16]
0016c60cmov rax, [rax]
0016c60fmov rsi, [rdi]
0016c612mov rbx, rdi
0016c615jmp rsi
0016c617
0016c617loc_16c617:
0016c617call caml_call_gc
0016c61cjmp 0x16c608
0016c600

0016c61e
0016c61e // align 0x10

0016c620
0016c620camlUltra.clean_887:
0016c620movzx rdi, [rax-8]
0016c625cmp rdi, 2
0016c629jne 0x16c640
0016c62bmov rdi, [rax]
0016c62etest dil, 1
0016c632je 0x16c640
0016c634mov rax, [rax+8]
0016c638jmp 0x1960f0
0016c63d
0016c63d 0f 1f 00 ...
0016c640
0016c640loc_16c640:
0016c640sub r15, 24
0016c644cmp r15, [r14]
0016c647jb 0x16c660
0016c649
0016c649loc_16c649:
0016c649lea rdi, [r15+8]
0016c64dmov [rdi-8], 2048
0016c655mov [rdi], rax
0016c658mov [rdi+8], rbx
0016c65cmov rax, rdi
0016c65fret
0016c660
0016c660loc_16c660:
0016c660call caml_call_gc
0016c665jmp 0x16c649
0016c620

0016c667
0016c667 // align 0x10

0016c670
0016c670camlUltra.neutrals_892:
0016c670lea r10, [rsp-336]
0016c678cmp r10, [r14+40]
0016c67cjb 0x16c740
0016c682
0016c682loc_16c682:
0016c682sub rsp, 16
0016c686
0016c686loc_16c686:
0016c686mov rsi, rax
0016c689cmp r15, [r14]
0016c68cjbe 0x16c736
0016c692
0016c692loc_16c692:
0016c692test dil, 1
0016c696je 0x16c6a0
0016c698mov rax, rbx
0016c69badd rsp, 16
0016c69fret
0016c6a0
0016c6a0loc_16c6a0:
0016c6a0mov rcx, [rdi]
0016c6a3movzx rax, [rcx-8]
0016c6a8test rax, rax
0016c6abje 0x16c72c
0016c6admov [rsp], rbx
0016c6b1dec rax
0016c6b4cmp rax, 1
0016c6b8je 0x16c6c8
0016c6baja 0x16c72c
0016c6bcmov rdi, [rdi+8]
0016c6c0mov rax, rsi
0016c6c3jmp 0x16c686
0016c6c5
0016c6c5 0f 1f 00 ...
0016c6c8
0016c6c8loc_16c6c8:
0016c6c8mov rax, [rdi+8]
0016c6ccmov [rsp+8], rax
0016c6d1mov rbx, [rcx]
0016c6d4cmp rsi, 1
0016c6d8je 0x16c708
0016c6dalea rax, [rip+0x1a575f]
0016c6e1mov rax, [rax+104]
0016c6e5call Stdlib.List.find_all
0016c6eamov rbx, rax
0016c6edmov rax, [rsp]
0016c6f1call camlUtil.inter_399
0016c6f6mov rbx, rax
0016c6f9mov eax, 3
0016c6femov rdi, [rsp+8]
0016c703jmp 0x16c686
0016c705
0016c705 0f 1f 00 ...
0016c708
0016c708loc_16c708:
0016c708lea rax, [rip+0x1a5731]
0016c70fmov rax, [rax+104]
0016c713call Stdlib.List.find_all
0016c718mov rbx, rax
0016c71bmov eax, 3
0016c720mov rdi, [rsp+8]
0016c725jmp 0x16c686
0016c72a
0016c72a 66 90 f.
0016c72c
0016c72cloc_16c72c:
0016c72cmov eax, 1
0016c731add rsp, 16
0016c735ret
0016c736
0016c736loc_16c736:
0016c736call caml_call_gc
0016c73bjmp 0x16c692
0016c740
0016c740loc_16c740:
0016c740push 35
0016c742call caml_call_realloc_stack
0016c747pop r10
0016c749jmp 0x16c682
0016c670

0016c74e
0016c74e // align 0x10

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