Similarity

001ca3a0
001ca3a0camlCamlinternalFormat.type_ignored_param_one_2492:
001ca3a0lea r10, [rsp-328]
001ca3a8cmp r10, [r14+40]
001ca3acjb 0x1ca40e
001ca3ae
001ca3aeloc_1ca3ae:
001ca3aesub rsp, 8
001ca3b2mov [rsp], rax
001ca3b6mov rax, rbx
001ca3b9mov rbx, rdi
001ca3bccall camlCamlinternalFormat.type_format_gen_2489
001ca3c1sub r15, 48
001ca3c5cmp r15, [r14]
001ca3c8jb 0x1ca407
001ca3ca
001ca3caloc_1ca3ca:
001ca3calea rbx, [r15+8]
001ca3ceadd rbx, 24
001ca3d2mov [rbx-8], 2071
001ca3damov rdi, [rsp]
001ca3demov [rbx], rdi
001ca3e1mov rdi, [rax]
001ca3e4mov [rbx+8], rdi
001ca3e8lea rdi, [rbx-24]
001ca3ecmov [rdi-8], 2048
001ca3f4mov [rdi], rbx
001ca3f7mov rax, [rax+8]
001ca3fbmov [rdi+8], rax
001ca3ffmov rax, rdi
001ca402add rsp, 8
001ca406ret
001ca407
001ca407loc_1ca407:
001ca407call caml_call_gc
001ca40cjmp 0x1ca3ca
001ca40e
001ca40eloc_1ca40e:
001ca40epush 34
001ca410call caml_call_realloc_stack
001ca415pop r10
001ca417jmp 0x1ca3ae
001ca3a0

001ca419
001ca419 // align 0x10

001ca420
001ca420camlCamlinternalFormat.type_ignored_format_substitution_2493:
001ca420lea r10, [rsp-368]
001ca428cmp r10, [r14+40]
001ca42cjb 0x1cad08
001ca432
001ca432loc_1ca432:
001ca432sub rsp, 48
001ca436mov rcx, rax
001ca439test cl, 1
001ca43cje 0x1ca478
001ca43emov rax, rbx
001ca441mov rbx, rdi
001ca444call camlCamlinternalFormat.type_format_gen_2489
001ca449sub r15, 24
001ca44dcmp r15, [r14]
001ca450jb 0x1cacfe
001ca456
001ca456loc_1ca456:
001ca456lea rbx, [r15+8]
001ca45amov [rbx-8], 2048
001ca462mov [rbx], 1
001ca469mov [rbx+8], rax
001ca46dmov rax, rbx
001ca470add rsp, 48
001ca474ret
001ca475nop [rax]
001ca478
001ca478loc_1ca478:
001ca478mov [rsp+24], rdi
001ca47dmov [rsp+40], rbx
001ca482mov [rsp+32], rcx
001ca487movzx rax, [rcx-8]
001ca48clea rdx, [rip+0x63a7d]
001ca493movsxd rax, [rdx+4*rax]
001ca497add rdx, rax
001ca49ajmp rdx
001ca49ctest dil, 1
001ca4a0jne 0x1cac30
001ca4a6movzx rax, [rdi-8]
001ca4abtest rax, rax
001ca4aejne 0x1cac30
001ca4b4mov rdi, [rdi]
001ca4b7mov rax, [rcx]
001ca4bacall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca4bfsub r15, 40
001ca4c3cmp r15, [r14]
001ca4c6jb 0x1cacf4
001ca4cc
001ca4ccloc_1ca4cc:
001ca4cclea rbx, [r15+8]
001ca4d0add rbx, 24
001ca4d4mov [rbx-8], 1024
001ca4dcmov rdi, [rax]
001ca4dfmov [rbx], rdi
001ca4e2lea rdi, [rbx-24]
001ca4e6mov [rdi-8], 2048
001ca4eemov [rdi], rbx
001ca4f1mov rax, [rax+8]
001ca4f5mov [rdi+8], rax
001ca4f9mov rax, rdi
001ca4fcadd rsp, 48
001ca500ret
001ca501nop [rax]
001ca504test dil, 1
001ca508jne 0x1cac30
001ca50emovzx rax, [rdi-8]
001ca513cmp rax, 1
001ca517jne 0x1cac30
001ca51dmov rdi, [rdi]
001ca520mov rax, [rcx]
001ca523call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca528sub r15, 40
001ca52ccmp r15, [r14]
001ca52fjb 0x1cacea
001ca535
001ca535loc_1ca535:
001ca535lea rbx, [r15+8]
001ca539add rbx, 24
001ca53dmov [rbx-8], 1025
001ca545mov rdi, [rax]
001ca548mov [rbx], rdi
001ca54blea rdi, [rbx-24]
001ca54fmov [rdi-8], 2048
001ca557mov [rdi], rbx
001ca55amov rax, [rax+8]
001ca55emov [rdi+8], rax
001ca562mov rax, rdi
001ca565add rsp, 48
001ca569ret
001ca56anop
001ca56ctest dil, 1
001ca570jne 0x1cac30
001ca576movzx rax, [rdi-8]
001ca57bcmp rax, 2
001ca57fjne 0x1cac30
001ca585mov rdi, [rdi]
001ca588mov rax, [rcx]
001ca58bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca590sub r15, 40
001ca594cmp r15, [r14]
001ca597jb 0x1cace0
001ca59d
001ca59dloc_1ca59d:
001ca59dlea rbx, [r15+8]
001ca5a1add rbx, 24
001ca5a5mov [rbx-8], 1026
001ca5admov rdi, [rax]
001ca5b0mov [rbx], rdi
001ca5b3lea rdi, [rbx-24]
001ca5b7mov [rdi-8], 2048
001ca5bfmov [rdi], rbx
001ca5c2mov rax, [rax+8]
001ca5c6mov [rdi+8], rax
001ca5camov rax, rdi
001ca5cdadd rsp, 48
001ca5d1ret
001ca5d2nop
001ca5d4test dil, 1
001ca5d8jne 0x1cac30
001ca5demovzx rax, [rdi-8]
001ca5e3cmp rax, 3
001ca5e7jne 0x1cac30
001ca5edmov rdi, [rdi]
001ca5f0mov rax, [rcx]
001ca5f3call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca5f8sub r15, 40
001ca5fccmp r15, [r14]
001ca5ffjb 0x1cacd6
001ca605
001ca605loc_1ca605:
001ca605lea rbx, [r15+8]
001ca609add rbx, 24
001ca60dmov [rbx-8], 1027
001ca615mov rdi, [rax]
001ca618mov [rbx], rdi
001ca61blea rdi, [rbx-24]
001ca61fmov [rdi-8], 2048
001ca627mov [rdi], rbx
001ca62amov rax, [rax+8]
001ca62emov [rdi+8], rax
001ca632mov rax, rdi
001ca635add rsp, 48
001ca639ret
001ca63anop
001ca63ctest dil, 1
001ca640jne 0x1cac30
001ca646movzx rax, [rdi-8]
001ca64bcmp rax, 4
001ca64fjne 0x1cac30
001ca655mov rdi, [rdi]
001ca658mov rax, [rcx]
001ca65bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca660sub r15, 40
001ca664cmp r15, [r14]
001ca667jb 0x1caccc
001ca66d
001ca66dloc_1ca66d:
001ca66dlea rbx, [r15+8]
001ca671add rbx, 24
001ca675mov [rbx-8], 1028
001ca67dmov rdi, [rax]
001ca680mov [rbx], rdi
001ca683lea rdi, [rbx-24]
001ca687mov [rdi-8], 2048
001ca68fmov [rdi], rbx
001ca692mov rax, [rax+8]
001ca696mov [rdi+8], rax
001ca69amov rax, rdi
001ca69dadd rsp, 48
001ca6a1ret
001ca6a2nop
001ca6a4test dil, 1
001ca6a8jne 0x1cac30
001ca6aemovzx rax, [rdi-8]
001ca6b3cmp rax, 5
001ca6b7jne 0x1cac30
001ca6bdmov rdi, [rdi]
001ca6c0mov rax, [rcx]
001ca6c3call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca6c8sub r15, 40
001ca6cccmp r15, [r14]
001ca6cfjb 0x1cacc2
001ca6d5
001ca6d5loc_1ca6d5:
001ca6d5lea rbx, [r15+8]
001ca6d9add rbx, 24
001ca6ddmov [rbx-8], 1029
001ca6e5mov rdi, [rax]
001ca6e8mov [rbx], rdi
001ca6eblea rdi, [rbx-24]
001ca6efmov [rdi-8], 2048
001ca6f7mov [rdi], rbx
001ca6famov rax, [rax+8]
001ca6femov [rdi+8], rax
001ca702mov rax, rdi
001ca705add rsp, 48
001ca709ret
001ca70anop
001ca70ctest dil, 1
001ca710jne 0x1cac30
001ca716movzx rax, [rdi-8]
001ca71bcmp rax, 6
001ca71fjne 0x1cac30
001ca725mov rdi, [rdi]
001ca728mov rax, [rcx]
001ca72bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca730sub r15, 40
001ca734cmp r15, [r14]
001ca737jb 0x1cacb8
001ca73d
001ca73dloc_1ca73d:
001ca73dlea rbx, [r15+8]
001ca741add rbx, 24
001ca745mov [rbx-8], 1030
001ca74dmov rdi, [rax]
001ca750mov [rbx], rdi
001ca753lea rdi, [rbx-24]
001ca757mov [rdi-8], 2048
001ca75fmov [rdi], rbx
001ca762mov rax, [rax+8]
001ca766mov [rdi+8], rax
001ca76amov rax, rdi
001ca76dadd rsp, 48
001ca771ret
001ca772nop
001ca774test dil, 1
001ca778jne 0x1cac30
001ca77emovzx rax, [rdi-8]
001ca783cmp rax, 7
001ca787jne 0x1cac30
001ca78dmov rdi, [rdi]
001ca790mov rax, [rcx]
001ca793call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca798sub r15, 40
001ca79ccmp r15, [r14]
001ca79fjb 0x1cacae
001ca7a5
001ca7a5loc_1ca7a5:
001ca7a5lea rbx, [r15+8]
001ca7a9add rbx, 24
001ca7admov [rbx-8], 1031
001ca7b5mov rdi, [rax]
001ca7b8mov [rbx], rdi
001ca7bblea rdi, [rbx-24]
001ca7bfmov [rdi-8], 2048
001ca7c7mov [rdi], rbx
001ca7camov rax, [rax+8]
001ca7cemov [rdi+8], rax
001ca7d2mov rax, rdi
001ca7d5add rsp, 48
001ca7d9ret
001ca7danop
001ca7dctest dil, 1
001ca7e0jne 0x1cac30
001ca7e6movzx rax, [rdi-8]
001ca7ebcmp rax, 8
001ca7efjne 0x1cac30
001ca7f5mov rax, [rdi]
001ca7f8mov [rsp], rax
001ca7fcsub r15, 32
001ca800cmp r15, [r14]
001ca803jb 0x1caca4
001ca809
001ca809loc_1ca809:
001ca809lea rsi, [r15+8]
001ca80dadd rsi, 16
001ca811mov [rsi-8], 1024
001ca819mov [rsi], rax
001ca81clea rdi, [rsi-16]
001ca820mov [rdi-8], 1024
001ca828mov rax, [rcx]
001ca82bmov [rdi], rax
001ca82elea rax, [rip+0x360db]
001ca835call caml_c_call
001ca83acmp rax, 1
001ca83eje 0x1ca854
001ca840lea rax, [rip+0x183531]
001ca847mov rax, [rax+448]
001ca84ecall caml_raise_exn
001ca853nop
001ca854
001ca854loc_1ca854:
001ca854mov rax, [rsp+24]
001ca859mov rdi, [rax+8]
001ca85dmov rax, [rsp+32]
001ca862mov rax, [rax+8]
001ca866mov rbx, [rsp+40]
001ca86bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca870sub r15, 48
001ca874cmp r15, [r14]
001ca877jb 0x1cac9a
001ca87d
001ca87dloc_1ca87d:
001ca87dlea rbx, [r15+8]
001ca881add rbx, 24
001ca885mov [rbx-8], 2056
001ca88dmov rdi, [rsp]
001ca891mov [rbx], rdi
001ca894mov rdi, [rax]
001ca897mov [rbx+8], rdi
001ca89blea rdi, [rbx-24]
001ca89fmov [rdi-8], 2048
001ca8a7mov [rdi], rbx
001ca8aamov rax, [rax+8]
001ca8aemov [rdi+8], rax
001ca8b2mov rax, rdi
001ca8b5add rsp, 48
001ca8b9ret
001ca8banop
001ca8bctest dil, 1
001ca8c0jne 0x1cac30
001ca8c6movzx rax, [rdi-8]
001ca8cbcmp rax, 9
001ca8cfjne 0x1cac30
001ca8d5mov rax, [rdi+8]
001ca8d9mov [rsp+16], rax
001ca8demov rax, [rdi]
001ca8e1mov [rsp+8], rax
001ca8e6call camlCamlinternalFormatBasics.erase_rel_143
001ca8ebsub r15, 16
001ca8efcmp r15, [r14]
001ca8f2jb 0x1cac90
001ca8f8
001ca8f8loc_1ca8f8:
001ca8f8lea rbx, [r15+8]
001ca8fcmov [rsp], rbx
001ca900mov [rbx-8], 1024
001ca908mov [rbx], rax
001ca90bmov rax, [rsp+32]
001ca910mov rax, [rax]
001ca913call camlCamlinternalFormatBasics.erase_rel_143
001ca918sub r15, 16
001ca91ccmp r15, [r14]
001ca91fjb 0x1cac86
001ca925
001ca925loc_1ca925:
001ca925lea rdi, [r15+8]
001ca929mov [rdi-8], 1024
001ca931mov [rdi], rax
001ca934mov rsi, [rsp]
001ca938lea rax, [rip+0x35fd1]
001ca93fcall caml_c_call
001ca944cmp rax, 1
001ca948je 0x1ca960
001ca94alea rax, [rip+0x183427]
001ca951mov rax, [rax+448]
001ca958call caml_raise_exn
001ca95dnop [rax]
001ca960
001ca960loc_1ca960:
001ca960mov rax, [rsp+16]
001ca965call camlCamlinternalFormatBasics.erase_rel_143
001ca96asub r15, 16
001ca96ecmp r15, [r14]
001ca971jb 0x1cac7c
001ca977
001ca977loc_1ca977:
001ca977lea rbx, [r15+8]
001ca97bmov [rsp], rbx
001ca97fmov [rbx-8], 1024
001ca987mov [rbx], rax
001ca98amov rax, [rsp+32]
001ca98fmov rax, [rax+8]
001ca993call camlCamlinternalFormatBasics.erase_rel_143
001ca998sub r15, 16
001ca99ccmp r15, [r14]
001ca99fjb 0x1cac72
001ca9a5
001ca9a5loc_1ca9a5:
001ca9a5lea rdi, [r15+8]
001ca9a9mov [rdi-8], 1024
001ca9b1mov [rdi], rax
001ca9b4mov rsi, [rsp]
001ca9b8lea rax, [rip+0x35f51]
001ca9bfcall caml_c_call
001ca9c4cmp rax, 1
001ca9c8je 0x1ca9e0
001ca9calea rax, [rip+0x1833a7]
001ca9d1mov rax, [rax+448]
001ca9d8call caml_raise_exn
001ca9ddnop [rax]
001ca9e0
001ca9e0loc_1ca9e0:
001ca9e0mov rax, [rsp+8]
001ca9e5call camlCamlinternalFormat.symm_1179
001ca9eamov rbx, [rsp+16]
001ca9efcall camlCamlinternalFormat.trans_1362
001ca9f4call camlCamlinternalFormat.fmtty_rel_det_1361
001ca9f9mov [rsp], rax
001ca9fdmov rbx, [rax+8]
001caa01mov eax, 1
001caa06mov rdi, [rbx]
001caa09call rdi
001caa0bmov rax, [rsp]
001caa0fmov rbx, [rax+24]
001caa13mov eax, 1
001caa18mov rdi, [rbx]
001caa1bcall rdi
001caa1dmov rax, [rsp+32]
001caa22mov rax, [rax+16]
001caa26call camlCamlinternalFormatBasics.erase_rel_143
001caa2bmov rbx, [rsp+24]
001caa30mov rdi, [rbx+16]
001caa34mov rbx, [rsp+40]
001caa39call camlCamlinternalFormat.type_ignored_format_substitution_2493
001caa3emov [rsp], rax
001caa42mov rax, [rax]
001caa45call camlCamlinternalFormat.symm_1179
001caa4asub r15, 56
001caa4ecmp r15, [r14]
001caa51jb 0x1cac68
001caa57
001caa57loc_1caa57:
001caa57lea rbx, [r15+8]
001caa5badd rbx, 24
001caa5fmov [rbx-8], 3081
001caa67mov rdi, [rsp+8]
001caa6cmov [rbx], rdi
001caa6fmov rdi, [rsp+16]
001caa74mov [rbx+8], rdi
001caa78mov [rbx+16], rax
001caa7clea rax, [rbx-24]
001caa80mov [rax-8], 2048
001caa88mov [rax], rbx
001caa8bmov rbx, [rsp]
001caa8fmov rbx, [rbx+8]
001caa93mov [rax+8], rbx
001caa97add rsp, 48
001caa9bret
001caa9ctest dil, 1
001caaa0jne 0x1cac30
001caaa6movzx rax, [rdi-8]
001caaabcmp rax, 10
001caaafjne 0x1cac30
001caab5mov rdi, [rdi]
001caab8mov rax, [rcx]
001caabbcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001caac0sub r15, 40
001caac4cmp r15, [r14]
001caac7jb 0x1cac5e
001caacd
001caacdloc_1caacd:
001caacdlea rbx, [r15+8]
001caad1add rbx, 24
001caad5mov [rbx-8], 1034
001caaddmov rdi, [rax]
001caae0mov [rbx], rdi
001caae3lea rdi, [rbx-24]
001caae7mov [rdi-8], 2048
001caaefmov [rdi], rbx
001caaf2mov rax, [rax+8]
001caaf6mov [rdi+8], rax
001caafamov rax, rdi
001caafdadd rsp, 48
001cab01ret
001cab02nop
001cab04test dil, 1
001cab08jne 0x1cac30
001cab0emovzx rax, [rdi-8]
001cab13cmp rax, 11
001cab17jne 0x1cac30
001cab1dmov rdi, [rdi]
001cab20mov rax, [rcx]
001cab23call camlCamlinternalFormat.type_ignored_format_substitution_2493
001cab28sub r15, 40
001cab2ccmp r15, [r14]
001cab2fjb 0x1cac54
001cab35
001cab35loc_1cab35:
001cab35lea rbx, [r15+8]
001cab39add rbx, 24
001cab3dmov [rbx-8], 1035
001cab45mov rdi, [rax]
001cab48mov [rbx], rdi
001cab4blea rdi, [rbx-24]
001cab4fmov [rdi-8], 2048
001cab57mov [rdi], rbx
001cab5amov rax, [rax+8]
001cab5emov [rdi+8], rax
001cab62mov rax, rdi
001cab65add rsp, 48
001cab69ret
001cab6anop
001cab6ctest dil, 1
001cab70jne 0x1cac30
001cab76movzx rax, [rdi-8]
001cab7bcmp rax, 13
001cab7fjne 0x1cac30
001cab85mov rdi, [rdi]
001cab88mov rax, [rcx]
001cab8bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001cab90sub r15, 40
001cab94cmp r15, [r14]
001cab97jb 0x1cac4a
001cab9d
001cab9dloc_1cab9d:
001cab9dlea rbx, [r15+8]
001caba1add rbx, 24
001caba5mov [rbx-8], 1037
001cabadmov rdi, [rax]
001cabb0mov [rbx], rdi
001cabb3lea rdi, [rbx-24]
001cabb7mov [rdi-8], 2048
001cabbfmov [rdi], rbx
001cabc2mov rax, [rax+8]
001cabc6mov [rdi+8], rax
001cabcamov rax, rdi
001cabcdadd rsp, 48
001cabd1ret
001cabd2nop
001cabd4test dil, 1
001cabd8jne 0x1cac30
001cabdamovzx rax, [rdi-8]
001cabdfcmp rax, 14
001cabe3jl 0x1cac30
001cabe5mov rdi, [rdi]
001cabe8mov rax, [rcx]
001cabebcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001cabf0sub r15, 40
001cabf4cmp r15, [r14]
001cabf7jb 0x1cac43
001cabf9
001cabf9loc_1cabf9:
001cabf9lea rbx, [r15+8]
001cabfdadd rbx, 24
001cac01mov [rbx-8], 1038
001cac09mov rdi, [rax]
001cac0cmov [rbx], rdi
001cac0flea rdi, [rbx-24]
001cac13mov [rdi-8], 2048
001cac1bmov [rdi], rbx
001cac1emov rax, [rax+8]
001cac22mov [rdi+8], rax
001cac26mov rax, rdi
001cac29add rsp, 48
001cac2dret
001cac2enop
001cac30
001cac30loc_1cac30:
001cac30lea rax, [rip+0x183141]
001cac37mov rax, [rax+448]
001cac3ecall caml_raise_exn
001cac43
001cac43loc_1cac43:
001cac43call caml_call_gc
001cac48jmp 0x1cabf9
001cac4a
001cac4aloc_1cac4a:
001cac4acall caml_call_gc
001cac4fjmp 0x1cab9d
001cac54
001cac54loc_1cac54:
001cac54call caml_call_gc
001cac59jmp 0x1cab35
001cac5e
001cac5eloc_1cac5e:
001cac5ecall caml_call_gc
001cac63jmp 0x1caacd
001cac68
001cac68loc_1cac68:
001cac68call caml_call_gc
001cac6djmp 0x1caa57
001cac72
001cac72loc_1cac72:
001cac72call caml_call_gc
001cac77jmp 0x1ca9a5
001cac7c
001cac7cloc_1cac7c:
001cac7ccall caml_call_gc
001cac81jmp 0x1ca977
001cac86
001cac86loc_1cac86:
001cac86call caml_call_gc
001cac8bjmp 0x1ca925
001cac90
001cac90loc_1cac90:
001cac90call caml_call_gc
001cac95jmp 0x1ca8f8
001cac9a
001cac9aloc_1cac9a:
001cac9acall caml_call_gc
001cac9fjmp 0x1ca87d
001caca4
001caca4loc_1caca4:
001caca4call caml_call_gc
001caca9jmp 0x1ca809
001cacae
001cacaeloc_1cacae:
001cacaecall caml_call_gc
001cacb3jmp 0x1ca7a5
001cacb8
001cacb8loc_1cacb8:
001cacb8call caml_call_gc
001cacbdjmp 0x1ca73d
001cacc2
001cacc2loc_1cacc2:
001cacc2call caml_call_gc
001cacc7jmp 0x1ca6d5
001caccc
001cacccloc_1caccc:
001caccccall caml_call_gc
001cacd1jmp 0x1ca66d
001cacd6
001cacd6loc_1cacd6:
001cacd6call caml_call_gc
001cacdbjmp 0x1ca605
001cace0
001cace0loc_1cace0:
001cace0call caml_call_gc
001cace5jmp 0x1ca59d
001cacea
001cacealoc_1cacea:
001caceacall caml_call_gc
001cacefjmp 0x1ca535
001cacf4
001cacf4loc_1cacf4:
001cacf4call caml_call_gc
001cacf9jmp 0x1ca4cc
001cacfe
001cacfeloc_1cacfe:
001cacfecall caml_call_gc
001cad03jmp 0x1ca456
001cad08
001cad08loc_1cad08:
001cad08push 39
001cad0acall caml_call_realloc_stack
001cad0fpop r10
001cad11jmp 0x1ca432
001ca420

001cad16
001cad16 // align 0x10

001cad20
001cad20camlCamlinternalFormat.recast_3388:
001cad20lea r10, [rsp-328]
001cad28cmp r10, [r14+40]
001cad2cjb 0x1cad53
001cad2e
001cad2eloc_1cad2e:
001cad2esub rsp, 8
001cad32mov [rsp], rax
001cad36mov rax, rbx
001cad39call camlCamlinternalFormat.symm_1179
001cad3ecall camlCamlinternalFormatBasics.erase_rel_143
001cad43mov rbx, rax
001cad46mov rax, [rsp]
001cad4aadd rsp, 8
001cad4ejmp 0x1c9310
001cad53
001cad53loc_1cad53:
001cad53push 34
001cad55call caml_call_realloc_stack
001cad5apop r10
001cad5cjmp 0x1cad2e
001cad20

001cad5e
001cad5e // align 0x10

001cad60
001cad60camlCamlinternalFormat.fix_padding_3404:
001cad60lea r10, [rsp-360]
001cad68cmp r10, [r14+40]
001cad6cjb 0x1cb02e
001cad72
001cad72loc_1cad72:
001cad72sub rsp, 40
001cad76mov rsi, rbx
001cad79mov rbx, [rdi-8]
001cad7dshr rbx, 10
001cad81lea rbx, [8*rbx-1]
001cad89movzx rdx, [rdi+rbx]
001cad8esub rbx, rdx
001cad91lea rbx, [rbx+rbx+1]
001cad96cmp rsi, 1
001cad9ajge 0x1cada8
001cad9cmov eax, 1
001cada1mov rdx, rax
001cada4jmp 0x1cadab
001cada6
001cada6 66 90 f.
001cada8
001cada8loc_1cada8:
001cada8mov rdx, rax
001cadab
001cadabloc_1cadab:
001cadabcmp rsi, 1
001cadafjl 0x1cadb8
001cadb1mov rax, rsi
001cadb4jmp 0x1cadc0
001cadb6
001cadb6 66 90 f.
001cadb8
001cadb8loc_1cadb8:
001cadb8mov eax, 2
001cadbdsub rax, rsi
001cadc0
001cadc0loc_1cadc0:
001cadc0cmp rax, rbx
001cadc3jg 0x1cadd0
001cadc5mov rax, rdi
001cadc8add rsp, 40
001cadccret
001cadcd
001cadcd 0f 1f 00 ...
001cadd0
001cadd0loc_1cadd0:
001cadd0mov [rsp+16], rax
001cadd5mov [rsp], rdx
001cadd9mov [rsp+32], rbx
001caddemov [rsp+24], rdi
001cade3cmp rdx, 5
001cade7jne 0x1cadf0
001cade9mov ebx, 97
001cadeejmp 0x1cadf5
001cadf0
001cadf0loc_1cadf0:
001cadf0mov ebx, 65
001cadf5
001cadf5loc_1cadf5:
001cadf5call Stdlib.Bytes.make
001cadfamov rdi, rax
001cadfdmov [rsp+8], rdi
001cae02mov rax, [rsp]
001cae06sar rax, 1
001cae09cmp rax, 1
001cae0dje 0x1cae30
001cae0fja 0x1cae54
001cae11mov esi, 1
001cae16mov ebx, 1
001cae1bmov rax, [rsp+24]
001cae20mov rdx, [rsp+32]
001cae25call Stdlib.Bytes.blit_string
001cae2ajmp 0x1cb001
001cae2f
001cae2f 90 .
001cae30
001cae30loc_1cae30:
001cae30mov rsi, [rsp+16]
001cae35mov rdx, [rsp+32]
001cae3asub rsi, rdx
001cae3dinc rsi
001cae40mov ebx, 1
001cae45mov rax, [rsp+24]
001cae4acall Stdlib.Bytes.blit_string
001cae4fjmp 0x1cb001
001cae54
001cae54loc_1cae54:
001cae54mov rcx, [rsp+32]
001cae59cmp rcx, 1
001cae5djle 0x1caf14
001cae63mov rax, [rsp+24]
001cae68mov rbx, [rax-8]
001cae6cshr rbx, 10
001cae70lea rbx, [8*rbx-1]
001cae78movzx rsi, [rax+rbx]
001cae7dsub rbx, rsi
001cae80cmp rbx, 0
001cae84jbe 0x1cb029
001cae8amovzx rbx, [rax]
001cae8elea rbx, [rbx+rbx+1]
001cae93cmp rbx, 87
001cae97je 0x1caea5
001cae99cmp rbx, 91
001cae9dje 0x1caea5
001cae9fcmp rbx, 65
001caea3jne 0x1caf14
001caea5
001caea5loc_1caea5:
001caea5mov rbx, [rax-8]
001caea9shr rbx, 10
001caeadlea rbx, [8*rbx-1]
001caeb5movzx rsi, [rax+rbx]
001caebasub rbx, rsi
001caebdcmp rbx, 0
001caec1jbe 0x1cb024
001caec7movzx rbx, [rax]
001caecbmov rsi, [rdi-8]
001caecfshr rsi, 10
001caed3lea rsi, [8*rsi-1]
001caedbmovzx rdx, [rdi+rsi]
001caee0sub rsi, rdx
001caee3cmp rsi, 0
001caee7jbe 0x1cb01f
001caeedmov [rdi], bl
001caeefmov rdx, rcx
001caef2add rdx, -2
001caef6mov rsi, [rsp+16]
001caefbsub rsi, rcx
001caefeadd rsi, 3
001caf02mov ebx, 3
001caf07call Stdlib.Bytes.blit_string
001caf0cjmp 0x1cb001
001caf11
001caf11 0f 1f 00 ...
001caf14
001caf14loc_1caf14:
001caf14cmp rcx, 3
001caf18jle 0x1cafe4
001caf1emov rax, [rsp+24]
001caf23mov rbx, [rax-8]
001caf27shr rbx, 10
001caf2blea rbx, [8*rbx-1]
001caf33movzx rsi, [rax+rbx]
001caf38sub rbx, rsi
001caf3bcmp rbx, 0
001caf3fjbe 0x1cb01a
001caf45movzx rsi, [rax]
001caf49lea rsi, [rsi+rsi+1]
001caf4ecmp rsi, 97
001caf52jne 0x1cafe4
001caf58cmp rbx, 1
001caf5cjbe 0x1cb015
001caf62movzx rbx, [rax+1]
001caf67lea rbx, [rbx+rbx+1]
001caf6ccmp rbx, 241
001caf73je 0x1caf7e
001caf75cmp rbx, 177
001caf7cjne 0x1cafe4
001caf7e
001caf7eloc_1caf7e:
001caf7emov rbx, [rax-8]
001caf82shr rbx, 10
001caf86lea rbx, [8*rbx-1]
001caf8emovzx rsi, [rax+rbx]
001caf93sub rbx, rsi
001caf96cmp rbx, 1
001caf9ajbe 0x1cb010
001caf9cmovzx rbx, [rax+1]
001cafa1mov rsi, [rdi-8]
001cafa5shr rsi, 10
001cafa9lea rsi, [8*rsi-1]
001cafb1movzx rdx, [rdi+rsi]
001cafb6sub rsi, rdx
001cafb9cmp rsi, 1
001cafbdjbe 0x1cb00b
001cafbfmov [rdi+1], bl
001cafc2mov rdx, rcx
001cafc5add rdx, -4
001cafc9mov rsi, [rsp+16]
001cafcesub rsi, rcx
001cafd1add rsi, 5
001cafd5mov ebx, 5
001cafdacall Stdlib.Bytes.blit_string
001cafdfjmp 0x1cb001
001cafe1
001cafe1 0f 1f 00 ...
001cafe4
001cafe4loc_1cafe4:
001cafe4mov rsi, [rsp+16]
001cafe9sub rsi, rcx
001cafecinc rsi
001cafefmov ebx, 1
001caff4mov rax, [rsp+24]
001caff9mov rdx, rcx
001caffccall Stdlib.Bytes.blit_string
001cb001
001cb001loc_1cb001:
001cb001mov rax, [rsp+8]
001cb006add rsp, 40
001cb00aret
001cb00b
001cb00bloc_1cb00b:
001cb00bcall caml_ml_array_bound_error
001cb010
001cb010loc_1cb010:
001cb010call caml_ml_array_bound_error
001cb015
001cb015loc_1cb015:
001cb015call caml_ml_array_bound_error
001cb01a
001cb01aloc_1cb01a:
001cb01acall caml_ml_array_bound_error
001cb01f
001cb01floc_1cb01f:
001cb01fcall caml_ml_array_bound_error
001cb024
001cb024loc_1cb024:
001cb024call caml_ml_array_bound_error
001cb029
001cb029loc_1cb029:
001cb029call caml_ml_array_bound_error
001cb02e
001cb02eloc_1cb02e:
001cb02epush 38
001cb030call caml_call_realloc_stack
001cb035pop r10
001cb037jmp 0x1cad72
001cad60

001cb03c
001cb03c // align 0x10

001cb040
001cb040camlCamlinternalFormat.fix_int_precision_3413:
001cb040lea r10, [rsp-360]
001cb048cmp r10, [r14+40]
001cb04cjb 0x1cb301
001cb052
001cb052loc_1cb052:
001cb052sub rsp, 40
001cb056cmp rax, 1
001cb05ajl 0x1cb064
001cb05cmov rsi, rax
001cb05fjmp 0x1cb06c
001cb061nop [rax]
001cb064
001cb064loc_1cb064:
001cb064mov esi, 2
001cb069sub rsi, rax
001cb06c
001cb06cloc_1cb06c:
001cb06cmov rax, [rbx-8]
001cb070shr rax, 10
001cb074lea rcx, [8*rax-1]
001cb07cmovzx rax, [rbx+rcx]
001cb081sub rcx, rax
001cb084lea rdi, [rcx+rcx+1]
001cb089cmp rcx, 0
001cb08djbe 0x1cb2fc
001cb093movzx rax, [rbx]
001cb097lea rax, [rax+rax+1]
001cb09ccmp rax, 117
001cb0a0jl 0x1cb0f0
001cb0a2cmp rax, 143
001cb0a8jl 0x1cb0d0
001cb0aaadd rax, -194
001cb0b0cmp rax, 11
001cb0b4ja 0x1cb2e0
001cb0bamov [rsp+24], rdi
001cb0bfmov [rsp+32], rsi
001cb0c4mov [rsp+16], rbx
001cb0c9jmp 0x1cb29c
001cb0cenop
001cb0d0
001cb0d0loc_1cb0d0:
001cb0d0cmp rax, 131
001cb0d6jl 0x1cb2e0
001cb0dcmov [rsp+24], rdi
001cb0e1mov [rsp+32], rsi
001cb0e6mov [rsp+16], rbx
001cb0ebjmp 0x1cb29c
001cb0f0
001cb0f0loc_1cb0f0:
001cb0f0cmp rax, 65
001cb0f4je 0x1cb208
001cb0facmp rax, 87
001cb0fejl 0x1cb2e0
001cb104mov [rsp], rax
001cb108mov [rsp+24], rdi
001cb10dmov [rsp+32], rsi
001cb112mov [rsp+16], rbx
001cb117add rax, -86
001cb11bsar rax, 1
001cb11elea rdx, [rip+0x62e27]
001cb125movsxd rax, [rdx+4*rax]
001cb129add rdx, rax
001cb12cjmp rdx
001cb12enop
001cb130mov rax, rsi
001cb133add rax, 4
001cb137cmp rax, rdi
001cb13ajle 0x1cb29c
001cb140cmp rdi, 3
001cb144jle 0x1cb29c
001cb14acmp rcx, 1
001cb14ejbe 0x1cb2f7
001cb154movzx rax, [rbx+1]
001cb159lea rax, [rax+rax+1]
001cb15ecmp rax, 241
001cb164je 0x1cb172
001cb166cmp rax, 177
001cb16cjne 0x1cb29c
001cb172
001cb172loc_1cb172:
001cb172mov ebx, 97
001cb177mov rax, rsi
001cb17aadd rax, 4
001cb17ecall Stdlib.Bytes.make
001cb183mov rdi, rax
001cb186mov [rsp], rdi
001cb18amov rax, [rsp+16]
001cb18fmov rbx, [rax-8]
001cb193shr rbx, 10
001cb197lea rbx, [8*rbx-1]
001cb19fmovzx rsi, [rax+rbx]
001cb1a4sub rbx, rsi
001cb1a7cmp rbx, 1
001cb1abjbe 0x1cb2f2
001cb1b1movzx rbx, [rax+1]
001cb1b6mov rsi, [rdi-8]
001cb1bashr rsi, 10
001cb1belea rsi, [8*rsi-1]
001cb1c6movzx rdx, [rdi+rsi]
001cb1cbsub rsi, rdx
001cb1cecmp rsi, 1
001cb1d2jbe 0x1cb2ed
001cb1d8mov [rdi+1], bl
001cb1dbmov rbx, [rsp+24]
001cb1e0mov rdx, rbx
001cb1e3add rdx, -4
001cb1e7mov rsi, [rsp+32]
001cb1ecsub rsi, rbx
001cb1efadd rsi, 9
001cb1f3mov ebx, 5
001cb1f8call Stdlib.Bytes.blit_string
001cb1fdmov rax, [rsp]
001cb201add rsp, 40
001cb205ret
001cb206nop
001cb208
001cb208loc_1cb208:
001cb208mov [rsp], rax
001cb20cmov [rsp+24], rdi
001cb211mov [rsp+32], rsi
001cb216mov [rsp+16], rbx
001cb21bmov rax, rsi
001cb21eadd rax, 2
001cb222cmp rax, rdi
001cb225jle 0x1cb2e0
001cb22bmov ebx, 97
001cb230call Stdlib.Bytes.make
001cb235mov rdi, rax
001cb238mov [rsp+8], rdi
001cb23dmov rax, [rsp]
001cb241sar rax, 1
001cb244mov rbx, [rdi-8]
001cb248shr rbx, 10
001cb24clea rbx, [8*rbx-1]
001cb254movzx rsi, [rdi+rbx]
001cb259sub rbx, rsi
001cb25ccmp rbx, 0
001cb260jbe 0x1cb2e8
001cb266mov [rdi], al
001cb268mov rax, [rsp+24]
001cb26dmov rdx, rax
001cb270add rdx, -2
001cb274mov rsi, [rsp+32]
001cb279sub rsi, rax
001cb27cadd rsi, 5
001cb280mov ebx, 3
001cb285mov rax, [rsp+16]
001cb28acall Stdlib.Bytes.blit_string
001cb28fmov rax, [rsp+8]
001cb294add rsp, 40
001cb298ret
001cb299nop [rax]
001cb29c
001cb29cloc_1cb29c:
001cb29ccmp rsi, rdi
001cb29fjle 0x1cb2e0
001cb2a1mov ebx, 97
001cb2a6mov rax, rsi
001cb2a9call Stdlib.Bytes.make
001cb2aemov rdi, rax
001cb2b1mov [rsp], rdi
001cb2b5mov rsi, [rsp+32]
001cb2bamov rdx, [rsp+24]
001cb2bfsub rsi, rdx
001cb2c2inc rsi
001cb2c5mov ebx, 1
001cb2camov rax, [rsp+16]
001cb2cfcall Stdlib.Bytes.blit_string
001cb2d4mov rax, [rsp]
001cb2d8add rsp, 40
001cb2dcret
001cb2ddnop [rax]
001cb2e0
001cb2e0loc_1cb2e0:
001cb2e0mov rax, rbx
001cb2e3add rsp, 40
001cb2e7ret
001cb2e8
001cb2e8loc_1cb2e8:
001cb2e8call caml_ml_array_bound_error
001cb2ed
001cb2edloc_1cb2ed:
001cb2edcall caml_ml_array_bound_error
001cb2f2
001cb2f2loc_1cb2f2:
001cb2f2call caml_ml_array_bound_error
001cb2f7
001cb2f7loc_1cb2f7:
001cb2f7call caml_ml_array_bound_error
001cb2fc
001cb2fcloc_1cb2fc:
001cb2fccall caml_ml_array_bound_error
001cb301
001cb301loc_1cb301:
001cb301push 38
001cb303call caml_call_realloc_stack
001cb308pop r10
001cb30ajmp 0x1cb052
001cb040

001cb30f
001cb30f // align 0x10

001cb310
001cb310camlCamlinternalFormat.string_to_caml_string_3423:
001cb310lea r10, [rsp-336]
001cb318cmp r10, [r14+40]
001cb31cjb 0x1cb3ac
001cb322
001cb322loc_1cb322:
001cb322sub rsp, 16
001cb326mov [rsp+8], rax
001cb32bmov [rsp], rax
001cb32fcall Stdlib.Bytes.unsafe_escape
001cb334mov rbx, [rsp]
001cb338cmp rbx, rax
001cb33bjne 0x1cb348
001cb33dmov rax, [rsp+8]
001cb342mov [rsp], rax
001cb346jmp 0x1cb34c
001cb348
001cb348loc_1cb348:
001cb348mov [rsp], rax
001cb34c
001cb34cloc_1cb34c:
001cb34cmov rbx, [rax-8]
001cb350shr rbx, 10
001cb354lea rbx, [8*rbx-1]
001cb35cmovzx rax, [rax+rbx]
001cb361sub rbx, rax
001cb364lea rax, [rbx+rbx+1]
001cb369mov [rsp+8], rax
001cb36emov ebx, 69
001cb373add rax, 4
001cb377call Stdlib.Bytes.make
001cb37cmov r12, rax
001cb37fmov ecx, 3
001cb384mov esi, 1
001cb389mov rdi, [rsp]
001cb38dmov rdx, r12
001cb390mov r8, [rsp+8]
001cb395mov rbx, rsp
001cb398mov rsp, [r14+64]
001cb39ccall caml_blit_string
001cb3a1mov rsp, rbx
001cb3a4mov rax, r12
001cb3a7add rsp, 16
001cb3abret
001cb3ac
001cb3acloc_1cb3ac:
001cb3acpush 35
001cb3aecall caml_call_realloc_stack
001cb3b3pop r10
001cb3b5jmp 0x1cb322
001cb310

001cb3ba
001cb3ba // align 0x10

001cb3c0
001cb3c0camlCamlinternalFormat.format_of_iconv_3429:
001cb3c0sar rax, 1
001cb3c3lea rdx, [rip+0x62bbe]
001cb3camovsxd rax, [rdx+4*rax]
001cb3ceadd rdx, rax
001cb3d1jmp rdx
001cb3d3nop
001cb3d4lea rax, [rip+0x182f9d]
001cb3dbret
001cb3dclea rax, [rip+0x182f85]
001cb3e3ret
001cb3e4lea rax, [rip+0x182f6d]
001cb3ebret
001cb3eclea rax, [rip+0x182f55]
001cb3f3ret
001cb3f4lea rax, [rip+0x182f3d]
001cb3fbret
001cb3fclea rax, [rip+0x182f15]
001cb403ret
001cb404lea rax, [rip+0x182efd]
001cb40bret
001cb40clea rax, [rip+0x182ee5]
001cb413ret
001cb414lea rax, [rip+0x182ecd]
001cb41bret
001cb41clea rax, [rip+0x182eb5]
001cb423ret
001cb424lea rax, [rip+0x182e9d]
001cb42bret
001cb42clea rax, [rip+0x18453d]
001cb433ret
001cb434lea rax, [rip+0x182e7d]
001cb43bret
001cb3c0

001cb43c
001cb43c // align 0x10

001cb440
001cb440camlCamlinternalFormat.format_of_iconvL_3432:
001cb440sar rax, 1
001cb443lea rdx, [rip+0x62b7e]
001cb44amovsxd rax, [rdx+4*rax]
001cb44eadd rdx, rax
001cb451jmp rdx
001cb453nop
001cb454lea rax, [rip+0x182e4d]
001cb45bret
001cb45clea rax, [rip+0x182e35]
001cb463ret
001cb464lea rax, [rip+0x182e1d]
001cb46bret
001cb46clea rax, [rip+0x182df5]
001cb473ret
001cb474lea rax, [rip+0x182ddd]
001cb47bret
001cb47clea rax, [rip+0x182dc5]
001cb483ret
001cb484lea rax, [rip+0x182dad]
001cb48bret
001cb48clea rax, [rip+0x182d95]
001cb493ret
001cb494lea rax, [rip+0x182d7d]
001cb49bret
001cb49clea rax, [rip+0x182d65]
001cb4a3ret
001cb4a4lea rax, [rip+0x182d4d]
001cb4abret
001cb4aclea rax, [rip+0x1842c5]
001cb4b3ret
001cb4b4lea rax, [rip+0x182d2d]
001cb4bbret
001cb440

001cb4bc
001cb4bc // align 0x10

001cb4c0
001cb4c0camlCamlinternalFormat.format_of_iconvl_3435:
001cb4c0sar rax, 1
001cb4c3lea rdx, [rip+0x62b3e]
001cb4camovsxd rax, [rdx+4*rax]
001cb4ceadd rdx, rax
001cb4d1jmp rdx
001cb4d3nop
001cb4d4lea rax, [rip+0x182cfd]
001cb4dbret
001cb4dclea rax, [rip+0x182cd5]
001cb4e3ret
001cb4e4lea rax, [rip+0x182cbd]
001cb4ebret
001cb4eclea rax, [rip+0x182ca5]
001cb4f3ret
001cb4f4lea rax, [rip+0x182c8d]
001cb4fbret
001cb4fclea rax, [rip+0x182c75]
001cb503ret
001cb504lea rax, [rip+0x182c5d]
001cb50bret
001cb50clea rax, [rip+0x182c45]
001cb513ret
001cb514lea rax, [rip+0x182c2d]
001cb51bret
001cb51clea rax, [rip+0x182c15]
001cb523ret
001cb524lea rax, [rip+0x182bfd]
001cb52bret
001cb52clea rax, [rip+0x18435d]
001cb533ret
001cb534lea rax, [rip+0x182bcd]
001cb53bret
001cb4c0

001cb53c
001cb53c // align 0x10

001cb540
001cb540camlCamlinternalFormat.format_of_iconvn_3438:
001cb540sar rax, 1
001cb543lea rdx, [rip+0x62afe]
001cb54amovsxd rax, [rdx+4*rax]
001cb54eadd rdx, rax
001cb551jmp rdx
001cb553nop
001cb554lea rax, [rip+0x182b9d]
001cb55bret
001cb55clea rax, [rip+0x182b85]
001cb563ret
001cb564lea rax, [rip+0x182b6d]
001cb56bret
001cb56clea rax, [rip+0x182b55]
001cb573ret
001cb574lea rax, [rip+0x182b3d]
001cb57bret
001cb57clea rax, [rip+0x182b25]
001cb583ret
001cb584lea rax, [rip+0x182b0d]
001cb58bret
001cb58clea rax, [rip+0x182af5]
001cb593ret
001cb594lea rax, [rip+0x182add]
001cb59bret
001cb59clea rax, [rip+0x18464d]
001cb5a3ret
001cb5a4lea rax, [rip+0x184635]
001cb5abret
001cb5aclea rax, [rip+0x1841fd]
001cb5b3ret
001cb5b4lea rax, [rip+0x184615]
001cb5bbret
001cb540

001cb5bc
001cb5bc // align 0x10

001cb5c0
001cb5c0camlCamlinternalFormat.format_of_fconv_3441:
001cb5c0lea r10, [rsp-352]
001cb5c8cmp r10, [r14+40]
001cb5ccjb 0x1cb688
001cb5d2
001cb5d2loc_1cb5d2:
001cb5d2sub rsp, 32
001cb5d6mov rdi, rax
001cb5d9mov [rsp], rdi
001cb5ddmov rax, rbx
001cb5e0cmp rax, 1
001cb5e4jl 0x1cb5f0
001cb5e6mov [rsp+8], rax
001cb5ebjmp 0x1cb600
001cb5ed
001cb5ed 0f 1f 00 ...
001cb5f0
001cb5f0loc_1cb5f0:
001cb5f0mov ebx, 2
001cb5f5sub rbx, rax
001cb5f8mov rax, rbx
001cb5fbmov [rsp+8], rax
001cb600
001cb600loc_1cb600:
001cb600mov eax, 207
001cb605mov rbx, rdi
001cb608call camlCamlinternalFormat.char_of_fconv_inner_5938
001cb60dmov [rsp+16], rax
001cb612mov eax, 33
001cb617call camlCamlinternalFormat.buffer_create_596
001cb61cmov [rsp+24], rax
001cb621mov ebx, 75
001cb626call camlCamlinternalFormat.buffer_add_char_638
001cb62bmov rax, [rsp+24]
001cb630mov rbx, [rsp]
001cb634call camlCamlinternalFormat.bprint_fconv_flag_752
001cb639mov ebx, 93
001cb63emov rax, [rsp+24]
001cb643call camlCamlinternalFormat.buffer_add_char_638
001cb648mov rax, [rsp+8]
001cb64dcall Stdlib.Int.to_string
001cb652mov rbx, rax
001cb655mov rax, [rsp+24]
001cb65acall camlCamlinternalFormat.buffer_add_string_642
001cb65fmov rax, [rsp+24]
001cb664mov rbx, [rsp+16]
001cb669call camlCamlinternalFormat.buffer_add_char_638
001cb66emov rax, [rsp+24]
001cb673mov rdi, [rax]
001cb676mov rax, [rax+8]
001cb67amov ebx, 1
001cb67fadd rsp, 32
001cb683jmp 0x1a63e0
001cb688
001cb688loc_1cb688:
001cb688push 37
001cb68acall caml_call_realloc_stack
001cb68fpop r10
001cb691jmp 0x1cb5d2
001cb5c0

001cb696
001cb696 // align 0x10

001cb6a0
001cb6a0camlCamlinternalFormat.transform_int_alt_3448:
001cb6a0sub rsp, 16
001cb6a4cmp rax, 27
001cb6a8jl 0x1cb914
001cb6aemov [rsp+8], rbx
001cb6b3mov eax, 1
001cb6b8mov edi, 1
001cb6bdmov rsi, [rbx-8]
001cb6c1shr rsi, 10
001cb6c5lea rsi, [8*rsi-1]
001cb6cdmovzx rdx, [rbx+rsi]
001cb6d2sub rsi, rdx
001cb6d5lea rsi, [rsi+rsi-1]
001cb6dacmp rdi, rsi
001cb6ddjg 0x1cb713
001cb6df
001cb6dfloc_1cb6df:
001cb6dfmov rdx, rdi
001cb6e2sar rdx, 1
001cb6e5movzx rdx, [rbx+rdx]
001cb6ealea rdx, [rdx+rdx+1]
001cb6efadd rdx, -96
001cb6f3cmp rdx, 19
001cb6f7ja 0x1cb6fd
001cb6f9add rax, 2
001cb6fd
001cb6fdloc_1cb6fd:
001cb6fdmov rdx, rdi
001cb700add rdi, 2
001cb704cmp rdx, rsi
001cb707je 0x1cb713
001cb709cmp r15, [r14]
001cb70cja 0x1cb6df
001cb70ejmp 0x1cb930
001cb713
001cb713loc_1cb713:
001cb713mov [rsp], rax
001cb717add rax, -2
001cb71bsar rax, 1
001cb71emov rdi, rax
001cb721shr rdi, 63
001cb725mov rsi, 0x5555555555555556
001cb72fimul rsi
001cb732add rdx, rdi
001cb735mov rax, [rbx-8]
001cb739shr rax, 10
001cb73dlea rax, [8*rax-1]
001cb745movzx rbx, [rbx+rax]
001cb74asub rax, rbx
001cb74dshl rax, 1
001cb750lea rdi, [rax+2*rdx+1]
001cb755lea rax, [rip+0x558d4]
001cb75ccall caml_c_call
001cb761mov r13, rax
001cb764sub r15, 56
001cb768cmp r15, [r14]
001cb76bjb 0x1cb926
001cb771
001cb771loc_1cb771:
001cb771lea rax, [r15+8]
001cb775add rax, 40
001cb779mov [rax-8], 1024
001cb781mov [rax], 1
001cb788lea rcx, [rax-40]
001cb78cmov [rcx-8], 4343
001cb794lea rbx, [rip+437]
001cb79bmov [rcx], rbx
001cb79emov rbx, 0x100000000000005
001cb7a8mov [rcx+8], rbx
001cb7acmov [rcx+16], r13
001cb7b0mov [rcx+24], rax
001cb7b4mov rbx, [rsp]
001cb7b8add rbx, -2
001cb7bcsar rbx, 1
001cb7bfmov rdi, rbx
001cb7c2shr rdi, 63
001cb7c6mov rsi, 0x5555555555555556
001cb7d0mov rax, rbx
001cb7d3imul rsi
001cb7d6add rdx, rdi
001cb7d9imul rdx, rdx, 3
001cb7ddsub rbx, rdx
001cb7e0lea rdx, [rbx+rbx+3]
001cb7e5mov r8l, 1
001cb7ebmov r12, [rsp+8]
001cb7f0mov rax, [r12-8]
001cb7f5shr rax, 10
001cb7f9lea rax, [8*rax-1]
001cb801movzx rbx, [r12+rax]
001cb806sub rax, rbx
001cb809lea r9, [rax+rax-1]
001cb80ecmp r8, r9
001cb811jg 0x1cb90b
001cb817
001cb817loc_1cb817:
001cb817mov rax, r8
001cb81asar rax, 1
001cb81dmovzx rax, [r12+rax]
001cb822lea rdi, [rax+rax+1]
001cb827mov rax, rdi
001cb82aadd rax, -96
001cb82ecmp rax, 19
001cb832jbe 0x1cb874
001cb834sar rdi, 1
001cb837mov rsi, [rcx+24]
001cb83bmov rax, [rsi]
001cb83esar rax, 1
001cb841mov rbx, [rcx+16]
001cb845mov r10, [rbx-8]
001cb849shr r10, 10
001cb84dlea r10, [8*r10-1]
001cb855movzx r11, [rbx+r10]
001cb85asub r10, r11
001cb85dcmp r10, rax
001cb860jbe 0x1cb944
001cb866mov [rbx+rax], dil
001cb86aadd [rsi], 2
001cb86ejmp 0x1cb8f4
001cb873
001cb873 90 .
001cb874
001cb874loc_1cb874:
001cb874cmp rdx, 1
001cb878jne 0x1cb8ba
001cb87amov rsi, [rcx+24]
001cb87emov rax, [rsi]
001cb881sar rax, 1
001cb884mov rbx, [rcx+16]
001cb888mov rdx, [rbx-8]
001cb88cshr rdx, 10
001cb890lea rdx, [8*rdx-1]
001cb898movzx r10, [rbx+rdx]
001cb89dsub rdx, r10
001cb8a0cmp rdx, rax
001cb8a3jbe 0x1cb93f
001cb8a9mov edx, 95
001cb8aemov [rbx+rax], dl
001cb8b1add [rsi], 2
001cb8b5mov edx, 7
001cb8ba
001cb8baloc_1cb8ba:
001cb8baadd rdx, -2
001cb8besar rdi, 1
001cb8c1mov rsi, [rcx+24]
001cb8c5mov rax, [rsi]
001cb8c8sar rax, 1
001cb8cbmov rbx, [rcx+16]
001cb8cfmov r10, [rbx-8]
001cb8d3shr r10, 10
001cb8d7lea r10, [8*r10-1]
001cb8dfmovzx r11, [rbx+r10]
001cb8e4sub r10, r11
001cb8e7cmp r10, rax
001cb8eajbe 0x1cb93a
001cb8ecmov [rbx+rax], dil
001cb8f0add [rsi], 2
001cb8f4
001cb8f4loc_1cb8f4:
001cb8f4mov rax, r8
001cb8f7add r8, 2
001cb8fbcmp rax, r9
001cb8feje 0x1cb90b
001cb900cmp r15, [r14]
001cb903ja 0x1cb817
001cb909jmp 0x1cb91c
001cb90b
001cb90bloc_1cb90b:
001cb90bmov rax, r13
001cb90eadd rsp, 16
001cb912ret
001cb913
001cb913 90 .
001cb914
001cb914loc_1cb914:
001cb914mov rax, rbx
001cb917add rsp, 16
001cb91bret
001cb91c
001cb91cloc_1cb91c:
001cb91ccall caml_call_gc
001cb921jmp 0x1cb817
001cb926
001cb926loc_1cb926:
001cb926call caml_call_gc
001cb92bjmp 0x1cb771
001cb930
001cb930loc_1cb930:
001cb930call caml_call_gc
001cb935jmp 0x1cb6df
001cb93a
001cb93aloc_1cb93a:
001cb93acall caml_ml_array_bound_error
001cb93f
001cb93floc_1cb93f:
001cb93fcall caml_ml_array_bound_error
001cb944
001cb944loc_1cb944:
001cb944call caml_ml_array_bound_error
001cb6a0

001cb949
001cb949 // align 0x10

001cb950
001cb950camlCamlinternalFormat.put_3457:
001cb950sar rax, 1
001cb953mov rdi, [rbx+24]
001cb957mov rsi, [rdi]
001cb95asar rsi, 1
001cb95dmov rbx, [rbx+16]
001cb961mov rdx, [rbx-8]
001cb965shr rdx, 10
001cb969lea rdx, [8*rdx-1]
001cb971movzx rcx, [rbx+rdx]
001cb976sub rdx, rcx
001cb979cmp rdx, rsi
001cb97cjbe 0x1cb98b
001cb97emov [rbx+rsi], al
001cb981add [rdi], 2
001cb985mov eax, 1
001cb98aret
001cb98b
001cb98bloc_1cb98b:
001cb98bcall caml_ml_array_bound_error
001cb950

001cb990
001cb990camlCamlinternalFormat.convert_int_3464:
001cb990lea r10, [rsp-336]
001cb998cmp r10, [r14+40]
001cb99cjb 0x1cb9d4
001cb99e
001cb99eloc_1cb99e:
001cb99esub rsp, 16
001cb9a2mov [rsp+8], rax
001cb9a7mov [rsp], rbx
001cb9abcall camlCamlinternalFormat.format_of_iconv_3429
001cb9b0mov rdi, rax
001cb9b3mov rsi, [rsp]
001cb9b7lea rax, [rip+0x41a52]
001cb9becall caml_c_call
001cb9c3mov rbx, rax
001cb9c6mov rax, [rsp+8]
001cb9cbadd rsp, 16
001cb9cfjmp 0x1cb6a0
001cb9d4
001cb9d4loc_1cb9d4:
001cb9d4push 35
001cb9d6call caml_call_realloc_stack
001cb9dbpop r10
001cb9ddjmp 0x1cb99e
001cb990

001cb9df
001cb9df // align 0x10

001cb9e0
001cb9e0camlCamlinternalFormat.convert_int32_3468:
001cb9e0lea r10, [rsp-336]
001cb9e8cmp r10, [r14+40]
001cb9ecjb 0x1cba24
001cb9ee
001cb9eeloc_1cb9ee:
001cb9eesub rsp, 16
001cb9f2mov [rsp+8], rax
001cb9f7mov [rsp], rbx
001cb9fbcall camlCamlinternalFormat.format_of_iconvl_3435
001cba00mov rdi, rax
001cba03mov rsi, [rsp]
001cba07lea rax, [rip+0x41e92]
001cba0ecall caml_c_call
001cba13mov rbx, rax
001cba16mov rax, [rsp+8]
001cba1badd rsp, 16
001cba1fjmp 0x1cb6a0
001cba24
001cba24loc_1cba24:
001cba24push 35
001cba26call caml_call_realloc_stack
001cba2bpop r10
001cba2djmp 0x1cb9ee
001cb9e0

001cba2f
001cba2f // align 0x10

001cba30
001cba30camlCamlinternalFormat.convert_nativeint_3472:
001cba30lea r10, [rsp-336]
001cba38cmp r10, [r14+40]
001cba3cjb 0x1cba74
001cba3e
001cba3eloc_1cba3e:
001cba3esub rsp, 16
001cba42mov [rsp+8], rax
001cba47mov [rsp], rbx
001cba4bcall camlCamlinternalFormat.format_of_iconvn_3438
001cba50mov rdi, rax
001cba53mov rsi, [rsp]
001cba57lea rax, [rip+0x42b42]
001cba5ecall caml_c_call
001cba63mov rbx, rax
001cba66mov rax, [rsp+8]
001cba6badd rsp, 16
001cba6fjmp 0x1cb6a0
001cba74
001cba74loc_1cba74:
001cba74push 35
001cba76call caml_call_realloc_stack
001cba7bpop r10
001cba7djmp 0x1cba3e
001cba30

001cba7f
001cba7f // align 0x10

001cba80
001cba80camlCamlinternalFormat.convert_int64_3476:
001cba80lea r10, [rsp-336]
001cba88cmp r10, [r14+40]
001cba8cjb 0x1cbac4
001cba8e
001cba8eloc_1cba8e:
001cba8esub rsp, 16
001cba92mov [rsp+8], rax
001cba97mov [rsp], rbx
001cba9bcall camlCamlinternalFormat.format_of_iconvL_3432
001cbaa0mov rdi, rax
001cbaa3mov rsi, [rsp]
001cbaa7lea rax, [rip+0x42422]
001cbaaecall caml_c_call
001cbab3mov rbx, rax
001cbab6mov rax, [rsp+8]
001cbabbadd rsp, 16
001cbabfjmp 0x1cb6a0
001cbac4
001cbac4loc_1cbac4:
001cbac4push 35
001cbac6call caml_call_realloc_stack
001cbacbpop r10
001cbacdjmp 0x1cba8e
001cba80

001cbacf
001cbacf // align 0x10

001cbad0
001cbad0camlCamlinternalFormat.convert_float_3480:
001cbad0lea r10, [rsp-336]
001cbad8cmp r10, [r14+40]
001cbadcjb 0x1cbcd4
001cbae2
001cbae2loc_1cbae2:
001cbae2sub rsp, 16
001cbae6mov rsi, rax
001cbae9mov [rsp], rdi
001cbaedsub r15, 48
001cbaf1cmp r15, [r14]
001cbaf4jb 0x1cbcca
001cbafa
001cbafaloc_1cbafa:
001cbafalea rcx, [r15+8]
001cbafemov [rcx-8], 5367
001cbb06lea rax, [rip+483]
001cbb0dmov [rcx], rax
001cbb10mov rax, 0x100000000000005
001cbb1amov [rcx+8], rax
001cbb1emov [rcx+16], rsi
001cbb22mov [rcx+24], rbx
001cbb26mov [rcx+32], rdi
001cbb2amov rax, [rsi+8]
001cbb2esar rax, 1
001cbb31lea rdx, [rip+0x62550]
001cbb38movsxd rax, [rdx+4*rax]
001cbb3cadd rdx, rax
001cbb3fjmp rdx
001cbb41nop [rax]
001cbb44mov rax, rsi
001cbb47call camlCamlinternalFormat.format_of_fconv_3441
001cbb4cmov rdi, rax
001cbb4fmov rsi, [rsp]
001cbb53lea rax, [rip+0x3bb16]
001cbb5acall caml_c_call
001cbb5fmov [rsp+8], rax
001cbb64mov rbx, [rax-8]
001cbb68shr rbx, 10
001cbb6clea rbx, [8*rbx-1]
001cbb74movzx rdi, [rax+rbx]
001cbb79sub rbx, rdi
001cbb7clea rdi, [rbx+rbx+1]
001cbb81sub r15, 40
001cbb85cmp r15, [r14]
001cbb88jb 0x1cbcc0
001cbb8e
001cbb8eloc_1cbb8e:
001cbb8elea rbx, [r15+8]
001cbb92mov [rbx-8], 4343
001cbb9alea rsi, [rip+383]
001cbba1mov [rbx], rsi
001cbba4mov rsi, 0x100000000000005
001cbbaemov [rbx+8], rsi
001cbbb2mov [rbx+16], rdi
001cbbb6mov [rbx+24], rax
001cbbbamov eax, 1
001cbbbfcall camlCamlinternalFormat.is_valid_3493
001cbbc4cmp rax, 1
001cbbc8je 0x1cbbd4
001cbbcamov rax, [rsp+8]
001cbbcfjmp 0x1cbbe5
001cbbd1nop [rax]
001cbbd4
001cbbd4loc_1cbbd4:
001cbbd4lea rbx, [rip+0x183fd5]
001cbbdbmov rax, [rsp+8]
001cbbe0call camlStdlib.$5e_139
001cbbe5
001cbbe5loc_1cbbe5:
001cbbe5mov r12, rax
001cbbe8jmp 0x1cbc5c
001cbbeanop
001cbbecmov eax, 1
001cbbf1mov rbx, rcx
001cbbf4add rsp, 16
001cbbf8jmp 0x1cbcf0
001cbbfdnop [rax]
001cbc00mov eax, 1
001cbc05mov rbx, rcx
001cbc08call camlCamlinternalFormat.hex_3485
001cbc0dmov rbx, rax
001cbc10lea rax, [rip+0x168369]
001cbc17mov rax, [rax+24]
001cbc1bcall Stdlib.Bytes.map
001cbc20add rsp, 16
001cbc24ret
001cbc25nop [rax]
001cbc28mov eax, 1
001cbc2dmov rbx, rcx
001cbc30call camlCamlinternalFormat.hex_3485
001cbc35mov r12, rax
001cbc38jmp 0x1cbc5c
001cbc3anop
001cbc3cmov rax, rsi
001cbc3fcall camlCamlinternalFormat.format_of_fconv_3441
001cbc44mov rdi, rax
001cbc47mov rsi, [rsp]
001cbc4blea rax, [rip+0x3ba1e]
001cbc52call caml_c_call
001cbc57add rsp, 16
001cbc5bret
001cbc5c
001cbc5cloc_1cbc5c:
001cbc5cmov r13, [rsp]
001cbc60movsd_xmm x0, [r13]
001cbc66mov rbx, rsp
001cbc69mov rsp, [r14+64]
001cbc6dcall caml_classify_float_unboxed
001cbc72mov rsp, rbx
001cbc75cmp rax, 7
001cbc79je 0x1cbc98
001cbc7bcmp rax, 9
001cbc7fjl 0x1cbc90
001cbc81lea rax, [rip+0x183f18]
001cbc88add rsp, 16
001cbc8cret
001cbc8dnop [rax]
001cbc90
001cbc90loc_1cbc90:
001cbc90mov rax, r12
001cbc93add rsp, 16
001cbc97ret
001cbc98
001cbc98loc_1cbc98:
001cbc98xorpd x0, x0
001cbc9cmovsd_xmm x1, [r13]
001cbca2comisd x0, x1
001cbca6jbe 0x1cbcb4
001cbca8lea rax, [rip+0x183ec9]
001cbcafadd rsp, 16
001cbcb3ret
001cbcb4
001cbcb4loc_1cbcb4:
001cbcb4lea rax, [rip+0x183ea5]
001cbcbbadd rsp, 16
001cbcbfret
001cbcc0
001cbcc0loc_1cbcc0:
001cbcc0call caml_call_gc
001cbcc5jmp 0x1cbb8e
001cbcca
001cbccaloc_1cbcca:
001cbccacall caml_call_gc
001cbccfjmp 0x1cbafa
001cbcd4
001cbcd4loc_1cbcd4:
001cbcd4push 35
001cbcd6call caml_call_realloc_stack
001cbcdbpop r10
001cbcddjmp 0x1cbae2
001cbad0

001cbce2
001cbce2 // align 0x10

001cbcf0
001cbcf0camlCamlinternalFormat.hex_3485:
001cbcf0mov rax, [rbx+16]
001cbcf4mov rax, [rax]
001cbcf7or rax, 1
001cbcfblea rdi, [rip+0x18149e]
001cbd02mov rdx, [rdi+4*rax-4]
001cbd07mov rsi, [rbx+24]
001cbd0bmov rdi, [rbx+32]
001cbd0flea rax, [rip+0x3b9aa]
001cbd16call caml_c_call
001cbd1bret
001cbcf0

001cbd1c
001cbd1c // align 0x10

001cbd20
001cbd20camlCamlinternalFormat.is_valid_3493:
001cbd20cmp r15, [r14]
001cbd23jbe 0x1cbd8e
001cbd25
001cbd25loc_1cbd25:
001cbd25mov rdi, [rbx+16]
001cbd29cmp rax, rdi
001cbd2cjne 0x1cbd34
001cbd2emov eax, 1
001cbd33ret
001cbd34
001cbd34loc_1cbd34:
001cbd34mov rdi, rax
001cbd37sar rdi, 1
001cbd3amov rsi, [rbx+24]
001cbd3emov rdx, [rsi-8]
001cbd42shr rdx, 10
001cbd46lea rdx, [8*rdx-1]
001cbd4emovzx rcx, [rsi+rdx]
001cbd53sub rdx, rcx
001cbd56cmp rdx, rdi
001cbd59jbe 0x1cbd95
001cbd5bmovzx rdi, [rsi+rdi]
001cbd60lea rdi, [rdi+rdi+1]
001cbd65add rdi, -92
001cbd69cmp rdi, 47
001cbd6djbe 0x1cbd78
001cbd6fcmp rdi, 111
001cbd73je 0x1cbd88
001cbd75jmp 0x1cbd82
001cbd77
001cbd77 90 .
001cbd78
001cbd78loc_1cbd78:
001cbd78add rdi, -2
001cbd7ccmp rdi, 43
001cbd80ja 0x1cbd88
001cbd82
001cbd82loc_1cbd82:
001cbd82add rax, 2
001cbd86jmp 0x1cbd20
001cbd88
001cbd88loc_1cbd88:
001cbd88mov eax, 3
001cbd8dret
001cbd8e
001cbd8eloc_1cbd8e:
001cbd8ecall caml_call_gc
001cbd93jmp 0x1cbd25
001cbd95
001cbd95loc_1cbd95:
001cbd95call caml_ml_array_bound_error
001cbd20

001cbd9a
001cbd9a // align 0x10

001cbda0
001cbda0camlCamlinternalFormat.format_caml_char_3499:
001cbda0lea r10, [rsp-336]
001cbda8cmp r10, [r14+40]
001cbdacjb 0x1cbe1b
001cbdae
001cbdaeloc_1cbdae:
001cbdaesub rsp, 16
001cbdb2call Stdlib.Char.escaped
001cbdb7mov [rsp], rax
001cbdbbmov rbx, [rax-8]
001cbdbfshr rbx, 10
001cbdc3lea rbx, [8*rbx-1]
001cbdcbmovzx rax, [rax+rbx]
001cbdd0sub rbx, rax
001cbdd3lea rax, [rbx+rbx+1]
001cbdd8mov [rsp+8], rax
001cbdddmov ebx, 79
001cbde2add rax, 4
001cbde6call Stdlib.Bytes.make
001cbdebmov r12, rax
001cbdeemov ecx, 3
001cbdf3mov esi, 1
001cbdf8mov rdi, [rsp]
001cbdfcmov rdx, r12
001cbdffmov r8, [rsp+8]
001cbe04mov rbx, rsp
001cbe07mov rsp, [r14+64]
001cbe0bcall caml_blit_string
001cbe10mov rsp, rbx
001cbe13mov rax, r12
001cbe16add rsp, 16
001cbe1aret
001cbe1b
001cbe1bloc_1cbe1b:
001cbe1bpush 35
001cbe1dcall caml_call_realloc_stack
001cbe22pop r10
001cbe24jmp 0x1cbdae
001cbda0

001cbe26
001cbe26 // align 0x10

001cbe30
001cbe30camlCamlinternalFormat.string_of_fmtty_3505:
001cbe30lea r10, [rsp-336]
001cbe38cmp r10, [r14+40]
001cbe3cjb 0x1cbe78
001cbe3e
001cbe3eloc_1cbe3e:
001cbe3esub rsp, 16
001cbe42mov [rsp], rax
001cbe46mov eax, 33
001cbe4bcall camlCamlinternalFormat.buffer_create_596
001cbe50mov [rsp+8], rax
001cbe55mov rbx, [rsp]
001cbe59call camlCamlinternalFormat.bprint_fmtty_778
001cbe5emov rax, [rsp+8]
001cbe63mov rdi, [rax]
001cbe66mov rax, [rax+8]
001cbe6amov ebx, 1
001cbe6fadd rsp, 16
001cbe73jmp 0x1a63e0
001cbe78
001cbe78loc_1cbe78:
001cbe78push 35
001cbe7acall caml_call_realloc_stack
001cbe7fpop r10
001cbe81jmp 0x1cbe3e
001cbe30

001cbe83
001cbe83 // align 0x10

001cbe90
001cbe90camlCamlinternalFormat.make_printf_3509:
001cbe90lea r10, [rsp-352]
001cbe98cmp r10, [r14+40]
001cbe9cjb 0x1cc639
001cbea2
001cbea2loc_1cbea2:
001cbea2sub rsp, 32
001cbea6
001cbea6loc_1cbea6:
001cbea6mov r13, rax
001cbea9mov r12, rbx
001cbeacmov r9, rsi
001cbeafcmp r15, [r14]
001cbeb2jbe 0x1cc62f
001cbeb8
001cbeb8loc_1cbeb8:
001cbeb8test dil, 1
001cbebcje 0x1cbed0
001cbebemov rdi, [r13]
001cbec2mov rax, r12
001cbec5mov rbx, r13
001cbec8add rsp, 32
001cbeccjmp rdi
001cbecenop
001cbed0
001cbed0loc_1cbed0:
001cbed0mov [rsp+8], r9
001cbed5mov [rsp], rdi
001cbed9mov [rsp+24], r12
001cbedemov [rsp+16], r13
001cbee3movzx rax, [rdi-8]
001cbee8lea rdx, [rip+0x621bd]
001cbeefmovsxd rax, [rdx+4*rax]
001cbef3add rdx, rax
001cbef6jmp rdx
001cbef8mov rbx, [rdi]
001cbefbsub r15, 56
001cbeffcmp r15, [r14]
001cbf02jb 0x1cc625
001cbf08
001cbf08loc_1cbf08:
001cbf08lea rax, [r15+8]
001cbf0cmov [rax-8], 6391
001cbf14lea rdi, [rip+1845]
001cbf1bmov [rax], rdi
001cbf1emov rdi, 0x100000000000005
001cbf28mov [rax+8], rdi
001cbf2cmov [rax+16], r9
001cbf30mov [rax+24], r13
001cbf34mov [rax+32], r12
001cbf38mov [rax+40], rbx
001cbf3cadd rsp, 32
001cbf40ret
001cbf41nop [rax]
001cbf44mov rbx, [rdi]
001cbf47sub r15, 56
001cbf4bcmp r15, [r14]
001cbf4ejb 0x1cc61b
001cbf54
001cbf54loc_1cbf54:
001cbf54lea rax, [r15+8]
001cbf58mov [rax-8], 6391
001cbf60lea rdi, [rip+1833]
001cbf67mov [rax], rdi
001cbf6amov rdi, 0x100000000000005
001cbf74mov [rax+8], rdi
001cbf78mov [rax+16], r9
001cbf7cmov [rax+24], r13
001cbf80mov [rax+32], r12
001cbf84mov [rax+40], rbx
001cbf88add rsp, 32
001cbf8cret
001cbf8dnop [rax]
001cbf90mov rcx, r9
001cbf93add rcx, 128
001cbf9alea rdx, [rip+0x1812ef]
001cbfa1mov rsi, [rdi]
001cbfa4mov rdi, [rdi+8]
001cbfa8mov rax, r13
001cbfabmov rbx, r12
001cbfaeadd rsp, 32
001cbfb2jmp 0x1cd280
001cbfb7nop
001cbfb8mov rcx, r9
001cbfbbadd rcx, 128
001cbfc2lea rax, [rip+0x181daf]
001cbfc9mov rdx, [rax+528]
001cbfd0mov rsi, [rdi]
001cbfd3mov rdi, [rdi+8]
001cbfd7mov rax, r13
001cbfdamov rbx, r12
001cbfddadd rsp, 32
001cbfe1jmp 0x1cd280
001cbfe6nop
001cbfe8add r9, 160
001cbfefmov r8, [rdi]
001cbff2lea rax, [rip+0x181d7f]
001cbff9mov rcx, [rax+584]
001cc000mov rdx, [rdi+16]
001cc004mov rsi, [rdi+8]
001cc008mov rdi, [rdi+24]
001cc00cmov rax, r13
001cc00fmov rbx, r12
001cc012add rsp, 32
001cc016jmp 0x1cd530
001cc01bnop
001cc01cadd r9, 160
001cc023mov r8, [rdi]
001cc026lea rax, [rip+0x181d4b]
001cc02dmov rcx, [rax+592]
001cc034mov rdx, [rdi+16]
001cc038mov rsi, [rdi+8]
001cc03cmov rdi, [rdi+24]
001cc040mov rax, r13
001cc043mov rbx, r12
001cc046add rsp, 32
001cc04ajmp 0x1cd530
001cc04fnop
001cc050add r9, 160
001cc057mov r8, [rdi]
001cc05alea rax, [rip+0x181d17]
001cc061mov rcx, [rax+600]
001cc068mov rdx, [rdi+16]
001cc06cmov rsi, [rdi+8]
001cc070mov rdi, [rdi+24]
001cc074mov rax, r13
001cc077mov rbx, r12
001cc07aadd rsp, 32
001cc07ejmp 0x1cd530
001cc083nop
001cc084add r9, 160
001cc08bmov r8, [rdi]
001cc08elea rax, [rip+0x181ce3]
001cc095mov rcx, [rax+608]
001cc09cmov rdx, [rdi+16]
001cc0a0mov rsi, [rdi+8]
001cc0a4mov rdi, [rdi+24]
001cc0a8mov rax, r13
001cc0abmov rbx, r12
001cc0aeadd rsp, 32
001cc0b2jmp 0x1cd530
001cc0b7nop
001cc0b8mov r8, r9
001cc0bbadd r8, 192
001cc0c2mov rcx, [rdi]
001cc0c5mov rdx, [rdi+16]
001cc0c9mov rsi, [rdi+8]
001cc0cdmov rdi, [rdi+24]
001cc0d1mov rax, r13
001cc0d4mov rbx, r12
001cc0d7add rsp, 32
001cc0dbjmp 0x1cde90
001cc0e0mov rcx, r9
001cc0e3add rcx, 128
001cc0ealea rax, [rip+0x161527]
001cc0f1mov rdx, [rax+232]
001cc0f8mov rsi, [rdi]
001cc0fbmov rdi, [rdi+8]
001cc0ffmov rax, r13
001cc102mov rbx, r12
001cc105add rsp, 32
001cc109jmp 0x1cd280
001cc10enop
001cc110sub r15, 16
001cc114cmp r15, [r14]
001cc117jb 0x1cc611
001cc11d
001cc11dloc_1cc11d:
001cc11dlea rbx, [r15+8]
001cc121mov [rbx-8], 1031
001cc129mov [rbx], r12
001cc12cmov rdi, [rdi]
001cc12fmov rax, r13
001cc132mov rsi, r9
001cc135jmp 0x1cbea6
001cc13anop
001cc13csub r15, 24
001cc140cmp r15, [r14]
001cc143jb 0x1cc607
001cc149
001cc149loc_1cc149:
001cc149lea rbx, [r15+8]
001cc14dmov [rbx-8], 2050
001cc155mov [rbx], r12
001cc158mov rax, [rdi]
001cc15bmov [rbx+8], rax
001cc15fmov rdi, [rdi+8]
001cc163mov rax, r13
001cc166mov rsi, r9
001cc169jmp 0x1cbea6
001cc16enop
001cc170sub r15, 24
001cc174cmp r15, [r14]
001cc177jb 0x1cc5fd
001cc17d
001cc17dloc_1cc17d:
001cc17dlea rbx, [r15+8]
001cc181mov [rbx-8], 2051
001cc189mov [rbx], r12
001cc18cmov rax, [rdi]
001cc18fmov [rbx+8], rax
001cc193mov rdi, [rdi+8]
001cc197mov rax, r13
001cc19amov rsi, r9
001cc19djmp 0x1cbea6
001cc1a2nop
001cc1a4mov rax, [rdi+16]
001cc1a8mov [rsp], rax
001cc1acmov rax, [rdi+8]
001cc1b0call camlCamlinternalFormat.string_of_fmtty_3505
001cc1b5sub r15, 64
001cc1b9cmp r15, [r14]
001cc1bcjb 0x1cc5f3
001cc1c2
001cc1c2loc_1cc1c2:
001cc1c2lea rbx, [r15+8]
001cc1c6mov [rbx-8], 7415
001cc1celea rdi, [rip+1547]
001cc1d5mov [rbx], rdi
001cc1d8mov rdi, 0x100000000000005
001cc1e2mov [rbx+8], rdi
001cc1e6mov rdi, [rsp+8]
001cc1ebmov [rbx+16], rdi
001cc1efmov rdi, [rsp+16]
001cc1f4mov [rbx+24], rdi
001cc1f8mov rdi, [rsp+24]
001cc1fdmov [rbx+32], rdi
001cc201mov rdi, [rsp]
001cc205mov [rbx+40], rdi
001cc209mov [rbx+48], rax
001cc20dmov rax, rbx
001cc210add rsp, 32
001cc214ret
001cc215nop [rax]
001cc218mov rbx, [rdi+16]
001cc21cmov rdi, [rdi+8]
001cc220sub r15, 64
001cc224cmp r15, [r14]
001cc227jb 0x1cc5e9
001cc22d
001cc22dloc_1cc22d:
001cc22dlea rax, [r15+8]
001cc231mov [rax-8], 7415
001cc239lea rsi, [rip+1504]
001cc240mov [rax], rsi
001cc243mov rsi, 0x100000000000005
001cc24dmov [rax+8], rsi
001cc251mov [rax+16], r9
001cc255mov [rax+24], r13
001cc259mov [rax+32], r12
001cc25dmov [rax+40], rdi
001cc261mov [rax+48], rbx
001cc265add rsp, 32
001cc269ret
001cc26anop
001cc26cmov rbx, [rdi]
001cc26fsub r15, 64
001cc273cmp r15, [r14]
001cc276jb 0x1cc5df
001cc27c
001cc27cloc_1cc27c:
001cc27clea rax, [r15+8]
001cc280mov [rax-8], 7415
001cc288lea rdi, [rip-0xd526f]
001cc28fmov [rax], rdi
001cc292mov rdi, 0x200000000000007
001cc29cmov [rax+8], rdi
001cc2a0lea rdi, [rip+1161]
001cc2a7mov [rax+16], rdi
001cc2abmov [rax+24], r9
001cc2afmov [rax+32], r13
001cc2b3mov [rax+40], r12
001cc2b7mov [rax+48], rbx
001cc2bbadd rsp, 32
001cc2bfret
001cc2c0mov rbx, [rdi]
001cc2c3sub r15, 56
001cc2c7cmp r15, [r14]
001cc2cajb 0x1cc5d5
001cc2d0
001cc2d0loc_1cc2d0:
001cc2d0lea rax, [r15+8]
001cc2d4mov [rax-8], 6391
001cc2dclea rdi, [rip+1213]
001cc2e3mov [rax], rdi
001cc2e6mov rdi, 0x100000000000005
001cc2f0mov [rax+8], rdi
001cc2f4mov [rax+16], r9
001cc2f8mov [rax+24], r13
001cc2fcmov [rax+32], r12
001cc300mov [rax+40], rbx
001cc304add rsp, 32
001cc308ret
001cc309nop [rax]
001cc30csub r15, 24
001cc310cmp r15, [r14]
001cc313jb 0x1cc5cb
001cc319
001cc319loc_1cc319:
001cc319lea rbx, [r15+8]
001cc31dmov [rbx-8], 2048
001cc325mov [rbx], r12
001cc328mov rax, [rdi]
001cc32bmov [rbx+8], rax
001cc32fmov rdi, [rdi+8]
001cc333mov rax, r13
001cc336mov rsi, r9
001cc339jmp 0x1cbea6
001cc33enop
001cc340mov rsi, [rdi]
001cc343movzx rax, [rsi-8]
001cc348test rax, rax
001cc34bje 0x1cc3a8
001cc34dmov rbx, [rdi+8]
001cc351sub r15, 56
001cc355cmp r15, [r14]
001cc358jb 0x1cc5c1
001cc35e
001cc35eloc_1cc35e:
001cc35elea rax, [r15+8]
001cc362mov [rax-8], 6391
001cc36alea rdi, [rip+1599]
001cc371mov [rax], rdi
001cc374mov rdi, 0x100000000000005
001cc37emov [rax+8], rdi
001cc382mov [rax+16], r9
001cc386mov [rax+24], r13
001cc38amov [rax+32], r12
001cc38emov [rax+40], rbx
001cc392mov rbx, [rsi]
001cc395mov rdi, [rbx]
001cc398mov ebx, 1
001cc39dmov rsi, r9
001cc3a0jmp 0x1cbea6
001cc3a5nop [rax]
001cc3a8
001cc3a8loc_1cc3a8:
001cc3a8mov rbx, [rdi+8]
001cc3acsub r15, 56
001cc3b0cmp r15, [r14]
001cc3b3jb 0x1cc5b7
001cc3b9
001cc3b9loc_1cc3b9:
001cc3b9lea rax, [r15+8]
001cc3bdmov [rax-8], 6391
001cc3c5lea rdi, [rip+1428]
001cc3ccmov [rax], rdi
001cc3cfmov rdi, 0x100000000000005
001cc3d9mov [rax+8], rdi
001cc3ddmov [rax+16], r9
001cc3e1mov [rax+24], r13
001cc3e5mov [rax+32], r12
001cc3e9mov [rax+40], rbx
001cc3edmov rbx, [rsi]
001cc3f0mov rdi, [rbx]
001cc3f3mov ebx, 1
001cc3f8mov rsi, r9
001cc3fbjmp 0x1cbea6
001cc400sub r15, 24
001cc404cmp r15, [r14]
001cc407jb 0x1cc5ad
001cc40d
001cc40dloc_1cc40d:
001cc40dlea rax, [r15+8]
001cc411mov [rax-8], 2048
001cc419lea rbx, [rip+0xa9de8]
001cc420mov [rax], rbx
001cc423lea rbx, [rip+0x183706]
001cc42amov [rax+8], rbx
001cc42ecall caml_raise_exn
001cc433nop
001cc434mov rbx, [rdi+16]
001cc438sub r15, 80
001cc43ccmp r15, [r14]
001cc43fjb 0x1cc5a3
001cc445
001cc445loc_1cc445:
001cc445lea rdi, [r15+8]
001cc449add rdi, 56
001cc44dmov [rdi-8], 2056
001cc455mov [rdi], r12
001cc458lea rax, [rip+0x1836a9]
001cc45fmov [rdi+8], rax
001cc463lea rax, [rdi-56]
001cc467mov [rax-8], 6391
001cc46flea rsi, [rip+1066]
001cc476mov [rax], rsi
001cc479mov rsi, 0x100000000000005
001cc483mov [rax+8], rsi
001cc487mov [rax+16], r9
001cc48bmov [rax+24], r13
001cc48fmov [rax+32], rbx
001cc493mov [rax+40], rdi
001cc497add rsp, 32
001cc49bret
001cc49cmov rbx, [rdi+8]
001cc4a0sub r15, 56
001cc4a4cmp r15, [r14]
001cc4a7jb 0x1cc599
001cc4ad
001cc4adloc_1cc4ad:
001cc4adlea rax, [r15+8]
001cc4b1mov [rax-8], 6391
001cc4b9lea rdi, [rip+1024]
001cc4c0mov [rax], rdi
001cc4c3mov rdi, 0x100000000000005
001cc4cdmov [rax+8], rdi
001cc4d1mov [rax+16], r9
001cc4d5mov [rax+24], r13
001cc4d9mov [rax+32], r12
001cc4ddmov [rax+40], rbx
001cc4e1add rsp, 32
001cc4e5ret
001cc4e6nop
001cc4e8mov rbx, [rdi]
001cc4ebsub r15, 56
001cc4efcmp r15, [r14]
001cc4f2jb 0x1cc58f
001cc4f8
001cc4f8loc_1cc4f8:
001cc4f8lea rax, [r15+8]
001cc4fcmov [rax-8], 6391
001cc504lea rdi, [rip+1045]
001cc50bmov [rax], rdi
001cc50emov rdi, 0x100000000000005
001cc518mov [rax+8], rdi
001cc51cmov [rax+16], r9
001cc520mov [rax+24], r13
001cc524mov [rax+32], r12
001cc528mov [rax+40], rbx
001cc52cadd rsp, 32
001cc530ret
001cc531nop [rax]
001cc534mov rdx, r9
001cc537add rdx, 32
001cc53bmov rsi, [rdi+8]
001cc53fmov rdi, [rdi]
001cc542mov rax, r13
001cc545mov rbx, r12
001cc548add rsp, 32
001cc54cjmp 0x1cca00
001cc551nop [rax]
001cc554mov rbx, [rdi+8]
001cc558mov eax, 1
001cc55dmov rdi, [rbx]
001cc560call rdi
001cc562mov rdx, rax
001cc565mov rcx, [rsp+8]
001cc56aadd rcx, 224
001cc571mov rax, [rsp]
001cc575mov rsi, [rax]
001cc578mov rdi, [rax+16]
001cc57cmov rax, [rsp+16]
001cc581mov rbx, [rsp+24]
001cc586add rsp, 32
001cc58ajmp 0x1ce7c0
001cc58f
001cc58floc_1cc58f:
001cc58fcall caml_call_gc
001cc594jmp 0x1cc4f8
001cc599
001cc599loc_1cc599:
001cc599call caml_call_gc
001cc59ejmp 0x1cc4ad
001cc5a3
001cc5a3loc_1cc5a3:
001cc5a3call caml_call_gc
001cc5a8jmp 0x1cc445
001cc5ad
001cc5adloc_1cc5ad:
001cc5adcall caml_call_gc
001cc5b2jmp 0x1cc40d
001cc5b7
001cc5b7loc_1cc5b7:
001cc5b7call caml_call_gc
001cc5bcjmp 0x1cc3b9
001cc5c1
001cc5c1loc_1cc5c1:
001cc5c1call caml_call_gc
001cc5c6jmp 0x1cc35e
001cc5cb
001cc5cbloc_1cc5cb:
001cc5cbcall caml_call_gc
001cc5d0jmp 0x1cc319
001cc5d5
001cc5d5loc_1cc5d5:
001cc5d5call caml_call_gc
001cc5dajmp 0x1cc2d0
001cc5df
001cc5dfloc_1cc5df:
001cc5dfcall caml_call_gc
001cc5e4jmp 0x1cc27c
001cc5e9
001cc5e9loc_1cc5e9:
001cc5e9call caml_call_gc
001cc5eejmp 0x1cc22d
001cc5f3
001cc5f3loc_1cc5f3:
001cc5f3call caml_call_gc
001cc5f8jmp 0x1cc1c2
001cc5fd
001cc5fdloc_1cc5fd:
001cc5fdcall caml_call_gc
001cc602jmp 0x1cc17d
001cc607
001cc607loc_1cc607:
001cc607call caml_call_gc
001cc60cjmp 0x1cc149
001cc611
001cc611loc_1cc611:
001cc611call caml_call_gc
001cc616jmp 0x1cc11d
001cc61b
001cc61bloc_1cc61b:
001cc61bcall caml_call_gc
001cc620jmp 0x1cbf54
001cc625
001cc625loc_1cc625:
001cc625call caml_call_gc
001cc62ajmp 0x1cbf08
001cc62f
001cc62floc_1cc62f:
001cc62fcall caml_call_gc
001cc634jmp 0x1cbeb8
001cc639
001cc639loc_1cc639:
001cc639push 37
001cc63bcall caml_call_realloc_stack
001cc640pop r10
001cc642jmp 0x1cbea2
001cbe90