File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00175cf0
    00175cf0camlUtil.fun_494:
    00175cf0mov rdi, rax
    00175cf3mov rax, [rbx+16]
    00175cf7mov rbx, rdi
    00175cfajmp 0x1768e0
    00175cf0
    00175cff
    00175cff // align 0x10
    00175d00
    00175d00camlUtil.there_374:
    00175d00sub r15, 32
    00175d04cmp r15, [r14]
    00175d07jb 0x175d39
    00175d09
    00175d09loc_175d09:
    00175d09lea rdi, [r15+8]
    00175d0dmov [rdi-8], 3319
    00175d15lea rsi, [rip-44]
    00175d1cmov [rdi], rsi
    00175d1fmov rsi, 0x100000000000005
    00175d29mov [rdi+8], rsi
    00175d2dmov [rdi+16], rax
    00175d31mov rax, rdi
    00175d34jmp 0x1a0c10
    00175d39
    00175d39loc_175d39:
    00175d39call caml_call_gc
    00175d3ejmp 0x175d09
    00175d00
    00175d40
    00175d40camlUtil.inter_399:
    00175d40mov rdi, rax
    00175d43sub r15, 40
    00175d47cmp r15, [r14]
    00175d4ajb 0x175d89
    00175d4c
    00175d4cloc_175d4c:
    00175d4clea rax, [r15+8]
    00175d50mov [rax-8], 4343
    00175d58lea rsi, [rip-0x7ed3f]
    00175d5fmov [rax], rsi
    00175d62mov rsi, 0x200000000000007
    00175d6cmov [rax+8], rsi
    00175d70lea rsi, [rip+25]
    00175d77mov [rax+16], rsi
    00175d7bmov [rax+24], rbx
    00175d7fmov ebx, 1
    00175d84jmp 0x1a0430
    00175d89
    00175d89loc_175d89:
    00175d89call caml_call_gc
    00175d8ejmp 0x175d4c
    00175d40
    00175d90
    00175d90camlUtil.fun_498:
    00175d90lea r10, [rsp-336]
    00175d98cmp r10, [r14+40]
    00175d9cjb 0x175df9
    00175d9e
    00175d9eloc_175d9e:
    00175d9esub rsp, 16
    00175da2mov [rsp+8], rax
    00175da7mov rax, rbx
    00175daamov [rsp], rax
    00175daemov rbx, [rdi+24]
    00175db2call camlUtil.there_374
    00175db7cmp rax, 1
    00175dbbje 0x175de8
    00175dbdsub r15, 24
    00175dc1cmp r15, [r14]
    00175dc4jb 0x175df2
    00175dc6
    00175dc6loc_175dc6:
    00175dc6lea rax, [r15+8]
    00175dcamov [rax-8], 2048
    00175dd2mov rbx, [rsp]
    00175dd6mov [rax], rbx
    00175dd9mov rbx, [rsp+8]
    00175ddemov [rax+8], rbx
    00175de2add rsp, 16
    00175de6ret
    00175de7
    00175de7 90 .
    00175de8
    00175de8loc_175de8:
    00175de8mov rax, [rsp+8]
    00175dedadd rsp, 16
    00175df1ret
    00175df2
    00175df2loc_175df2:
    00175df2call caml_call_gc
    00175df7jmp 0x175dc6
    00175df9
    00175df9loc_175df9:
    00175df9push 35
    00175dfbcall caml_call_realloc_stack
    00175e00pop r10
    00175e02jmp 0x175d9e
    00175d90
    00175e04
    00175e04 // align 0x10
    00175e10
    00175e10camlUtil.sub_405:
    00175e10mov rdi, rax
    00175e13sub r15, 40
    00175e17cmp r15, [r14]
    00175e1ajb 0x175e59
    00175e1c
    00175e1cloc_175e1c:
    00175e1clea rax, [r15+8]
    00175e20mov [rax-8], 4343
    00175e28lea rsi, [rip-0x7ee0f]
    00175e2fmov [rax], rsi
    00175e32mov rsi, 0x200000000000007
    00175e3cmov [rax+8], rsi
    00175e40lea rsi, [rip+25]
    00175e47mov [rax+16], rsi
    00175e4bmov [rax+24], rbx
    00175e4fmov ebx, 1
    00175e54jmp 0x1a0430
    00175e59
    00175e59loc_175e59:
    00175e59call caml_call_gc
    00175e5ejmp 0x175e1c
    00175e10
    00175e60
    00175e60camlUtil.fun_502:
    00175e60lea r10, [rsp-336]
    00175e68cmp r10, [r14+40]
    00175e6cjb 0x175ec9
    00175e6e
    00175e6eloc_175e6e:
    00175e6esub rsp, 16
    00175e72mov [rsp+8], rax
    00175e77mov rax, rbx
    00175e7amov [rsp], rax
    00175e7emov rbx, [rdi+24]
    00175e82call camlUtil.there_374
    00175e87cmp rax, 1
    00175e8bje 0x175e98
    00175e8dmov rax, [rsp+8]
    00175e92add rsp, 16
    00175e96ret
    00175e97
    00175e97 90 .
    00175e98
    00175e98loc_175e98:
    00175e98sub r15, 24
    00175e9ccmp r15, [r14]
    00175e9fjb 0x175ec2
    00175ea1
    00175ea1loc_175ea1:
    00175ea1lea rax, [r15+8]
    00175ea5mov [rax-8], 2048
    00175eadmov rbx, [rsp]
    00175eb1mov [rax], rbx
    00175eb4mov rbx, [rsp+8]
    00175eb9mov [rax+8], rbx
    00175ebdadd rsp, 16
    00175ec1ret
    00175ec2
    00175ec2loc_175ec2:
    00175ec2call caml_call_gc
    00175ec7jmp 0x175ea1
    00175ec9
    00175ec9loc_175ec9:
    00175ec9push 35
    00175ecbcall caml_call_realloc_stack
    00175ed0pop r10
    00175ed2jmp 0x175e6e
    00175e60
    00175ed4
    00175ed4 // align 0x10
    00175ee0
    00175ee0camlUtil.union_411:
    00175ee0mov rsi, rax
    00175ee3mov rdi, rbx
    00175ee6lea rax, [rip+0x19b89b]
    00175eedmov rbx, rsi
    00175ef0jmp 0x1a0430
    00175ee0
    00175ef5
    00175ef5 // align 0x10
    00175f00
    00175f00camlUtil.fun_506:
    00175f00lea r10, [rsp-336]
    00175f08cmp r10, [r14+40]
    00175f0cjb 0x175f6d
    00175f0e
    00175f0eloc_175f0e:
    00175f0esub rsp, 16
    00175f12mov rdi, rax
    00175f15mov [rsp+8], rdi
    00175f1amov rax, rbx
    00175f1dmov [rsp], rax
    00175f21mov rbx, rdi
    00175f24call camlUtil.there_374
    00175f29cmp rax, 1
    00175f2dje 0x175f3c
    00175f2fmov rax, [rsp+8]
    00175f34add rsp, 16
    00175f38ret
    00175f39
    00175f39 0f 1f 00 ...
    00175f3c
    00175f3cloc_175f3c:
    00175f3csub r15, 24
    00175f40cmp r15, [r14]
    00175f43jb 0x175f66
    00175f45
    00175f45loc_175f45:
    00175f45lea rax, [r15+8]
    00175f49mov [rax-8], 2048
    00175f51mov rbx, [rsp]
    00175f55mov [rax], rbx
    00175f58mov rbx, [rsp+8]
    00175f5dmov [rax+8], rbx
    00175f61add rsp, 16
    00175f65ret
    00175f66
    00175f66loc_175f66:
    00175f66call caml_call_gc
    00175f6bjmp 0x175f45
    00175f6d
    00175f6dloc_175f6d:
    00175f6dpush 35
    00175f6fcall caml_call_realloc_stack
    00175f74pop r10
    00175f76jmp 0x175f0e
    00175f00
    00175f78
    00175f78 // align 0x10
    00175f80
    00175f80camlUtil.neutral_417:
    00175f80mov rbx, rax
    00175f83lea rax, [rip+0x19beb6]
    00175f8amov rax, [rax+104]
    00175f8ejmp 0x1a23e0
    00175f80
    00175f93
    00175f93 // align 0x10
    00175fa0
    00175fa0camlUtil.is_blank_420:
    00175fa0mov rbx, rax
    00175fa3cmp r15, [r14]
    00175fa6jbe 0x175fe1
    00175fa8
    00175fa8loc_175fa8:
    00175fa8movzx rax, [rbx-8]
    00175fadlea rdx, [rip+0xb64f4]
    00175fb4movsxd rax, [rdx+4*rax]
    00175fb8add rdx, rax
    00175fbbjmp rdx
    00175fbdnop [rax]
    00175fc0mov eax, 1
    00175fc5ret
    00175fc6nop
    00175fc8mov eax, 3
    00175fcdret
    00175fcenop
    00175fd0mov rax, [rbx+8]
    00175fd4jmp 0x175fdc
    00175fd6nop
    00175fd8mov rax, [rbx+16]
    00175fdc
    00175fdcloc_175fdc:
    00175fdcjmp 0x175ff0
    00175fe1
    00175fe1loc_175fe1:
    00175fe1call caml_call_gc
    00175fe6jmp 0x175fa8
    00175fa0
    00175fe8
    00175fe8 // align 0x10
    00175ff0
    00175ff0camlUtil.is_blanks_421:
    00175ff0lea r10, [rsp-328]
    00175ff8cmp r10, [r14+40]
    00175ffcjb 0x176045
    00175ffe
    00175ffeloc_175ffe:
    00175ffesub rsp, 8
    00176002
    00176002loc_176002:
    00176002cmp r15, [r14]
    00176005jbe 0x17603e
    00176007
    00176007loc_176007:
    00176007test al, 1
    00176009je 0x176018
    0017600bmov eax, 3
    00176010add rsp, 8
    00176014ret
    00176015
    00176015 0f 1f 00 ...
    00176018
    00176018loc_176018:
    00176018mov [rsp], rax
    0017601cmov rax, [rax]
    0017601fcall camlUtil.is_blank_420
    00176024cmp rax, 1
    00176028je 0x176034
    0017602amov rax, [rsp]
    0017602emov rax, [rax+8]
    00176032jmp 0x176002
    00176034
    00176034loc_176034:
    00176034mov eax, 1
    00176039add rsp, 8
    0017603dret
    0017603e
    0017603eloc_17603e:
    0017603ecall caml_call_gc
    00176043jmp 0x176007
    00176045
    00176045loc_176045:
    00176045push 34
    00176047call caml_call_realloc_stack
    0017604cpop r10
    0017604ejmp 0x175ffe
    00175ff0
    00176050
    00176050camlUtil.nodes_428:
    00176050test al, 1
    00176052je 0x176058
    00176054mov rax, rbx
    00176057ret
    00176058
    00176058loc_176058:
    00176058sub r15, 48
    0017605ccmp r15, [r14]
    0017605fjb 0x176090
    00176061
    00176061loc_176061:
    00176061lea rdi, [r15+8]
    00176065add rdi, 24
    00176069mov [rdi-8], 2050
    00176071mov [rdi], rax
    00176074mov [rdi+8], rbx
    00176078lea rax, [rdi-24]
    0017607cmov [rax-8], 2048
    00176084mov [rax], rdi
    00176087mov [rax+8], 1
    0017608fret
    00176090
    00176090loc_176090:
    00176090call caml_call_gc
    00176095jmp 0x176061
    00176050
    00176097
    00176097 // align 0x10
    001760a0
    001760a0camlUtil.node_429:
    001760a0sub r15, 24
    001760a4cmp r15, [r14]
    001760a7jb 0x1760c0
    001760a9
    001760a9loc_1760a9:
    001760a9lea rdi, [r15+8]
    001760admov [rdi-8], 2050
    001760b5mov [rdi], rax
    001760b8mov [rdi+8], rbx
    001760bcmov rax, rdi
    001760bfret
    001760c0
    001760c0loc_1760c0:
    001760c0call caml_call_gc
    001760c5jmp 0x1760a9
    001760a0
    001760c7
    001760c7 // align 0x10
    001760d0
    001760d0camlUtil.entry:
    001760d0lea r12, [rip+0x19b6d1]
    001760d7lea rdi, [rip+0x19b76a]
    001760deadd rdi, 96
    001760e2mov rsi, r12
    001760e5mov rbx, rsp
    001760e8mov rsp, [r14+64]
    001760eccall caml_initialize
    001760f1mov rsp, rbx
    001760f4mov rsi, r12
    001760f7add rsi, 32
    001760fblea rdi, [rip+0x19b746]
    00176102add rdi, 104
    00176106mov rbx, rsp
    00176109mov rsp, [r14+64]
    0017610dcall caml_initialize
    00176112mov rsp, rbx
    00176115lea rsi, [rip+0x19b6ec]
    0017611clea r12, [rip+0x19b6c5]
    00176123lea rdi, [rip+0x19b71e]
    0017612amov rbx, rsp
    0017612dmov rsp, [r14+64]
    00176131call caml_initialize
    00176136mov rsp, rbx
    00176139lea rdi, [rip+0x19b708]
    00176140add rdi, 8
    00176144mov rsi, r12
    00176147mov rbx, rsp
    0017614amov rsp, [r14+64]
    0017614ecall caml_initialize
    00176153mov rsp, rbx
    00176156lea rsi, [rip+0x19b6cb]
    0017615dlea rdi, [rip+0x19b6e4]
    00176164add rdi, 16
    00176168mov rbx, rsp
    0017616bmov rsp, [r14+64]
    0017616fcall caml_initialize
    00176174mov rsp, rbx
    00176177lea rsi, [rip+0x19b502]
    0017617elea rdi, [rip+0x19b6c3]
    00176185add rdi, 24
    00176189mov rbx, rsp
    0017618cmov rsp, [r14+64]
    00176190call caml_initialize
    00176195mov rsp, rbx
    00176198lea rsi, [rip+0x19b501]
    0017619flea rdi, [rip+0x19b6a2]
    001761a6add rdi, 32
    001761aamov rbx, rsp
    001761admov rsp, [r14+64]
    001761b1call caml_initialize
    001761b6mov rsp, rbx
    001761b9lea rsi, [rip+0x19b500]
    001761c0lea rdi, [rip+0x19b681]
    001761c7add rdi, 48
    001761cbmov rbx, rsp
    001761cemov rsp, [r14+64]
    001761d2call caml_initialize
    001761d7mov rsp, rbx
    001761dalea rsi, [rip+0x19b4ff]
    001761e1lea rdi, [rip+0x19b660]
    001761e8add rdi, 40
    001761ecmov rbx, rsp
    001761efmov rsp, [r14+64]
    001761f3call caml_initialize
    001761f8mov rsp, rbx
    001761fblea rsi, [rip+0x19b4fe]
    00176202lea rdi, [rip+0x19b63f]
    00176209add rdi, 56
    0017620dmov rbx, rsp
    00176210mov rsp, [r14+64]
    00176214call caml_initialize
    00176219mov rsp, rbx
    0017621clea r12, [rip+0x19b4f5]
    00176223lea rdi, [rip+0x19b61e]
    0017622aadd rdi, 64
    0017622emov rsi, r12
    00176231mov rbx, rsp
    00176234mov rsp, [r14+64]
    00176238call caml_initialize
    0017623dmov rsp, rbx
    00176240mov rsi, r12
    00176243add rsi, 24
    00176247lea rdi, [rip+0x19b5fa]
    0017624eadd rdi, 72
    00176252mov rbx, rsp
    00176255mov rsp, [r14+64]
    00176259call caml_initialize
    0017625emov rsp, rbx
    00176261lea rsi, [rip+0x19b500]
    00176268lea r12, [rip+0x19b4d9]
    0017626flea rdi, [rip+0x19b5d2]
    00176276add rdi, 80
    0017627amov rbx, rsp
    0017627dmov rsp, [r14+64]
    00176281call caml_initialize
    00176286mov rsp, rbx
    00176289lea rdi, [rip+0x19b5b8]
    00176290add rdi, 88
    00176294mov rsi, r12
    00176297mov rbx, rsp
    0017629amov rsp, [r14+64]
    0017629ecall caml_initialize
    001762a3mov rsp, rbx
    001762a6mov eax, 1
    001762abret
    001760d0
    001762ac
    001762ac // align 0x10
    001762b0
    001762b0camlHtmltext.do_cost_301:
    001762b0mov r8, rax
    001762b3mov rcx, rdx
    001762b6cmp r15, [r14]
    001762b9jbe 0x176376
    001762bf
    001762bfloc_1762bf:
    001762bftest cl, 1
    001762c2je 0x1762e8
    001762c4sub r15, 24
    001762c8cmp r15, [r14]
    001762cbjb 0x17636c
    001762d1
    001762d1loc_1762d1:
    001762d1lea rax, [r15+8]
    001762d5mov [rax-8], 2048
    001762ddmov [rax], rdi
    001762e0mov [rax+8], rsi
    001762e4ret
    001762e5nop [rax]
    001762e8
    001762e8loc_1762e8:
    001762e8mov rax, [rcx]
    001762ebmov r9, [rax]
    001762eetest r9b, 1
    001762f2jne 0x17635c
    001762f4movzx rax, [r9-8]
    001762f9lea rdx, [rip+0xb61b8]
    00176300movsxd rax, [rdx+4*rax]
    00176304add rdx, rax
    00176307jmp rdx
    00176309nop [rax]
    0017630cmov rax, [r9]
    0017630ftest al, 1
    00176311jne 0x17635c
    00176313jmp 0x176338
    00176315nop [rax]
    00176318cmp r8, 1
    0017631cje 0x176320
    0017631ejmp 0x176324
    00176320
    00176320loc_176320:
    00176320add rdi, 2
    00176324
    00176324loc_176324:
    00176324mov rdx, [rcx+8]
    00176328add rsi, 2
    0017632cmov eax, 3
    00176331jmp 0x1762b0
    00176336nop
    00176338
    00176338loc_176338:
    00176338cmp rbx, 1
    0017633cje 0x176340
    0017633ejmp 0x176344
    00176340
    00176340loc_176340:
    00176340add rdi, 2
    00176344
    00176344loc_176344:
    00176344mov rdx, [rcx+8]
    00176348add rsi, 2
    0017634cmov ebx, 3
    00176351mov rax, r8
    00176354jmp 0x1762b0
    00176359nop [rax]
    0017635c
    0017635cloc_17635c:
    0017635cmov rdx, [rcx+8]
    00176360add rdi, 2
    00176364mov rax, r8
    00176367jmp 0x1762b0
    0017636c
    0017636cloc_17636c:
    0017636ccall caml_call_gc
    00176371jmp 0x1762d1
    00176376
    00176376loc_176376:
    00176376call caml_call_gc
    0017637bjmp 0x1762bf
    001762b0
    00176380
    00176380camlHtmltext.cost_310:
    00176380mov rdx, rax
    00176383mov esi, 1
    00176388mov edi, 1
    0017638dmov ebx, 1
    00176392mov eax, 1
    00176397jmp 0x1762b0
    00176380
    0017639c
    0017639c // align 0x10
    001763a0
    001763a0camlHtmltext.add_size_314:
    001763a0lea rbx, [rip+0x19d119]
    001763a7mov rbx, [rbx+8]
    001763abmov rbx, [rbx]
    001763aelea rax, [rbx+rax-1]
    001763b3mov rbx, rax
    001763b6add rbx, -2
    001763bacmp rbx, 13
    001763bejbe 0x1763d8
    001763c0lea rax, [rip+0x19ba79]
    001763c7mov rax, [rax]
    001763camov rsp, [r14+48]
    001763cepop [r14+48]
    001763d2pop r11
    001763d4jmp r11
    001763d7nop
    001763d8
    001763d8loc_1763d8:
    001763d8ret
    001763a0
    001763d9
    001763d9 // align 0x10
    001763e0
    001763e0camlHtmltext.size_val_318:
    001763e0mov rbx, [rax-8]
    001763e4shr rbx, 10
    001763e8cmp rbx, 2
    001763ecjge 0x176674
    001763f2mov rax, [rax]
    001763f5mov rbx, 0x50000000000352d
    001763ffcmp rax, rbx
    00176402jge 0x176540
    00176408mov rbx, 0x50000000000332b
    00176412cmp rax, rbx
    00176415jge 0x1764a0
    0017641bmov rbx, 0x50000000000322b
    00176425cmp rax, rbx
    00176428jge 0x176464
    0017642amov rbx, 0x50000000000312b
    00176434cmp rax, rbx
    00176437jne 0x176444
    00176439mov eax, 3
    0017643ejmp 0x1763a0
    00176443nop
    00176444
    00176444loc_176444:
    00176444mov rbx, 0x50000000000312d
    0017644ecmp rax, rbx
    00176451jne 0x176674
    00176457mov rax, -1
    0017645ejmp 0x1763a0
    00176463nop
    00176464
    00176464loc_176464:
    00176464mov rbx, 0x50000000000322b
    0017646ecmp rax, rbx
    00176471jne 0x176480
    00176473mov eax, 5
    00176478jmp 0x1763a0
    0017647dnop [rax]
    00176480
    00176480loc_176480:
    00176480mov rbx, 0x50000000000322d
    0017648acmp rax, rbx
    0017648djne 0x176674
    00176493mov rax, -3
    0017649ajmp 0x1763a0
    0017649fnop
    001764a0
    001764a0loc_1764a0:
    001764a0mov rbx, 0x50000000000342b
    001764aacmp rax, rbx
    001764adjge 0x1764e8
    001764afmov rbx, 0x50000000000332b
    001764b9cmp rax, rbx
    001764bcjne 0x1764c8
    001764bemov eax, 7
    001764c3jmp 0x1763a0
    001764c8
    001764c8loc_1764c8:
    001764c8mov rbx, 0x50000000000332d
    001764d2cmp rax, rbx
    001764d5jne 0x176674
    001764dbmov rax, -5
    001764e2jmp 0x1763a0
    001764e7nop
    001764e8
    001764e8loc_1764e8:
    001764e8mov rbx, 0x50000000000342b
    001764f2cmp rax, rbx
    001764f5jne 0x176504
    001764f7mov eax, 9
    001764fcjmp 0x1763a0
    00176501nop [rax]
    00176504
    00176504loc_176504:
    00176504mov rbx, 0x50000000000342d
    0017650ecmp rax, rbx
    00176511jne 0x176520
    00176513mov rax, -7
    0017651ajmp 0x1763a0
    0017651fnop
    00176520
    00176520loc_176520:
    00176520mov rbx, 0x50000000000352b
    0017652acmp rax, rbx
    0017652djne 0x176674
    00176533mov eax, 11
    00176538jmp 0x1763a0
    0017653dnop [rax]
    00176540
    00176540loc_176540:
    00176540mov rbx, 0x600000000000033
    0017654acmp rax, rbx
    0017654djge 0x1765f0
    00176553mov rbx, 0x50000000000362d
    0017655dcmp rax, rbx
    00176560jge 0x1765a0
    00176562mov rbx, 0x50000000000352d
    0017656ccmp rax, rbx
    0017656fjne 0x176580
    00176571mov rax, -9
    00176578jmp 0x1763a0
    0017657dnop [rax]
    00176580
    00176580loc_176580:
    00176580mov rbx, 0x50000000000362b
    0017658acmp rax, rbx
    0017658djne 0x176674
    00176593mov eax, 13
    00176598jmp 0x1763a0
    0017659dnop [rax]
    001765a0
    001765a0loc_1765a0:
    001765a0mov rbx, 0x50000000000362d
    001765aacmp rax, rbx
    001765adjne 0x1765bc
    001765afmov rax, -11
    001765b6jmp 0x1763a0
    001765bbnop
    001765bc
    001765bcloc_1765bc:
    001765bcmov rbx, 0x600000000000031
    001765c6cmp rax, rbx
    001765c9jne 0x1765d4
    001765cbmov eax, 3
    001765d0ret
    001765d1nop [rax]
    001765d4
    001765d4loc_1765d4:
    001765d4mov rbx, 0x600000000000032
    001765decmp rax, rbx
    001765e1jne 0x176674
    001765e7mov eax, 5
    001765ecret
    001765ednop [rax]
    001765f0
    001765f0loc_1765f0:
    001765f0mov rbx, 0x600000000000035
    001765facmp rax, rbx
    001765fdjge 0x17662c
    001765ffmov rbx, 0x600000000000033
    00176609cmp rax, rbx
    0017660cjne 0x176614
    0017660emov eax, 7
    00176613ret
    00176614
    00176614loc_176614:
    00176614mov rbx, 0x600000000000034
    0017661ecmp rax, rbx
    00176621jne 0x176674
    00176623mov eax, 9
    00176628ret
    00176629nop [rax]
    0017662c
    0017662cloc_17662c:
    0017662cmov rbx, 0x600000000000035
    00176636cmp rax, rbx
    00176639jne 0x176644
    0017663bmov eax, 11
    00176640ret
    00176641nop [rax]
    00176644
    00176644loc_176644:
    00176644mov rbx, 0x600000000000036
    0017664ecmp rax, rbx
    00176651jne 0x17665c
    00176653mov eax, 13
    00176658ret
    00176659nop [rax]
    0017665c
    0017665cloc_17665c:
    0017665cmov rbx, 0x600000000000037
    00176666cmp rax, rbx
    00176669jne 0x176674
    0017666bmov eax, 15
    00176670ret
    00176671nop [rax]
    00176674
    00176674loc_176674:
    00176674lea rax, [rip+0x19b7c5]
    0017667bmov rax, [rax]
    0017667emov rsp, [r14+48]
    00176682pop [r14+48]
    00176686pop r11
    00176688jmp r11
    001763e0
    0017668b
    0017668b // align 0x10
    00176690
    00176690camlHtmltext.color_val_321:
    00176690lea r10, [rsp-320]
    00176698cmp r10, [r14+40]
    0017669cjb 0x1768d1
    001766a2
    001766a2loc_1766a2:
    001766a2mov rbx, rax
    001766a5lea rax, [rip+0x1bd8d4]
    001766acmov rax, [rax+16]
    001766b0call Stdlib.Bytes.map
    001766b5mov rbx, [rax-8]
    001766b9shr rbx, 10
    001766bdcmp rbx, 2
    001766c1jge 0x1768d0
    001766c7mov rbx, [rax]
    001766camov rdi, 0x30383030303823
    001766d4cmp rbx, rdi
    001766d7jge 0x1767dc
    001766ddmov rdi, 0x30303038303823
    001766e7cmp rbx, rdi
    001766eajge 0x176764
    001766ecmov rdi, 0x30303030666623
    001766f6cmp rbx, rdi
    001766f9jge 0x176730
    001766fbmov rdi, 0x30303030303023
    00176705cmp rbx, rdi
    00176708jne 0x176714
    0017670alea rax, [rip+0x19b967]
    00176711ret
    00176712
    00176712 66 90 f.
    00176714
    00176714loc_176714:
    00176714mov rdi, 0x30303030303823
    0017671ecmp rbx, rdi
    00176721jne 0x1768d0
    00176727lea rax, [rip+0x19b822]
    0017672eret
    0017672f
    0017672f 90 .
    00176730
    00176730loc_176730:
    00176730mov rdi, 0x30303030666623
    0017673acmp rbx, rdi
    0017673djne 0x176748
    0017673flea rax, [rip+0x19b99a]
    00176746ret
    00176747
    00176747 90 .
    00176748
    00176748loc_176748:
    00176748mov rdi, 0x30303038303023
    00176752cmp rbx, rdi
    00176755jne 0x1768d0
    0017675blea rax, [rip+0x19b82e]
    00176762ret
    00176763
    00176763 90 .
    00176764
    00176764loc_176764:
    00176764mov rdi, 0x30306666666623
    0017676ecmp rbx, rdi
    00176771jge 0x1767a8
    00176773mov rdi, 0x30303038303823
    0017677dcmp rbx, rdi
    00176780jne 0x17678c
    00176782lea rax, [rip+0x19b987]
    00176789ret
    0017678a
    0017678a 66 90 f.
    0017678c
    0017678cloc_17678c:
    0017678cmov rdi, 0x30306666303023
    00176796cmp rbx, rdi
    00176799jne 0x1768d0
    0017679flea rax, [rip+0x19b7ca]
    001767a6ret
    001767a7
    001767a7 90 .
    001767a8
    001767a8loc_1767a8:
    001767a8mov rdi, 0x30306666666623
    001767b2cmp rbx, rdi
    001767b5jne 0x1767c0
    001767b7lea rax, [rip+0x19b902]
    001767beret
    001767bf
    001767bf 90 .
    001767c0
    001767c0loc_1767c0:
    001767c0mov rdi, 0x30383030303023
    001767cacmp rbx, rdi
    001767cdjne 0x1768d0
    001767d3lea rax, [rip+0x19b7d6]
    001767daret
    001767db
    001767db 90 .
    001767dc
    001767dcloc_1767dc:
    001767dcmov rdi, 0x66663030303023
    001767e6cmp rbx, rdi
    001767e9jge 0x176860
    001767ebmov rdi, 0x30383038303823
    001767f5cmp rbx, rdi
    001767f8jge 0x176830
    001767famov rdi, 0x30383030303823
    00176804cmp rbx, rdi
    00176807jne 0x176814
    00176809lea rax, [rip+0x19b910]
    00176810ret
    00176811
    00176811 0f 1f 00 ...
    00176814
    00176814loc_176814:
    00176814mov rdi, 0x30383038303023
    0017681ecmp rbx, rdi
    00176821jne 0x1768d0
    00176827lea rax, [rip+0x19b752]
    0017682eret
    0017682f
    0017682f 90 .
    00176830
    00176830loc_176830:
    00176830mov rdi, 0x30383038303823
    0017683acmp rbx, rdi
    0017683djne 0x176848
    0017683flea rax, [rip+0x19b8ba]
    00176846ret
    00176847
    00176847 90 .
    00176848
    00176848loc_176848:
    00176848mov rdi, 0x30633063306323
    00176852cmp rbx, rdi
    00176855jne 0x1768d0
    00176857lea rax, [rip+0x19b892]
    0017685eret
    0017685f
    0017685f 90 .
    00176860
    00176860loc_176860:
    00176860mov rdi, 0x66666666303023
    0017686acmp rbx, rdi
    0017686djge 0x1768a0
    0017686fmov rdi, 0x66663030303023
    00176879cmp rbx, rdi
    0017687cjne 0x176888
    0017687elea rax, [rip+0x19b71b]
    00176885ret
    00176886
    00176886 66 90 f.
    00176888
    00176888loc_176888:
    00176888mov rdi, 0x66663030666623
    00176892cmp rbx, rdi
    00176895jne 0x1768d0
    00176897lea rax, [rip+0x19b832]
    0017689eret
    0017689f
    0017689f 90 .
    001768a0
    001768a0loc_1768a0:
    001768a0mov rdi, 0x66666666303023
    001768aacmp rbx, rdi
    001768adjne 0x1768b8
    001768aflea rax, [rip+0x19b6aa]
    001768b6ret
    001768b7
    001768b7 90 .
    001768b8
    001768b8loc_1768b8:
    001768b8mov rdi, 0x66666666666623
    001768c2cmp rbx, rdi
    001768c5jne 0x1768d0
    001768c7lea rax, [rip+0x19b7e2]
    001768ceret
    001768cf
    001768cf 90 .
    001768d0
    001768d0loc_1768d0:
    001768d0ret
    001768d1
    001768d1loc_1768d1:
    001768d1push 33
    001768d3call caml_call_realloc_stack
    001768d8pop r10
    001768dajmp 0x1766a2
    00176690
    001768df
    001768df // align 0x10
    001768e0
    001768e0camlHtmltext.same_style_394:
    001768e0mov rcx, [rax]
    001768e3mov rdi, [rbx]
    001768e6test cl, 1
    001768e9je 0x176910
    001768ebtest dil, 1
    001768efje 0x176a14
    001768f5mov rsi, [rbx+8]
    001768f9mov rdi, [rax+8]
    001768fdmov rbx, rsp
    00176900mov rsp, [r14+64]
    00176904call caml_string_equal
    00176909mov rsp, rbx
    0017690cret
    0017690dnop [rax]
    00176910
    00176910loc_176910:
    00176910movzx rax, [rcx-8]
    00176915lea rdx, [rip+0xb5bb0]
    0017691cmovsxd rax, [rdx+4*rax]
    00176920add rdx, rax
    00176923jmp rdx
    00176925nop [rax]
    00176928test dil, 1
    0017692cjne 0x176a14
    00176932movzx rax, [rdi-8]
    00176937test rax, rax
    0017693ajne 0x176a14
    00176940mov rax, [rdi]
    00176943mov rbx, [rcx]
    00176946cmp rbx, rax
    00176949sete al
    0017694cmovzx rax, al
    00176950lea rax, [rax+rax+1]
    00176955ret
    00176956nop
    00176958test dil, 1
    0017695cjne 0x176a14
    00176962movzx rax, [rdi-8]
    00176967cmp rax, 1
    0017696bjne 0x176a14
    00176971mov rsi, [rdi]
    00176974mov rdi, [rcx]
    00176977lea rax, [rip+0x89f62]
    0017697ecall caml_c_call
    00176983ret
    00176984test dil, 1
    00176988jne 0x176a14
    0017698emovzx rax, [rdi-8]
    00176993cmp rax, 2
    00176997jne 0x176a14
    00176999mov rsi, [rdi]
    0017699cmov rdi, [rcx]
    0017699fmov rbx, rsp
    001769a2mov rsp, [r14+64]
    001769a6call caml_string_equal
    001769abmov rsp, rbx
    001769aeret
    001769afnop
    001769b0test dil, 1
    001769b4jne 0x176a14
    001769b6movzx rax, [rdi-8]
    001769bbcmp rax, 3
    001769bfjne 0x176a14
    001769c1mov rsi, [rdi]
    001769c4mov rdi, [rcx]
    001769c7mov rbx, rsp
    001769camov rsp, [r14+64]
    001769cecall caml_string_equal
    001769d3mov rsp, rbx
    001769d6ret
    001769d7nop
    001769d8test dil, 1
    001769dcjne 0x176a14
    001769demovzx rax, [rdi-8]
    001769e3cmp rax, 4
    001769e7jl 0x176a14
    001769e9mov rax, [rdi]
    001769ecmov rbx, [rcx]
    001769efcmp rbx, rax
    001769f2jne 0x176a0c
    001769f4mov rsi, [rdi+8]
    001769f8mov rdi, [rcx+8]
    001769fcmov rbx, rsp
    001769ffmov rsp, [r14+64]
    00176a03call caml_string_equal
    00176a08mov rsp, rbx
    00176a0bret
    00176a0c
    00176a0cloc_176a0c:
    00176a0cmov eax, 1
    00176a11ret
    00176a12nop
    00176a14
    00176a14loc_176a14:
    00176a14mov eax, 1
    00176a19ret
    001768e0
    00176a1a
    00176a1a // align 0x10
    00176a20
    00176a20camlHtmltext.is_color_410:
    00176a20mov rbx, rax
    00176a23test bl, 1
    00176a26jne 0x176a48
    00176a28movzx rax, [rbx-8]
    00176a2dcmp rax, 2
    00176a31jl 0x176a48
    00176a33add rax, -2
    00176a37cmp rax, 1
    00176a3bjb 0x176a50
    00176a3dje 0x176a48
    00176a3fmov rax, [rbx]
    00176a42cmp rax, 11
    00176a46je 0x176a50
    00176a48
    00176a48loc_176a48:
    00176a48mov eax, 1
    00176a4dret
    00176a4e
    00176a4e 66 90 f.
    00176a50
    00176a50loc_176a50:
    00176a50mov eax, 3
    00176a55ret
    00176a20
    00176a56
    00176a56 // align 0x10
    00176a60
    00176a60camlHtmltext.is_size_411:
    00176a60test al, 1
    00176a62jne 0x176a7e
    00176a64movzx rbx, [rax-8]
    00176a69cmp rbx, 1
    00176a6dje 0x176a84
    00176a6fcmp rbx, 4
    00176a73jl 0x176a7e
    00176a75mov rax, [rax]
    00176a78cmp rax, 9
    00176a7cje 0x176a84
    00176a7e
    00176a7eloc_176a7e:
    00176a7emov eax, 1
    00176a83ret
    00176a84
    00176a84loc_176a84:
    00176a84mov eax, 3
    00176a89ret
    00176a60
    00176a8a
    00176a8a // align 0x10
    00176a90
    00176a90camlHtmltext.is_face_412:
    00176a90test al, 1
    00176a92jne 0x176aa8
    00176a94movzx rax, [rax-8]
    00176a99cmp rax, 3
    00176a9djne 0x176aa8
    00176a9fmov eax, 3
    00176aa4ret
    00176aa5
    00176aa5 0f 1f 00 ...
    00176aa8
    00176aa8loc_176aa8:
    00176aa8mov eax, 1
    00176aadret
    00176a90
    00176aae
    00176aae // align 0x10
    00176ab0
    00176ab0camlHtmltext.get_prop_420:
    00176ab0mov rbx, rax
    00176ab3test bl, 1
    00176ab6jne 0x176b18
    00176ab8movzx rax, [rbx-8]
    00176abdlea rdx, [rip+0xb5a1c]
    00176ac4movsxd rax, [rdx+4*rax]
    00176ac8add rdx, rax
    00176acbjmp rdx
    00176acdnop [rax]
    00176ad0lea rax, [rip+0x19b369]
    00176ad7mov rax, [rax+160]
    00176aderet
    00176adfnop
    00176ae0lea rax, [rip+0x19b359]
    00176ae7mov rax, [rax+168]
    00176aeeret
    00176aefnop
    00176af0mov rax, [rbx]
    00176af3cmp rax, 9
    00176af7jl 0x176b18
    00176af9add rax, -8
    00176afdsar rax, 1
    00176b00cmp rax, 1
    00176b04je 0x176b30
    00176b06ja 0x176b18
    00176b08lea rax, [rip+0x19b331]
    00176b0fmov rax, [rax+160]
    00176b16ret
    00176b17nop
    00176b18
    00176b18loc_176b18:
    00176b18lea rax, [rip+0x19b321]
    00176b1fmov rax, [rax+16]
    00176b23mov rsp, [r14+48]
    00176b27pop [r14+48]
    00176b2bpop r11
    00176b2djmp r11
    00176b30
    00176b30loc_176b30:
    00176b30lea rax, [rip+0x19b309]
    00176b37mov rax, [rax+152]
    00176b3eret
    00176ab0
    00176b3f
    00176b3f // align 0x10
    00176b40
    00176b40camlHtmltext.neutral_prop_423:
    00176b40mov rbx, rax
    00176b43cmp r15, [r14]
    00176b46jbe 0x176b54
    00176b48
    00176b48loc_176b48:
    00176b48lea rax, [rip+0x19b519]
    00176b4fmov rdi, [rbx]
    00176b52jmp rdi
    00176b54
    00176b54loc_176b54:
    00176b54call caml_call_gc
    00176b59jmp 0x176b48
    00176b40
    00176b5b
    00176b5b // align 0x10
    00176b60
    00176b60camlHtmltext.is_font_426:
    00176b60mov rbx, rax
    00176b63test bl, 1
    00176b66jne 0x176b87
    00176b68movzx rax, [rbx-8]
    00176b6dlea rdx, [rip+0xb5980]
    00176b74movsxd rax, [rdx+4*rax]
    00176b78add rdx, rax
    00176b7bjmp rdx
    00176b7dnop [rax]
    00176b80mov rax, [rbx]
    00176b83test al, 1
    00176b85je 0x176b90
    00176b87
    00176b87loc_176b87:
    00176b87mov eax, 1
    00176b8cret
    00176b8dnop [rax]
    00176b90
    00176b90loc_176b90:
    00176b90mov eax, 3
    00176b95ret
    00176b60
    00176b96
    00176b96 // align 0x10
    00176ba0
    00176ba0camlHtmltext.is_span_429:
    00176ba0test al, 1
    00176ba2jne 0x176bb8
    00176ba4movzx rax, [rax-8]
    00176ba9cmp rax, 4
    00176badjl 0x176bb8
    00176bafmov eax, 3
    00176bb4ret
    00176bb5
    00176bb5 0f 1f 00 ...
    00176bb8
    00176bb8loc_176bb8:
    00176bb8mov eax, 1
    00176bbdret
    00176ba0
    00176bbe
    00176bbe // align 0x10
    00176bc0
    00176bc0camlHtmltext.rem_prop_435:
    00176bc0lea r10, [rsp-344]
    00176bc8cmp r10, [r14+40]
    00176bccjb 0x176c6a
    00176bd2
    00176bd2loc_176bd2:
    00176bd2sub rsp, 24
    00176bd6mov rdi, rax
    00176bd9test bl, 1
    00176bdcje 0x176bfc
    00176bdelea rax, [rip+0x19b25b]
    00176be5mov rax, [rax+176]
    00176becmov rsp, [r14+48]
    00176bf0pop [r14+48]
    00176bf4pop r11
    00176bf6jmp r11
    00176bf9nop [rax]
    00176bfc
    00176bfcloc_176bfc:
    00176bfcmov [rsp], rdi
    00176c00mov rax, [rbx+8]
    00176c04mov [rsp+16], rax
    00176c09mov rax, [rbx]
    00176c0cmov [rsp+8], rax
    00176c11mov rax, [rax]
    00176c14mov rsi, [rdi]
    00176c17mov rbx, rdi
    00176c1acall rsi
    00176c1ccmp rax, 1
    00176c20je 0x176c2c
    00176c22mov rax, [rsp+16]
    00176c27add rsp, 24
    00176c2bret
    00176c2c
    00176c2cloc_176c2c:
    00176c2cmov rax, [rsp]
    00176c30mov rbx, [rsp+16]
    00176c35call camlHtmltext.rem_prop_435
    00176c3asub r15, 24
    00176c3ecmp r15, [r14]
    00176c41jb 0x176c63
    00176c43
    00176c43loc_176c43:
    00176c43lea rbx, [r15+8]
    00176c47mov [rbx-8], 2048
    00176c4fmov rdi, [rsp+8]
    00176c54mov [rbx], rdi
    00176c57mov [rbx+8], rax
    00176c5bmov rax, rbx
    00176c5eadd rsp, 24
    00176c62ret
    00176c63
    00176c63loc_176c63:
    00176c63call caml_call_gc
    00176c68jmp 0x176c43
    00176c6a
    00176c6aloc_176c6a:
    00176c6apush 36
    00176c6ccall caml_call_realloc_stack
    00176c71pop r10
    00176c73jmp 0x176bd2
    00176bc0
    00176c78
    00176c78 // align 0x10
    00176c80
    00176c80camlHtmltext.rem_style_441:
    00176c80lea r10, [rsp-344]
    00176c88cmp r10, [r14+40]
    00176c8cjb 0x176d22
    00176c92
    00176c92loc_176c92:
    00176c92sub rsp, 24
    00176c96test bl, 1
    00176c99je 0x176cb8
    00176c9blea rax, [rip+0x19b19e]
    00176ca2mov rax, [rax+176]
    00176ca9mov rsp, [r14+48]
    00176cadpop [r14+48]
    00176cb1pop r11
    00176cb3jmp r11
    00176cb6nop
    00176cb8
    00176cb8loc_176cb8:
    00176cb8mov [rsp], rax
    00176cbcmov rdi, [rbx+8]
    00176cc0mov [rsp+16], rdi
    00176cc5mov rbx, [rbx]
    00176cc8mov [rsp+8], rbx
    00176ccdcall camlHtmltext.same_style_394
    00176cd2cmp rax, 1
    00176cd6je 0x176ce4
    00176cd8mov rax, [rsp+16]
    00176cddadd rsp, 24
    00176ce1ret
    00176ce2nop
    00176ce4
    00176ce4loc_176ce4:
    00176ce4mov rax, [rsp]
    00176ce8mov rbx, [rsp+16]
    00176cedcall camlHtmltext.rem_style_441
    00176cf2sub r15, 24
    00176cf6cmp r15, [r14]
    00176cf9jb 0x176d1b
    00176cfb
    00176cfbloc_176cfb:
    00176cfblea rbx, [r15+8]
    00176cffmov [rbx-8], 2048
    00176d07mov rdi, [rsp+8]
    00176d0cmov [rbx], rdi
    00176d0fmov [rbx+8], rax
    00176d13mov rax, rbx
    00176d16add rsp, 24
    00176d1aret
    00176d1b
    00176d1bloc_176d1b:
    00176d1bcall caml_call_gc
    00176d20jmp 0x176cfb
    00176d22
    00176d22loc_176d22:
    00176d22push 36
    00176d24call caml_call_realloc_stack
    00176d29pop r10
    00176d2bjmp 0x176c92
    00176c80
    00176d30
    00176d30camlHtmltext.add_450:
    00176d30lea r10, [rsp-368]
    00176d38cmp r10, [r14+40]
    00176d3cjb 0x176ffa
    00176d42
    00176d42loc_176d42:
    00176d42sub rsp, 16
    00176d46mov [rsp+8], rax
    00176d4bmov [rsp], rbx
    00176d4flea r11, [rip+290]
    00176d56push r11
    00176d58push [r14+48]
    00176d5cmov [r14+48], rsp
    00176d60mov rax, [rax]
    00176d63call camlHtmltext.get_prop_420
    00176d68lea r11, [rip+73]
    00176d6fpush r11
    00176d71push [r14+48]
    00176d75mov [r14+48], rsp
    00176d79mov rbx, [rsp+32]
    00176d7ecall camlHtmltext.rem_prop_435
    00176d83sub r15, 24
    00176d87cmp r15, [r14]
    00176d8ajb 0x176ff0
    00176d90
    00176d90loc_176d90:
    00176d90lea rdi, [r15+8]
    00176d94mov [rdi-8], 2048
    00176d9cmov rbx, [rsp+40]
    00176da1mov [rdi], rbx
    00176da4mov [rdi+8], rax
    00176da8pop [r14+48]
    00176dacadd rsp, 8
    00176db0jmp 0x176e68
    00176db5nop [rax]
    00176db8lea rbx, [rip+0x19b081]
    00176dbfmov rbx, [rbx+176]
    00176dc6cmp rax, rbx
    00176dc9jne 0x176e58
    00176dcfmov rbx, [rsp+24]
    00176dd4mov rax, [rbx]
    00176dd7test al, 1
    00176dd9je 0x176de4
    00176ddbmov [rsp+24], rbx
    00176de0jmp 0x176e30
    00176de2nop
    00176de4
    00176de4loc_176de4:
    00176de4movzx rdi, [rax-8]
    00176de9cmp rdi, 1
    00176dedje 0x176df8
    00176defmov [rsp+24], rbx
    00176df4jmp 0x176e30
    00176df6nop
    00176df8
    00176df8loc_176df8:
    00176df8mov rax, [rax]
    00176dfbtest al, 1
    00176dfdje 0x176e08
    00176dffmov [rsp+24], rbx
    00176e04jmp 0x176e30
    00176e06nop
    00176e08
    00176e08loc_176e08:
    00176e08lea rdi, [rip+0x19c6b1]
    00176e0fmov rdi, [rdi+8]
    00176e13mov rdi, [rdi]
    00176e16mov rax, [rax]
    00176e19cmp rax, rdi
    00176e1cje 0x176e28
    00176e1emov [rsp+24], rbx
    00176e23jmp 0x176e30
    00176e25nop [rax]
    00176e28
    00176e28loc_176e28:
    00176e28mov rdi, [rsp+16]
    00176e2djmp 0x176e68
    00176e2fnop
    00176e30
    00176e30loc_176e30:
    00176e30sub r15, 24
    00176e34cmp r15, [r14]
    00176e37jb 0x176fe6
    00176e3d
    00176e3dloc_176e3d:
    00176e3dlea rdi, [r15+8]
    00176e41mov [rdi-8], 2048
    00176e49mov [rdi], rbx
    00176e4cmov rax, [rsp+16]
    00176e51mov [rdi+8], rax
    00176e55jmp 0x176e68
    00176e57nop
    00176e58
    00176e58loc_176e58:
    00176e58mov rsp, [r14+48]
    00176e5cpop [r14+48]
    00176e60pop r11
    00176e62jmp r11
    00176e65nop [rax]
    00176e68
    00176e68loc_176e68:
    00176e68pop [r14+48]
    00176e6cadd rsp, 8
    00176e70jmp 0x176f3c
    00176e75nop [rax]
    00176e78lea rbx, [rip+0x19afc1]
    00176e7fmov rbx, [rbx+16]
    00176e83cmp rax, rbx
    00176e86jne 0x176f2c
    00176e8clea r11, [rip+73]
    00176e93push r11
    00176e95push [r14+48]
    00176e99mov [r14+48], rsp
    00176e9dmov rax, [rsp+24]
    00176ea2mov rbx, [rsp+16]
    00176ea7call camlHtmltext.rem_style_441
    00176eacsub r15, 24
    00176eb0cmp r15, [r14]
    00176eb3jb 0x176fdc
    00176eb9
    00176eb9loc_176eb9:
    00176eb9lea rdi, [r15+8]
    00176ebdmov [rdi-8], 2048
    00176ec5mov rbx, [rsp+24]
    00176ecamov [rdi], rbx
    00176ecdmov [rdi+8], rax
    00176ed1pop [r14+48]
    00176ed5add rsp, 8
    00176ed9jmp 0x176f3c
    00176edbnop
    00176edclea rbx, [rip+0x19af5d]
    00176ee3mov rbx, [rbx+176]
    00176eeacmp rax, rbx
    00176eedjne 0x176f1c
    00176eefsub r15, 24
    00176ef3cmp r15, [r14]
    00176ef6jb 0x176fd2
    00176efc
    00176efcloc_176efc:
    00176efclea rdi, [r15+8]
    00176f00mov [rdi-8], 2048
    00176f08mov rbx, [rsp+8]
    00176f0dmov [rdi], rbx
    00176f10mov rax, [rsp]
    00176f14mov [rdi+8], rax
    00176f18jmp 0x176f3c
    00176f1anop
    00176f1c
    00176f1cloc_176f1c:
    00176f1cmov rsp, [r14+48]
    00176f20pop [r14+48]
    00176f24pop r11
    00176f26jmp r11
    00176f29nop [rax]
    00176f2c
    00176f2cloc_176f2c:
    00176f2cmov rsp, [r14+48]
    00176f30pop [r14+48]
    00176f34pop r11
    00176f36jmp r11
    00176f39nop [rax]
    00176f3c
    00176f3cloc_176f3c:
    00176f3cmov rax, [rbx]
    00176f3ftest al, 1
    00176f41je 0x176fbc
    00176f43test dil, 1
    00176f47je 0x176f80
    00176f49sub r15, 24
    00176f4dcmp r15, [r14]
    00176f50jb 0x176fcb
    00176f52
    00176f52loc_176f52:
    00176f52lea rax, [r15+8]
    00176f56mov [rax-8], 2048
    00176f5elea rbx, [rip+0xff2a3]
    00176f65mov [rax], rbx
    00176f68lea rbx, [rip+0x19b091]
    00176f6fmov [rax+8], rbx
    00176f73mov rsp, [r14+48]
    00176f77pop [r14+48]
    00176f7bpop r11
    00176f7djmp r11
    00176f80
    00176f80loc_176f80:
    00176f80sub r15, 32
    00176f84cmp r15, [r14]
    00176f87jb 0x176fc4
    00176f89
    00176f89loc_176f89:
    00176f89lea rax, [r15+8]
    00176f8dmov [rax-8], 3072
    00176f95lea rsi, [rip+0x19aea4]
    00176f9cmov rsi, [rsi+88]
    00176fa0mov [rax], rsi
    00176fa3mov [rax+8], rbx
    00176fa7mov rbx, [rdi+8]
    00176fabmov [rax+16], rbx
    00176fafmov rsp, [r14+48]
    00176fb3pop [r14+48]
    00176fb7pop r11
    00176fb9jmp r11
    00176fbc
    00176fbcloc_176fbc:
    00176fbcmov rax, rdi
    00176fbfadd rsp, 16
    00176fc3ret
    00176fc4
    00176fc4loc_176fc4:
    00176fc4call caml_call_gc
    00176fc9jmp 0x176f89
    00176fcb
    00176fcbloc_176fcb:
    00176fcbcall caml_call_gc
    00176fd0jmp 0x176f52
    00176fd2
    00176fd2loc_176fd2:
    00176fd2call caml_call_gc
    00176fd7jmp 0x176efc
    00176fdc
    00176fdcloc_176fdc:
    00176fdccall caml_call_gc
    00176fe1jmp 0x176eb9
    00176fe6
    00176fe6loc_176fe6:
    00176fe6call caml_call_gc
    00176febjmp 0x176e3d
    00176ff0
    00176ff0loc_176ff0:
    00176ff0call caml_call_gc
    00176ff5jmp 0x176d90
    00176ffa
    00176ffaloc_176ffa:
    00176ffapush 39
    00176ffccall caml_call_realloc_stack
    00177001pop r10
    00177003jmp 0x176d42
    00176d30
    00177008
    00177008 // align 0x10
    00177010
    00177010camlHtmltext.add_fontattr_458:
    00177010lea r10, [rsp-344]
    00177018cmp r10, [r14+40]
    0017701cjb 0x177150
    00177022
    00177022loc_177022:
    00177022sub rsp, 24
    00177026test dil, 1
    0017702ajne 0x1770dc
    00177030mov [rsp+16], rsi
    00177035mov [rsp+8], rbx
    0017703amov [rsp], rax
    0017703emovzx rax, [rdi-8]
    00177043lea rdx, [rip+0xb54be]
    0017704amovsxd rax, [rdx+4*rax]
    0017704eadd rdx, rax
    00177051jmp rdx
    00177053nop
    00177054mov rax, [rdi]
    00177057call camlHtmltext.size_val_318
    0017705csub r15, 32
    00177060cmp r15, [r14]
    00177063jb 0x177146
    00177069
    00177069loc_177069:
    00177069lea rbx, [r15+8]
    0017706dadd rbx, 16
    00177071mov [rbx-8], 1024
    00177079mov [rbx], rax
    0017707clea rax, [rbx-16]
    00177080mov [rax-8], 1025
    00177088mov [rax], rbx
    0017708bjmp 0x1770f4
    0017708dnop [rax]
    00177090mov rax, [rdi]
    00177093call camlHtmltext.color_val_321
    00177098sub r15, 16
    0017709ccmp r15, [r14]
    0017709fjb 0x17713c
    001770a5
    001770a5loc_1770a5:
    001770a5lea rbx, [r15+8]
    001770a9mov [rbx-8], 1026
    001770b1mov [rbx], rax
    001770b4mov rax, rbx
    001770b7jmp 0x1770f4
    001770b9nop [rax]
    001770bcsub r15, 16
    001770c0cmp r15, [r14]
    001770c3jb 0x177135
    001770c5
    001770c5loc_1770c5:
    001770c5lea rax, [r15+8]
    001770c9mov [rax-8], 1027
    001770d1mov rbx, [rdi]
    001770d4mov [rax], rbx
    001770d7jmp 0x1770f4
    001770d9nop [rax]
    001770dc
    001770dcloc_1770dc:
    001770dclea rax, [rip+0x19ad5d]
    001770e3mov rax, [rax]
    001770e6mov rsp, [r14+48]
    001770eapop [r14+48]
    001770eepop r11
    001770f0jmp r11
    001770f3nop
    001770f4
    001770f4loc_1770f4:
    001770f4sub r15, 32
    001770f8cmp r15, [r14]
    001770fbjb 0x17712e
    001770fd
    001770fdloc_1770fd:
    001770fdlea rbx, [r15+8]
    00177101mov [rbx-8], 3072
    00177109mov [rbx], rax
    0017710cmov rax, [rsp]
    00177110mov [rbx+8], rax
    00177114mov rax, [rsp+8]
    00177119mov [rbx+16], rax
    0017711dmov rax, rbx
    00177120mov rbx, [rsp+16]
    00177125add rsp, 24
    00177129jmp 0x176d30
    0017712e
    0017712eloc_17712e:
    0017712ecall caml_call_gc
    00177133jmp 0x1770fd
    00177135
    00177135loc_177135:
    00177135call caml_call_gc
    0017713ajmp 0x1770c5
    0017713c
    0017713cloc_17713c:
    0017713ccall caml_call_gc
    00177141jmp 0x1770a5
    00177146
    00177146loc_177146:
    00177146call caml_call_gc
    0017714bjmp 0x177069
    00177150
    00177150loc_177150:
    00177150push 36
    00177152call caml_call_realloc_stack
    00177157pop r10
    00177159jmp 0x177022
    00177010
    0017715e
    0017715e // align 0x10
    00177160
    00177160camlHtmltext.do_addattrs_468:
    00177160lea r10, [rsp-360]
    00177168cmp r10, [r14+40]
    0017716cjb 0x17726a
    00177172
    00177172loc_177172:
    00177172sub rsp, 24
    00177176mov rcx, rax
    00177179mov rax, rdx
    0017717ctest sil, 1
    00177180je 0x177188
    00177182add rsp, 24
    00177186ret
    00177187nop
    00177188
    00177188loc_177188:
    00177188mov [rsp+16], rax
    0017718dmov [rsp+8], rdi
    00177192mov [rsp], rbx
    00177196sub r15, 48
    0017719acmp r15, [r14]
    0017719djb 0x177260
    001771a3
    001771a3loc_1771a3:
    001771a3lea rbx, [r15+8]
    001771a7mov [rbx-8], 5367
    001771aflea rdx, [rip+202]
    001771b6mov [rbx], rdx
    001771b9mov rdx, 0x100000000000005
    001771c3mov [rbx+8], rdx
    001771c7mov [rbx+16], rcx
    001771cbmov [rbx+24], rdi
    001771cfmov [rbx+32], rax
    001771d3lea r11, [rip+30]
    001771dapush r11
    001771dcpush [r14+48]
    001771e0mov [r14+48], rsp
    001771e4mov rax, rsi
    001771e7call camlHtmltext.do_rec_475
    001771ecpop [r14+48]
    001771f0add rsp, 8
    001771f4jmp 0x177254
    001771f6nop
    001771f8lea rbx, [rip+0x19ac41]
    001771ffmov rbx, [rbx]
    00177202cmp rax, rbx
    00177205jne 0x177244
    00177207sub r15, 32
    0017720bcmp r15, [r14]
    0017720ejb 0x177259
    00177210
    00177210loc_177210:
    00177210lea rax, [r15+8]
    00177214mov [rax-8], 3072
    0017721cmov [rax], 1
    00177223mov rbx, [rsp]
    00177227mov [rax+8], rbx
    0017722bmov rbx, [rsp+8]
    00177230mov [rax+16], rbx
    00177234mov rbx, [rsp+16]
    00177239add rsp, 24
    0017723djmp 0x176d30
    00177242nop
    00177244
    00177244loc_177244:
    00177244mov rsp, [r14+48]
    00177248pop [r14+48]
    0017724cpop r11
    0017724ejmp r11
    00177251nop [rax]
    00177254
    00177254loc_177254:
    00177254add rsp, 24
    00177258ret
    00177259
    00177259loc_177259:
    00177259call caml_call_gc
    0017725ejmp 0x177210
    00177260
    00177260loc_177260:
    00177260call caml_call_gc
    00177265jmp 0x1771a3
    0017726a
    0017726aloc_17726a:
    0017726apush 38
    0017726ccall caml_call_realloc_stack
    00177271pop r10
    00177273jmp 0x177172
    00177160
    00177278
    00177278 // align 0x10
    00177280
    00177280camlHtmltext.do_rec_475:
    00177280lea r10, [rsp-336]
    00177288cmp r10, [r14+40]
    0017728cjb 0x1772e4
    0017728e
    0017728eloc_17728e:
    0017728esub rsp, 16
    00177292cmp r15, [r14]
    00177295jbe 0x1772dd
    00177297
    00177297loc_177297:
    00177297test al, 1
    00177299je 0x1772a4
    0017729bmov rax, [rbx+32]
    0017729fadd rsp, 16
    001772a3ret
    001772a4
    001772a4loc_1772a4:
    001772a4mov [rsp], rbx
    001772a8mov rdi, [rax]
    001772abmov [rsp+8], rdi
    001772b0mov rax, [rax+8]
    001772b4call camlHtmltext.do_rec_475
    001772b9mov rsi, rax
    001772bcmov rax, [rsp]
    001772c0mov rdx, [rax+16]
    001772c4mov rcx, [rsp+8]
    001772c9mov rdi, [rcx]
    001772ccmov rbx, [rax+24]
    001772d0mov rax, [rcx+8]
    001772d4add rsp, 16
    001772d8jmp 0xf72f0
    001772dd
    001772ddloc_1772dd:
    001772ddcall caml_call_gc
    001772e2jmp 0x177297
    001772e4
    001772e4loc_1772e4:
    001772e4push 35
    001772e6call caml_call_realloc_stack
    001772ebpop r10
    001772edjmp 0x17728e
    00177280
    001772ef
    001772ef // align 0x10
    001772f0
    001772f0camlHtmltext.fun_706:
    001772f0mov rcx, rax
    001772f3mov r8, rbx
    001772f6mov r9, rdi
    001772f9mov r12, rsi
    001772fcmov rax, [rdx+24]
    00177300mov rbx, rcx
    00177303mov rdi, r8
    00177306mov rsi, r9
    00177309mov rdx, r12
    0017730cjmp 0x177160
    001772f0
    00177311
    00177311 // align 0x10
    00177320
    00177320camlHtmltext.add_spanattr_481:
    00177320test dil, 1
    00177324jne 0x177358
    00177326movzx rdx, [rdi-8]
    0017732bcmp rdx, 4
    0017732fjl 0x177358
    00177331sub r15, 24
    00177335cmp r15, [r14]
    00177338jb 0x1773a2
    0017733a
    0017733aloc_17733a:
    0017733alea rdx, [r15+8]
    0017733emov [rdx-8], 2052
    00177346mov rcx, [rdi]
    00177349mov [rdx], rcx
    0017734cmov rdi, [rdi+8]
    00177350mov [rdx+8], rdi
    00177354jmp 0x177370
    00177356nop
    00177358
    00177358loc_177358:
    00177358lea rax, [rip+0x19aae1]
    0017735fmov rax, [rax]
    00177362mov rsp, [r14+48]
    00177366pop [r14+48]
    0017736apop r11
    0017736cjmp r11
    0017736fnop
    00177370
    00177370loc_177370:
    00177370sub r15, 32
    00177374cmp r15, [r14]
    00177377jb 0x17739b
    00177379
    00177379loc_177379:
    00177379lea rdi, [r15+8]
    0017737dmov [rdi-8], 3072
    00177385mov [rdi], rdx
    00177388mov [rdi+8], rax
    0017738cmov [rdi+16], rbx
    00177390mov rax, rdi
    00177393mov rbx, rsi
    00177396jmp 0x176d30
    0017739b
    0017739bloc_17739b:
    0017739bcall caml_call_gc
    001773a0jmp 0x177379
    001773a2
    001773a2loc_1773a2:
    001773a2call caml_call_gc
    001773a7jmp 0x17733a
    00177320
    001773a9
    001773a9 // align 0x10
    001773b0
    001773b0camlHtmltext.fun_716:
    001773b0mov rcx, rax
    001773b3mov r8, rbx
    001773b6mov r9, rdi
    001773b9mov r12, rsi
    001773bcmov rax, [rdx+24]
    001773c0mov rbx, rcx
    001773c3mov rdi, r8
    001773c6mov rsi, r9
    001773c9mov rdx, r12
    001773ccjmp 0x177160
    001773b0
    001773d1
    001773d1 // align 0x10
    001773e0
    001773e0camlHtmltext.add_style_491:
    001773e0mov rcx, rbx
    001773e3mov rdi, [rax+24]
    001773e7mov rbx, [rax+16]
    001773ebmov rsi, [rax+8]
    001773efmov r8, [rax]
    001773f2mov rax, r8
    001773f5sar rax, 1
    001773f8lea rdx, [rip+0xb511d]
    001773ffmovsxd rax, [rdx+4*rax]
    00177403add rdx, rax
    00177406jmp rdx
    00177408cmp rsi, 1
    0017740cjne 0x177444
    0017740esub r15, 32
    00177412cmp r15, [r14]
    00177415jb 0x1775fa
    0017741b
    0017741bloc_17741b:
    0017741blea rax, [r15+8]
    0017741fmov [rax-8], 3072
    00177427lea rsi, [rip+0x19abc2]
    0017742emov [rax], rsi
    00177431mov [rax+8], rbx
    00177435mov [rax+16], rdi
    00177439mov rbx, rcx
    0017743cjmp 0x176d30
    00177441nop [rax]
    00177444
    00177444loc_177444:
    00177444sub r15, 32
    00177448cmp r15, [r14]
    0017744bjb 0x1775f0
    00177451
    00177451loc_177451:
    00177451lea rax, [r15+8]
    00177455mov [rax-8], 3072
    0017745dmov [rax], 1
    00177464mov [rax+8], rbx
    00177468mov [rax+16], rdi
    0017746cmov rbx, rcx
    0017746fjmp 0x176d30
    00177474cmp rsi, 1
    00177478jne 0x1774b0
    0017747asub r15, 32
    0017747ecmp r15, [r14]
    00177481jb 0x1775e6
    00177487
    00177487loc_177487:
    00177487lea rax, [r15+8]
    0017748bmov [rax-8], 3072
    00177493lea rsi, [rip+0x19ab46]
    0017749amov [rax], rsi
    0017749dmov [rax+8], rbx
    001774a1mov [rax+16], rdi
    001774a5mov rbx, rcx
    001774a8jmp 0x176d30
    001774adnop [rax]
    001774b0
    001774b0loc_1774b0:
    001774b0sub r15, 32
    001774b4cmp r15, [r14]
    001774b7jb 0x1775dc
    001774bd
    001774bdloc_1774bd:
    001774bdlea rax, [r15+8]
    001774c1mov [rax-8], 3072
    001774c9mov [rax], 1
    001774d0mov [rax+8], rbx
    001774d4mov [rax+16], rdi
    001774d8mov rbx, rcx
    001774dbjmp 0x176d30
    001774e0lea rax, [rip+0x19a959]
    001774e7mov rax, [rax+224]
    001774eemov rax, [rax+24]
    001774f2mov rdx, rcx
    001774f5jmp 0x177160
    001774fanop
    001774fcsub r15, 24
    00177500cmp r15, [r14]
    00177503jb 0x1775d2
    00177509
    00177509loc_177509:
    00177509lea rax, [r15+8]
    0017750dmov [rax-8], 2048
    00177515lea rbx, [rip+0xfecec]
    0017751cmov [rax], rbx
    0017751flea rbx, [rip+0x19aa9a]
    00177526mov [rax+8], rbx
    0017752amov rsp, [r14+48]
    0017752epop [r14+48]
    00177532pop r11
    00177534jmp r11
    00177537nop
    00177538lea rax, [rip+0x19a901]
    0017753fmov rax, [rax+240]
    00177546mov rax, [rax+24]
    0017754amov rdx, rcx
    0017754djmp 0x177160
    00177552nop
    00177554cmp rsi, 1
    00177558jne 0x177598
    0017755asub r15, 48
    0017755ecmp r15, [r14]
    00177561jb 0x1775cb
    00177563
    00177563loc_177563:
    00177563lea rsi, [r15+8]
    00177567add rsi, 32
    0017756bmov [rsi-8], 1024
    00177573mov [rsi], r8
    00177576lea rax, [rsi-32]
    0017757amov [rax-8], 3072
    00177582mov [rax], rsi
    00177585mov [rax+8], rbx
    00177589mov [rax+16], rdi
    0017758dmov rbx, rcx
    00177590jmp 0x176d30
    00177595nop [rax]
    00177598
    00177598loc_177598:
    00177598sub r15, 32
    0017759ccmp r15, [r14]
    0017759fjb 0x1775c4
    001775a1
    001775a1loc_1775a1:
    001775a1lea rax, [r15+8]
    001775a5mov [rax-8], 3072
    001775admov [rax], 1
    001775b4mov [rax+8], rbx
    001775b8mov [rax+16], rdi
    001775bcmov rbx, rcx
    001775bfjmp 0x176d30
    001775c4
    001775c4loc_1775c4:
    001775c4call caml_call_gc
    001775c9jmp 0x1775a1
    001775cb
    001775cbloc_1775cb:
    001775cbcall caml_call_gc
    001775d0jmp 0x177563
    001775d2
    001775d2loc_1775d2:
    001775d2call caml_call_gc
    001775d7jmp 0x177509
    001775dc
    001775dcloc_1775dc:
    001775dccall caml_call_gc
    001775e1jmp 0x1774bd
    001775e6
    001775e6loc_1775e6:
    001775e6call caml_call_gc
    001775ebjmp 0x177487
    001775f0
    001775f0loc_1775f0:
    001775f0call caml_call_gc
    001775f5jmp 0x177451
    001775fa
    001775faloc_1775fa:
    001775facall caml_call_gc
    001775ffjmp 0x17741b
    001773e0
    00177604
    00177604 // align 0x10
    00177610
    00177610camlHtmltext.blanksNeutral_499:
    00177610mov rbx, [rax]
    00177613test bl, 1
    00177616jne 0x177684
    00177618movzx rax, [rbx-8]
    0017761dlea rdx, [rip+0xb4f60]
    00177624movsxd rax, [rdx+4*rax]
    00177628add rdx, rax
    0017762bjmp rdx
    0017762dnop [rax]
    00177630mov rax, [rbx]
    00177633cmp rax, 25
    00177637jl 0x177650
    00177639cmp rax, 41
    0017763djl 0x177648
    0017763fcmp rax, 45
    00177643jl 0x177684
    00177645jmp 0x17767c
    00177647nop
    00177648
    00177648loc_177648:
    00177648cmp rax, 27
    0017764cjl 0x177684
    0017764ejmp 0x17767c
    00177650
    00177650loc_177650:
    00177650cmp rax, 15
    00177654je 0x177684
    00177656cmp rax, 1
    0017765aje 0x177684
    0017765cjmp 0x17767c
    0017765enop
    00177660mov rax, [rbx]
    00177663sar rax, 1
    00177666lea rdx, [rip+0xb4f2b]
    0017766dmovsxd rax, [rdx+4*rax]
    00177671add rdx, rax
    00177674jmp rdx
    00177676nop
    00177678jmp 0x177684
    0017767anop
    0017767c
    0017767cloc_17767c:
    0017767cmov eax, 3
    00177681ret
    00177682nop
    00177684
    00177684loc_177684:
    00177684mov eax, 1
    00177689ret
    00177610
    0017768a
    0017768a // align 0x10
    00177690
    00177690camlHtmltext.partition_color_502:
    00177690mov rbx, rax
    00177693lea rax, [rip+0x19a536]
    0017769ajmp 0x1a23e0
    00177690
    0017769f
    0017769f // align 0x10
    001776a0
    001776a0camlHtmltext.fun_724:
    001776a0lea r10, [rsp-320]
    001776a8cmp r10, [r14+40]
    001776acjb 0x1776c2
    001776ae
    001776aeloc_1776ae:
    001776aemov rax, [rax]
    001776b1call camlHtmltext.is_color_410
    001776b6mov rbx, rax
    001776b9mov eax, 4
    001776besub rax, rbx
    001776c1ret
    001776c2
    001776c2loc_1776c2:
    001776c2push 33
    001776c4call caml_call_realloc_stack
    001776c9pop r10
    001776cbjmp 0x1776ae
    001776a0
    001776cd
    001776cd // align 0x10
    001776d0
    001776d0camlHtmltext.entry:
    001776d0lea rsi, [rip+0x19a511]
    001776d7lea rdi, [rip+0x19a762]
    001776deadd rdi, 120
    001776e2mov rbx, rsp
    001776e5mov rsp, [r14+64]
    001776e9call caml_initialize
    001776eemov rsp, rbx
    001776f1lea rsi, [rip+0x19a510]
    001776f8lea rdi, [rip+0x19a741]
    001776ffadd rdi, 8
    00177703mov rbx, rsp
    00177706mov rsp, [r14+64]
    0017770acall caml_initialize
    0017770fmov rsp, rbx
    00177712mov edi, 1
    00177717mov rbx, rsp
    0017771amov rsp, [r14+64]
    0017771ecall caml_fresh_oo_id
    00177723mov rsp, rbx
    00177726call caml_alloc2
    0017772blea rsi, [r15+8]
    0017772fmov [rsi-8], 2296
    00177737lea rbx, [rip+0x19a9f2]
    0017773emov [rsi], rbx
    00177741mov [rsi+8], rax
    00177745lea rdi, [rip+0x19a6f4]
    0017774cmov rbx, rsp
    0017774fmov rsp, [r14+64]
    00177753call caml_initialize
    00177758mov rsp, rbx
    0017775blea rsi, [rip+0x19a4be]
    00177762lea rdi, [rip+0x19a6d7]
    00177769add rdi, 128
    00177770mov rbx, rsp
    00177773mov rsp, [r14+64]
    00177777call caml_initialize
    0017777cmov rsp, rbx
    0017777flea rsi, [rip+0x19a4b2]
    00177786lea rdi, [rip+0x19a6b3]
    0017778dadd rdi, 136
    00177794mov rbx, rsp
    00177797mov rsp, [r14+64]
    0017779bcall caml_initialize
    001777a0mov rsp, rbx
    001777a3lea rsi, [rip+0x19a4a6]
    001777aalea rdi, [rip+0x19a68f]
    001777b1add rdi, 144
    001777b8mov rbx, rsp
    001777bbmov rsp, [r14+64]
    001777bfcall caml_initialize
    001777c4mov rsp, rbx
    001777c7lea rsi, [rip+0x19a49a]
    001777celea rdi, [rip+0x19a66b]
    001777d5add rdi, 72
    001777d9mov rbx, rsp
    001777dcmov rsp, [r14+64]
    001777e0call caml_initialize
    001777e5mov rsp, rbx
    001777e8lea rsi, [rip+0x19a4c9]
    001777eflea r12, [rip+0x19a4aa]
    001777f6lea r13, [rip+0x19a48b]
    001777fdlea rdi, [rip+0x19a63c]
    00177804add rdi, 152
    0017780bmov rbx, rsp
    0017780emov rsp, [r14+64]
    00177812call caml_initialize
    00177817mov rsp, rbx
    0017781alea rdi, [rip+0x19a61f]
    00177821add rdi, 160
    00177828mov rsi, r12
    0017782bmov rbx, rsp
    0017782emov rsp, [r14+64]
    00177832call caml_initialize
    00177837mov rsp, rbx
    0017783alea rdi, [rip+0x19a5ff]
    00177841add rdi, 168
    00177848mov rsi, r13
    0017784bmov rbx, rsp
    0017784emov rsp, [r14+64]
    00177852call caml_initialize
    00177857mov rsp, rbx
    0017785amov edi, 1
    0017785fmov rbx, rsp
    00177862mov rsp, [r14+64]
    00177866call caml_fresh_oo_id
    0017786bmov rsp, rbx
    0017786ecall caml_alloc2
    00177873lea rsi, [r15+8]
    00177877mov [rsi-8], 2296
    0017787flea rbx, [rip+0x19a812]
    00177886mov [rsi], rbx
    00177889mov [rsi+8], rax
    0017788dlea rdi, [rip+0x19a5ac]
    00177894add rdi, 16
    00177898mov rbx, rsp
    0017789bmov rsp, [r14+64]
    0017789fcall caml_initialize
    001778a4mov rsp, rbx
    001778a7lea rsi, [rip+0x19a422]
    001778aelea rdi, [rip+0x19a58b]
    001778b5add rdi, 24
    001778b9mov rbx, rsp
    001778bcmov rsp, [r14+64]
    001778c0call caml_initialize
    001778c5mov rsp, rbx
    001778c8lea rsi, [rip+0x19a419]
    001778cflea rdi, [rip+0x19a56a]
    001778d6add rdi, 64
    001778damov rbx, rsp
    001778ddmov rsp, [r14+64]
    001778e1call caml_initialize
    001778e6mov rsp, rbx
    001778e9lea rsi, [rip+0x19a410]
    001778f0lea rdi, [rip+0x19a549]
    001778f7add rdi, 32
    001778fbmov rbx, rsp
    001778femov rsp, [r14+64]
    00177902call caml_initialize
    00177907mov rsp, rbx
    0017790alea rsi, [rip+0x19a407]
    00177911lea rdi, [rip+0x19a528]
    00177918add rdi, 40
    0017791cmov rbx, rsp
    0017791fmov rsp, [r14+64]
    00177923call caml_initialize
    00177928mov rsp, rbx
    0017792bsub r15, 72
    0017792fcall caml_allocN
    00177934lea rax, [r15+8]
    00177938add rax, 48
    0017793cmov [rax-8], 2048
    00177944lea rdi, [rip+0x19a4f5]
    0017794bmov rbx, [rdi+152]
    00177952mov [rax], rbx
    00177955mov [rax+8], 1
    0017795dlea rbx, [rax-24]
    00177961mov [rbx-8], 2048
    00177969mov rsi, [rdi+168]
    00177970mov [rbx], rsi
    00177973mov [rbx+8], rax
    00177977lea rsi, [rbx-24]
    0017797bmov [rsi-8], 2048
    00177983mov rax, [rdi+160]
    0017798amov [rsi], rax
    0017798dmov [rsi+8], rbx
    00177991add rdi, 48
    00177995mov rbx, rsp
    00177998mov rsp, [r14+64]
    0017799ccall caml_initialize
    001779a1mov rsp, rbx
    001779a4sub r15, 48
    001779a8call caml_allocN
    001779adlea rax, [r15+8]
    001779b1add rax, 24
    001779b5mov [rax-8], 2048
    001779bdlea rdi, [rip+0x19a47c]
    001779c4mov rbx, [rdi+168]
    001779cbmov [rax], rbx
    001779cemov [rax+8], 1
    001779d6lea rsi, [rax-24]
    001779damov [rsi-8], 2048
    001779e2mov rbx, [rdi+160]
    001779e9mov [rsi], rbx
    001779ecmov [rsi+8], rax
    001779f0add rdi, 56
    001779f4mov rbx, rsp
    001779f7mov rsp, [r14+64]
    001779fbcall caml_initialize
    00177a00mov rsp, rbx
    00177a03mov edi, 1
    00177a08mov rbx, rsp
    00177a0bmov rsp, [r14+64]
    00177a0fcall caml_fresh_oo_id
    00177a14mov rsp, rbx
    00177a17call caml_alloc2
    00177a1clea rsi, [r15+8]
    00177a20mov [rsi-8], 2296
    00177a28lea rbx, [rip+0x19a621]
    00177a2fmov [rsi], rbx
    00177a32mov [rsi+8], rax
    00177a36lea rdi, [rip+0x19a403]
    00177a3dadd rdi, 176
    00177a44mov rbx, rsp
    00177a47mov rsp, [r14+64]
    00177a4bcall caml_initialize
    00177a50mov rsp, rbx
    00177a53lea rsi, [rip+0x19a2d6]
    00177a5alea rdi, [rip+0x19a3df]
    00177a61add rdi, 184
    00177a68mov rbx, rsp
    00177a6bmov rsp, [r14+64]
    00177a6fcall caml_initialize
    00177a74mov rsp, rbx
    00177a77lea rsi, [rip+0x19a2d2]
    00177a7elea rdi, [rip+0x19a3bb]
    00177a85add rdi, 192
    00177a8cmov rbx, rsp
    00177a8fmov rsp, [r14+64]
    00177a93call caml_initialize
    00177a98mov rsp, rbx
    00177a9bmov esi, 1
    00177aa0lea rdi, [rip+0x19a399]
    00177aa7add rdi, 80
    00177aabmov rbx, rsp
    00177aaemov rsp, [r14+64]
    00177ab2call caml_initialize
    00177ab7mov rsp, rbx
    00177abamov edi, 1
    00177abfmov rbx, rsp
    00177ac2mov rsp, [r14+64]
    00177ac6call caml_fresh_oo_id
    00177acbmov rsp, rbx
    00177acecall caml_alloc2
    00177ad3lea rsi, [r15+8]
    00177ad7mov [rsi-8], 2296
    00177adflea rbx, [rip+0x19a552]
    00177ae6mov [rsi], rbx
    00177ae9mov [rsi+8], rax
    00177aedlea rdi, [rip+0x19a34c]
    00177af4add rdi, 88
    00177af8mov rbx, rsp
    00177afbmov rsp, [r14+64]
    00177affcall caml_initialize
    00177b04mov rsp, rbx
    00177b07lea rsi, [rip+0x19a262]
    00177b0elea rdi, [rip+0x19a32b]
    00177b15add rdi, 200
    00177b1cmov rbx, rsp
    00177b1fmov rsp, [r14+64]
    00177b23call caml_initialize
    00177b28mov rsp, rbx
    00177b2blea rsi, [rip+0x19a25e]
    00177b32lea rdi, [rip+0x19a307]
    00177b39add rdi, 208
    00177b40mov rbx, rsp
    00177b43mov rsp, [r14+64]
    00177b47call caml_initialize
    00177b4cmov rsp, rbx
    00177b4flea rsi, [rip+0x19a25a]
    00177b56lea rdi, [rip+0x19a2e3]
    00177b5dadd rdi, 216
    00177b64mov rbx, rsp
    00177b67mov rsp, [r14+64]
    00177b6bcall caml_initialize
    00177b70mov rsp, rbx
    00177b73lea rdi, [rip+0x19a2c6]
    00177b7amov rax, [rdi+208]
    00177b81mov rbx, [rdi+216]
    00177b88sub r15, 48
    00177b8ccall caml_allocN
    00177b91lea rsi, [r15+8]
    00177b95mov [rsi-8], 5367
    00177b9dlea rdx, [rip-0x80de4]
    00177ba4mov [rsi], rdx
    00177ba7mov rdx, 0x400000000000007
    00177bb1mov [rsi+8], rdx
    00177bb5lea rdx, [rip-2252]
    00177bbcmov [rsi+16], rdx
    00177bc0mov [rsi+24], rax
    00177bc4mov [rsi+32], rbx
    00177bc8add rdi, 224
    00177bcfmov rbx, rsp
    00177bd2mov rsp, [r14+64]
    00177bd6call caml_initialize
    00177bdbmov rsp, rbx
    00177bdelea rsi, [rip+0x19a1eb]
    00177be5lea rdi, [rip+0x19a254]
    00177becadd rdi, 232
    00177bf3mov rbx, rsp
    00177bf6mov rsp, [r14+64]
    00177bfacall caml_initialize
    00177bffmov rsp, rbx
    00177c02lea rdi, [rip+0x19a237]
    00177c09mov rax, [rdi+232]
    00177c10mov rbx, [rdi+216]
    00177c17sub r15, 48
    00177c1bcall caml_allocN
    00177c20lea rsi, [r15+8]
    00177c24mov [rsi-8], 5367
    00177c2clea rdx, [rip-0x80e73]
    00177c33mov [rsi], rdx
    00177c36mov rdx, 0x400000000000007
    00177c40mov [rsi+8], rdx
    00177c44lea rdx, [rip-2203]
    00177c4bmov [rsi+16], rdx
    00177c4fmov [rsi+24], rax
    00177c53mov [rsi+32], rbx
    00177c57add rdi, 240
    00177c5emov rbx, rsp
    00177c61mov rsp, [r14+64]
    00177c65call caml_initialize
    00177c6amov rsp, rbx
    00177c6dlea rsi, [rip+0x19a17c]
    00177c74lea rdi, [rip+0x19a1c5]
    00177c7badd rdi, 96
    00177c7fmov rbx, rsp
    00177c82mov rsp, [r14+64]
    00177c86call caml_initialize
    00177c8bmov rsp, rbx
    00177c8elea rsi, [rip+0x19a17b]
    00177c95lea rdi, [rip+0x19a1a4]
    00177c9cadd rdi, 104
    00177ca0mov rbx, rsp
    00177ca3mov rsp, [r14+64]
    00177ca7call caml_initialize
    00177cacmov rsp, rbx
    00177caflea rsi, [rip+0x19a172]
    00177cb6lea rdi, [rip+0x19a183]
    00177cbdadd rdi, 112
    00177cc1mov rbx, rsp
    00177cc4mov rsp, [r14+64]
    00177cc8call caml_initialize
    00177ccdmov rsp, rbx
    00177cd0mov eax, 1
    00177cd5ret
    001776d0
    00177cd6
    00177cd6 // align 0x10
    00177ce0
    00177ce0camlEntry.entry_340:
    00177ce0cmp r15, [r14]
    00177ce3jbe 0x177cef
    00177ce5
    00177ce5loc_177ce5:
    00177ce5mov ebx, 1
    00177ceajmp 0x177d00
    00177cef
    00177cefloc_177cef:
    00177cefcall caml_call_gc
    00177cf4jmp 0x177ce5
    00177ce0
    00177cf6
    00177cf6 // align 0x10