Similarity

001d6420
001d6420camlCamlinternalFormat.search_subformat_end_4628:
001d6420lea r10, [rsp-376]
001d6428cmp r10, [r14+40]
001d642cjb 0x1d67fe
001d6432
001d6432loc_1d6432:
001d6432sub rsp, 56
001d6436
001d6436loc_1d6436:
001d6436mov [rsp], rax
001d643amov [rsp+16], rbx
001d643fmov [rsp+24], rdi
001d6444mov [rsp+8], rsi
001d6449cmp r15, [r14]
001d644cjbe 0x1d67e5
001d6452
001d6452loc_1d6452:
001d6452cmp rax, rbx
001d6455jne 0x1d6490
001d6457mov [rsp+48], rbx
001d645cmov [rsp+40], rdi
001d6461mov rax, [rsi+168]
001d6468mov [rsp+32], rax
001d646dlea rax, [rip+0x1784dc]
001d6474call camlCamlinternalFormat.failwith_message_4513
001d6479mov rsi, rax
001d647cmov rax, [rsp+32]
001d6481mov rbx, [rsp+40]
001d6486mov rdi, [rsp+48]
001d648bcall caml_apply3
001d6490
001d6490loc_1d6490:
001d6490mov rax, [rsp]
001d6494mov rbx, rax
001d6497sar rbx, 1
001d649amov rsi, [rsp+8]
001d649fmov rdi, [rsi+168]
001d64a6mov rdx, [rdi-8]
001d64aashr rdx, 10
001d64aelea rdx, [8*rdx-1]
001d64b6movzx rcx, [rdi+rdx]
001d64bbsub rdx, rcx
001d64becmp rdx, rbx
001d64c1jbe 0x1d67f9
001d64c7movzx rbx, [rdi+rbx]
001d64cclea rbx, [rbx+rbx+1]
001d64d1cmp rbx, 75
001d64d5je 0x1d64ec
001d64d7add rax, 2
001d64dbmov rbx, [rsp+16]
001d64e0mov rdi, [rsp+24]
001d64e5jmp 0x1d6436
001d64ea
001d64ea 66 90 f.
001d64ec
001d64ecloc_1d64ec:
001d64ecmov [rsp+8], rsi
001d64f1mov [rsp], rax
001d64f5add rax, 2
001d64f9mov rdi, [rsp+16]
001d64fecmp rax, rdi
001d6501jne 0x1d6512
001d6503mov rbx, [rsi+184]
001d650amov rax, rdi
001d650dcall camlCamlinternalFormat.unexpected_end_of_format_4593
001d6512
001d6512loc_1d6512:
001d6512mov rbx, [rsp]
001d6516mov rcx, rbx
001d6519add rcx, 2
001d651dmov rax, rcx
001d6520sar rax, 1
001d6523mov rsi, [rsp+8]
001d6528mov rdi, [rsi+168]
001d652fmov rdx, [rdi-8]
001d6533shr rdx, 10
001d6537lea rdx, [8*rdx-1]
001d653fmovzx r8, [rdi+rdx]
001d6544sub rdx, r8
001d6547cmp rdx, rax
001d654ajbe 0x1d67f4
001d6550movzx rax, [rdi+rax]
001d6555lea rax, [rax+rax+1]
001d655amov rdi, [rsp+24]
001d655fcmp rax, rdi
001d6562jne 0x1d656c
001d6564mov rax, rbx
001d6567add rsp, 56
001d656bret
001d656c
001d656cloc_1d656c:
001d656ccmp rax, 191
001d6572jl 0x1d6734
001d6578cmp rax, 247
001d657ejl 0x1d6638
001d6584cmp rax, 253
001d658ajge 0x1d67d4
001d6590mov [rsp+8], rsi
001d6595mov [rsp+24], rdi
001d659aadd rax, -246
001d65a0sar rax, 1
001d65a3cmp rax, 1
001d65a7je 0x1d67d4
001d65adja 0x1d65e0
001d65afmov edi, 251
001d65b4mov rax, rbx
001d65b7add rax, 4
001d65bbmov rbx, [rsp+16]
001d65c0call camlCamlinternalFormat.search_subformat_end_4628
001d65c5add rax, 4
001d65c9mov rbx, [rsp+16]
001d65cemov rdi, [rsp+24]
001d65d3mov rsi, [rsp+8]
001d65d8jmp 0x1d6436
001d65dd
001d65dd 0f 1f 00 ...
001d65e0
001d65e0loc_1d65e0:
001d65e0mov rax, [rsi+208]
001d65e7mov ebx, 251
001d65ecmov [rsp+24], rbx
001d65f1lea rbx, [rip+0x178340]
001d65f8mov [rsp+16], rbx
001d65fdmov [rsp+8], rcx
001d6602mov rax, [rax+24]
001d6606mov [rsp], rax
001d660alea rax, [rip+0x178ecf]
001d6611call camlCamlinternalFormat.failwith_message_4513
001d6616mov rdx, rax
001d6619mov rax, [rsp]
001d661dmov rbx, [rsp+8]
001d6622mov rdi, [rsp+16]
001d6627mov rsi, [rsp+24]
001d662cadd rsp, 56
001d6630jmp 0xf72f0
001d6635
001d6635 0f 1f 00 ...
001d6638
001d6638loc_1d6638:
001d6638cmp rax, 193
001d663ejge 0x1d67d4
001d6644mov [rsp+8], rsi
001d6649mov [rsp+24], rdi
001d664emov [rsp], rbx
001d6652add rbx, 4
001d6656mov rax, [rsp+16]
001d665bcmp rbx, rax
001d665ejne 0x1d666c
001d6660mov rbx, [rsi+184]
001d6667call camlCamlinternalFormat.unexpected_end_of_format_4593
001d666c
001d666cloc_1d666c:
001d666cmov rax, [rsp]
001d6670mov rbx, rax
001d6673add rbx, 4
001d6677sar rbx, 1
001d667amov rsi, [rsp+8]
001d667fmov rdi, [rsi+168]
001d6686mov rdx, [rdi-8]
001d668ashr rdx, 10
001d668elea rdx, [8*rdx-1]
001d6696movzx rcx, [rdi+rdx]
001d669bsub rdx, rcx
001d669ecmp rdx, rbx
001d66a1jbe 0x1d67ef
001d66a7movzx rbx, [rdi+rbx]
001d66aclea rbx, [rbx+rbx+1]
001d66b1cmp rbx, 81
001d66b5je 0x1d6704
001d66b7cmp rbx, 247
001d66beje 0x1d66d4
001d66c0add rax, 6
001d66c4mov rbx, [rsp+16]
001d66c9mov rdi, [rsp+24]
001d66cejmp 0x1d6436
001d66d3
001d66d3 90 .
001d66d4
001d66d4loc_1d66d4:
001d66d4mov [rsp+8], rsi
001d66d9mov edi, 251
001d66deadd rax, 6
001d66e2mov rbx, [rsp+16]
001d66e7call camlCamlinternalFormat.search_subformat_end_4628
001d66ecadd rax, 4
001d66f0mov rbx, [rsp+16]
001d66f5mov rdi, [rsp+24]
001d66famov rsi, [rsp+8]
001d66ffjmp 0x1d6436
001d6704
001d6704loc_1d6704:
001d6704mov [rsp+8], rsi
001d6709mov edi, 83
001d670eadd rax, 6
001d6712mov rbx, [rsp+16]
001d6717call camlCamlinternalFormat.search_subformat_end_4628
001d671cadd rax, 4
001d6720mov rbx, [rsp+16]
001d6725mov rdi, [rsp+24]
001d672amov rsi, [rsp+8]
001d672fjmp 0x1d6436
001d6734
001d6734loc_1d6734:
001d6734cmp rax, 81
001d6738je 0x1d679c
001d673acmp rax, 83
001d673ejne 0x1d67d4
001d6744mov rax, [rsi+208]
001d674bmov ebx, 83
001d6750mov [rsp+24], rbx
001d6755lea rbx, [rip+0x1781c4]
001d675cmov [rsp+16], rbx
001d6761mov [rsp+8], rcx
001d6766mov rax, [rax+24]
001d676amov [rsp], rax
001d676elea rax, [rip+0x178d6b]
001d6775call camlCamlinternalFormat.failwith_message_4513
001d677amov rdx, rax
001d677dmov rax, [rsp]
001d6781mov rbx, [rsp+8]
001d6786mov rdi, [rsp+16]
001d678bmov rsi, [rsp+24]
001d6790add rsp, 56
001d6794jmp 0xf72f0
001d6799
001d6799 0f 1f 00 ...
001d679c
001d679cloc_1d679c:
001d679cmov [rsp+8], rsi
001d67a1mov [rsp+24], rdi
001d67a6mov edi, 83
001d67abmov rax, rbx
001d67aeadd rax, 4
001d67b2mov rbx, [rsp+16]
001d67b7call camlCamlinternalFormat.search_subformat_end_4628
001d67bcadd rax, 4
001d67c0mov rbx, [rsp+16]
001d67c5mov rdi, [rsp+24]
001d67camov rsi, [rsp+8]
001d67cfjmp 0x1d6436
001d67d4
001d67d4loc_1d67d4:
001d67d4mov rax, rbx
001d67d7add rax, 4
001d67dbmov rbx, [rsp+16]
001d67e0jmp 0x1d6436
001d67e5
001d67e5loc_1d67e5:
001d67e5call caml_call_gc
001d67eajmp 0x1d6452
001d67ef
001d67efloc_1d67ef:
001d67efcall caml_ml_array_bound_error
001d67f4
001d67f4loc_1d67f4:
001d67f4call caml_ml_array_bound_error
001d67f9
001d67f9loc_1d67f9:
001d67f9call caml_ml_array_bound_error
001d67fe
001d67feloc_1d67fe:
001d67fepush 40
001d6800call caml_call_realloc_stack
001d6805pop r10
001d6807jmp 0x1d6432
001d6420

001d680c
001d680c // align 0x10

001d6810
001d6810camlCamlinternalFormat.is_int_base_4629:
001d6810add rax, -176
001d6816cmp rax, 65
001d681aja 0x1d6830
001d681csar rax, 1
001d681flea rdx, [rip+0x57cc6]
001d6826movsxd rax, [rdx+4*rax]
001d682aadd rdx, rax
001d682djmp rdx
001d682fnop
001d6830
001d6830loc_1d6830:
001d6830mov eax, 1
001d6835ret
001d6836nop
001d6838mov eax, 3
001d683dret
001d6810

001d683e
001d683e // align 0x10

001d6840
001d6840camlCamlinternalFormat.counter_of_char_4630:
001d6840cmp rax, 217
001d6846jl 0x1d6870
001d6848cmp rax, 223
001d684ejge 0x1d6880
001d6850add rax, -216
001d6856sar rax, 1
001d6859cmp rax, 1
001d685dje 0x1d6880
001d685fja 0x1d6868
001d6861mov eax, 1
001d6866ret
001d6867
001d6867 90 .
001d6868
001d6868loc_1d6868:
001d6868mov eax, 3
001d686dret
001d686e
001d686e 66 90 f.
001d6870
001d6870loc_1d6870:
001d6870cmp rax, 153
001d6876jne 0x1d6880
001d6878mov eax, 5
001d687dret
001d687e
001d687e 66 90 f.
001d6880
001d6880loc_1d6880:
001d6880sub r15, 24
001d6884cmp r15, [r14]
001d6887jb 0x1d68af
001d6889
001d6889loc_1d6889:
001d6889lea rax, [r15+8]
001d688dmov [rax-8], 2048
001d6895lea rbx, [rip+0x9f96c]
001d689cmov [rax], rbx
001d689flea rbx, [rip+0x17805a]
001d68a6mov [rax+8], rbx
001d68aacall caml_raise_exn
001d68af
001d68afloc_1d68af:
001d68afcall caml_call_gc
001d68b4jmp 0x1d6889
001d6840

001d68b6
001d68b6 // align 0x10

001d68c0
001d68c0camlCamlinternalFormat.compute_int_conv_4631:
001d68c0mov r12, rax
001d68c3mov r9, rdx
001d68c6cmp r15, [r14]
001d68c9jbe 0x1d6b72
001d68cf
001d68cfloc_1d68cf:
001d68cfcmp rdi, 1
001d68d3je 0x1d6910
001d68d5cmp rsi, 1
001d68d9jne 0x1d69fc
001d68dfcmp r9, 1
001d68e3jne 0x1d6a88
001d68e9cmp rcx, 201
001d68f0je 0x1d6908
001d68f2cmp rcx, 211
001d68f9jne 0x1d6a88
001d68ffmov eax, 9
001d6904ret
001d6905nop [rax]
001d6908
001d6908loc_1d6908:
001d6908mov eax, 3
001d690dret
001d690enop
001d6910
001d6910loc_1d6910:
001d6910cmp rsi, 1
001d6914je 0x1d6978
001d6916cmp r9, 1
001d691ajne 0x1d69fc
001d6920mov rax, rcx
001d6923add rax, -176
001d6929cmp rax, 65
001d692dja 0x1d69fc
001d6933sar rax, 1
001d6936lea rdx, [rip+0x57c33]
001d693dmovsxd rax, [rdx+4*rax]
001d6941add rdx, rax
001d6944jmp rdx
001d6946nop
001d6948mov eax, 19
001d694dret
001d694enop
001d6950mov eax, 27
001d6955ret
001d6956nop
001d6958mov eax, 29
001d695dret
001d695enop
001d6960mov eax, 23
001d6965ret
001d6966nop
001d6968mov eax, 31
001d696dret
001d696enop
001d6970mov eax, 15
001d6975ret
001d6976nop
001d6978
001d6978loc_1d6978:
001d6978cmp r9, 1
001d697cje 0x1d69a4
001d697ecmp rcx, 201
001d6985je 0x1d699c
001d6987cmp rcx, 211
001d698ejne 0x1d6a88
001d6994mov eax, 11
001d6999ret
001d699anop
001d699c
001d699cloc_1d699c:
001d699cmov eax, 5
001d69a1ret
001d69a2nop
001d69a4
001d69a4loc_1d69a4:
001d69a4mov rax, rcx
001d69a7add rax, -176
001d69adcmp rax, 65
001d69b1ja 0x1d6a88
001d69b7sar rax, 1
001d69balea rdx, [rip+0x57c33]
001d69c1movsxd rax, [rdx+4*rax]
001d69c5add rdx, rax
001d69c8jmp rdx
001d69canop
001d69ccmov eax, 17
001d69d1ret
001d69d2nop
001d69d4mov eax, 1
001d69d9ret
001d69danop
001d69dcmov eax, 7
001d69e1ret
001d69e2nop
001d69e4mov eax, 21
001d69e9ret
001d69eanop
001d69ecmov eax, 25
001d69f1ret
001d69f2nop
001d69f4mov eax, 13
001d69f9ret
001d69fanop
001d69fc
001d69fcloc_1d69fc:
001d69fcmov rax, rcx
001d69ffadd rax, -176
001d6a05cmp rax, 65
001d6a09ja 0x1d6a88
001d6a0bsar rax, 1
001d6a0elea rdx, [rip+0x57c63]
001d6a15movsxd rax, [rdx+4*rax]
001d6a19add rdx, rax
001d6a1cjmp rdx
001d6a1enop
001d6a20mov rax, [r8+96]
001d6a24cmp rax, 1
001d6a28je 0x1d6a88
001d6a2amov eax, 19
001d6a2fret
001d6a30mov rax, [r8+96]
001d6a34cmp rax, 1
001d6a38je 0x1d6a88
001d6a3amov eax, 23
001d6a3fret
001d6a40mov rax, [r8+96]
001d6a44cmp rax, 1
001d6a48je 0x1d6a88
001d6a4amov eax, 15
001d6a4fret
001d6a50mov rax, [r8+96]
001d6a54cmp rax, 1
001d6a58je 0x1d6a6c
001d6a5amov esi, 1
001d6a5fmov rax, r12
001d6a62mov rdx, r9
001d6a65jmp 0x1d68c0
001d6a6anop
001d6a6c
001d6a6cloc_1d6a6c:
001d6a6cmov rdx, r8
001d6a6fadd rdx, 64
001d6a73lea rsi, [rip+0x17851e]
001d6a7amov rax, r12
001d6a7dmov rdi, rcx
001d6a80jmp 0x1d6d10
001d6a85nop [rax]
001d6a88
001d6a88loc_1d6a88:
001d6a88cmp rdi, 1
001d6a8cje 0x1d6b00
001d6a8ecmp r9, 1
001d6a92je 0x1d6ac8
001d6a94mov rax, [r8+96]
001d6a98cmp rax, 1
001d6a9cje 0x1d6aac
001d6a9emov edx, 1
001d6aa3mov rax, r12
001d6aa6jmp 0x1d68c0
001d6aabnop
001d6aac
001d6aacloc_1d6aac:
001d6aacmov rdx, r8
001d6aafadd rdx, 64
001d6ab3lea rsi, [rip+0x1784ee]
001d6abamov edi, 65
001d6abfmov rax, r12
001d6ac2jmp 0x1d6d10
001d6ac7nop
001d6ac8
001d6ac8loc_1d6ac8:
001d6ac8mov rax, [r8+96]
001d6acccmp rax, 1
001d6ad0je 0x1d6ae4
001d6ad2mov edi, 1
001d6ad7mov rax, r12
001d6adamov rdx, r9
001d6addjmp 0x1d68c0
001d6ae2nop
001d6ae4
001d6ae4loc_1d6ae4:
001d6ae4mov rdx, r8
001d6ae7add rdx, 64
001d6aeblea rsi, [rip+0x1784b6]
001d6af2mov rax, r12
001d6af5mov rdi, rcx
001d6af8jmp 0x1d6d10
001d6afdnop [rax]
001d6b00
001d6b00loc_1d6b00:
001d6b00cmp r9, 1
001d6b04je 0x1d6b3c
001d6b06mov rax, [r8+96]
001d6b0acmp rax, 1
001d6b0eje 0x1d6b20
001d6b10mov edx, 1
001d6b15mov rax, r12
001d6b18jmp 0x1d68c0
001d6b1dnop [rax]
001d6b20
001d6b20loc_1d6b20:
001d6b20mov rdx, r8
001d6b23add rdx, 64
001d6b27lea rsi, [rip+0x17845a]
001d6b2emov rax, r12
001d6b31mov rdi, rcx
001d6b34jmp 0x1d6d10
001d6b39nop [rax]
001d6b3c
001d6b3cloc_1d6b3c:
001d6b3csub r15, 24
001d6b40cmp r15, [r14]
001d6b43jb 0x1d6b6b
001d6b45
001d6b45loc_1d6b45:
001d6b45lea rax, [r15+8]
001d6b49mov [rax-8], 2048
001d6b51lea rbx, [rip+0x9f6b0]
001d6b58mov [rax], rbx
001d6b5blea rbx, [rip+0x177d7e]
001d6b62mov [rax+8], rbx
001d6b66call caml_raise_exn
001d6b6b
001d6b6bloc_1d6b6b:
001d6b6bcall caml_call_gc
001d6b70jmp 0x1d6b45
001d6b72
001d6b72loc_1d6b72:
001d6b72call caml_call_gc
001d6b77jmp 0x1d68cf
001d68c0

001d6b7c
001d6b7c // align 0x10

001d6b80
001d6b80camlCamlinternalFormat.compute_float_conv_4632:
001d6b80lea r10, [rsp-336]
001d6b88cmp r10, [r14+40]
001d6b8cjb 0x1d6cfa
001d6b92
001d6b92loc_1d6b92:
001d6b92sub rsp, 16
001d6b96mov [rsp], rsi
001d6b9amov [rsp+8], rcx
001d6b9fcmp rdi, 1
001d6ba3je 0x1d6be4
001d6ba5cmp rdx, 1
001d6ba9je 0x1d6bdc
001d6babmov rdi, [r8+64]
001d6bafcmp rdi, 1
001d6bb3je 0x1d6bbc
001d6bb5mov ebx, 3
001d6bbajmp 0x1d6bf9
001d6bbc
001d6bbcloc_1d6bbc:
001d6bbcmov rdx, r8
001d6bbfadd rdx, 32
001d6bc3lea rsi, [rip+0x1783de]
001d6bcamov edi, 65
001d6bcfcall camlCamlinternalFormat.incompatible_flag_4633
001d6bd4mov rbx, rax
001d6bd7jmp 0x1d6bf9
001d6bd9nop [rax]
001d6bdc
001d6bdcloc_1d6bdc:
001d6bdcmov ebx, 3
001d6be1jmp 0x1d6bf9
001d6be3nop
001d6be4
001d6be4loc_1d6be4:
001d6be4cmp rdx, 1
001d6be8je 0x1d6bf4
001d6beamov ebx, 5
001d6befjmp 0x1d6bf9
001d6bf1nop [rax]
001d6bf4
001d6bf4loc_1d6bf4:
001d6bf4mov ebx, 1
001d6bf9
001d6bf9loc_1d6bf9:
001d6bf9mov rdi, [rsp+8]
001d6bfecmp rdi, 147
001d6c05jl 0x1d6c2c
001d6c07mov rax, rdi
001d6c0aadd rax, -202
001d6c10cmp rax, 7
001d6c14ja 0x1d6c6c
001d6c16or rax, 1
001d6c1alea rdi, [rip+0x176597]
001d6c21mov rax, [rdi+4*rax-4]
001d6c26jmp 0x1d6cc8
001d6c2bnop
001d6c2c
001d6c2cloc_1d6c2c:
001d6c2ccmp rdi, 139
001d6c33jl 0x1d6c6c
001d6c35mov rax, rdi
001d6c38add rax, -138
001d6c3esar rax, 1
001d6c41lea rdx, [rip+0x57ab4]
001d6c48movsxd rax, [rdx+4*rax]
001d6c4cadd rdx, rax
001d6c4fjmp rdx
001d6c51nop [rax]
001d6c54mov eax, 5
001d6c59jmp 0x1d6cc8
001d6c5bnop
001d6c5cmov eax, 9
001d6c61jmp 0x1d6cc8
001d6c63nop
001d6c64mov eax, 15
001d6c69jmp 0x1d6cc8
001d6c6bnop
001d6c6c
001d6c6cloc_1d6c6c:
001d6c6cmov rax, [rsp]
001d6c70cmp rax, 1
001d6c74je 0x1d6c88
001d6c76cmp rdi, 141
001d6c7djne 0x1d6c98
001d6c7fmov eax, 17
001d6c84jmp 0x1d6cc8
001d6c86nop
001d6c88
001d6c88loc_1d6c88:
001d6c88cmp rdi, 141
001d6c8fjne 0x1d6c98
001d6c91mov eax, 11
001d6c96jmp 0x1d6cc8
001d6c98
001d6c98loc_1d6c98:
001d6c98sub r15, 24
001d6c9ccmp r15, [r14]
001d6c9fjb 0x1d6cf3
001d6ca1
001d6ca1loc_1d6ca1:
001d6ca1lea rax, [r15+8]
001d6ca5mov [rax-8], 2048
001d6cadlea rbx, [rip+0x9f554]
001d6cb4mov [rax], rbx
001d6cb7lea rbx, [rip+0x177c02]
001d6cbemov [rax+8], rbx
001d6cc2call caml_raise_exn
001d6cc7nop
001d6cc8
001d6cc8loc_1d6cc8:
001d6cc8sub r15, 24
001d6ccccmp r15, [r14]
001d6ccfjb 0x1d6cec
001d6cd1
001d6cd1loc_1d6cd1:
001d6cd1lea rdi, [r15+8]
001d6cd5mov [rdi-8], 2048
001d6cddmov [rdi], rbx
001d6ce0mov [rdi+8], rax
001d6ce4mov rax, rdi
001d6ce7add rsp, 16
001d6cebret
001d6cec
001d6cecloc_1d6cec:
001d6ceccall caml_call_gc
001d6cf1jmp 0x1d6cd1
001d6cf3
001d6cf3loc_1d6cf3:
001d6cf3call caml_call_gc
001d6cf8jmp 0x1d6ca1
001d6cfa
001d6cfaloc_1d6cfa:
001d6cfapush 35
001d6cfccall caml_call_realloc_stack
001d6d01pop r10
001d6d03jmp 0x1d6b92
001d6b80

001d6d08
001d6d08 // align 0x10

001d6d10
001d6d10camlCamlinternalFormat.incompatible_flag_4633:
001d6d10lea r10, [rsp-376]
001d6d18cmp r10, [r14+40]
001d6d1cjb 0x1d6dbc
001d6d22
001d6d22loc_1d6d22:
001d6d22sub rsp, 56
001d6d26mov rcx, rax
001d6d29mov [rsp+16], rcx
001d6d2emov [rsp], rdi
001d6d32mov [rsp+8], rsi
001d6d37mov [rsp+24], rdx
001d6d3ccmp r15, [r14]
001d6d3fjbe 0x1d6db5
001d6d41
001d6d41loc_1d6d41:
001d6d41mov rdi, rbx
001d6d44sub rdi, rcx
001d6d47inc rdi
001d6d4amov rax, [rdx+24]
001d6d4emov rbx, rcx
001d6d51call Stdlib.Bytes.sub
001d6d56mov [rsp+48], rax
001d6d5bmov rax, [rsp]
001d6d5fmov [rsp+40], rax
001d6d64mov rax, [rsp+8]
001d6d69mov [rsp+32], rax
001d6d6emov rax, [rsp+16]
001d6d73mov [rsp+8], rax
001d6d78mov rax, [rsp+24]
001d6d7dmov rax, [rax+24]
001d6d81mov [rsp], rax
001d6d85lea rax, [rip+0x177974]
001d6d8ccall camlCamlinternalFormat.failwith_message_4513
001d6d91mov rcx, rax
001d6d94mov rax, [rsp]
001d6d98mov rbx, [rsp+8]
001d6d9dmov rdi, [rsp+32]
001d6da2mov rsi, [rsp+40]
001d6da7mov rdx, [rsp+48]
001d6dacadd rsp, 56
001d6db0jmp 0xf7260
001d6db5
001d6db5loc_1d6db5:
001d6db5call caml_call_gc
001d6dbajmp 0x1d6d41
001d6dbc
001d6dbcloc_1d6dbc:
001d6dbcpush 40
001d6dbecall caml_call_realloc_stack
001d6dc3pop r10
001d6dc5jmp 0x1d6d22
001d6d10

001d6dca
001d6dca // align 0x10

001d6dd0
001d6dd0camlCamlinternalFormat.format_of_string_fmtty_5253:
001d6dd0lea r10, [rsp-360]
001d6dd8cmp r10, [r14+40]
001d6ddcjb 0x1d6ec8
001d6de2
001d6de2loc_1d6de2:
001d6de2sub rsp, 24
001d6de6mov rdi, rax
001d6de9mov [rsp+16], rdi
001d6deemov [rsp], rbx
001d6df2cmp r15, [r14]
001d6df5jbe 0x1d6ebe
001d6dfb
001d6dfbloc_1d6dfb:
001d6dfbmov eax, 1
001d6e00mov rbx, rdi
001d6e03call camlCamlinternalFormat.fmt_ebb_of_string_4583
001d6e08lea r11, [rip+73]
001d6e0fpush r11
001d6e11push [r14+48]
001d6e15mov [r14+48], rsp
001d6e19mov rax, [rax]
001d6e1cmov rbx, [rsp+16]
001d6e21call camlCamlinternalFormat.type_format_2488
001d6e26sub r15, 24
001d6e2acmp r15, [r14]
001d6e2djb 0x1d6eb4
001d6e33
001d6e33loc_1d6e33:
001d6e33lea rbx, [r15+8]
001d6e37mov [rbx-8], 2048
001d6e3fmov [rbx], rax
001d6e42mov rax, [rsp+32]
001d6e47mov [rbx+8], rax
001d6e4bpop [r14+48]
001d6e4fadd rsp, 8
001d6e53jmp 0x1d6eac
001d6e55
001d6e55 0f 1f 00 ...
001d6e58lea rbx, [rip+0x176f19]
001d6e5fmov rbx, [rbx+448]
001d6e66cmp rax, rbx
001d6e69jne 0x1d6ea4
001d6e6bmov rax, [rsp]
001d6e6fcall camlCamlinternalFormat.string_of_fmtty_3505
001d6e74mov [rsp+8], rax
001d6e79mov rax, [rsp+16]
001d6e7emov [rsp], rax
001d6e82lea rax, [rip+0x17778f]
001d6e89call camlCamlinternalFormat.failwith_message_4513
001d6e8emov rdi, rax
001d6e91mov rax, [rsp]
001d6e95mov rbx, [rsp+8]
001d6e9aadd rsp, 24
001d6e9ejmp 0xf73e0
001d6ea3
001d6ea3 90 .
001d6ea4
001d6ea4loc_1d6ea4:
001d6ea4call caml_reraise_exn
001d6ea9nop [rax]
001d6eac
001d6eacloc_1d6eac:
001d6eacmov rax, rbx
001d6eafadd rsp, 24
001d6eb3ret
001d6eb4
001d6eb4loc_1d6eb4:
001d6eb4call caml_call_gc
001d6eb9jmp 0x1d6e33
001d6ebe
001d6ebeloc_1d6ebe:
001d6ebecall caml_call_gc
001d6ec3jmp 0x1d6dfb
001d6ec8
001d6ec8loc_1d6ec8:
001d6ec8push 38
001d6ecacall caml_call_realloc_stack
001d6ecfpop r10
001d6ed1jmp 0x1d6de2
001d6dd0

001d6ed6
001d6ed6 // align 0x10

001d6ee0
001d6ee0camlCamlinternalFormat.format_of_string_format_5260:
001d6ee0lea r10, [rsp-360]
001d6ee8cmp r10, [r14+40]
001d6eecjb 0x1d6fec
001d6ef2
001d6ef2loc_1d6ef2:
001d6ef2sub rsp, 24
001d6ef6mov rdi, rax
001d6ef9mov [rsp+16], rdi
001d6efemov [rsp], rbx
001d6f02cmp r15, [r14]
001d6f05jbe 0x1d6fe2
001d6f0b
001d6f0bloc_1d6f0b:
001d6f0bmov eax, 1
001d6f10mov rbx, rdi
001d6f13call camlCamlinternalFormat.fmt_ebb_of_string_4583
001d6f18mov [rsp+8], rax
001d6f1dlea r11, [rip+88]
001d6f24push r11
001d6f26push [r14+48]
001d6f2amov [r14+48], rsp
001d6f2emov rax, [rsp+16]
001d6f33mov rax, [rax]
001d6f36call camlCamlinternalFormat.fmtty_of_fmt_2160
001d6f3bmov rbx, rax
001d6f3emov rax, [rsp+24]
001d6f43mov rax, [rax]
001d6f46call camlCamlinternalFormat.type_format_2488
001d6f4bsub r15, 24
001d6f4fcmp r15, [r14]
001d6f52jb 0x1d6fd8
001d6f58
001d6f58loc_1d6f58:
001d6f58lea rbx, [r15+8]
001d6f5cmov [rbx-8], 2048
001d6f64mov [rbx], rax
001d6f67mov rax, [rsp+32]
001d6f6cmov [rbx+8], rax
001d6f70pop [r14+48]
001d6f74add rsp, 8
001d6f78jmp 0x1d6fd0
001d6f7a
001d6f7a 66 90 f.
001d6f7clea rbx, [rip+0x176df5]
001d6f83mov rbx, [rbx+448]
001d6f8acmp rax, rbx
001d6f8djne 0x1d6fc8
001d6f8fmov rax, [rsp]
001d6f93mov rax, [rax+8]
001d6f97mov [rsp+8], rax
001d6f9cmov rax, [rsp+16]
001d6fa1mov [rsp], rax
001d6fa5lea rax, [rip+0x17766c]
001d6faccall camlCamlinternalFormat.failwith_message_4513
001d6fb1mov rdi, rax
001d6fb4mov rax, [rsp]
001d6fb8mov rbx, [rsp+8]
001d6fbdadd rsp, 24
001d6fc1jmp 0xf73e0
001d6fc6
001d6fc6 66 90 f.
001d6fc8
001d6fc8loc_1d6fc8:
001d6fc8call caml_reraise_exn
001d6fcdnop [rax]
001d6fd0
001d6fd0loc_1d6fd0:
001d6fd0mov rax, rbx
001d6fd3add rsp, 24
001d6fd7ret
001d6fd8
001d6fd8loc_1d6fd8:
001d6fd8call caml_call_gc
001d6fddjmp 0x1d6f58
001d6fe2
001d6fe2loc_1d6fe2:
001d6fe2call caml_call_gc
001d6fe7jmp 0x1d6f0b
001d6fec
001d6fecloc_1d6fec:
001d6fecpush 38
001d6feecall caml_call_realloc_stack
001d6ff3pop r10
001d6ff5jmp 0x1d6ef2
001d6ee0

001d6ffa
001d6ffa // align 0x10

001d7000
001d7000camlCamlinternalFormat.entry:
001d7000lea rsi, [rip+0x1762a1]
001d7007lea rdi, [rip+0x176d6a]
001d700eadd rdi, 16
001d7012mov rbx, rsp
001d7015mov rsp, [r14+64]
001d7019call caml_initialize
001d701emov rsp, rbx
001d7021lea rsi, [rip+0x176298]
001d7028lea rdi, [rip+0x176d49]
001d702fadd rdi, 24
001d7033mov rbx, rsp
001d7036mov rsp, [r14+64]
001d703acall caml_initialize
001d703fmov rsp, rbx
001d7042lea rsi, [rip+0x176297]
001d7049lea rdi, [rip+0x176d28]
001d7050add rdi, 32
001d7054mov rbx, rsp
001d7057mov rsp, [r14+64]
001d705bcall caml_initialize
001d7060mov rsp, rbx
001d7063lea rsi, [rip+0x17628e]
001d706alea rdi, [rip+0x176d07]
001d7071add rdi, 8
001d7075mov rbx, rsp
001d7078mov rsp, [r14+64]
001d707ccall caml_initialize
001d7081mov rsp, rbx
001d7084lea rsi, [rip+0x176285]
001d708blea rdi, [rip+0x176ce6]
001d7092mov rbx, rsp
001d7095mov rsp, [r14+64]
001d7099call caml_initialize
001d709emov rsp, rbx
001d70a1lea rsi, [rip+0x176288]
001d70a8lea rdi, [rip+0x176cc9]
001d70afadd rdi, 184
001d70b6mov rbx, rsp
001d70b9mov rsp, [r14+64]
001d70bdcall caml_initialize
001d70c2mov rsp, rbx
001d70c5lea rsi, [rip+0x17627c]
001d70cclea rdi, [rip+0x176ca5]
001d70d3add rdi, 192
001d70damov rbx, rsp
001d70ddmov rsp, [r14+64]
001d70e1call caml_initialize
001d70e6mov rsp, rbx
001d70e9lea rsi, [rip+0x176270]
001d70f0lea rdi, [rip+0x176c81]
001d70f7add rdi, 40
001d70fbmov rbx, rsp
001d70femov rsp, [r14+64]
001d7102call caml_initialize
001d7107mov rsp, rbx
001d710alea rsi, [rip+0x17626f]
001d7111lea rdi, [rip+0x176c60]
001d7118add rdi, 200
001d711fmov rbx, rsp
001d7122mov rsp, [r14+64]
001d7126call caml_initialize
001d712bmov rsp, rbx
001d712elea rsi, [rip+0x176263]
001d7135lea rdi, [rip+0x176c3c]
001d713cadd rdi, 208
001d7143mov rbx, rsp
001d7146mov rsp, [r14+64]
001d714acall caml_initialize
001d714fmov rsp, rbx
001d7152lea rsi, [rip+0x176257]
001d7159lea rdi, [rip+0x176c18]
001d7160add rdi, 216
001d7167mov rbx, rsp
001d716amov rsp, [r14+64]
001d716ecall caml_initialize
001d7173mov rsp, rbx
001d7176lea rsi, [rip+0x176253]
001d717dlea rdi, [rip+0x176bf4]
001d7184add rdi, 224
001d718bmov rbx, rsp
001d718emov rsp, [r14+64]
001d7192call caml_initialize
001d7197mov rsp, rbx
001d719alea rsi, [rip+0x17624f]
001d71a1lea rdi, [rip+0x176bd0]
001d71a8add rdi, 232
001d71afmov rbx, rsp
001d71b2mov rsp, [r14+64]
001d71b6call caml_initialize
001d71bbmov rsp, rbx
001d71belea rsi, [rip+0x17624b]
001d71c5lea rdi, [rip+0x176bac]
001d71ccadd rdi, 240
001d71d3mov rbx, rsp
001d71d6mov rsp, [r14+64]
001d71dacall caml_initialize
001d71dfmov rsp, rbx
001d71e2lea rsi, [rip+0x17623f]
001d71e9lea rdi, [rip+0x176b88]
001d71f0add rdi, 120
001d71f4mov rbx, rsp
001d71f7mov rsp, [r14+64]
001d71fbcall caml_initialize
001d7200mov rsp, rbx
001d7203lea rsi, [rip+0x176236]
001d720alea rdi, [rip+0x176b67]
001d7211add rdi, 248
001d7218mov rbx, rsp
001d721bmov rsp, [r14+64]
001d721fcall caml_initialize
001d7224mov rsp, rbx
001d7227lea rsi, [rip+0x176252]
001d722elea rdi, [rip+0x176b43]
001d7235add rdi, 256
001d723cmov rbx, rsp
001d723fmov rsp, [r14+64]
001d7243call caml_initialize
001d7248mov rsp, rbx
001d724blea rsi, [rip+0x176246]
001d7252lea rdi, [rip+0x176b1f]
001d7259add rdi, 264
001d7260mov rbx, rsp
001d7263mov rsp, [r14+64]
001d7267call caml_initialize
001d726cmov rsp, rbx
001d726flea rsi, [rip+0x176242]
001d7276lea rdi, [rip+0x176afb]
001d727dadd rdi, 272
001d7284mov rbx, rsp
001d7287mov rsp, [r14+64]
001d728bcall caml_initialize
001d7290mov rsp, rbx
001d7293lea rsi, [rip+0x17623e]
001d729alea rdi, [rip+0x176ad7]
001d72a1add rdi, 280
001d72a8mov rbx, rsp
001d72abmov rsp, [r14+64]
001d72afcall caml_initialize
001d72b4mov rsp, rbx
001d72b7lea rsi, [rip+0x17623a]
001d72belea rdi, [rip+0x176ab3]
001d72c5add rdi, 288
001d72ccmov rbx, rsp
001d72cfmov rsp, [r14+64]
001d72d3call caml_initialize
001d72d8mov rsp, rbx
001d72dblea rsi, [rip+0x176236]
001d72e2lea rdi, [rip+0x176a8f]
001d72e9add rdi, 296
001d72f0mov rbx, rsp
001d72f3mov rsp, [r14+64]
001d72f7call caml_initialize
001d72fcmov rsp, rbx
001d72fflea rsi, [rip+0x176232]
001d7306lea rdi, [rip+0x176a6b]
001d730dadd rdi, 304
001d7314mov rbx, rsp
001d7317mov rsp, [r14+64]
001d731bcall caml_initialize
001d7320mov rsp, rbx
001d7323lea rsi, [rip+0x17622e]
001d732alea rdi, [rip+0x176a47]
001d7331add rdi, 312
001d7338mov rbx, rsp
001d733bmov rsp, [r14+64]
001d733fcall caml_initialize
001d7344mov rsp, rbx
001d7347lea rsi, [rip+0x17622a]
001d734elea rdi, [rip+0x176a23]
001d7355add rdi, 320
001d735cmov rbx, rsp
001d735fmov rsp, [r14+64]
001d7363call caml_initialize
001d7368mov rsp, rbx
001d736blea rsi, [rip+0x176226]
001d7372lea rdi, [rip+0x1769ff]
001d7379add rdi, 328
001d7380mov rbx, rsp
001d7383mov rsp, [r14+64]
001d7387call caml_initialize
001d738cmov rsp, rbx
001d738flea rsi, [rip+0x176222]
001d7396lea rdi, [rip+0x1769db]
001d739dadd rdi, 336
001d73a4mov rbx, rsp
001d73a7mov rsp, [r14+64]
001d73abcall caml_initialize
001d73b0mov rsp, rbx
001d73b3lea rsi, [rip+0x17621e]
001d73balea rdi, [rip+0x1769b7]
001d73c1add rdi, 344
001d73c8mov rbx, rsp
001d73cbmov rsp, [r14+64]
001d73cfcall caml_initialize
001d73d4mov rsp, rbx
001d73d7lea rsi, [rip+0x17621a]
001d73delea rdi, [rip+0x176993]
001d73e5add rdi, 128
001d73ecmov rbx, rsp
001d73efmov rsp, [r14+64]
001d73f3call caml_initialize
001d73f8mov rsp, rbx
001d73fblea rsi, [rip+0x17620e]
001d7402lea rdi, [rip+0x17696f]
001d7409add rdi, 352
001d7410mov rbx, rsp
001d7413mov rsp, [r14+64]
001d7417call caml_initialize
001d741cmov rsp, rbx
001d741flea rsi, [rip+0x17620a]
001d7426lea rdi, [rip+0x17694b]
001d742dadd rdi, 360
001d7434mov rbx, rsp
001d7437mov rsp, [r14+64]
001d743bcall caml_initialize
001d7440mov rsp, rbx
001d7443lea rsi, [rip+0x176206]
001d744alea rdi, [rip+0x176927]
001d7451add rdi, 368
001d7458mov rbx, rsp
001d745bmov rsp, [r14+64]
001d745fcall caml_initialize
001d7464mov rsp, rbx
001d7467lea rsi, [rip+0x176202]
001d746elea rdi, [rip+0x176903]
001d7475add rdi, 376
001d747cmov rbx, rsp
001d747fmov rsp, [r14+64]
001d7483call caml_initialize
001d7488mov rsp, rbx
001d748blea rsi, [rip+0x1761f6]
001d7492lea rdi, [rip+0x1768df]
001d7499add rdi, 384
001d74a0mov rbx, rsp
001d74a3mov rsp, [r14+64]
001d74a7call caml_initialize
001d74acmov rsp, rbx
001d74aflea rsi, [rip+0x1761f2]
001d74b6lea rdi, [rip+0x1768bb]
001d74bdadd rdi, 144
001d74c4mov rbx, rsp
001d74c7mov rsp, [r14+64]
001d74cbcall caml_initialize
001d74d0mov rsp, rbx
001d74d3lea rsi, [rip+0x1761e6]
001d74dalea rdi, [rip+0x176897]
001d74e1add rdi, 160
001d74e8mov rbx, rsp
001d74ebmov rsp, [r14+64]
001d74efcall caml_initialize
001d74f4mov rsp, rbx
001d74f7lea r12, [rip+0x1761da]
001d74felea rdi, [rip+0x176873]
001d7505add rdi, 392
001d750cmov rsi, r12
001d750fmov rbx, rsp
001d7512mov rsp, [r14+64]
001d7516call caml_initialize
001d751bmov rsp, rbx
001d751emov rsi, r12
001d7521add rsi, 24
001d7525lea rdi, [rip+0x17684c]
001d752cadd rdi, 168
001d7533mov rbx, rsp
001d7536mov rsp, [r14+64]
001d753acall caml_initialize
001d753fmov rsp, rbx
001d7542lea r12, [rip+0x1761c7]
001d7549lea rdi, [rip+0x176828]
001d7550add rdi, 400
001d7557mov rsi, r12
001d755amov rbx, rsp
001d755dmov rsp, [r14+64]
001d7561call caml_initialize
001d7566mov rsp, rbx
001d7569mov rsi, r12
001d756cadd rsi, 24
001d7570lea rdi, [rip+0x176801]
001d7577add rdi, 408
001d757emov rbx, rsp
001d7581mov rsp, [r14+64]
001d7585call caml_initialize
001d758amov rsp, rbx
001d758dmov rsi, r12
001d7590add rsi, 48
001d7594lea rdi, [rip+0x1767dd]
001d759badd rdi, 416
001d75a2mov rbx, rsp
001d75a5mov rsp, [r14+64]
001d75a9call caml_initialize
001d75aemov rsp, rbx
001d75b1mov rsi, r12
001d75b4add rsi, 80
001d75b8lea rdi, [rip+0x1767b9]
001d75bfadd rdi, 424
001d75c6mov rbx, rsp
001d75c9mov rsp, [r14+64]
001d75cdcall caml_initialize
001d75d2mov rsp, rbx
001d75d5mov rsi, r12
001d75d8add rsi, 112
001d75dclea rdi, [rip+0x176795]
001d75e3add rdi, 432
001d75eamov rbx, rsp
001d75edmov rsp, [r14+64]
001d75f1call caml_initialize
001d75f6mov rsp, rbx
001d75f9mov rsi, r12
001d75fcadd rsi, 144
001d7603lea rdi, [rip+0x17676e]
001d760aadd rdi, 440
001d7611mov rbx, rsp
001d7614mov rsp, [r14+64]
001d7618call caml_initialize
001d761dmov rsp, rbx
001d7620mov edi, 1
001d7625mov rbx, rsp
001d7628mov rsp, [r14+64]
001d762ccall caml_fresh_oo_id
001d7631mov rsp, rbx
001d7634call caml_alloc2
001d7639lea rsi, [r15+8]
001d763dmov [rsi-8], 2296
001d7645lea rbx, [rip+0x176d3c]
001d764cmov [rsi], rbx
001d764fmov [rsi+8], rax
001d7653lea rdi, [rip+0x17671e]
001d765aadd rdi, 448
001d7661mov rbx, rsp
001d7664mov rsp, [r14+64]
001d7668call caml_initialize
001d766dmov rsp, rbx
001d7670lea rsi, [rip+0x176149]
001d7677lea rdi, [rip+0x1766fa]
001d767eadd rdi, 456
001d7685mov rbx, rsp
001d7688mov rsp, [r14+64]
001d768ccall caml_initialize
001d7691mov rsp, rbx
001d7694lea rsi, [rip+0x176145]
001d769blea rdi, [rip+0x1766d6]
001d76a2add rdi, 464
001d76a9mov rbx, rsp
001d76acmov rsp, [r14+64]
001d76b0call caml_initialize
001d76b5mov rsp, rbx
001d76b8lea r12, [rip+0x176141]
001d76bflea rdi, [rip+0x1766b2]
001d76c6add rdi, 88
001d76camov rsi, r12
001d76cdmov rbx, rsp
001d76d0mov rsp, [r14+64]
001d76d4call caml_initialize
001d76d9mov rsp, rbx
001d76dcmov rsi, r12
001d76dfadd rsi, 32
001d76e3lea rdi, [rip+0x17668e]
001d76eaadd rdi, 472
001d76f1mov rbx, rsp
001d76f4mov rsp, [r14+64]
001d76f8call caml_initialize
001d76fdmov rsp, rbx
001d7700mov rsi, r12
001d7703add rsi, 64
001d7707lea rdi, [rip+0x17666a]
001d770eadd rdi, 480
001d7715mov rbx, rsp
001d7718mov rsp, [r14+64]
001d771ccall caml_initialize
001d7721mov rsp, rbx
001d7724mov rsi, r12
001d7727add rsi, 96
001d772blea rdi, [rip+0x176646]
001d7732add rdi, 488
001d7739mov rbx, rsp
001d773cmov rsp, [r14+64]
001d7740call caml_initialize
001d7745mov rsp, rbx
001d7748mov rsi, r12
001d774badd rsi, 128
001d7752lea rdi, [rip+0x17661f]
001d7759add rdi, 496
001d7760mov rbx, rsp
001d7763mov rsp, [r14+64]
001d7767call caml_initialize
001d776cmov rsp, rbx
001d776fmov rsi, r12
001d7772add rsi, 160
001d7779lea rdi, [rip+0x1765f8]
001d7780add rdi, 504
001d7787mov rbx, rsp
001d778amov rsp, [r14+64]
001d778ecall caml_initialize
001d7793mov rsp, rbx
001d7796lea rsi, [rip+0x176123]
001d779dlea rdi, [rip+0x1765d4]
001d77a4add rdi, 176
001d77abmov rbx, rsp
001d77aemov rsp, [r14+64]
001d77b2call caml_initialize
001d77b7mov rsp, rbx
001d77balea rsi, [rip+0x17611f]
001d77c1lea rdi, [rip+0x1765b0]
001d77c8add rdi, 512
001d77cfmov rbx, rsp
001d77d2mov rsp, [r14+64]
001d77d6call caml_initialize
001d77dbmov rsp, rbx
001d77delea rsi, [rip+0x17611b]
001d77e5lea rdi, [rip+0x17658c]
001d77ecadd rdi, 520
001d77f3mov rbx, rsp
001d77f6mov rsp, [r14+64]
001d77facall caml_initialize
001d77ffmov rsp, rbx
001d7802lea rsi, [rip+0x176117]
001d7809lea rdi, [rip+0x176568]
001d7810add rdi, 528
001d7817mov rbx, rsp
001d781amov rsp, [r14+64]
001d781ecall caml_initialize
001d7823mov rsp, rbx
001d7826lea rsi, [rip+0x17610b]
001d782dlea rdi, [rip+0x176544]
001d7834add rdi, 536
001d783bmov rbx, rsp
001d783emov rsp, [r14+64]
001d7842call caml_initialize
001d7847mov rsp, rbx
001d784alea rsi, [rip+0x1760ff]
001d7851lea rdi, [rip+0x176520]
001d7858add rdi, 544
001d785fmov rbx, rsp
001d7862mov rsp, [r14+64]
001d7866call caml_initialize
001d786bmov rsp, rbx
001d786elea rsi, [rip+0x1760f3]
001d7875lea rdi, [rip+0x1764fc]
001d787cadd rdi, 552
001d7883mov rbx, rsp
001d7886mov rsp, [r14+64]
001d788acall caml_initialize
001d788fmov rsp, rbx
001d7892lea rsi, [rip+0x1760e7]
001d7899lea rdi, [rip+0x1764d8]
001d78a0add rdi, 560
001d78a7mov rbx, rsp
001d78aamov rsp, [r14+64]
001d78aecall caml_initialize
001d78b3mov rsp, rbx
001d78b6lea rsi, [rip+0x1760db]
001d78bdlea rdi, [rip+0x1764b4]
001d78c4add rdi, 568
001d78cbmov rbx, rsp
001d78cemov rsp, [r14+64]
001d78d2call caml_initialize
001d78d7mov rsp, rbx
001d78dalea rsi, [rip+0x1760d7]
001d78e1lea rdi, [rip+0x176490]
001d78e8add rdi, 576
001d78efmov rbx, rsp
001d78f2mov rsp, [r14+64]
001d78f6call caml_initialize
001d78fbmov rsp, rbx
001d78felea rsi, [rip+0x1760d3]
001d7905lea rdi, [rip+0x17646c]
001d790cadd rdi, 584
001d7913mov rbx, rsp
001d7916mov rsp, [r14+64]
001d791acall caml_initialize
001d791fmov rsp, rbx
001d7922lea rsi, [rip+0x1760cf]
001d7929lea rdi, [rip+0x176448]
001d7930add rdi, 592
001d7937mov rbx, rsp
001d793amov rsp, [r14+64]
001d793ecall caml_initialize
001d7943mov rsp, rbx
001d7946lea rsi, [rip+0x1760cb]
001d794dlea rdi, [rip+0x176424]
001d7954add rdi, 600
001d795bmov rbx, rsp
001d795emov rsp, [r14+64]
001d7962call caml_initialize
001d7967mov rsp, rbx
001d796alea rsi, [rip+0x1760c7]
001d7971lea rdi, [rip+0x176400]
001d7978add rdi, 608
001d797fmov rbx, rsp
001d7982mov rsp, [r14+64]
001d7986call caml_initialize
001d798bmov rsp, rbx
001d798elea rsi, [rip+0x1760c3]
001d7995lea rdi, [rip+0x1763dc]
001d799cadd rdi, 616
001d79a3mov rbx, rsp
001d79a6mov rsp, [r14+64]
001d79aacall caml_initialize
001d79afmov rsp, rbx
001d79b2lea rsi, [rip+0x1760bf]
001d79b9lea rdi, [rip+0x1763b8]
001d79c0add rdi, 624
001d79c7mov rbx, rsp
001d79camov rsp, [r14+64]
001d79cecall caml_initialize
001d79d3mov rsp, rbx
001d79d6lea rsi, [rip+0x1760b3]
001d79ddlea rdi, [rip+0x176394]
001d79e4add rdi, 136
001d79ebmov rbx, rsp
001d79eemov rsp, [r14+64]
001d79f2call caml_initialize
001d79f7mov rsp, rbx
001d79falea r12, [rip+0x1760a7]
001d7a01lea rdi, [rip+0x176370]
001d7a08add rdi, 48
001d7a0cmov rsi, r12
001d7a0fmov rbx, rsp
001d7a12mov rsp, [r14+64]
001d7a16call caml_initialize
001d7a1bmov rsp, rbx
001d7a1emov rsi, r12
001d7a21add rsi, 32
001d7a25lea rdi, [rip+0x17634c]
001d7a2cadd rdi, 632
001d7a33mov rbx, rsp
001d7a36mov rsp, [r14+64]
001d7a3acall caml_initialize
001d7a3fmov rsp, rbx
001d7a42mov rsi, r12
001d7a45add rsi, 64
001d7a49lea rdi, [rip+0x176328]
001d7a50add rdi, 640
001d7a57mov rbx, rsp
001d7a5amov rsp, [r14+64]
001d7a5ecall caml_initialize
001d7a63mov rsp, rbx
001d7a66mov rsi, r12
001d7a69add rsi, 96
001d7a6dlea rdi, [rip+0x176304]
001d7a74add rdi, 648
001d7a7bmov rbx, rsp
001d7a7emov rsp, [r14+64]
001d7a82call caml_initialize
001d7a87mov rsp, rbx
001d7a8amov rsi, r12
001d7a8dadd rsi, 128
001d7a94lea rdi, [rip+0x1762dd]
001d7a9badd rdi, 656
001d7aa2mov rbx, rsp
001d7aa5mov rsp, [r14+64]
001d7aa9call caml_initialize
001d7aaemov rsp, rbx
001d7ab1mov rsi, r12
001d7ab4add rsi, 160
001d7abblea rdi, [rip+0x1762b6]
001d7ac2add rdi, 664
001d7ac9mov rbx, rsp
001d7accmov rsp, [r14+64]
001d7ad0call caml_initialize
001d7ad5mov rsp, rbx
001d7ad8mov rsi, r12
001d7adbadd rsi, 192
001d7ae2lea rdi, [rip+0x17628f]
001d7ae9add rdi, 672
001d7af0mov rbx, rsp
001d7af3mov rsp, [r14+64]
001d7af7call caml_initialize
001d7afcmov rsp, rbx
001d7affmov rsi, r12
001d7b02add rsi, 224
001d7b09lea rdi, [rip+0x176268]
001d7b10add rdi, 680
001d7b17mov rbx, rsp
001d7b1amov rsp, [r14+64]
001d7b1ecall caml_initialize
001d7b23mov rsp, rbx
001d7b26lea rsi, [rip+0x17607b]
001d7b2dlea rdi, [rip+0x176244]
001d7b34add rdi, 688
001d7b3bmov rbx, rsp
001d7b3emov rsp, [r14+64]
001d7b42call caml_initialize
001d7b47mov rsp, rbx
001d7b4alea r12, [rip+0x176077]
001d7b51lea rdi, [rip+0x176220]
001d7b58add rdi, 56
001d7b5cmov rsi, r12
001d7b5fmov rbx, rsp
001d7b62mov rsp, [r14+64]
001d7b66call caml_initialize
001d7b6bmov rsp, rbx
001d7b6emov rsi, r12
001d7b71add rsi, 32
001d7b75lea rdi, [rip+0x1761fc]
001d7b7cadd rdi, 696
001d7b83mov rbx, rsp
001d7b86mov rsp, [r14+64]
001d7b8acall caml_initialize
001d7b8fmov rsp, rbx
001d7b92mov rsi, r12
001d7b95add rsi, 64
001d7b99lea rdi, [rip+0x1761d8]
001d7ba0add rdi, 704
001d7ba7mov rbx, rsp
001d7baamov rsp, [r14+64]
001d7baecall caml_initialize
001d7bb3mov rsp, rbx
001d7bb6lea rsi, [rip+0x17606b]
001d7bbdlea rdi, [rip+0x1761b4]
001d7bc4add rdi, 64
001d7bc8mov rbx, rsp
001d7bcbmov rsp, [r14+64]
001d7bcfcall caml_initialize
001d7bd4mov rsp, rbx
001d7bd7lea rsi, [rip+0x17606a]
001d7bdelea rdi, [rip+0x176193]
001d7be5add rdi, 72
001d7be9mov rbx, rsp
001d7becmov rsp, [r14+64]
001d7bf0call caml_initialize
001d7bf5mov rsp, rbx
001d7bf8lea rsi, [rip+0x176069]
001d7bfflea rdi, [rip+0x176172]
001d7c06add rdi, 80
001d7c0amov rbx, rsp
001d7c0dmov rsp, [r14+64]
001d7c11call caml_initialize
001d7c16mov rsp, rbx
001d7c19lea rsi, [rip+0x176068]
001d7c20lea rdi, [rip+0x176151]
001d7c27add rdi, 712
001d7c2emov rbx, rsp
001d7c31mov rsp, [r14+64]
001d7c35call caml_initialize
001d7c3amov rsp, rbx
001d7c3dlea rsi, [rip+0x17605c]
001d7c44lea rdi, [rip+0x17612d]
001d7c4badd rdi, 152
001d7c52mov rbx, rsp
001d7c55mov rsp, [r14+64]
001d7c59call caml_initialize
001d7c5emov rsp, rbx
001d7c61lea rsi, [rip+0x176050]
001d7c68lea rdi, [rip+0x176109]
001d7c6fadd rdi, 720
001d7c76mov rbx, rsp
001d7c79mov rsp, [r14+64]
001d7c7dcall caml_initialize
001d7c82mov rsp, rbx
001d7c85lea rsi, [rip+0x17604c]
001d7c8clea rdi, [rip+0x1760e5]
001d7c93add rdi, 728
001d7c9amov rbx, rsp
001d7c9dmov rsp, [r14+64]
001d7ca1call caml_initialize
001d7ca6mov rsp, rbx
001d7ca9lea rsi, [rip+0x176048]
001d7cb0lea rdi, [rip+0x1760c1]
001d7cb7add rdi, 736
001d7cbemov rbx, rsp
001d7cc1mov rsp, [r14+64]
001d7cc5call caml_initialize
001d7ccamov rsp, rbx
001d7ccdlea rsi, [rip+0x176044]
001d7cd4lea rdi, [rip+0x17609d]
001d7cdbadd rdi, 96
001d7cdfmov rbx, rsp
001d7ce2mov rsp, [r14+64]
001d7ce6call caml_initialize
001d7cebmov rsp, rbx
001d7ceelea rsi, [rip+0x176043]
001d7cf5lea rdi, [rip+0x17607c]
001d7cfcadd rdi, 104
001d7d00mov rbx, rsp
001d7d03mov rsp, [r14+64]
001d7d07call caml_initialize
001d7d0cmov rsp, rbx
001d7d0flea rsi, [rip+0x176042]
001d7d16lea rdi, [rip+0x17605b]
001d7d1dadd rdi, 112
001d7d21mov rbx, rsp
001d7d24mov rsp, [r14+64]
001d7d28call caml_initialize
001d7d2dmov rsp, rbx
001d7d30mov eax, 1
001d7d35ret
001d7000

001d7d36
001d7d36 // align 0x10

001d7d40
001d7d40Stdlib.Printf.kfprintf:
001d7d40mov rdi, [rdi]
001d7d43sub r15, 40
001d7d47cmp r15, [r14]
001d7d4ajb 0x1d7d90
001d7d4c
001d7d4cloc_1d7d4c:
001d7d4clea rdx, [r15+8]
001d7d50mov [rdx-8], 4343
001d7d58lea rsi, [rip+65]
001d7d5fmov [rdx], rsi
001d7d62mov rsi, 0x100000000000005
001d7d6cmov [rdx+8], rsi
001d7d70mov [rdx+16], rax
001d7d74mov [rdx+24], rbx
001d7d78lea rax, [rip+0x175ff9]
001d7d7fmov rsi, [rax+48]
001d7d83mov ebx, 1
001d7d88mov rax, rdx
001d7d8bjmp 0x1cbe90
001d7d90
001d7d90loc_1d7d90:
001d7d90call caml_call_gc
001d7d95jmp 0x1d7d4c
001d7d40

001d7d97
001d7d97 // align 0x10

001d7da0
001d7da0Stdlib.Printf.fun:
001d7da0lea r10, [rsp-328]
001d7da8cmp r10, [r14+40]
001d7dacjb 0x1d7de6
001d7dae
001d7daeloc_1d7dae:
001d7daesub rsp, 8
001d7db2mov rdi, rax
001d7db5mov [rsp], rbx
001d7db9cmp r15, [r14]
001d7dbcjbe 0x1d7ddf
001d7dbe
001d7dbeloc_1d7dbe:
001d7dbemov rax, [rbx+24]
001d7dc2mov rbx, rdi
001d7dc5call camlCamlinternalFormat.output_acc_4362
001d7dcamov rax, [rsp]
001d7dcemov rbx, [rax+16]
001d7dd2mov rax, [rax+24]
001d7dd6mov rdi, [rbx]
001d7dd9add rsp, 8
001d7dddjmp rdi
001d7ddf
001d7ddfloc_1d7ddf:
001d7ddfcall caml_call_gc
001d7de4jmp 0x1d7dbe
001d7de6
001d7de6loc_1d7de6:
001d7de6push 34
001d7de8call caml_call_realloc_stack
001d7dedpop r10
001d7defjmp 0x1d7dae
001d7da0

001d7df1
001d7df1 // align 0x10

001d7e00
001d7e00Stdlib.Printf.kbprintf:
001d7e00mov rdi, [rdi]
001d7e03sub r15, 40
001d7e07cmp r15, [r14]
001d7e0ajb 0x1d7e50
001d7e0c
001d7e0cloc_1d7e0c:
001d7e0clea rdx, [r15+8]
001d7e10mov [rdx-8], 4343
001d7e18lea rsi, [rip+65]
001d7e1fmov [rdx], rsi
001d7e22mov rsi, 0x100000000000005
001d7e2cmov [rdx+8], rsi
001d7e30mov [rdx+16], rax
001d7e34mov [rdx+24], rbx
001d7e38lea rax, [rip+0x175f39]
001d7e3fmov rsi, [rax+48]
001d7e43mov ebx, 1
001d7e48mov rax, rdx
001d7e4bjmp 0x1cbe90
001d7e50
001d7e50loc_1d7e50:
001d7e50call caml_call_gc
001d7e55jmp 0x1d7e0c
001d7e00

001d7e57
001d7e57 // align 0x10

001d7e60
001d7e60Stdlib.Printf.fun:
001d7e60lea r10, [rsp-328]
001d7e68cmp r10, [r14+40]
001d7e6cjb 0x1d7ea6
001d7e6e
001d7e6eloc_1d7e6e:
001d7e6esub rsp, 8
001d7e72mov rdi, rax
001d7e75mov [rsp], rbx
001d7e79cmp r15, [r14]
001d7e7cjbe 0x1d7e9f
001d7e7e
001d7e7eloc_1d7e7e:
001d7e7emov rax, [rbx+24]
001d7e82mov rbx, rdi
001d7e85call camlCamlinternalFormat.bufput_acc_4385
001d7e8amov rax, [rsp]
001d7e8emov rbx, [rax+16]
001d7e92mov rax, [rax+24]
001d7e96mov rdi, [rbx]
001d7e99add rsp, 8
001d7e9djmp rdi
001d7e9f
001d7e9floc_1d7e9f:
001d7e9fcall caml_call_gc
001d7ea4jmp 0x1d7e7e
001d7ea6
001d7ea6loc_1d7ea6:
001d7ea6push 34
001d7ea8call caml_call_realloc_stack
001d7eadpop r10
001d7eafjmp 0x1d7e6e
001d7e60

001d7eb1
001d7eb1 // align 0x10

001d7ec0
001d7ec0Stdlib.Printf.ikfprintf:
001d7ec0mov rdi, [rdi]
001d7ec3lea rsi, [rip+0x175eae]
001d7ecamov rsi, [rsi+56]
001d7ecejmp 0x1ce8b0
001d7ec0

001d7ed3
001d7ed3 // align 0x10

001d7ee0
001d7ee0Stdlib.Printf.fun:
001d7ee0mov eax, 1
001d7ee5ret
001d7ee0

001d7ee6
001d7ee6 // align 0x10

001d7ef0
001d7ef0Stdlib.Printf.fprintf:
001d7ef0mov rsi, rax
001d7ef3mov rdi, rbx
001d7ef6lea rax, [rip+0x185c2b]
001d7efdmov rbx, rsi
001d7f00jmp 0x1d7d40
001d7ef0

001d7f05
001d7f05 // align 0x10

001d7f10
001d7f10Stdlib.Printf.fun:
001d7f10mov eax, 1
001d7f15ret
001d7f10

001d7f16
001d7f16 // align 0x10

001d7f20
001d7f20Stdlib.Printf.bprintf:
001d7f20mov rsi, rax
001d7f23mov rdi, rbx
001d7f26lea rax, [rip+0x185c13]
001d7f2dmov rbx, rsi
001d7f30jmp 0x1d7e00
001d7f20

001d7f35
001d7f35 // align 0x10

001d7f40
001d7f40Stdlib.Printf.fun:
001d7f40mov eax, 1
001d7f45ret
001d7f40

001d7f46
001d7f46 // align 0x10

001d7f50
001d7f50Stdlib.Printf.ifprintf:
001d7f50mov rdx, rax
001d7f53lea rax, [rip+0x185bfe]
001d7f5amov rdi, [rbx]
001d7f5dlea rbx, [rip+0x175e14]
001d7f64mov rsi, [rbx+56]
001d7f68mov rbx, rdx
001d7f6bjmp 0x1ce8b0
001d7f50

001d7f70
001d7f70Stdlib.Printf.fun:
001d7f70mov eax, 1
001d7f75ret
001d7f70

001d7f76
001d7f76 // align 0x10

001d7f80
001d7f80Stdlib.Printf.ibprintf:
001d7f80mov rdx, rax
001d7f83lea rax, [rip+0x185be6]
001d7f8amov rdi, [rbx]
001d7f8dlea rbx, [rip+0x175de4]
001d7f94mov rsi, [rbx+56]
001d7f98mov rbx, rdx
001d7f9bjmp 0x1ce8b0
001d7f80

001d7fa0
001d7fa0Stdlib.Printf.printf:
001d7fa0mov rbx, rax
001d7fa3lea rax, [rip+0x15566e]
001d7faamov rax, [rax+304]
001d7fb1jmp 0x1d7ef0
001d7fa0

001d7fb6
001d7fb6 // align 0x10

001d7fc0
001d7fc0Stdlib.Printf.eprintf:
001d7fc0mov rbx, rax
001d7fc3lea rax, [rip+0x15564e]
001d7fcamov rax, [rax+312]
001d7fd1jmp 0x1d7ef0
001d7fc0

001d7fd6
001d7fd6 // align 0x10

001d7fe0
001d7fe0Stdlib.Printf.ksprintf:
001d7fe0sub r15, 32
001d7fe4cmp r15, [r14]
001d7fe7jb 0x1d802c
001d7fe9
001d7fe9loc_1d7fe9:
001d7fe9lea rdx, [r15+8]
001d7fedmov [rdx-8], 3319
001d7ff5lea rdi, [rip+68]
001d7ffcmov [rdx], rdi
001d7fffmov rdi, 0x100000000000005
001d8009mov [rdx+8], rdi
001d800dmov [rdx+16], rax
001d8011mov rdi, [rbx]
001d8014lea rax, [rip+0x175d5d]
001d801bmov rsi, [rax+48]
001d801fmov ebx, 1
001d8024mov rax, rdx
001d8027jmp 0x1cbe90
001d802c
001d802cloc_1d802c:
001d802ccall caml_call_gc
001d8031jmp 0x1d7fe9
001d7fe0

001d8033
001d8033 // align 0x10

001d8040
001d8040Stdlib.Printf.k':
001d8040lea r10, [rsp-344]
001d8048cmp r10, [r14+40]
001d804cjb 0x1d80b2
001d804e
001d804eloc_1d804e:
001d804esub rsp, 24
001d8052mov [rsp], rax
001d8056mov [rsp+8], rbx
001d805bcmp r15, [r14]
001d805ejbe 0x1d80ab
001d8060
001d8060loc_1d8060:
001d8060mov eax, 129
001d8065call Stdlib.Buffer.create
001d806amov [rsp+16], rax
001d806fmov rbx, [rsp]
001d8073call camlCamlinternalFormat.strput_acc_4490
001d8078mov rax, [rsp+8]
001d807dmov rax, [rax+16]
001d8081mov [rsp], rax
001d8085mov rax, [rsp+16]
001d808amov rdi, [rax+8]
001d808emov rax, [rax]
001d8091mov rax, [rax]
001d8094mov ebx, 1
001d8099call Stdlib.Bytes.sub
001d809emov rbx, [rsp]
001d80a2mov rdi, [rbx]
001d80a5add rsp, 24
001d80a9jmp rdi
001d80ab
001d80abloc_1d80ab:
001d80abcall caml_call_gc
001d80b0jmp 0x1d8060
001d80b2
001d80b2loc_1d80b2:
001d80b2push 36
001d80b4call caml_call_realloc_stack
001d80b9pop r10
001d80bbjmp 0x1d804e
001d8040

001d80bd
001d80bd // align 0x10

001d80c0
001d80c0Stdlib.Printf.fun:
001d80c0ret
001d80c0

001d80c1
001d80c1 // align 0x10

001d80d0
001d80d0Stdlib.Printf.sprintf:
001d80d0mov rbx, rax
001d80d3lea rax, [rip+0x185aae]
001d80dajmp 0x1d7fe0
001d80d0

001d80df
001d80df // align 0x10

001d80e0
001d80e0Stdlib.Printf.entry:
001d80e0lea rsi, [rip+0x185ab9]
001d80e7lea rdi, [rip+0x185b0a]
001d80eeadd rdi, 56
001d80f2mov rbx, rsp
001d80f5mov rsp, [r14+64]
001d80f9call caml_initialize
001d80femov rsp, rbx
001d8101lea rsi, [rip+0x185ab8]
001d8108lea rdi, [rip+0x185ae9]
001d810fadd rdi, 80
001d8113mov rbx, rsp
001d8116mov rsp, [r14+64]
001d811acall caml_initialize
001d811fmov rsp, rbx
001d8122lea rsi, [rip+0x18590f]
001d8129lea rdi, [rip+0x185ac8]
001d8130add rdi, 64
001d8134mov rbx, rsp
001d8137mov rsp, [r14+64]
001d813bcall caml_initialize
001d8140mov rsp, rbx
001d8143lea rdi, [rip+0x185aae]
001d814amov rsi, [rdi+64]
001d814eadd rdi, 88
001d8152mov rbx, rsp
001d8155mov rsp, [r14+64]
001d8159call caml_initialize
001d815emov rsp, rbx
001d8161lea rsi, [rip+0x1858f0]
001d8168lea rdi, [rip+0x185a89]
001d816fmov rbx, rsp
001d8172mov rsp, [r14+64]
001d8176call caml_initialize
001d817bmov rsp, rbx
001d817elea rsi, [rip+0x1858f3]
001d8185lea rdi, [rip+0x185a6c]
001d818cadd rdi, 32
001d8190mov rbx, rsp
001d8193mov rsp, [r14+64]
001d8197call caml_initialize
001d819cmov rsp, rbx
001d819flea rsi, [rip+0x1858f2]
001d81a6lea rdi, [rip+0x185a4b]
001d81adadd rdi, 40
001d81b1mov rbx, rsp
001d81b4mov rsp, [r14+64]
001d81b8call caml_initialize
001d81bdmov rsp, rbx
001d81c0lea rsi, [rip+0x1858f1]
001d81c7lea rdi, [rip+0x185a2a]
001d81ceadd rdi, 48
001d81d2mov rbx, rsp
001d81d5mov rsp, [r14+64]
001d81d9call caml_initialize
001d81demov rsp, rbx
001d81e1lea rsi, [rip+0x1858f0]
001d81e8lea rdi, [rip+0x185a09]
001d81efadd rdi, 8
001d81f3mov rbx, rsp
001d81f6mov rsp, [r14+64]
001d81facall caml_initialize
001d81ffmov rsp, rbx
001d8202lea rsi, [rip+0x1858e7]
001d8209lea rdi, [rip+0x1859e8]
001d8210add rdi, 16
001d8214mov rbx, rsp
001d8217mov rsp, [r14+64]
001d821bcall caml_initialize
001d8220mov rsp, rbx
001d8223lea rsi, [rip+0x1858de]
001d822alea rdi, [rip+0x1859c7]
001d8231add rdi, 72
001d8235mov rbx, rsp
001d8238mov rsp, [r14+64]
001d823ccall caml_initialize
001d8241mov rsp, rbx
001d8244lea rsi, [rip+0x185995]
001d824blea rdi, [rip+0x1859a6]
001d8252add rdi, 24
001d8256mov rbx, rsp
001d8259mov rsp, [r14+64]
001d825dcall caml_initialize
001d8262mov rsp, rbx
001d8265lea rdi, [rip+0x18598c]
001d826cmov rsi, [rdi+72]
001d8270add rdi, 96
001d8274mov rbx, rsp
001d8277mov rsp, [r14+64]
001d827bcall caml_initialize
001d8280mov rsp, rbx
001d8283mov eax, 1
001d8288ret
001d80e0

001d8289
001d8289 // align 0x10

001d8290
001d8290Stdlib.Arg.assoc3:
001d8290sub rsp, 24
001d8294
001d8294loc_1d8294:
001d8294cmp r15, [r14]
001d8297jbe 0x1d82f7
001d8299
001d8299loc_1d8299:
001d8299test bl, 1
001d829cje 0x1d82b0
001d829elea rax, [rip+0x155373]
001d82a5mov rax, [rax+56]
001d82a9call caml_raise_exn
001d82aenop
001d82b0
001d82b0loc_1d82b0:
001d82b0mov [rsp], rbx
001d82b4mov [rsp+8], rax
001d82b9mov rbx, [rbx]
001d82bcmov [rsp+16], rbx
001d82c1mov rdi, [rbx]
001d82c4mov rsi, rax
001d82c7lea rax, [rip+0x28612]
001d82cecall caml_c_call
001d82d3cmp rax, 1
001d82d7je 0x1d82e8
001d82d9mov rax, [rsp+16]
001d82demov rax, [rax+8]
001d82e2add rsp, 24
001d82e6ret
001d82e7
001d82e7 90 .
001d82e8
001d82e8loc_1d82e8:
001d82e8mov rax, [rsp]
001d82ecmov rbx, [rax+8]
001d82f0mov rax, [rsp+8]
001d82f5jmp 0x1d8294
001d82f7
001d82f7loc_1d82f7:
001d82f7call caml_call_gc
001d82fcjmp 0x1d8299
001d8290

001d82fe
001d82fe // align 0x10

001d8300
001d8300Stdlib.Arg.split:
001d8300lea r10, [rsp-344]
001d8308cmp r10, [r14+40]
001d830cjb 0x1d83c6
001d8312
001d8312loc_1d8312:
001d8312sub rsp, 24
001d8316mov [rsp], rax
001d831amov esi, 123
001d831fmov edi, 1
001d8324mov rbx, [rax-8]
001d8328shr rbx, 10
001d832clea rbx, [8*rbx-1]
001d8334movzx rdx, [rax+rbx]
001d8339sub rbx, rdx
001d833clea rbx, [rbx+rbx+1]
001d8341call Stdlib.String.index_rec
001d8346mov rbx, rax
001d8349mov [rsp+8], rbx
001d834emov rax, [rsp]
001d8352mov rdi, [rax-8]
001d8356shr rdi, 10
001d835alea rdi, [8*rdi-1]
001d8362movzx rsi, [rax+rdi]
001d8367sub rdi, rsi
001d836alea rdi, [rdi+rdi+1]
001d836fsub rdi, rbx
001d8372dec rdi
001d8375add rbx, 2
001d8379call Stdlib.Bytes.sub
001d837emov [rsp+16], rax
001d8383mov ebx, 1
001d8388mov rax, [rsp]
001d838cmov rdi, [rsp+8]
001d8391call Stdlib.Bytes.sub
001d8396sub r15, 24
001d839acmp r15, [r14]
001d839djb 0x1d83bf
001d839f
001d839floc_1d839f:
001d839flea rbx, [r15+8]
001d83a3mov [rbx-8], 2048
001d83abmov [rbx], rax
001d83aemov rax, [rsp+16]
001d83b3mov [rbx+8], rax
001d83b7mov rax, rbx
001d83baadd rsp, 24
001d83beret
001d83bf
001d83bfloc_1d83bf:
001d83bfcall caml_call_gc
001d83c4jmp 0x1d839f
001d83c6
001d83c6loc_1d83c6:
001d83c6push 36
001d83c8call caml_call_realloc_stack
001d83cdpop r10
001d83cfjmp 0x1d8312
001d8300

001d83d4
001d83d4 // align 0x10

001d83e0
001d83e0Stdlib.Arg.make_symlist:
001d83e0lea r10, [rsp-344]
001d83e8cmp r10, [r14+40]
001d83ecjb 0x1d8484
001d83f2
001d83f2loc_1d83f2:
001d83f2sub rsp, 24
001d83f6test sil, 1
001d83faje 0x1d8408
001d83fclea rax, [rip+0x18630d]
001d8403add rsp, 24
001d8407ret
001d8408
001d8408loc_1d8408:
001d8408mov [rsp+8], rsi
001d840dmov [rsp+16], rdi
001d8412mov [rsp], rbx
001d8416mov rbx, [rsi]
001d8419call camlStdlib.$5e_139
001d841emov rbx, rax
001d8421sub r15, 40
001d8425cmp r15, [r14]
001d8428jb 0x1d847d
001d842a
001d842aloc_1d842a:
001d842alea rax, [r15+8]
001d842emov [rax-8], 4343
001d8436lea rdi, [rip-0xe141d]
001d843dmov [rax], rdi
001d8440mov rdi, 0x200000000000007
001d844amov [rax+8], rdi
001d844elea rdi, [rip+75]
001d8455mov [rax+16], rdi
001d8459mov rdi, [rsp]
001d845dmov [rax+24], rdi
001d8461mov rdi, [rsp+8]
001d8466mov rdi, [rdi+8]
001d846acall Stdlib.List.fold_left
001d846fmov rbx, [rsp+16]
001d8474add rsp, 24
001d8478jmp 0x195ba0
001d847d
001d847dloc_1d847d:
001d847dcall caml_call_gc
001d8482jmp 0x1d842a
001d8484
001d8484loc_1d8484:
001d8484push 36
001d8486call caml_call_realloc_stack
001d848bpop r10
001d848djmp 0x1d83f2
001d83e0

001d8492
001d8492 // align 0x10

001d84a0
001d84a0Stdlib.Arg.fun:
001d84a0lea r10, [rsp-328]
001d84a8cmp r10, [r14+40]
001d84acjb 0x1d84cf
001d84ae
001d84aeloc_1d84ae:
001d84aesub rsp, 8
001d84b2mov [rsp], rax
001d84b6mov rax, [rdi+24]
001d84bacall camlStdlib.$5e_139
001d84bfmov rbx, rax
001d84c2mov rax, [rsp]
001d84c6add rsp, 8
001d84cajmp 0x195ba0
001d84cf
001d84cfloc_1d84cf:
001d84cfpush 34
001d84d1call caml_call_realloc_stack
001d84d6pop r10
001d84d8jmp 0x1d84ae
001d84a0

001d84da
001d84da // align 0x10

001d84e0
001d84e0Stdlib.Arg.print_spec:
001d84e0lea r10, [rsp-352]
001d84e8cmp r10, [r14+40]
001d84ecjb 0x1d85e0
001d84f2
001d84f2loc_1d84f2:
001d84f2sub rsp, 32
001d84f6cmp r15, [r14]
001d84f9jbe 0x1d85d6
001d84ff
001d84ffloc_1d84ff:
001d84ffmov rdi, [rbx+16]
001d8503mov rsi, [rdi-8]
001d8507shr rsi, 10
001d850blea rsi, [8*rsi-1]
001d8513movzx rdx, [rdi+rsi]
001d8518sub rsi, rdx
001d851blea rsi, [rsi+rsi+1]
001d8520cmp rsi, 1
001d8524jle 0x1d85cc
001d852amov rsi, [rbx+8]
001d852emov rbx, [rbx]
001d8531movzx rdx, [rsi-8]
001d8536cmp rdx, 11
001d853ajne 0x1d85a0
001d853cmov [rsp], rbx
001d8540mov [rsp+8], rax
001d8545mov [rsp+24], rdi
001d854amov rsi, [rsi]
001d854dlea rdi, [rip+0x186334]
001d8554lea rbx, [rip+0x18633d]
001d855blea rax, [rip+0x186346]
001d8562call Stdlib.Arg.make_symlist
001d8567mov [rsp+16], rax
001d856cmov rax, [rsp]
001d8570mov [rsp], rax
001d8574lea rbx, [rip+0x186355]
001d857bmov rax, [rsp+8]
001d8580call Stdlib.Printf.bprintf
001d8585mov rsi, rax
001d8588mov rax, [rsp]
001d858cmov rbx, [rsp+16]
001d8591mov rdi, [rsp+24]
001d8596add rsp, 32
001d859ajmp 0xf7370
001d859f
001d859f 90 .
001d85a0
001d85a0loc_1d85a0:
001d85a0mov [rsp+8], rdi
001d85a5mov [rsp], rbx
001d85a9lea rbx, [rip+0x186248]
001d85b0call Stdlib.Printf.bprintf
001d85b5mov rdi, rax
001d85b8mov rax, [rsp]
001d85bcmov rbx, [rsp+8]
001d85c1add rsp, 32
001d85c5jmp 0xf73e0
001d85ca
001d85ca 66 90 f.
001d85cc
001d85ccloc_1d85cc:
001d85ccmov eax, 1
001d85d1add rsp, 32
001d85d5ret
001d85d6
001d85d6loc_1d85d6:
001d85d6call caml_call_gc
001d85dbjmp 0x1d84ff
001d85e0
001d85e0loc_1d85e0:
001d85e0push 37
001d85e2call caml_call_realloc_stack
001d85e7pop r10
001d85e9jmp 0x1d84f2
001d84e0

001d85ee
001d85ee // align 0x10

001d85f0
001d85f0Stdlib.Arg.help_action:
001d85f0sub r15, 24
001d85f4cmp r15, [r14]
001d85f7jb 0x1d8626
001d85f9
001d85f9loc_1d85f9:
001d85f9lea rax, [r15+8]
001d85fdmov [rax-8], 2048
001d8605lea rbx, [rip+0x185c1c]
001d860cmov rbx, [rbx+128]
001d8613mov [rax], rbx
001d8616lea rbx, [rip+0x1861bb]
001d861dmov [rax+8], rbx
001d8621call caml_raise_exn
001d8626
001d8626loc_1d8626:
001d8626call caml_call_gc
001d862bjmp 0x1d85f9
001d85f0

001d862d
001d862d // align 0x10

001d8630
001d8630Stdlib.Arg.add_help:
001d8630lea r10, [rsp-352]
001d8638cmp r10, [r14+40]
001d863cjb 0x1d87f2
001d8642
001d8642loc_1d8642:
001d8642sub rsp, 16
001d8646mov rbx, rax
001d8649mov [rsp+8], rbx
001d864elea r11, [rip+47]
001d8655push r11
001d8657push [r14+48]
001d865bmov [r14+48], rsp
001d865flea rax, [rip+0x186182]
001d8666call Stdlib.Arg.assoc3
001d866bmov eax, 1
001d8670mov [rsp+16], rax
001d8675pop [r14+48]
001d8679add rsp, 8
001d867djmp 0x1d870c
001d8682
001d8682 66 90 f.
001d8684lea rbx, [rip+0x154f8d]
001d868bmov rbx, [rbx+56]
001d868fcmp rax, rbx
001d8692jne 0x1d8704
001d8694sub r15, 72
001d8698cmp r15, [r14]
001d869bjb 0x1d87e8
001d86a1
001d86a1loc_1d86a1:
001d86a1lea rax, [r15+8]
001d86a5add rax, 56
001d86a9mov [rax-8], 1024
001d86b1lea rbx, [rip+0x185b70]
001d86b8mov rbx, [rbx+168]
001d86bfmov [rax], rbx
001d86c2lea rbx, [rax-32]
001d86c6mov [rbx-8], 3072
001d86celea rdi, [rip+0x186113]
001d86d5mov [rbx], rdi
001d86d8mov [rbx+8], rax
001d86dclea rax, [rip+0x1860cd]
001d86e3mov [rbx+16], rax
001d86e7lea rax, [rbx-24]
001d86ebmov [rsp], rax
001d86efmov [rax-8], 2048
001d86f7mov [rax], rbx
001d86famov [rax+8], 1
001d8702jmp 0x1d870c
001d8704
001d8704loc_1d8704:
001d8704call caml_reraise_exn
001d8709nop [rax]
001d870c
001d870cloc_1d870c:
001d870clea r11, [rip+45]
001d8713push r11
001d8715push [r14+48]
001d8719mov [r14+48], rsp
001d871dlea rax, [rip+0x18607c]
001d8724mov rbx, [rsp+24]
001d8729call Stdlib.Arg.assoc3
001d872emov ebx, 1
001d8733pop [r14+48]
001d8737add rsp, 8
001d873bjmp 0x1d87c4
001d8740lea rbx, [rip+0x154ed1]
001d8747mov rbx, [rbx+56]
001d874bcmp rax, rbx
001d874ejne 0x1d87bc
001d8750sub r15, 72
001d8754cmp r15, [r14]
001d8757jb 0x1d87de
001d875d
001d875dloc_1d875d:
001d875dlea rax, [r15+8]
001d8761add rax, 56
001d8765mov [rax-8], 1024
001d876dlea rbx, [rip+0x185ab4]
001d8774mov rbx, [rbx+168]
001d877bmov [rax], rbx
001d877elea rdi, [rax-32]
001d8782mov [rdi-8], 3072
001d878alea rbx, [rip+0x18600f]
001d8791mov [rdi], rbx
001d8794mov [rdi+8], rax
001d8798lea rax, [rip+0x186011]
001d879fmov [rdi+16], rax
001d87a3lea rbx, [rdi-24]
001d87a7mov [rbx-8], 2048
001d87afmov [rbx], rdi
001d87b2mov [rbx+8], 1
001d87bajmp 0x1d87c4
001d87bc
001d87bcloc_1d87bc:
001d87bccall caml_reraise_exn
001d87c1nop [rax]
001d87c4
001d87c4loc_1d87c4:
001d87c4mov rax, [rsp]
001d87c8call camlStdlib.$40_196
001d87cdmov rbx, rax
001d87d0mov rax, [rsp+8]
001d87d5add rsp, 16
001d87d9jmp 0x1960f0
001d87de
001d87deloc_1d87de:
001d87decall caml_call_gc
001d87e3jmp 0x1d875d
001d87e8
001d87e8loc_1d87e8:
001d87e8call caml_call_gc
001d87edjmp 0x1d86a1
001d87f2
001d87f2loc_1d87f2:
001d87f2push 37
001d87f4call caml_call_realloc_stack
001d87f9pop r10
001d87fbjmp 0x1d8642
001d8630