Similarity

001ce690
001ce690camlCamlinternalFormat.fun_6754:
001ce690lea r10, [rsp-336]
001ce698cmp r10, [r14+40]
001ce69cjb 0x1ce714
001ce69e
001ce69eloc_1ce69e:
001ce69esub rsp, 16
001ce6a2mov [rsp], rax
001ce6a6mov rsi, rbx
001ce6a9mov [rsp+8], rdi
001ce6aemov rbx, [rdi+72]
001ce6b2mov rax, [rdi+56]
001ce6b6mov rdi, rsi
001ce6b9call camlCamlinternalFormat.convert_float_3480
001ce6bemov rdi, rax
001ce6c1mov rax, [rsp+8]
001ce6c6mov rax, [rax+64]
001ce6camov rbx, [rsp]
001ce6cecall camlCamlinternalFormat.fix_padding_3404
001ce6d3mov rdx, [rsp+8]
001ce6d8mov rdi, [rdx+48]
001ce6dcsub r15, 24
001ce6e0cmp r15, [r14]
001ce6e3jb 0x1ce70d
001ce6e5
001ce6e5loc_1ce6e5:
001ce6e5lea rbx, [r15+8]
001ce6e9mov [rbx-8], 2052
001ce6f1mov rsi, [rdx+40]
001ce6f5mov [rbx], rsi
001ce6f8mov [rbx+8], rax
001ce6fcmov rax, [rdx+32]
001ce700mov rsi, [rdx+24]
001ce704add rsp, 16
001ce708jmp 0x1cbe90
001ce70d
001ce70dloc_1ce70d:
001ce70dcall caml_call_gc
001ce712jmp 0x1ce6e5
001ce714
001ce714loc_1ce714:
001ce714push 35
001ce716call caml_call_realloc_stack
001ce71bpop r10
001ce71djmp 0x1ce69e
001ce690

001ce722
001ce722 // align 0x10

001ce730
001ce730camlCamlinternalFormat.fun_6728:
001ce730lea r10, [rsp-336]
001ce738cmp r10, [r14+40]
001ce73cjb 0x1ce7aa
001ce73e
001ce73eloc_1ce73e:
001ce73esub rsp, 16
001ce742mov [rsp], rax
001ce746mov [rsp+8], rsi
001ce74bmov rax, [rsi+56]
001ce74fcall camlCamlinternalFormat.convert_float_3480
001ce754mov rdi, rax
001ce757mov rax, [rsp+8]
001ce75cmov rax, [rax+64]
001ce760mov rbx, [rsp]
001ce764call camlCamlinternalFormat.fix_padding_3404
001ce769mov rdx, [rsp+8]
001ce76emov rdi, [rdx+48]
001ce772sub r15, 24
001ce776cmp r15, [r14]
001ce779jb 0x1ce7a3
001ce77b
001ce77bloc_1ce77b:
001ce77blea rbx, [r15+8]
001ce77fmov [rbx-8], 2052
001ce787mov rsi, [rdx+40]
001ce78bmov [rbx], rsi
001ce78emov [rbx+8], rax
001ce792mov rax, [rdx+32]
001ce796mov rsi, [rdx+24]
001ce79aadd rsp, 16
001ce79ejmp 0x1cbe90
001ce7a3
001ce7a3loc_1ce7a3:
001ce7a3call caml_call_gc
001ce7a8jmp 0x1ce77b
001ce7aa
001ce7aaloc_1ce7aa:
001ce7aapush 35
001ce7accall caml_call_realloc_stack
001ce7b1pop r10
001ce7b3jmp 0x1ce73e
001ce730

001ce7b5
001ce7b5 // align 0x10

001ce7c0
001ce7c0camlCamlinternalFormat.make_custom_3516:
001ce7c0test sil, 1
001ce7c4je 0x1ce7f4
001ce7c6sub r15, 24
001ce7cacmp r15, [r14]
001ce7cdjb 0x1ce847
001ce7cf
001ce7cfloc_1ce7cf:
001ce7cflea r8, [r15+8]
001ce7d3mov [r8-8], 2052
001ce7dbmov [r8], rbx
001ce7demov [r8+8], rdx
001ce7e2mov rsi, rcx
001ce7e5add rsi, -224
001ce7ecmov rbx, r8
001ce7efjmp 0x1cbe90
001ce7f4
001ce7f4loc_1ce7f4:
001ce7f4mov rsi, [rsi]
001ce7f7sub r15, 72
001ce7fbcmp r15, [r14]
001ce7fejb 0x1ce840
001ce800
001ce800loc_1ce800:
001ce800lea r8, [r15+8]
001ce804mov [r8-8], 8439
001ce80clea r9, [rip+61]
001ce813mov [r8], r9
001ce816mov r9, 0x100000000000005
001ce820mov [r8+8], r9
001ce824mov [r8+16], rcx
001ce828mov [r8+24], rax
001ce82cmov [r8+32], rbx
001ce830mov [r8+40], rdi
001ce834mov [r8+48], rdx
001ce838mov [r8+56], rsi
001ce83cmov rax, r8
001ce83fret
001ce840
001ce840loc_1ce840:
001ce840call caml_call_gc
001ce845jmp 0x1ce800
001ce847
001ce847loc_1ce847:
001ce847call caml_call_gc
001ce84cjmp 0x1ce7cf
001ce7c0

001ce84e
001ce84e // align 0x10

001ce850
001ce850camlCamlinternalFormat.fun_6766:
001ce850lea r10, [rsp-328]
001ce858cmp r10, [r14+40]
001ce85cjb 0x1ce893
001ce85e
001ce85eloc_1ce85e:
001ce85esub rsp, 8
001ce862mov [rsp], rbx
001ce866mov rbx, [rbx+48]
001ce86amov rdi, [rbx]
001ce86dcall rdi
001ce86fmov rdx, rax
001ce872mov rcx, [rsp]
001ce876mov rsi, [rcx+56]
001ce87amov rdi, [rcx+40]
001ce87emov rbx, [rcx+32]
001ce882mov rax, [rcx+24]
001ce886mov rcx, [rcx+16]
001ce88aadd rsp, 8
001ce88ejmp 0x1ce7c0
001ce893
001ce893loc_1ce893:
001ce893push 34
001ce895call caml_call_realloc_stack
001ce89apop r10
001ce89cjmp 0x1ce85e
001ce850

001ce89e
001ce89e // align 0x10

001ce8a0
001ce8a0camlCamlinternalFormat.const_4090:
001ce8a0ret
001ce8a0

001ce8a1
001ce8a1 // align 0x10

001ce8b0
001ce8b0camlCamlinternalFormat.make_iprintf_4094:
001ce8b0lea r10, [rsp-320]
001ce8b8cmp r10, [r14+40]
001ce8bcjb 0x1ceffb
001ce8c2
001ce8c2loc_1ce8c2:
001ce8c2mov r8, rax
001ce8c5mov rcx, rsi
001ce8c8cmp r15, [r14]
001ce8cbjbe 0x1ceff1
001ce8d1
001ce8d1loc_1ce8d1:
001ce8d1test dil, 1
001ce8d5je 0x1ce8e4
001ce8d7mov rdi, [r8]
001ce8damov rax, rbx
001ce8ddmov rbx, r8
001ce8e0jmp rdi
001ce8e2nop
001ce8e4
001ce8e4loc_1ce8e4:
001ce8e4movzx rax, [rdi-8]
001ce8e9lea rdx, [rip+0x5f85c]
001ce8f0movsxd rax, [rdx+4*rax]
001ce8f4add rdx, rax
001ce8f7jmp rdx
001ce8f9nop [rax]
001ce8fcmov rax, [rdi]
001ce8fftest al, 1
001ce901jne 0x1ce99c
001ce907movzx rax, [rax-8]
001ce90ctest rax, rax
001ce90fje 0x1ce99c
001ce915mov rdi, [rdi+8]
001ce919mov rax, r8
001ce91cmov rsi, rcx
001ce91fcall camlCamlinternalFormat.make_iprintf_4094
001ce924lea rbx, [rip+0x17f44d]
001ce92bmov rbx, [rbx+688]
001ce932sub r15, 80
001ce936cmp r15, [r14]
001ce939jb 0x1cefe7
001ce93f
001ce93floc_1ce93f:
001ce93flea rdi, [r15+8]
001ce943add rdi, 40
001ce947mov [rdi-8], 4343
001ce94flea rsi, [rip+1770]
001ce956mov [rdi], rsi
001ce959mov rsi, 0x100000000000005
001ce963mov [rdi+8], rsi
001ce967mov [rdi+16], rax
001ce96bmov [rdi+24], rbx
001ce96flea rax, [rdi-40]
001ce973mov [rax-8], 4343
001ce97blea rsi, [rip+1710]
001ce982mov [rax], rsi
001ce985mov rsi, 0x100000000000005
001ce98fmov [rax+8], rsi
001ce993mov [rax+16], rdi
001ce997mov [rax+24], rbx
001ce99bret
001ce99c
001ce99cloc_1ce99c:
001ce99cmov rdi, [rdi+8]
001ce9a0mov rax, r8
001ce9a3mov rsi, rcx
001ce9a6call camlCamlinternalFormat.make_iprintf_4094
001ce9ablea rbx, [rip+0x17f3c6]
001ce9b2mov rbx, [rbx+688]
001ce9b9sub r15, 40
001ce9bdcmp r15, [r14]
001ce9c0jb 0x1cefdd
001ce9c6
001ce9c6loc_1ce9c6:
001ce9c6lea rdi, [r15+8]
001ce9camov [rdi-8], 4343
001ce9d2lea rsi, [rip+1607]
001ce9d9mov [rdi], rsi
001ce9dcmov rsi, 0x100000000000005
001ce9e6mov [rdi+8], rsi
001ce9eamov [rdi+16], rax
001ce9eemov [rdi+24], rbx
001ce9f2mov rax, rdi
001ce9f5ret
001ce9f6nop
001ce9f8mov rax, [rdi]
001ce9fbtest al, 1
001ce9fdjne 0x1cea98
001cea03movzx rax, [rax-8]
001cea08test rax, rax
001cea0bje 0x1cea98
001cea11mov rdi, [rdi+8]
001cea15mov rax, r8
001cea18mov rsi, rcx
001cea1bcall camlCamlinternalFormat.make_iprintf_4094
001cea20lea rbx, [rip+0x17f351]
001cea27mov rbx, [rbx+688]
001cea2esub r15, 80
001cea32cmp r15, [r14]
001cea35jb 0x1cefd3
001cea3b
001cea3bloc_1cea3b:
001cea3blea rdi, [r15+8]
001cea3fadd rdi, 40
001cea43mov [rdi-8], 4343
001cea4blea rsi, [rip+1566]
001cea52mov [rdi], rsi
001cea55mov rsi, 0x100000000000005
001cea5fmov [rdi+8], rsi
001cea63mov [rdi+16], rax
001cea67mov [rdi+24], rbx
001cea6blea rax, [rdi-40]
001cea6fmov [rax-8], 4343
001cea77lea rsi, [rip+1506]
001cea7emov [rax], rsi
001cea81mov rsi, 0x100000000000005
001cea8bmov [rax+8], rsi
001cea8fmov [rax+16], rdi
001cea93mov [rax+24], rbx
001cea97ret
001cea98
001cea98loc_1cea98:
001cea98mov rdi, [rdi+8]
001cea9cmov rax, r8
001cea9fmov rsi, rcx
001ceaa2call camlCamlinternalFormat.make_iprintf_4094
001ceaa7lea rbx, [rip+0x17f2ca]
001ceaaemov rbx, [rbx+688]
001ceab5sub r15, 40
001ceab9cmp r15, [r14]
001ceabcjb 0x1cefc9
001ceac2
001ceac2loc_1ceac2:
001ceac2lea rdi, [r15+8]
001ceac6mov [rdi-8], 4343
001ceacelea rsi, [rip+1403]
001cead5mov [rdi], rsi
001cead8mov rsi, 0x100000000000005
001ceae2mov [rdi+8], rsi
001ceae6mov [rdi+16], rax
001ceaeamov [rdi+24], rbx
001ceaeemov rax, rdi
001ceaf1ret
001ceaf2nop
001ceaf4mov rax, [rdi]
001ceaf7test al, 1
001ceaf9jne 0x1ceb94
001ceaffmovzx rax, [rax-8]
001ceb04test rax, rax
001ceb07je 0x1ceb94
001ceb0dmov rdi, [rdi+8]
001ceb11mov rax, r8
001ceb14mov rsi, rcx
001ceb17call camlCamlinternalFormat.make_iprintf_4094
001ceb1clea rbx, [rip+0x17f255]
001ceb23mov rbx, [rbx+688]
001ceb2asub r15, 80
001ceb2ecmp r15, [r14]
001ceb31jb 0x1cefbf
001ceb37
001ceb37loc_1ceb37:
001ceb37lea rdi, [r15+8]
001ceb3badd rdi, 40
001ceb3fmov [rdi-8], 4343
001ceb47lea rsi, [rip+1362]
001ceb4emov [rdi], rsi
001ceb51mov rsi, 0x100000000000005
001ceb5bmov [rdi+8], rsi
001ceb5fmov [rdi+16], rax
001ceb63mov [rdi+24], rbx
001ceb67lea rax, [rdi-40]
001ceb6bmov [rax-8], 4343
001ceb73lea rsi, [rip+1302]
001ceb7amov [rax], rsi
001ceb7dmov rsi, 0x100000000000005
001ceb87mov [rax+8], rsi
001ceb8bmov [rax+16], rdi
001ceb8fmov [rax+24], rbx
001ceb93ret
001ceb94
001ceb94loc_1ceb94:
001ceb94mov rdi, [rdi+8]
001ceb98mov rax, r8
001ceb9bmov rsi, rcx
001ceb9ecall camlCamlinternalFormat.make_iprintf_4094
001ceba3lea rbx, [rip+0x17f1ce]
001cebaamov rbx, [rbx+688]
001cebb1sub r15, 40
001cebb5cmp r15, [r14]
001cebb8jb 0x1cefb5
001cebbe
001cebbeloc_1cebbe:
001cebbelea rdi, [r15+8]
001cebc2mov [rdi-8], 4343
001cebcalea rsi, [rip+1199]
001cebd1mov [rdi], rsi
001cebd4mov rsi, 0x100000000000005
001cebdemov [rdi+8], rsi
001cebe2mov [rdi+16], rax
001cebe6mov [rdi+24], rbx
001cebeamov rax, rdi
001cebedret
001cebeenop
001cebf0mov rdi, [rdi]
001cebf3mov rax, r8
001cebf6mov rsi, rcx
001cebf9jmp 0x1ce8c2
001cebfenop
001cec00mov rsi, [rdi+16]
001cec04mov rdi, [rdi+8]
001cec08sub r15, 64
001cec0ccmp r15, [r14]
001cec0fjb 0x1cefab
001cec15
001cec15loc_1cec15:
001cec15lea rax, [r15+8]
001cec19mov [rax-8], 7415
001cec21lea rdx, [rip+1208]
001cec28mov [rax], rdx
001cec2bmov rdx, 0x100000000000005
001cec35mov [rax+8], rdx
001cec39mov [rax+16], rcx
001cec3dmov [rax+24], r8
001cec41mov [rax+32], rbx
001cec45mov [rax+40], rdi
001cec49mov [rax+48], rsi
001cec4dret
001cec4enop
001cec50mov rdi, [rdi]
001cec53mov rax, r8
001cec56mov rsi, rcx
001cec59call camlCamlinternalFormat.make_iprintf_4094
001cec5elea rbx, [rip+0x17f113]
001cec65mov rbx, [rbx+688]
001cec6csub r15, 80
001cec70cmp r15, [r14]
001cec73jb 0x1cefa1
001cec79
001cec79loc_1cec79:
001cec79lea rdi, [r15+8]
001cec7dadd rdi, 40
001cec81mov [rdi-8], 4343
001cec89lea rsi, [rip+1072]
001cec90mov [rdi], rsi
001cec93mov rsi, 0x100000000000005
001cec9dmov [rdi+8], rsi
001ceca1mov [rdi+16], rax
001ceca5mov [rdi+24], rbx
001ceca9lea rax, [rdi-40]
001cecadmov [rax-8], 4343
001cecb5lea rsi, [rip+1012]
001cecbcmov [rax], rsi
001cecbfmov rsi, 0x100000000000005
001cecc9mov [rax+8], rsi
001ceccdmov [rax+16], rdi
001cecd1mov [rax+24], rbx
001cecd5ret
001cecd6nop
001cecd8mov rsi, [rdi]
001cecdbmovzx rax, [rsi-8]
001cece0test rax, rax
001cece3je 0x1ced34
001cece5mov rdi, [rdi+8]
001cece9sub r15, 48
001cecedcmp r15, [r14]
001cecf0jb 0x1cef97
001cecf6
001cecf6loc_1cecf6:
001cecf6lea rax, [r15+8]
001cecfamov [rax-8], 5367
001ced02lea rdx, [rip+1191]
001ced09mov [rax], rdx
001ced0cmov rdx, 0x100000000000005
001ced16mov [rax+8], rdx
001ced1amov [rax+16], rcx
001ced1emov [rax+24], r8
001ced22mov [rax+32], rdi
001ced26mov rdi, [rsi]
001ced29mov rdi, [rdi]
001ced2cmov rsi, rcx
001ced2fjmp 0x1ce8c2
001ced34
001ced34loc_1ced34:
001ced34mov rdi, [rdi+8]
001ced38sub r15, 48
001ced3ccmp r15, [r14]
001ced3fjb 0x1cef8d
001ced45
001ced45loc_1ced45:
001ced45lea rax, [r15+8]
001ced49mov [rax-8], 5367
001ced51lea rdx, [rip+1080]
001ced58mov [rax], rdx
001ced5bmov rdx, 0x100000000000005
001ced65mov [rax+8], rdx
001ced69mov [rax+16], rcx
001ced6dmov [rax+24], r8
001ced71mov [rax+32], rdi
001ced75mov rdi, [rsi]
001ced78mov rdi, [rdi]
001ced7bmov rsi, rcx
001ced7ejmp 0x1ce8c2
001ced83nop
001ced84sub r15, 24
001ced88cmp r15, [r14]
001ced8bjb 0x1cef83
001ced91
001ced91loc_1ced91:
001ced91lea rax, [r15+8]
001ced95mov [rax-8], 2048
001ced9dlea rbx, [rip+0xa7464]
001ceda4mov [rax], rbx
001ceda7lea rbx, [rip+0x180cb2]
001cedaemov [rax+8], rbx
001cedb2call caml_raise_exn
001cedb7nop
001cedb8mov rdi, [rdi+8]
001cedbcmov rax, r8
001cedbfmov rsi, rcx
001cedc2call camlCamlinternalFormat.make_iprintf_4094
001cedc7lea rbx, [rip+0x17efaa]
001cedcemov rbx, [rbx+688]
001cedd5sub r15, 40
001cedd9cmp r15, [r14]
001ceddcjb 0x1cef79
001cede2
001cede2loc_1cede2:
001cede2lea rdi, [r15+8]
001cede6mov [rdi-8], 4343
001cedeelea rsi, [rip+875]
001cedf5mov [rdi], rsi
001cedf8mov rsi, 0x100000000000005
001cee02mov [rdi+8], rsi
001cee06mov [rdi+16], rax
001cee0amov [rdi+24], rbx
001cee0emov rax, rdi
001cee11ret
001cee12nop
001cee14mov rsi, [rdi+8]
001cee18mov rdi, [rdi]
001cee1bsub r15, 40
001cee1fcmp r15, [r14]
001cee22jb 0x1cef6f
001cee28
001cee28loc_1cee28:
001cee28lea rax, [r15+8]
001cee2cmov [rax-8], 4343
001cee34lea rdx, [rip+821]
001cee3bmov [rax], rdx
001cee3emov rdx, 0x100000000000005
001cee48mov [rax+8], rdx
001cee4cmov [rax+16], r8
001cee50mov [rax+24], rbx
001cee54lea rbx, [rip+0x17ef1d]
001cee5bmov rdx, [rbx+632]
001cee62mov ebx, 1
001cee67jmp 0x1cca00
001cee6cmov rdx, rcx
001cee6fadd rdx, 64
001cee73mov rsi, [rdi]
001cee76mov rdi, [rdi+16]
001cee7amov rax, r8
001cee7djmp 0x1cf7b0
001cee82nop
001cee84add rcx, 32
001cee88mov rdx, [rdi+16]
001cee8cmov rsi, [rdi+8]
001cee90mov rdi, [rdi+24]
001cee94mov rax, r8
001cee97jmp 0x1cf1d0
001cee9cmov rdi, [rdi]
001cee9fmov rax, r8
001ceea2mov rsi, rcx
001ceea5call camlCamlinternalFormat.make_iprintf_4094
001ceeaalea rbx, [rip+0x17eec7]
001ceeb1mov rbx, [rbx+688]
001ceeb8sub r15, 40
001ceebccmp r15, [r14]
001ceebfjb 0x1cef65
001ceec5
001ceec5loc_1ceec5:
001ceec5lea rdi, [r15+8]
001ceec9mov [rdi-8], 4343
001ceed1lea rsi, [rip+312]
001ceed8mov [rdi], rsi
001ceedbmov rsi, 0x100000000000005
001ceee5mov [rdi+8], rsi
001ceee9mov [rdi+16], rax
001ceeedmov [rdi+24], rbx
001ceef1mov rax, rdi
001ceef4ret
001ceef5nop [rax]
001ceef8mov rdi, [rdi+8]
001ceefcmov rax, r8
001ceeffmov rsi, rcx
001cef02jmp 0x1ce8c2
001cef07nop
001cef08mov rdi, [rdi+16]
001cef0cmov rax, r8
001cef0fmov rsi, rcx
001cef12call camlCamlinternalFormat.make_iprintf_4094
001cef17lea rbx, [rip+0x17ee5a]
001cef1emov rbx, [rbx+688]
001cef25sub r15, 40
001cef29cmp r15, [r14]
001cef2cjb 0x1cef5e
001cef2e
001cef2eloc_1cef2e:
001cef2elea rdi, [r15+8]
001cef32mov [rdi-8], 4343
001cef3alea rsi, [rip+399]
001cef41mov [rdi], rsi
001cef44mov rsi, 0x100000000000005
001cef4emov [rdi+8], rsi
001cef52mov [rdi+16], rax
001cef56mov [rdi+24], rbx
001cef5amov rax, rdi
001cef5dret
001cef5e
001cef5eloc_1cef5e:
001cef5ecall caml_call_gc
001cef63jmp 0x1cef2e
001cef65
001cef65loc_1cef65:
001cef65call caml_call_gc
001cef6ajmp 0x1ceec5
001cef6f
001cef6floc_1cef6f:
001cef6fcall caml_call_gc
001cef74jmp 0x1cee28
001cef79
001cef79loc_1cef79:
001cef79call caml_call_gc
001cef7ejmp 0x1cede2
001cef83
001cef83loc_1cef83:
001cef83call caml_call_gc
001cef88jmp 0x1ced91
001cef8d
001cef8dloc_1cef8d:
001cef8dcall caml_call_gc
001cef92jmp 0x1ced45
001cef97
001cef97loc_1cef97:
001cef97call caml_call_gc
001cef9cjmp 0x1cecf6
001cefa1
001cefa1loc_1cefa1:
001cefa1call caml_call_gc
001cefa6jmp 0x1cec79
001cefab
001cefabloc_1cefab:
001cefabcall caml_call_gc
001cefb0jmp 0x1cec15
001cefb5
001cefb5loc_1cefb5:
001cefb5call caml_call_gc
001cefbajmp 0x1cebbe
001cefbf
001cefbfloc_1cefbf:
001cefbfcall caml_call_gc
001cefc4jmp 0x1ceb37
001cefc9
001cefc9loc_1cefc9:
001cefc9call caml_call_gc
001cefcejmp 0x1ceac2
001cefd3
001cefd3loc_1cefd3:
001cefd3call caml_call_gc
001cefd8jmp 0x1cea3b
001cefdd
001cefddloc_1cefdd:
001cefddcall caml_call_gc
001cefe2jmp 0x1ce9c6
001cefe7
001cefe7loc_1cefe7:
001cefe7call caml_call_gc
001cefecjmp 0x1ce93f
001ceff1
001ceff1loc_1ceff1:
001ceff1call caml_call_gc
001ceff6jmp 0x1ce8d1
001ceffb
001ceffbloc_1ceffb:
001ceffbpush 33
001ceffdcall caml_call_realloc_stack
001cf002pop r10
001cf004jmp 0x1ce8c2
001ce8b0

001cf009
001cf009 // align 0x10

001cf010
001cf010camlCamlinternalFormat.fun_7056:
001cf010mov rax, [rbx+16]
001cf014ret
001cf010

001cf015
001cf015 // align 0x10

001cf020
001cf020camlCamlinternalFormat.fun_6936:
001cf020mov rax, [rbx+16]
001cf024ret
001cf020

001cf025
001cf025 // align 0x10

001cf030
001cf030camlCamlinternalFormat.fun_6928:
001cf030mov rax, [rbx+16]
001cf034ret
001cf030

001cf035
001cf035 // align 0x10

001cf040
001cf040camlCamlinternalFormat.fun_6920:
001cf040mov rax, [rbx+16]
001cf044ret
001cf040

001cf045
001cf045 // align 0x10

001cf050
001cf050camlCamlinternalFormat.fun_6960:
001cf050mov rax, [rbx+16]
001cf054ret
001cf050

001cf055
001cf055 // align 0x10

001cf060
001cf060camlCamlinternalFormat.fun_6952:
001cf060mov rax, [rbx+16]
001cf064ret
001cf060

001cf065
001cf065 // align 0x10

001cf070
001cf070camlCamlinternalFormat.fun_6944:
001cf070mov rax, [rbx+16]
001cf074ret
001cf070

001cf075
001cf075 // align 0x10

001cf080
001cf080camlCamlinternalFormat.fun_6984:
001cf080mov rax, [rbx+16]
001cf084ret
001cf080

001cf085
001cf085 // align 0x10

001cf090
001cf090camlCamlinternalFormat.fun_6976:
001cf090mov rax, [rbx+16]
001cf094ret
001cf090

001cf095
001cf095 // align 0x10

001cf0a0
001cf0a0camlCamlinternalFormat.fun_6968:
001cf0a0mov rax, [rbx+16]
001cf0a4ret
001cf0a0

001cf0a5
001cf0a5 // align 0x10

001cf0b0
001cf0b0camlCamlinternalFormat.fun_7015:
001cf0b0mov rax, [rbx+16]
001cf0b4ret
001cf0b0

001cf0b5
001cf0b5 // align 0x10

001cf0c0
001cf0c0camlCamlinternalFormat.fun_7007:
001cf0c0mov rax, [rbx+16]
001cf0c4ret
001cf0c0

001cf0c5
001cf0c5 // align 0x10

001cf0d0
001cf0d0camlCamlinternalFormat.fun_7064:
001cf0d0mov rax, [rbx+16]
001cf0d4ret
001cf0d0

001cf0d5
001cf0d5 // align 0x10

001cf0e0
001cf0e0camlCamlinternalFormat.fun_6989:
001cf0e0lea r10, [rsp-336]
001cf0e8cmp r10, [r14+40]
001cf0ecjb 0x1cf146
001cf0ee
001cf0eeloc_1cf0ee:
001cf0eesub rsp, 16
001cf0f2mov [rsp+8], rbx
001cf0f7mov rbx, [rbx+40]
001cf0fbmov rax, [rax]
001cf0femov [rsp], rax
001cf102mov rax, rbx
001cf105call camlCamlinternalFormat.symm_1179
001cf10acall camlCamlinternalFormatBasics.erase_rel_143
001cf10fmov rbx, rax
001cf112mov rax, [rsp]
001cf116call camlCamlinternalFormat.type_format_2488
001cf11bmov rbx, [rsp+8]
001cf120mov rbx, [rbx+48]
001cf124call camlCamlinternalFormatBasics.concat_fmt_512
001cf129mov rdi, rax
001cf12cmov rsi, [rsp+8]
001cf131mov rbx, [rsi+32]
001cf135mov rax, [rsi+24]
001cf139mov rsi, [rsi+16]
001cf13dadd rsp, 16
001cf141jmp 0x1ce8b0
001cf146
001cf146loc_1cf146:
001cf146push 35
001cf148call caml_call_realloc_stack
001cf14dpop r10
001cf14fjmp 0x1cf0ee
001cf0e0

001cf151
001cf151 // align 0x10

001cf160
001cf160camlCamlinternalFormat.fun_7041:
001cf160mov rax, [rbx+16]
001cf164ret
001cf160

001cf165
001cf165 // align 0x10

001cf170
001cf170camlCamlinternalFormat.fun_7046:
001cf170cmp r15, [r14]
001cf173jbe 0x1cf185
001cf175
001cf175loc_1cf175:
001cf175mov rdi, [rbx+16]
001cf179mov rax, [rbx+24]
001cf17dmov rsi, [rdi]
001cf180mov rbx, rdi
001cf183jmp rsi
001cf185
001cf185loc_1cf185:
001cf185call caml_call_gc
001cf18ajmp 0x1cf175
001cf170

001cf18c
001cf18c // align 0x10

001cf190
001cf190camlCamlinternalFormat.fun_7020:
001cf190mov rdx, rax
001cf193mov rdi, [rbx+32]
001cf197mov rax, [rbx+24]
001cf19bmov rsi, [rbx+16]
001cf19fmov rbx, rdx
001cf1a2jmp 0x1ce8b0
001cf190

001cf1a7
001cf1a7 // align 0x10

001cf1b0
001cf1b0camlCamlinternalFormat.fun_7029:
001cf1b0mov rdx, rax
001cf1b3mov rdi, [rbx+32]
001cf1b7mov rax, [rbx+24]
001cf1bbmov rsi, [rbx+16]
001cf1bfmov rbx, rdx
001cf1c2jmp 0x1ce8b0
001cf1b0

001cf1c7
001cf1c7 // align 0x10

001cf1d0
001cf1d0camlCamlinternalFormat.fn_of_padding_precision_4095:
001cf1d0lea r10, [rsp-320]
001cf1d8cmp r10, [r14+40]
001cf1dcjb 0x1cf6aa
001cf1e2
001cf1e2loc_1cf1e2:
001cf1e2test sil, 1
001cf1e6je 0x1cf334
001cf1ectest dl, 1
001cf1efje 0x1cf2dc
001cf1f5cmp rdx, 1
001cf1f9je 0x1cf284
001cf1ffmov rsi, rcx
001cf202add rsi, -32
001cf206call camlCamlinternalFormat.make_iprintf_4094
001cf20blea rbx, [rip+0x17eb66]
001cf212mov rbx, [rbx+688]
001cf219sub r15, 80
001cf21dcmp r15, [r14]
001cf220jb 0x1cf6a0
001cf226
001cf226loc_1cf226:
001cf226lea rdi, [r15+8]
001cf22aadd rdi, 40
001cf22emov [rdi-8], 4343
001cf236lea rsi, [rip+1203]
001cf23dmov [rdi], rsi
001cf240mov rsi, 0x100000000000005
001cf24amov [rdi+8], rsi
001cf24emov [rdi+16], rax
001cf252mov [rdi+24], rbx
001cf256lea rax, [rdi-40]
001cf25amov [rax-8], 4343
001cf262lea rsi, [rip+1143]
001cf269mov [rax], rsi
001cf26cmov rsi, 0x100000000000005
001cf276mov [rax+8], rsi
001cf27amov [rax+16], rdi
001cf27emov [rax+24], rbx
001cf282ret
001cf283
001cf283 90 .
001cf284
001cf284loc_1cf284:
001cf284mov rsi, rcx
001cf287add rsi, -32
001cf28bcall camlCamlinternalFormat.make_iprintf_4094
001cf290lea rbx, [rip+0x17eae1]
001cf297mov rbx, [rbx+688]
001cf29esub r15, 40
001cf2a2cmp r15, [r14]
001cf2a5jb 0x1cf696
001cf2ab
001cf2abloc_1cf2ab:
001cf2ablea rdi, [r15+8]
001cf2afmov [rdi-8], 4343
001cf2b7lea rsi, [rip+1026]
001cf2bemov [rdi], rsi
001cf2c1mov rsi, 0x100000000000005
001cf2cbmov [rdi+8], rsi
001cf2cfmov [rdi+16], rax
001cf2d3mov [rdi+24], rbx
001cf2d7mov rax, rdi
001cf2daret
001cf2db
001cf2db 90 .
001cf2dc
001cf2dcloc_1cf2dc:
001cf2dcmov rsi, rcx
001cf2dfadd rsi, -32
001cf2e3call camlCamlinternalFormat.make_iprintf_4094
001cf2e8lea rbx, [rip+0x17ea89]
001cf2efmov rbx, [rbx+688]
001cf2f6sub r15, 40
001cf2facmp r15, [r14]
001cf2fdjb 0x1cf68c
001cf303
001cf303loc_1cf303:
001cf303lea rdi, [r15+8]
001cf307mov [rdi-8], 4343
001cf30flea rsi, [rip+954]
001cf316mov [rdi], rsi
001cf319mov rsi, 0x100000000000005
001cf323mov [rdi+8], rsi
001cf327mov [rdi+16], rax
001cf32bmov [rdi+24], rbx
001cf32fmov rax, rdi
001cf332ret
001cf333
001cf333 90 .
001cf334
001cf334loc_1cf334:
001cf334movzx rsi, [rsi-8]
001cf339test rsi, rsi
001cf33cje 0x1cf510
001cf342test dl, 1
001cf345je 0x1cf48c
001cf34bcmp rdx, 1
001cf34fje 0x1cf408
001cf355mov rsi, rcx
001cf358add rsi, -32
001cf35ccall camlCamlinternalFormat.make_iprintf_4094
001cf361lea rbx, [rip+0x17ea10]
001cf368mov rbx, [rbx+688]
001cf36fsub r15, 120
001cf373cmp r15, [r14]
001cf376jb 0x1cf682
001cf37c
001cf37cloc_1cf37c:
001cf37clea rdi, [r15+8]
001cf380add rdi, 80
001cf384mov [rdi-8], 4343
001cf38clea rsi, [rip+1005]
001cf393mov [rdi], rsi
001cf396mov rsi, 0x100000000000005
001cf3a0mov [rdi+8], rsi
001cf3a4mov [rdi+16], rax
001cf3a8mov [rdi+24], rbx
001cf3aclea rsi, [rdi-40]
001cf3b0mov [rsi-8], 4343
001cf3b8lea rax, [rip+993]
001cf3bfmov [rsi], rax
001cf3c2mov rax, 0x100000000000005
001cf3ccmov [rsi+8], rax
001cf3d0mov [rsi+16], rdi
001cf3d4mov [rsi+24], rbx
001cf3d8lea rax, [rsi-40]
001cf3dcmov [rax-8], 4343
001cf3e4lea rdi, [rip+933]
001cf3ebmov [rax], rdi
001cf3eemov rdi, 0x100000000000005
001cf3f8mov [rax+8], rdi
001cf3fcmov [rax+16], rsi
001cf400mov [rax+24], rbx
001cf404ret
001cf405
001cf405 0f 1f 00 ...
001cf408
001cf408loc_1cf408:
001cf408mov rsi, rcx
001cf40badd rsi, -32
001cf40fcall camlCamlinternalFormat.make_iprintf_4094
001cf414lea rbx, [rip+0x17e95d]
001cf41bmov rbx, [rbx+688]
001cf422sub r15, 80
001cf426cmp r15, [r14]
001cf429jb 0x1cf678
001cf42f
001cf42floc_1cf42f:
001cf42flea rdi, [r15+8]
001cf433add rdi, 40
001cf437mov [rdi-8], 4343
001cf43flea rsi, [rip+778]
001cf446mov [rdi], rsi
001cf449mov rsi, 0x100000000000005
001cf453mov [rdi+8], rsi
001cf457mov [rdi+16], rax
001cf45bmov [rdi+24], rbx
001cf45flea rax, [rdi-40]
001cf463mov [rax-8], 4343
001cf46blea rsi, [rip+718]
001cf472mov [rax], rsi
001cf475mov rsi, 0x100000000000005
001cf47fmov [rax+8], rsi
001cf483mov [rax+16], rdi
001cf487mov [rax+24], rbx
001cf48bret
001cf48c
001cf48cloc_1cf48c:
001cf48cmov rsi, rcx
001cf48fadd rsi, -32
001cf493call camlCamlinternalFormat.make_iprintf_4094
001cf498lea rbx, [rip+0x17e8d9]
001cf49fmov rbx, [rbx+688]
001cf4a6sub r15, 80
001cf4aacmp r15, [r14]
001cf4adjb 0x1cf66e
001cf4b3
001cf4b3loc_1cf4b3:
001cf4b3lea rdi, [r15+8]
001cf4b7add rdi, 40
001cf4bbmov [rdi-8], 4343
001cf4c3lea rsi, [rip+678]
001cf4camov [rdi], rsi
001cf4cdmov rsi, 0x100000000000005
001cf4d7mov [rdi+8], rsi
001cf4dbmov [rdi+16], rax
001cf4dfmov [rdi+24], rbx
001cf4e3lea rax, [rdi-40]
001cf4e7mov [rax-8], 4343
001cf4eflea rsi, [rip+618]
001cf4f6mov [rax], rsi
001cf4f9mov rsi, 0x100000000000005
001cf503mov [rax+8], rsi
001cf507mov [rax+16], rdi
001cf50bmov [rax+24], rbx
001cf50fret
001cf510
001cf510loc_1cf510:
001cf510test dl, 1
001cf513je 0x1cf600
001cf519cmp rdx, 1
001cf51dje 0x1cf5a8
001cf523mov rsi, rcx
001cf526add rsi, -32
001cf52acall camlCamlinternalFormat.make_iprintf_4094
001cf52flea rbx, [rip+0x17e842]
001cf536mov rbx, [rbx+688]
001cf53dsub r15, 80
001cf541cmp r15, [r14]
001cf544jb 0x1cf664
001cf54a
001cf54aloc_1cf54a:
001cf54alea rdi, [r15+8]
001cf54eadd rdi, 40
001cf552mov [rdi-8], 4343
001cf55alea rsi, [rip+463]
001cf561mov [rdi], rsi
001cf564mov rsi, 0x100000000000005
001cf56emov [rdi+8], rsi
001cf572mov [rdi+16], rax
001cf576mov [rdi+24], rbx
001cf57alea rax, [rdi-40]
001cf57emov [rax-8], 4343
001cf586lea rsi, [rip+403]
001cf58dmov [rax], rsi
001cf590mov rsi, 0x100000000000005
001cf59amov [rax+8], rsi
001cf59emov [rax+16], rdi
001cf5a2mov [rax+24], rbx
001cf5a6ret
001cf5a7
001cf5a7 90 .
001cf5a8
001cf5a8loc_1cf5a8:
001cf5a8mov rsi, rcx
001cf5abadd rsi, -32
001cf5afcall camlCamlinternalFormat.make_iprintf_4094
001cf5b4lea rbx, [rip+0x17e7bd]
001cf5bbmov rbx, [rbx+688]
001cf5c2sub r15, 40
001cf5c6cmp r15, [r14]
001cf5c9jb 0x1cf65a
001cf5cf
001cf5cfloc_1cf5cf:
001cf5cflea rdi, [r15+8]
001cf5d3mov [rdi-8], 4343
001cf5dblea rsi, [rip+286]
001cf5e2mov [rdi], rsi
001cf5e5mov rsi, 0x100000000000005
001cf5efmov [rdi+8], rsi
001cf5f3mov [rdi+16], rax
001cf5f7mov [rdi+24], rbx
001cf5fbmov rax, rdi
001cf5feret
001cf5ff
001cf5ff 90 .
001cf600
001cf600loc_1cf600:
001cf600mov rsi, rcx
001cf603add rsi, -32
001cf607call camlCamlinternalFormat.make_iprintf_4094
001cf60clea rbx, [rip+0x17e765]
001cf613mov rbx, [rbx+688]
001cf61asub r15, 40
001cf61ecmp r15, [r14]
001cf621jb 0x1cf653
001cf623
001cf623loc_1cf623:
001cf623lea rdi, [r15+8]
001cf627mov [rdi-8], 4343
001cf62flea rsi, [rip+218]
001cf636mov [rdi], rsi
001cf639mov rsi, 0x100000000000005
001cf643mov [rdi+8], rsi
001cf647mov [rdi+16], rax
001cf64bmov [rdi+24], rbx
001cf64fmov rax, rdi
001cf652ret
001cf653
001cf653loc_1cf653:
001cf653call caml_call_gc
001cf658jmp 0x1cf623
001cf65a
001cf65aloc_1cf65a:
001cf65acall caml_call_gc
001cf65fjmp 0x1cf5cf
001cf664
001cf664loc_1cf664:
001cf664call caml_call_gc
001cf669jmp 0x1cf54a
001cf66e
001cf66eloc_1cf66e:
001cf66ecall caml_call_gc
001cf673jmp 0x1cf4b3
001cf678
001cf678loc_1cf678:
001cf678call caml_call_gc
001cf67djmp 0x1cf42f
001cf682
001cf682loc_1cf682:
001cf682call caml_call_gc
001cf687jmp 0x1cf37c
001cf68c
001cf68cloc_1cf68c:
001cf68ccall caml_call_gc
001cf691jmp 0x1cf303
001cf696
001cf696loc_1cf696:
001cf696call caml_call_gc
001cf69bjmp 0x1cf2ab
001cf6a0
001cf6a0loc_1cf6a0:
001cf6a0call caml_call_gc
001cf6a5jmp 0x1cf226
001cf6aa
001cf6aaloc_1cf6aa:
001cf6aapush 33
001cf6accall caml_call_realloc_stack
001cf6b1pop r10
001cf6b3jmp 0x1cf1e2
001cf1d0

001cf6b8
001cf6b8 // align 0x10

001cf6c0
001cf6c0camlCamlinternalFormat.fun_7089:
001cf6c0mov rax, [rbx+16]
001cf6c4ret
001cf6c0

001cf6c5
001cf6c5 // align 0x10

001cf6d0
001cf6d0camlCamlinternalFormat.fun_7097:
001cf6d0mov rax, [rbx+16]
001cf6d4ret
001cf6d0

001cf6d5
001cf6d5 // align 0x10

001cf6e0
001cf6e0camlCamlinternalFormat.fun_7081:
001cf6e0mov rax, [rbx+16]
001cf6e4ret
001cf6e0

001cf6e5
001cf6e5 // align 0x10

001cf6f0
001cf6f0camlCamlinternalFormat.fun_7073:
001cf6f0mov rax, [rbx+16]
001cf6f4ret
001cf6f0

001cf6f5
001cf6f5 // align 0x10

001cf700
001cf700camlCamlinternalFormat.fun_7121:
001cf700mov rax, [rbx+16]
001cf704ret
001cf700

001cf705
001cf705 // align 0x10

001cf710
001cf710camlCamlinternalFormat.fun_7129:
001cf710mov rax, [rbx+16]
001cf714ret
001cf710

001cf715
001cf715 // align 0x10

001cf720
001cf720camlCamlinternalFormat.fun_7113:
001cf720mov rax, [rbx+16]
001cf724ret
001cf720

001cf725
001cf725 // align 0x10

001cf730
001cf730camlCamlinternalFormat.fun_7105:
001cf730mov rax, [rbx+16]
001cf734ret
001cf730

001cf735
001cf735 // align 0x10

001cf740
001cf740camlCamlinternalFormat.fun_7169:
001cf740mov rax, [rbx+16]
001cf744ret
001cf740

001cf745
001cf745 // align 0x10

001cf750
001cf750camlCamlinternalFormat.fun_7161:
001cf750mov rax, [rbx+16]
001cf754ret
001cf750

001cf755
001cf755 // align 0x10

001cf760
001cf760camlCamlinternalFormat.fun_7185:
001cf760mov rax, [rbx+16]
001cf764ret
001cf760

001cf765
001cf765 // align 0x10

001cf770
001cf770camlCamlinternalFormat.fun_7177:
001cf770mov rax, [rbx+16]
001cf774ret
001cf770

001cf775
001cf775 // align 0x10

001cf780
001cf780camlCamlinternalFormat.fun_7137:
001cf780mov rax, [rbx+16]
001cf784ret
001cf780

001cf785
001cf785 // align 0x10

001cf790
001cf790camlCamlinternalFormat.fun_7153:
001cf790mov rax, [rbx+16]
001cf794ret
001cf790

001cf795
001cf795 // align 0x10

001cf7a0
001cf7a0camlCamlinternalFormat.fun_7145:
001cf7a0mov rax, [rbx+16]
001cf7a4ret
001cf7a0

001cf7a5
001cf7a5 // align 0x10

001cf7b0
001cf7b0camlCamlinternalFormat.fn_of_custom_arity_4096:
001cf7b0lea r10, [rsp-320]
001cf7b8cmp r10, [r14+40]
001cf7bcjb 0x1cf826
001cf7be
001cf7beloc_1cf7be:
001cf7betest sil, 1
001cf7c2je 0x1cf7d0
001cf7c4mov rsi, rdx
001cf7c7add rsi, -64
001cf7cbjmp 0x1ce8b0
001cf7d0
001cf7d0loc_1cf7d0:
001cf7d0mov rsi, [rsi]
001cf7d3call camlCamlinternalFormat.fn_of_custom_arity_4096
001cf7d8lea rbx, [rip+0x17e599]
001cf7dfmov rbx, [rbx+688]
001cf7e6sub r15, 40
001cf7eacmp r15, [r14]
001cf7edjb 0x1cf81f
001cf7ef
001cf7efloc_1cf7ef:
001cf7eflea rdi, [r15+8]
001cf7f3mov [rdi-8], 4343
001cf7fblea rsi, [rip+62]
001cf802mov [rdi], rsi
001cf805mov rsi, 0x100000000000005
001cf80fmov [rdi+8], rsi
001cf813mov [rdi+16], rax
001cf817mov [rdi+24], rbx
001cf81bmov rax, rdi
001cf81eret
001cf81f
001cf81floc_1cf81f:
001cf81fcall caml_call_gc
001cf824jmp 0x1cf7ef
001cf826
001cf826loc_1cf826:
001cf826push 33
001cf828call caml_call_realloc_stack
001cf82dpop r10
001cf82fjmp 0x1cf7be
001cf7b0

001cf831
001cf831 // align 0x10

001cf840
001cf840camlCamlinternalFormat.fun_7194:
001cf840mov rax, [rbx+16]
001cf844ret
001cf840

001cf845
001cf845 // align 0x10

001cf850
001cf850camlCamlinternalFormat.output_acc_4362:
001cf850lea r10, [rsp-344]
001cf858cmp r10, [r14+40]
001cf85cjb 0x1cf9ff
001cf862
001cf862loc_1cf862:
001cf862sub rsp, 24
001cf866
001cf866loc_1cf866:
001cf866mov rdi, rax
001cf869cmp r15, [r14]
001cf86cjbe 0x1cf9f5
001cf872
001cf872loc_1cf872:
001cf872test bl, 1
001cf875je 0x1cf884
001cf877mov eax, 1
001cf87cadd rsp, 24
001cf880ret
001cf881nop [rax]
001cf884
001cf884loc_1cf884:
001cf884mov [rsp], rbx
001cf888mov [rsp+8], rdi
001cf88dmovzx rax, [rbx-8]
001cf892lea rdx, [rip+0x5e917]
001cf899movsxd rax, [rdx+4*rax]
001cf89dadd rdx, rax
001cf8a0jmp rdx
001cf8a2nop
001cf8a4mov rax, [rbx+8]
001cf8a8call camlCamlinternalFormat.string_of_formatting_lit_763
001cf8admov [rsp+16], rax
001cf8b2mov rax, [rsp]
001cf8b6mov rbx, [rax]
001cf8b9mov rax, [rsp+8]
001cf8becall camlCamlinternalFormat.output_acc_4362
001cf8c3mov rax, [rsp+8]
001cf8c8mov rbx, [rsp+16]
001cf8cdadd rsp, 24
001cf8d1jmp 0x1963d0
001cf8d6nop
001cf8d8mov rax, [rbx+8]
001cf8dcmov [rsp], rax
001cf8e0mov rbx, [rbx]
001cf8e3movzx rax, [rax-8]
001cf8e8test rax, rax
001cf8ebje 0x1cf918
001cf8edmov rax, rdi
001cf8f0call camlCamlinternalFormat.output_acc_4362
001cf8f5lea rbx, [rip+0x17ed0c]
001cf8fcmov rax, [rsp+8]
001cf901call camlStdlib.output_string_253
001cf906mov rax, [rsp]
001cf90amov rbx, [rax]
001cf90dmov rax, [rsp+8]
001cf912jmp 0x1cf866
001cf917nop
001cf918
001cf918loc_1cf918:
001cf918mov rax, rdi
001cf91bcall camlCamlinternalFormat.output_acc_4362
001cf920lea rbx, [rip+0x17ee71]
001cf927mov rax, [rsp+8]
001cf92ccall camlStdlib.output_string_253
001cf931mov rax, [rsp]
001cf935mov rbx, [rax]
001cf938mov rax, [rsp+8]
001cf93djmp 0x1cf866
001cf942nop
001cf944mov rbx, [rbx]
001cf947mov rax, rdi
001cf94acall camlCamlinternalFormat.output_acc_4362
001cf94fmov rax, [rsp]
001cf953mov rbx, [rax+8]
001cf957mov rdi, [rbx]
001cf95amov rax, [rsp+8]
001cf95fadd rsp, 24
001cf963jmp rdi
001cf965nop [rax]
001cf968mov rbx, [rbx]
001cf96bmov rax, rdi
001cf96ecall camlCamlinternalFormat.output_acc_4362
001cf973mov rdi, [rsp+8]
001cf978lea rax, [rip+0x402d1]
001cf97fcall caml_c_call
001cf984add rsp, 24
001cf988ret
001cf989nop [rax]
001cf98cmov rbx, [rbx]
001cf98fmov rax, rdi
001cf992call camlCamlinternalFormat.output_acc_4362
001cf997mov rax, [rsp]
001cf99bmov rax, [rax+8]
001cf99fadd rsp, 24
001cf9a3jmp 0x195ab0
001cf9a8mov rbx, [rbx]
001cf9abmov rax, rdi
001cf9aecall camlCamlinternalFormat.output_acc_4362
001cf9b3mov rax, [rsp]
001cf9b7mov rbx, [rax+8]
001cf9bbmov rax, [rsp+8]
001cf9c0add rsp, 24
001cf9c4jmp 0x1963d0
001cf9c9nop [rax]
001cf9ccmov rbx, [rbx]
001cf9cfmov rax, rdi
001cf9d2call camlCamlinternalFormat.output_acc_4362
001cf9d7mov rax, [rsp]
001cf9dbmov rsi, [rax+8]
001cf9dfmov rdi, [rsp+8]
001cf9e4lea rax, [rip+0x404e5]
001cf9ebcall caml_c_call
001cf9f0add rsp, 24
001cf9f4ret
001cf9f5
001cf9f5loc_1cf9f5:
001cf9f5call caml_call_gc
001cf9fajmp 0x1cf872
001cf9ff
001cf9ffloc_1cf9ff:
001cf9ffpush 36
001cfa01call caml_call_realloc_stack
001cfa06pop r10
001cfa08jmp 0x1cf862
001cf850

001cfa0d
001cfa0d // align 0x10

001cfa10
001cfa10camlCamlinternalFormat.bufput_acc_4385:
001cfa10lea r10, [rsp-344]
001cfa18cmp r10, [r14+40]
001cfa1cjb 0x1cfbf3
001cfa22
001cfa22loc_1cfa22:
001cfa22sub rsp, 24
001cfa26
001cfa26loc_1cfa26:
001cfa26mov rdi, rax
001cfa29cmp r15, [r14]
001cfa2cjbe 0x1cfbe9
001cfa32
001cfa32loc_1cfa32:
001cfa32test bl, 1
001cfa35je 0x1cfa44
001cfa37mov eax, 1
001cfa3cadd rsp, 24
001cfa40ret
001cfa41nop [rax]
001cfa44
001cfa44loc_1cfa44:
001cfa44mov [rsp], rbx
001cfa48mov [rsp+16], rdi
001cfa4dmovzx rax, [rbx-8]
001cfa52lea rdx, [rip+0x5e77b]
001cfa59movsxd rax, [rdx+4*rax]
001cfa5dadd rdx, rax
001cfa60jmp rdx
001cfa62nop
001cfa64mov rax, [rbx+8]
001cfa68call camlCamlinternalFormat.string_of_formatting_lit_763
001cfa6dmov [rsp+8], rax
001cfa72mov rax, [rsp]
001cfa76mov rbx, [rax]
001cfa79mov rax, [rsp+16]
001cfa7ecall camlCamlinternalFormat.bufput_acc_4385
001cfa83mov rbx, [rsp+8]
001cfa88mov rax, [rbx-8]
001cfa8cshr rax, 10
001cfa90lea rax, [8*rax-1]
001cfa98movzx rdi, [rbx+rax]
001cfa9dsub rax, rdi
001cfaa0lea rsi, [rax+rax+1]
001cfaa5mov edi, 1
001cfaaamov rax, [rsp+16]
001cfaafadd rsp, 24
001cfab3jmp 0x1c0e10
001cfab8mov rax, [rbx+8]
001cfabcmov [rsp], rax
001cfac0mov rbx, [rbx]
001cfac3movzx rax, [rax-8]
001cfac8test rax, rax
001cfacbje 0x1cfb04
001cfacdmov rax, rdi
001cfad0call camlCamlinternalFormat.bufput_acc_4385
001cfad5mov esi, 5
001cfadamov edi, 1
001cfadflea rbx, [rip+0x17eb22]
001cfae6mov rax, [rsp+16]
001cfaebcall Stdlib.Buffer.add_substring
001cfaf0mov rax, [rsp]
001cfaf4mov rbx, [rax]
001cfaf7mov rax, [rsp+16]
001cfafcjmp 0x1cfa26
001cfb01nop [rax]
001cfb04
001cfb04loc_1cfb04:
001cfb04mov rax, rdi
001cfb07call camlCamlinternalFormat.bufput_acc_4385
001cfb0cmov esi, 5
001cfb11mov edi, 1
001cfb16lea rbx, [rip+0x17ec7b]
001cfb1dmov rax, [rsp+16]
001cfb22call Stdlib.Buffer.add_substring
001cfb27mov rax, [rsp]
001cfb2bmov rbx, [rax]
001cfb2emov rax, [rsp+16]
001cfb33jmp 0x1cfa26
001cfb38mov rbx, [rbx]
001cfb3bmov rax, rdi
001cfb3ecall camlCamlinternalFormat.bufput_acc_4385
001cfb43mov rax, [rsp]
001cfb47mov rbx, [rax+8]
001cfb4bmov rdi, [rbx]
001cfb4emov rax, [rsp+16]
001cfb53add rsp, 24
001cfb57jmp rdi
001cfb59nop [rax]
001cfb5cmov rbx, [rbx]
001cfb5fmov rax, rdi
001cfb62jmp 0x1cfa26
001cfb67nop
001cfb68mov rbx, [rbx]
001cfb6bmov rax, rdi
001cfb6ecall camlCamlinternalFormat.bufput_acc_4385
001cfb73mov rax, [rsp]
001cfb77mov rax, [rax+8]
001cfb7badd rsp, 24
001cfb7fjmp 0x195ab0
001cfb84mov rbx, [rbx]
001cfb87mov rax, rdi
001cfb8acall camlCamlinternalFormat.bufput_acc_4385
001cfb8fmov rax, [rsp]
001cfb93mov rbx, [rax+8]
001cfb97mov rax, [rbx-8]
001cfb9bshr rax, 10
001cfb9flea rax, [8*rax-1]
001cfba7movzx rdi, [rbx+rax]
001cfbacsub rax, rdi
001cfbaflea rsi, [rax+rax+1]
001cfbb4mov edi, 1
001cfbb9mov rax, [rsp+16]
001cfbbeadd rsp, 24
001cfbc2jmp 0x1c0e10
001cfbc7nop
001cfbc8mov rbx, [rbx]
001cfbcbmov rax, rdi
001cfbcecall camlCamlinternalFormat.bufput_acc_4385
001cfbd3mov rax, [rsp]
001cfbd7mov rbx, [rax+8]
001cfbdbmov rax, [rsp+16]
001cfbe0add rsp, 24
001cfbe4jmp 0x1c0b10
001cfbe9
001cfbe9loc_1cfbe9:
001cfbe9call caml_call_gc
001cfbeejmp 0x1cfa32
001cfbf3
001cfbf3loc_1cfbf3:
001cfbf3push 36
001cfbf5call caml_call_realloc_stack
001cfbfapop r10
001cfbfcjmp 0x1cfa22
001cfa10

001cfc01
001cfc01 // align 0x10

001cfc10
001cfc10camlCamlinternalFormat.strput_acc_4490:
001cfc10lea r10, [rsp-344]
001cfc18cmp r10, [r14+40]
001cfc1cjb 0x1cfe1f
001cfc22
001cfc22loc_1cfc22:
001cfc22sub rsp, 24
001cfc26
001cfc26loc_1cfc26:
001cfc26mov rdi, rax
001cfc29cmp r15, [r14]
001cfc2cjbe 0x1cfe15
001cfc32
001cfc32loc_1cfc32:
001cfc32test bl, 1
001cfc35je 0x1cfc44
001cfc37mov eax, 1
001cfc3cadd rsp, 24
001cfc40ret
001cfc41nop [rax]
001cfc44
001cfc44loc_1cfc44:
001cfc44mov [rsp], rbx
001cfc48mov [rsp+16], rdi
001cfc4dmovzx rax, [rbx-8]
001cfc52lea rdx, [rip+0x5e59f]
001cfc59movsxd rax, [rdx+4*rax]
001cfc5dadd rdx, rax
001cfc60jmp rdx
001cfc62nop
001cfc64mov rax, [rbx+8]
001cfc68call camlCamlinternalFormat.string_of_formatting_lit_763
001cfc6dmov [rsp+8], rax
001cfc72mov rax, [rsp]
001cfc76mov rbx, [rax]
001cfc79mov rax, [rsp+16]
001cfc7ecall camlCamlinternalFormat.strput_acc_4490
001cfc83mov rbx, [rsp+8]
001cfc88mov rax, [rbx-8]
001cfc8cshr rax, 10
001cfc90lea rax, [8*rax-1]
001cfc98movzx rdi, [rbx+rax]
001cfc9dsub rax, rdi
001cfca0lea rsi, [rax+rax+1]
001cfca5mov edi, 1
001cfcaamov rax, [rsp+16]
001cfcafadd rsp, 24
001cfcb3jmp 0x1c0e10
001cfcb8mov rax, [rbx+8]
001cfcbcmov [rsp], rax
001cfcc0mov rbx, [rbx]
001cfcc3movzx rax, [rax-8]
001cfcc8test rax, rax
001cfccbje 0x1cfd04
001cfccdmov rax, rdi
001cfcd0call camlCamlinternalFormat.strput_acc_4490
001cfcd5mov esi, 5
001cfcdamov edi, 1
001cfcdflea rbx, [rip+0x17e922]
001cfce6mov rax, [rsp+16]
001cfcebcall Stdlib.Buffer.add_substring
001cfcf0mov rax, [rsp]
001cfcf4mov rbx, [rax]
001cfcf7mov rax, [rsp+16]
001cfcfcjmp 0x1cfc26
001cfd01nop [rax]
001cfd04
001cfd04loc_1cfd04:
001cfd04mov rax, rdi
001cfd07call camlCamlinternalFormat.strput_acc_4490
001cfd0cmov esi, 5
001cfd11mov edi, 1
001cfd16lea rbx, [rip+0x17ea7b]
001cfd1dmov rax, [rsp+16]
001cfd22call Stdlib.Buffer.add_substring
001cfd27mov rax, [rsp]
001cfd2bmov rbx, [rax]
001cfd2emov rax, [rsp+16]
001cfd33jmp 0x1cfc26
001cfd38mov rbx, [rbx]
001cfd3bmov rax, rdi
001cfd3ecall camlCamlinternalFormat.strput_acc_4490
001cfd43mov rax, [rsp]
001cfd47mov rbx, [rax+8]
001cfd4bmov eax, 1
001cfd50mov rdi, [rbx]
001cfd53call rdi
001cfd55mov rbx, rax
001cfd58mov rax, [rbx-8]
001cfd5cshr rax, 10
001cfd60lea rax, [8*rax-1]
001cfd68movzx rdi, [rbx+rax]
001cfd6dsub rax, rdi
001cfd70lea rsi, [rax+rax+1]
001cfd75mov edi, 1
001cfd7amov rax, [rsp+16]
001cfd7fadd rsp, 24
001cfd83jmp 0x1c0e10
001cfd88mov rbx, [rbx]
001cfd8bmov rax, rdi
001cfd8ejmp 0x1cfc26
001cfd93nop
001cfd94mov rbx, [rbx]
001cfd97mov rax, rdi
001cfd9acall camlCamlinternalFormat.strput_acc_4490
001cfd9fmov rax, [rsp]
001cfda3mov rax, [rax+8]
001cfda7add rsp, 24
001cfdabjmp 0x195ab0
001cfdb0mov rbx, [rbx]
001cfdb3mov rax, rdi
001cfdb6call camlCamlinternalFormat.strput_acc_4490
001cfdbbmov rax, [rsp]
001cfdbfmov rbx, [rax+8]
001cfdc3mov rax, [rbx-8]
001cfdc7shr rax, 10
001cfdcblea rax, [8*rax-1]
001cfdd3movzx rdi, [rbx+rax]
001cfdd8sub rax, rdi
001cfddblea rsi, [rax+rax+1]
001cfde0mov edi, 1
001cfde5mov rax, [rsp+16]
001cfdeaadd rsp, 24
001cfdeejmp 0x1c0e10
001cfdf3nop
001cfdf4mov rbx, [rbx]
001cfdf7mov rax, rdi
001cfdfacall camlCamlinternalFormat.strput_acc_4490
001cfdffmov rax, [rsp]
001cfe03mov rbx, [rax+8]
001cfe07mov rax, [rsp+16]
001cfe0cadd rsp, 24
001cfe10jmp 0x1c0b10
001cfe15
001cfe15loc_1cfe15:
001cfe15call caml_call_gc
001cfe1ajmp 0x1cfc32
001cfe1f
001cfe1floc_1cfe1f:
001cfe1fpush 36
001cfe21call caml_call_realloc_stack
001cfe26pop r10
001cfe28jmp 0x1cfc22
001cfc10

001cfe2d
001cfe2d // align 0x10

001cfe30
001cfe30camlCamlinternalFormat.failwith_message_4513:
001cfe30lea r10, [rsp-328]
001cfe38cmp r10, [r14+40]
001cfe3cjb 0x1cfeab
001cfe3e
001cfe3eloc_1cfe3e:
001cfe3esub rsp, 8
001cfe42mov [rsp], rax
001cfe46mov eax, 513
001cfe4bcall Stdlib.Buffer.create
001cfe50sub r15, 32
001cfe54cmp r15, [r14]
001cfe57jb 0x1cfea4
001cfe59
001cfe59loc_1cfe59:
001cfe59lea rdx, [r15+8]
001cfe5dmov [rdx-8], 3319
001cfe65lea rbx, [rip+84]
001cfe6cmov [rdx], rbx
001cfe6fmov rbx, 0x100000000000005
001cfe79mov [rdx+8], rbx
001cfe7dmov [rdx+16], rax
001cfe81mov rax, [rsp]
001cfe85mov rdi, [rax]
001cfe88lea rax, [rip+0x17dee9]
001cfe8fmov rsi, [rax+48]
001cfe93mov ebx, 1
001cfe98mov rax, rdx
001cfe9badd rsp, 8
001cfe9fjmp 0x1cbe90
001cfea4
001cfea4loc_1cfea4:
001cfea4call caml_call_gc
001cfea9jmp 0x1cfe59
001cfeab
001cfeabloc_1cfeab:
001cfeabpush 34
001cfeadcall caml_call_realloc_stack
001cfeb2pop r10
001cfeb4jmp 0x1cfe3e
001cfe30

001cfeb6
001cfeb6 // align 0x10

001cfec0
001cfec0camlCamlinternalFormat.k_4517:
001cfec0lea r10, [rsp-328]
001cfec8cmp r10, [r14+40]
001cfeccjb 0x1cff0a
001cfece
001cfeceloc_1cfece:
001cfecesub rsp, 8
001cfed2mov rdi, rax
001cfed5mov [rsp], rbx
001cfed9mov rax, [rbx+16]
001cfeddmov rbx, rdi
001cfee0call camlCamlinternalFormat.strput_acc_4490
001cfee5mov rax, [rsp]
001cfee9mov rax, [rax+16]
001cfeedmov rdi, [rax+8]
001cfef1mov rax, [rax]
001cfef4mov rax, [rax]
001cfef7mov ebx, 1
001cfefccall Stdlib.Bytes.sub
001cff01add rsp, 8
001cff05jmp 0x195a70
001cff0a
001cff0aloc_1cff0a:
001cff0apush 34
001cff0ccall caml_call_realloc_stack
001cff11pop r10
001cff13jmp 0x1cfece
001cfec0

001cff15
001cff15 // align 0x10

001cff20
001cff20camlCamlinternalFormat.open_box_of_string_4521:
001cff20lea r10, [rsp-392]
001cff28cmp r10, [r14+40]
001cff2cjb 0x1d02b6
001cff32
001cff32loc_1cff32:
001cff32sub rsp, 56
001cff36mov r12, rax
001cff39lea rsi, [rip+0x17fb10]
001cff40mov rdi, r12
001cff43mov rbx, rsp
001cff46mov rsp, [r14+64]
001cff4acall caml_string_equal
001cff4fmov rsp, rbx
001cff52cmp rax, 1
001cff56je 0x1cff64
001cff58lea rax, [rip+0x17fac9]
001cff5fadd rsp, 56
001cff63ret
001cff64
001cff64loc_1cff64:
001cff64mov [rsp+48], r12
001cff69mov rax, [r12-8]
001cff6eshr rax, 10
001cff72lea rax, [8*rax-1]
001cff7amovzx rbx, [r12+rax]
001cff7fsub rax, rbx
001cff82lea rax, [rax+rax+1]
001cff87mov [rsp+24], rax
001cff8csub r15, 136
001cff93cmp r15, [r14]
001cff96jb 0x1d02ac
001cff9c
001cff9cloc_1cff9c:
001cff9clea rbx, [r15+8]
001cffa0add rbx, 104
001cffa4mov [rsp+40], rbx
001cffa9mov [rbx-8], 3319
001cffb1lea rdi, [rip+792]
001cffb8mov [rbx], rdi
001cffbbmov rdi, 0x100000000000005
001cffc5mov [rbx+8], rdi
001cffc9mov [rbx+16], r12
001cffcdadd rbx, -104
001cffd1mov [rsp+16], rbx
001cffd6mov [rbx-8], 12535
001cffdelea rdi, [rip+827]
001cffe5mov [rbx], rdi
001cffe8mov rdi, 0x100000000000015
001cfff2mov [rbx+8], rdi
001cfff6mov [rbx+16], 3321
001cfffelea rdi, [rip-0xd8fe5]
001d0005mov [rbx+24], rdi
001d0009mov rsi, 0x20000000000000f
001d0013mov [rbx+32], rsi
001d0017lea rsi, [rip+882]
001d001emov [rbx+40], rsi
001d0022mov [rbx+48], 7417
001d002amov [rbx+56], rdi
001d002emov rdi, 0x200000000000007
001d0038mov [rbx+64], rdi
001d003clea rdi, [rip+957]
001d0043mov [rbx+72], rdi
001d0047mov [rbx+80], r12
001d004bmov [rbx+88], rax
001d004fmov eax, 1
001d0054call camlCamlinternalFormat.parse_spaces_4528
001d0059mov [rsp], rax
001d005dmov rdi, [rsp+16]
001d0062add rdi, 24
001d0066mov rbx, rax
001d0069call camlCamlinternalFormat.parse_lword_4529
001d006emov rdi, rax
001d0071mov [rsp+8], rdi
001d0076mov rbx, [rsp]
001d007asub rdi, rbx
001d007dinc rdi
001d0080mov rax, [rsp+48]
001d0085call Stdlib.Bytes.sub
001d008amov [rsp+32], rax
001d008fmov rax, [rsp+8]
001d0094mov rbx, [rsp+16]
001d0099call camlCamlinternalFormat.parse_spaces_4528
001d009emov [rsp], rax
001d00a2mov rdi, [rsp+16]
001d00a7add rdi, 56
001d00abmov rbx, rax
001d00aecall camlCamlinternalFormat.parse_int_4530
001d00b3mov rdi, rax
001d00b6mov [rsp+8], rdi
001d00bbmov rbx, [rsp]
001d00bfcmp rbx, rdi
001d00c2jne 0x1d00d4
001d00c4mov eax, 1
001d00c9mov [rsp], rax
001d00cdjmp 0x1d015c
001d00d2
001d00d2 66 90 f.
001d00d4
001d00d4loc_1d00d4:
001d00d4lea r11, [rip+57]
001d00dbpush r11
001d00ddpush [r14+48]
001d00e1mov [r14+48], rsp
001d00e5sub rdi, rbx
001d00e8inc rdi
001d00ebmov rax, [rsp+64]
001d00f0call Stdlib.Bytes.sub
001d00f5mov rdi, rax
001d00f8lea rax, [rip+0x3d2e1]
001d00ffcall caml_c_call
001d0104mov [rsp+16], rax
001d0109pop [r14+48]
001d010dadd rsp, 8
001d0111jmp 0x1d015c
001d0113
001d0113 90 .
001d0114lea rbx, [rip+0x15d4fd]
001d011bmov rbx, [rbx+48]
001d011fmov rdi, [rax]
001d0122cmp rdi, rbx
001d0125jne 0x1d0150
001d0127mov rax, [rsp+40]
001d012cmov rax, [rax+16]
001d0130mov [rsp], rax
001d0134lea rax, [rip+0x17f845]
001d013bcall camlCamlinternalFormat.failwith_message_4513
001d0140mov rbx, rax
001d0143mov rdi, [rbx]
001d0146mov rax, [rsp]
001d014acall rdi
001d014cjmp 0x1d0158
001d014e
001d014e 66 90 f.
001d0150
001d0150loc_1d0150:
001d0150call caml_reraise_exn
001d0155nop [rax]
001d0158
001d0158loc_1d0158:
001d0158mov [rsp], rax
001d015c
001d015cloc_1d015c:
001d015cmov rax, [rsp+8]
001d0161mov rbx, [rsp+16]
001d0166call camlCamlinternalFormat.parse_spaces_4528
001d016bmov rbx, [rsp+24]
001d0170cmp rax, rbx
001d0173je 0x1d019c
001d0175mov rax, [rsp+40]
001d017amov rax, [rax+16]
001d017emov [rsp+8], rax
001d0183lea rax, [rip+0x17f7f6]
001d018acall camlCamlinternalFormat.failwith_message_4513
001d018fmov rbx, rax
001d0192mov rdi, [rbx]
001d0195mov rax, [rsp+8]
001d019acall rdi
001d019c
001d019cloc_1d019c:
001d019cmov rbx, [rsp+32]
001d01a1mov rax, [rbx-8]
001d01a5shr rax, 10
001d01a9cmp rax, 2
001d01adjge 0x1d024f
001d01b3mov rax, [rbx]
001d01b6mov rbx, 0x600000000000068
001d01c0cmp rax, rbx
001d01c3jge 0x1d0210
001d01c5mov rbx, 0x400000000766f68
001d01cfcmp rax, rbx
001d01d2jne 0x1d01e0
001d01d4mov eax, 7
001d01d9jmp 0x1d027d
001d01de
001d01de 66 90 f.
001d01e0
001d01e0loc_1d01e0:
001d01e0mov rbx, 0x500000000007668
001d01eacmp rax, rbx
001d01edjne 0x1d01fc
001d01efmov eax, 5
001d01f4jmp 0x1d027d
001d01f9
001d01f9 0f 1f 00 ...
001d01fc
001d01fcloc_1d01fc:
001d01fcmov rbx, 0x600000000000062
001d0206cmp rax, rbx
001d0209je 0x1d0278
001d020bjmp 0x1d024f
001d020d
001d020d 0f 1f 00 ...
001d0210
001d0210loc_1d0210:
001d0210mov rbx, 0x600000000000068
001d021acmp rax, rbx
001d021djne 0x1d0228
001d021fmov eax, 1
001d0224jmp 0x1d027d
001d0226
001d0226 66 90 f.
001d0228
001d0228loc_1d0228:
001d0228mov rbx, 0x600000000000076
001d0232cmp rax, rbx
001d0235jne 0x1d0240
001d0237mov eax, 3
001d023cjmp 0x1d027d
001d023e
001d023e 66 90 f.
001d0240
001d0240loc_1d0240:
001d0240mov rbx, 0x700000000000000
001d024acmp rax, rbx
001d024dje 0x1d0278
001d024f
001d024floc_1d024f:
001d024fmov rax, [rsp+40]
001d0254mov rax, [rax+16]
001d0258mov [rsp+8], rax
001d025dlea rax, [rip+0x17f71c]
001d0264call camlCamlinternalFormat.failwith_message_4513
001d0269mov rbx, rax
001d026cmov rdi, [rbx]
001d026fmov rax, [rsp+8]
001d0274call rdi
001d0276jmp 0x1d027d
001d0278
001d0278loc_1d0278:
001d0278mov eax, 9
001d027d
001d027dloc_1d027d:
001d027dsub r15, 24
001d0281cmp r15, [r14]
001d0284jb 0x1d02a5
001d0286
001d0286loc_1d0286:
001d0286lea rbx, [r15+8]
001d028amov [rbx-8], 2048
001d0292mov rdi, [rsp]
001d0296mov [rbx], rdi
001d0299mov [rbx+8], rax
001d029dmov rax, rbx
001d02a0add rsp, 56
001d02a4ret
001d02a5
001d02a5loc_1d02a5:
001d02a5call caml_call_gc
001d02aajmp 0x1d0286
001d02ac
001d02acloc_1d02ac:
001d02accall caml_call_gc
001d02b1jmp 0x1cff9c
001d02b6
001d02b6loc_1d02b6:
001d02b6push 42
001d02b8call caml_call_realloc_stack
001d02bdpop r10
001d02bfjmp 0x1cff32
001cff20

001d02c4
001d02c4 // align 0x10

001d02d0
001d02d0camlCamlinternalFormat.invalid_box_4525:
001d02d0lea r10, [rsp-328]
001d02d8cmp r10, [r14+40]
001d02dcjb 0x1d0312
001d02de
001d02deloc_1d02de:
001d02desub rsp, 8
001d02e2cmp r15, [r14]
001d02e5jbe 0x1d030b
001d02e7
001d02e7loc_1d02e7:
001d02e7mov rax, [rbx+16]
001d02ebmov [rsp], rax
001d02eflea rax, [rip+0x17f68a]
001d02f6call camlCamlinternalFormat.failwith_message_4513
001d02fbmov rbx, rax
001d02femov rdi, [rbx]
001d0301mov rax, [rsp]
001d0305add rsp, 8
001d0309jmp rdi
001d030b
001d030bloc_1d030b:
001d030bcall caml_call_gc
001d0310jmp 0x1d02e7
001d0312
001d0312loc_1d0312:
001d0312push 34
001d0314call caml_call_realloc_stack
001d0319pop r10
001d031bjmp 0x1d02de
001d02d0

001d031d
001d031d // align 0x10

001d0320
001d0320camlCamlinternalFormat.parse_spaces_4528:
001d0320cmp r15, [r14]
001d0323jbe 0x1d0376
001d0325
001d0325loc_1d0325:
001d0325mov rdi, [rbx+88]
001d0329cmp rax, rdi
001d032cjne 0x1d0330
001d032eret
001d032f
001d032f 90 .
001d0330
001d0330loc_1d0330:
001d0330mov rdi, rax
001d0333sar rdi, 1
001d0336mov rsi, [rbx+80]
001d033amov rdx, [rsi-8]
001d033eshr rdx, 10
001d0342lea rdx, [8*rdx-1]
001d034amovzx rcx, [rsi+rdx]
001d034fsub rdx, rcx
001d0352cmp rdx, rdi
001d0355jbe 0x1d037d
001d0357movzx rdi, [rsi+rdi]
001d035clea rdi, [rdi+rdi+1]
001d0361cmp rdi, 19
001d0365je 0x1d0370
001d0367cmp rdi, 65
001d036bje 0x1d0370
001d036dret
001d036e
001d036e 66 90 f.
001d0370
001d0370loc_1d0370:
001d0370add rax, 2
001d0374jmp 0x1d0320
001d0376
001d0376loc_1d0376:
001d0376call caml_call_gc
001d037bjmp 0x1d0325
001d037d
001d037dloc_1d037d:
001d037dcall caml_ml_array_bound_error
001d0320

001d0382
001d0382 // align 0x10

001d0390
001d0390camlCamlinternalFormat.parse_lword_4529:
001d0390cmp r15, [r14]
001d0393jbe 0x1d03ee
001d0395
001d0395loc_1d0395:
001d0395mov rsi, [rdi+64]
001d0399cmp rbx, rsi
001d039cjne 0x1d03a4
001d039emov rax, rbx
001d03a1ret
001d03a2
001d03a2 66 90 f.
001d03a4
001d03a4loc_1d03a4:
001d03a4mov rsi, rbx
001d03a7sar rsi, 1
001d03aamov rdx, [rdi+56]
001d03aemov rcx, [rdx-8]
001d03b2shr rcx, 10
001d03b6lea rcx, [8*rcx-1]
001d03bemovzx r8, [rdx+rcx]
001d03c3sub rcx, r8
001d03c6cmp rcx, rsi
001d03c9jbe 0x1d03f5
001d03cbmovzx rsi, [rdx+rsi]
001d03d0lea rsi, [rsi+rsi+1]
001d03d5add rsi, -194
001d03dccmp rsi, 51
001d03e0jbe 0x1d03e8
001d03e2mov rax, rbx
001d03e5ret
001d03e6
001d03e6 66 90 f.
001d03e8
001d03e8loc_1d03e8:
001d03e8add rbx, 2
001d03ecjmp 0x1d0390
001d03ee
001d03eeloc_1d03ee:
001d03eecall caml_call_gc
001d03f3jmp 0x1d0395
001d03f5
001d03f5loc_1d03f5:
001d03f5call caml_ml_array_bound_error
001d0390

001d03fa
001d03fa // align 0x10

001d0400
001d0400camlCamlinternalFormat.parse_int_4530:
001d0400cmp r15, [r14]
001d0403jbe 0x1d0466
001d0405
001d0405loc_1d0405:
001d0405mov rsi, [rdi+32]
001d0409cmp rbx, rsi
001d040cjne 0x1d0414
001d040emov rax, rbx
001d0411ret
001d0412
001d0412 66 90 f.
001d0414
001d0414loc_1d0414:
001d0414mov rsi, rbx
001d0417sar rsi, 1
001d041amov rdx, [rdi+24]
001d041emov rcx, [rdx-8]
001d0422shr rcx, 10
001d0426lea rcx, [8*rcx-1]
001d042emovzx r8, [rdx+rcx]
001d0433sub rcx, r8
001d0436cmp rcx, rsi
001d0439jbe 0x1d046d
001d043bmovzx rsi, [rdx+rsi]
001d0440lea rsi, [rsi+rsi+1]
001d0445cmp rsi, 97
001d0449jl 0x1d0454
001d044bcmp rsi, 117
001d044fjl 0x1d0460
001d0451jmp 0x1d045a
001d0453
001d0453 90 .
001d0454
001d0454loc_1d0454:
001d0454cmp rsi, 91
001d0458je 0x1d0460
001d045a
001d045aloc_1d045a:
001d045amov rax, rbx
001d045dret
001d045e
001d045e 66 90 f.
001d0460
001d0460loc_1d0460:
001d0460add rbx, 2
001d0464jmp 0x1d0400
001d0466
001d0466loc_1d0466:
001d0466call caml_call_gc
001d046bjmp 0x1d0405
001d046d
001d046dloc_1d046d:
001d046dcall caml_ml_array_bound_error
001d0400

001d0472
001d0472 // align 0x10

001d0480
001d0480camlCamlinternalFormat.make_padding_fmt_ebb_4544:
001d0480test al, 1
001d0482je 0x1d04ac
001d0484sub r15, 24
001d0488cmp r15, [r14]
001d048bjb 0x1d0535
001d0491
001d0491loc_1d0491:
001d0491lea rax, [r15+8]
001d0495mov [rax-8], 2048
001d049dmov [rax], 1
001d04a4mov [rax+8], rbx
001d04a8ret
001d04a9
001d04a9 0f 1f 00 ...
001d04ac
001d04acloc_1d04ac:
001d04acmovzx rdi, [rax-8]
001d04b1test rdi, rdi
001d04b4je 0x1d04ec
001d04b6sub r15, 40
001d04bacmp r15, [r14]
001d04bdjb 0x1d052e
001d04bf
001d04bfloc_1d04bf:
001d04bflea rdi, [r15+8]
001d04c3add rdi, 24
001d04c7mov [rdi-8], 1025
001d04cfmov rax, [rax]
001d04d2mov [rdi], rax
001d04d5lea rax, [rdi-24]
001d04d9mov [rax-8], 2048
001d04e1mov [rax], rdi
001d04e4mov [rax+8], rbx
001d04e8ret
001d04e9
001d04e9 0f 1f 00 ...
001d04ec
001d04ecloc_1d04ec:
001d04ecsub r15, 48
001d04f0cmp r15, [r14]
001d04f3jb 0x1d0527
001d04f5
001d04f5loc_1d04f5:
001d04f5lea rdi, [r15+8]
001d04f9add rdi, 24
001d04fdmov [rdi-8], 2048
001d0505mov rsi, [rax]
001d0508mov [rdi], rsi
001d050bmov rax, [rax+8]
001d050fmov [rdi+8], rax
001d0513lea rax, [rdi-24]
001d0517mov [rax-8], 2048
001d051fmov [rax], rdi
001d0522mov [rax+8], rbx
001d0526ret
001d0527
001d0527loc_1d0527:
001d0527call caml_call_gc
001d052cjmp 0x1d04f5
001d052e
001d052eloc_1d052e:
001d052ecall caml_call_gc
001d0533jmp 0x1d04bf
001d0535
001d0535loc_1d0535:
001d0535call caml_call_gc
001d053ajmp 0x1d0491
001d0480

001d053f
001d053f // align 0x10

001d0540
001d0540camlCamlinternalFormat.make_precision_fmt_ebb_4555:
001d0540test al, 1
001d0542je 0x1d0590
001d0544cmp rax, 1
001d0548je 0x1d056c
001d054asub r15, 24
001d054ecmp r15, [r14]
001d0551jb 0x1d05d1
001d0553
001d0553loc_1d0553:
001d0553lea rax, [r15+8]
001d0557mov [rax-8], 2048
001d055fmov [rax], 3
001d0566mov [rax+8], rbx
001d056aret
001d056b
001d056b 90 .
001d056c
001d056cloc_1d056c:
001d056csub r15, 24
001d0570cmp r15, [r14]
001d0573jb 0x1d05ca
001d0575
001d0575loc_1d0575:
001d0575lea rax, [r15+8]
001d0579mov [rax-8], 2048
001d0581mov [rax], 1
001d0588mov [rax+8], rbx
001d058cret
001d058d
001d058d 0f 1f 00 ...
001d0590
001d0590loc_1d0590:
001d0590sub r15, 40
001d0594cmp r15, [r14]
001d0597jb 0x1d05c3
001d0599
001d0599loc_1d0599:
001d0599lea rdi, [r15+8]
001d059dadd rdi, 24
001d05a1mov [rdi-8], 1024
001d05a9mov rax, [rax]
001d05acmov [rdi], rax
001d05aflea rax, [rdi-24]
001d05b3mov [rax-8], 2048
001d05bbmov [rax], rdi
001d05bemov [rax+8], rbx
001d05c2ret
001d05c3
001d05c3loc_1d05c3:
001d05c3call caml_call_gc
001d05c8jmp 0x1d0599
001d05ca
001d05caloc_1d05ca:
001d05cacall caml_call_gc
001d05cfjmp 0x1d0575
001d05d1
001d05d1loc_1d05d1:
001d05d1call caml_call_gc
001d05d6jmp 0x1d0553
001d0540

001d05db
001d05db // align 0x10

001d05e0
001d05e0camlCamlinternalFormat.make_padprec_fmt_ebb_4564:
001d05e0lea r10, [rsp-328]
001d05e8cmp r10, [r14+40]
001d05ecjb 0x1d06ea
001d05f2
001d05f2loc_1d05f2:
001d05f2sub rsp, 8
001d05f6mov [rsp], rax
001d05famov rax, rbx
001d05fdmov rbx, rdi
001d0600call camlCamlinternalFormat.make_precision_fmt_ebb_4555
001d0605mov rdi, [rax+8]
001d0609mov rbx, [rax]
001d060cmov rdx, [rsp]
001d0610test dl, 1
001d0613je 0x1d0644
001d0615sub r15, 32
001d0619cmp r15, [r14]
001d061cjb 0x1d06e0
001d0622
001d0622loc_1d0622:
001d0622lea rax, [r15+8]
001d0626mov [rax-8], 3072
001d062emov [rax], 1
001d0635mov [rax+8], rbx
001d0639mov [rax+16], rdi
001d063dadd rsp, 8
001d0641ret
001d0642
001d0642 66 90 f.
001d0644
001d0644loc_1d0644:
001d0644movzx rax, [rdx-8]
001d0649test rax, rax
001d064cje 0x1d068c
001d064esub r15, 48
001d0652cmp r15, [r14]
001d0655jb 0x1d06d6
001d0657
001d0657loc_1d0657:
001d0657lea rsi, [r15+8]
001d065badd rsi, 32
001d065fmov [rsi-8], 1025
001d0667mov rax, [rdx]
001d066amov [rsi], rax
001d066dlea rax, [rsi-32]
001d0671mov [rax-8], 3072
001d0679mov [rax], rsi
001d067cmov [rax+8], rbx
001d0680mov [rax+16], rdi
001d0684add rsp, 8
001d0688ret
001d0689
001d0689 0f 1f 00 ...
001d068c
001d068cloc_1d068c:
001d068csub r15, 56
001d0690cmp r15, [r14]
001d0693jb 0x1d06cf
001d0695
001d0695loc_1d0695:
001d0695lea rsi, [r15+8]
001d0699add rsi, 32
001d069dmov [rsi-8], 2048
001d06a5mov rax, [rdx]
001d06a8mov [rsi], rax
001d06abmov rax, [rdx+8]
001d06afmov [rsi+8], rax
001d06b3lea rax, [rsi-32]
001d06b7mov [rax-8], 3072
001d06bfmov [rax], rsi
001d06c2mov [rax+8], rbx
001d06c6mov [rax+16], rdi
001d06caadd rsp, 8
001d06ceret
001d06cf
001d06cfloc_1d06cf:
001d06cfcall caml_call_gc
001d06d4jmp 0x1d0695
001d06d6
001d06d6loc_1d06d6:
001d06d6call caml_call_gc
001d06dbjmp 0x1d0657
001d06e0
001d06e0loc_1d06e0:
001d06e0call caml_call_gc
001d06e5jmp 0x1d0622
001d06ea
001d06ealoc_1d06ea:
001d06eapush 34
001d06eccall caml_call_realloc_stack
001d06f1pop r10
001d06f3jmp 0x1d05f2
001d05e0

001d06f8
001d06f8 // align 0x10

001d0700
001d0700camlCamlinternalFormat.fmt_ebb_of_string_4583:
001d0700test al, 1
001d0702je 0x1d070c
001d0704mov r13l, 3
001d070ajmp 0x1d070f
001d070c
001d070cloc_1d070c:
001d070cmov r13, [rax]
001d070f
001d070floc_1d070f:
001d070fsub r15, 1016
001d0716cmp r15, [r14]
001d0719jb 0x1d0d12
001d071f
001d071floc_1d071f:
001d071flea rax, [r15+8]
001d0723add rax, 976
001d0729mov [rax-8], 4343
001d0731lea rdi, [rip-0xd9718]
001d0738mov [rax], rdi
001d073bmov rsi, 0x200000000000007
001d0745mov [rax+8], rsi
001d0749lea rsi, [rip+1488]
001d0750mov [rax+16], rsi
001d0754mov [rax+24], rbx
001d0758lea r9, [rax-32]
001d075cmov [r9-8], 3319
001d0764lea rsi, [rip+1573]
001d076bmov [r9], rsi
001d076emov rsi, 0x100000000000005
001d0778mov [r9+8], rsi
001d077cmov [r9+16], rax
001d0780lea r8, [r9-32]
001d0784mov [r8-8], 3319
001d078clea rsi, [rip+1645]
001d0793mov [r8], rsi
001d0796mov rsi, 0x100000000000005
001d07a0mov [r8+8], rsi
001d07a4mov [r8+16], rax
001d07a8lea rcx, [r8-40]
001d07acmov [rcx-8], 4343
001d07b4lea rax, [rip-0xd988b]
001d07bbmov [rcx], rax
001d07bemov rsi, 0x300000000000007
001d07c8mov [rcx+8], rsi
001d07cclea rsi, [rip+1693]
001d07d3mov [rcx+16], rsi
001d07d7mov [rcx+24], rbx
001d07dblea rdx, [rcx-40]
001d07dfmov [rdx-8], 4343
001d07e7mov [rdx], rax
001d07eamov rsi, 0x300000000000007
001d07f4mov [rdx+8], rsi
001d07f8lea rsi, [rip+1761]
001d07ffmov [rdx+16], rsi
001d0803mov [rdx+24], rbx
001d0807lea rsi, [rdx-832]
001d080emov [rsi-8], 0x19cf7
001d0816mov [rsi], rdi
001d0819mov r12, 0x2000000000000c3
001d0823mov [rsi+8], r12
001d0827lea r12, [rip+1826]
001d082emov [rsi+16], r12
001d0832mov [rsi+24], 4345
001d083amov [rsi+32], rax
001d083emov r12, 0x3000000000000bb
001d0848mov [rsi+40], r12
001d084clea r12, [rip+1837]
001d0853mov [rsi+48], r12
001d0857mov [rsi+56], 8441
001d085fmov [rsi+64], rdi
001d0863mov r12, 0x2000000000000b3
001d086dmov [rsi+72], r12
001d0871lea r12, [rip+2120]
001d0878mov [rsi+80], r12
001d087cmov [rsi+88], 12537
001d0884mov [rsi+96], rax
001d0888mov r12, 0x3000000000000ab
001d0892mov [rsi+104], r12
001d0896lea r12, [rip+2131]
001d089dmov [rsi+112], r12
001d08a1mov [rsi+120], 16633
001d08a9lea r12, [rip-0xd9af0]
001d08b0mov [rsi+128], r12
001d08b7mov r10, 0x4000000000000a3
001d08c1mov [rsi+136], r10
001d08c8lea r10, [rip+2321]
001d08cfmov [rsi+144], r10
001d08d6mov [rsi+152], 20729
001d08e1lea r10, [rip-0xda948]
001d08e8mov [rsi+160], r10
001d08efmov r11, 0x90000000000009b
001d08f9mov [rsi+168], r11
001d0900lea r11, [rip+3225]
001d0907mov [rsi+176], r11
001d090emov [rsi+184], 24825
001d0919mov [rsi+192], r10
001d0920mov r11, 0x900000000000093
001d092amov [rsi+200], r11
001d0931lea r11, [rip+4072]
001d0938mov [rsi+208], r11
001d093fmov [rsi+216], 28921
001d094amov [rsi+224], r10
001d0951mov r10, 0x90000000000008b
001d095bmov [rsi+232], r10
001d0962lea r10, [rip+4375]
001d0969mov [rsi+240], r10
001d0970mov [rsi+248], 33017
001d097blea r10, [rip-0xdb0b2]
001d0982mov [rsi+256], r10
001d0989mov r10, 0xa00000000000083
001d0993mov [rsi+264], r10
001d099alea r10, [rip+5039]
001d09a1mov [rsi+272], r10
001d09a8mov [rsi+280], 37113
001d09b3lea r10, [rip-0xdb99a]
001d09bamov [rsi+288], r10
001d09c1mov r10, 0xb0000000000007b
001d09cbmov [rsi+296], r10
001d09d2lea r10, [rip+5463]
001d09d9mov [rsi+304], r10
001d09e0mov [rsi+312], 41209
001d09ebmov [rsi+320], rdi
001d09f2mov r10, 0x200000000000073
001d09fcmov [rsi+328], r10
001d0a03lea r10, [rip+15094]
001d0a0amov [rsi+336], r10
001d0a11mov [rsi+344], 45305
001d0a1cmov [rsi+352], rax
001d0a23mov r10, 0x30000000000006b
001d0a2dmov [rsi+360], r10
001d0a34lea r10, [rip+16629]
001d0a3bmov [rsi+368], r10
001d0a42mov [rsi+376], 49401
001d0a4dmov [rsi+384], rdi
001d0a54mov r10, 0x200000000000063
001d0a5emov [rsi+392], r10
001d0a65lea r10, [rip+17316]
001d0a6cmov [rsi+400], r10
001d0a73mov [rsi+408], 53497
001d0a7emov [rsi+416], rdi
001d0a85mov r10, 0x20000000000005b
001d0a8fmov [rsi+424], r10
001d0a96lea r10, [rip+18243]
001d0a9dmov [rsi+432], r10
001d0aa4mov [rsi+440], 57593
001d0aafmov [rsi+448], rdi
001d0ab6mov r10, 0x200000000000053
001d0ac0mov [rsi+456], r10
001d0ac7lea r10, [rip+18914]
001d0acemov [rsi+464], r10
001d0ad5mov [rsi+472], 61689
001d0ae0mov [rsi+480], rdi
001d0ae7mov r10, 0x20000000000004b
001d0af1mov [rsi+488], r10
001d0af8lea r10, [rip+21409]
001d0affmov [rsi+496], r10
001d0b06mov [rsi+504], 0x100f9
001d0b11mov [rsi+512], rax
001d0b18mov r10, 0x300000000000043
001d0b22mov [rsi+520], r10
001d0b29lea r10, [rip+21536]
001d0b30mov [rsi+528], r10
001d0b37mov [rsi+536], 0x110f9
001d0b42mov [rsi+544], rdi
001d0b49mov rdi, 0x20000000000003b
001d0b53mov [rsi+552], rdi
001d0b5alea rdi, [rip+21839]
001d0b61mov [rsi+560], rdi
001d0b68mov [rsi+568], 0x120f9
001d0b73mov [rsi+576], rax
001d0b7amov rdi, 0x300000000000033
001d0b84mov [rsi+584], rdi
001d0b8blea rdi, [rip+22350]
001d0b92mov [rsi+592], rdi
001d0b99mov [rsi+600], 0x130f9
001d0ba4mov [rsi+608], rax
001d0babmov rax, 0x30000000000002b
001d0bb5mov [rsi+616], rax
001d0bbclea rax, [rip+22621]
001d0bc3mov [rsi+624], rax
001d0bcamov [rsi+632], 0x140f9
001d0bd5lea rax, [rip+23604]
001d0bdcmov [rsi+640], rax
001d0be3mov rax, 0x100000000000023
001d0bedmov [rsi+648], rax
001d0bf4mov [rsi+656], 0x14cf9
001d0bfflea rax, [rip+23610]
001d0c06mov [rsi+664], rax
001d0c0dmov rax, 0x10000000000001d
001d0c17mov [rsi+672], rax
001d0c1emov [rsi+680], 0x158f9
001d0c29lea rax, [rip-0xda370]
001d0c30mov [rsi+688], rax
001d0c37mov rdi, 0x600000000000017
001d0c41mov [rsi+696], rdi
001d0c48lea rdi, [rip+23665]
001d0c4fmov [rsi+704], rdi
001d0c56mov [rsi+712], 0x168f9
001d0c61mov [rsi+720], rax
001d0c68mov rax, 0x60000000000000f
001d0c72mov [rsi+728], rax
001d0c79lea rax, [rip+24320]
001d0c80mov [rsi+736], rax
001d0c87mov [rsi+744], 0x178f9
001d0c92mov [rsi+752], r12
001d0c99mov rax, 0x400000000000007
001d0ca3mov [rsi+760], rax
001d0caalea rax, [rip+24671]
001d0cb1mov [rsi+768], rax
001d0cb8mov [rsi+776], rbx
001d0cbfmov [rsi+784], r13
001d0cc6mov [rsi+792], r9
001d0ccdmov [rsi+800], r8
001d0cd4mov [rsi+808], rcx
001d0cdbmov [rsi+816], rdx
001d0ce2mov rax, [rbx-8]
001d0ce6shr rax, 10
001d0cealea rax, [8*rax-1]
001d0cf2movzx rbx, [rbx+rax]
001d0cf7sub rax, rbx
001d0cfalea rdi, [rax+rax+1]
001d0cffadd rsi, 32
001d0d03mov ebx, 1
001d0d08mov eax, 1
001d0d0djmp 0x1d0f80
001d0d12
001d0d12loc_1d0d12:
001d0d12call caml_call_gc
001d0d17jmp 0x1d071f
001d0700