Similarity

001ef9b0
001ef9b0Stdlib.Scanf.scan_bool:
001ef9b0lea r10, [rsp-344]
001ef9b8cmp r10, [r14+40]
001ef9bcjb 0x1efb1c
001ef9c2
001ef9c2loc_1ef9c2:
001ef9c2sub rsp, 8
001ef9c6mov rdi, rax
001ef9c9mov rax, [rdi+16]
001ef9cdcmp rax, 1
001ef9d1je 0x1ef9dc
001ef9d3mov rax, [rdi+8]
001ef9d7jmp 0x1efa74
001ef9dc
001ef9dcloc_1ef9dc:
001ef9dcmov [rsp], rdi
001ef9e0lea r11, [rip+81]
001ef9e7push r11
001ef9e9push [r14+48]
001ef9edmov [r14+48], rsp
001ef9f1mov rbx, [rdi+48]
001ef9f5mov eax, 1
001ef9famov rdi, [rbx]
001ef9fdcall rdi
001ef9ffmov rdi, [rsp+16]
001efa04mov [rdi+8], rax
001efa08mov [rdi+16], 3
001efa10mov rbx, [rdi+24]
001efa14add rbx, 2
001efa18mov [rdi+24], rbx
001efa1ccmp rax, 21
001efa20jne 0x1efa2e
001efa22mov rbx, [rdi+32]
001efa26add rbx, 2
001efa2amov [rdi+32], rbx
001efa2e
001efa2eloc_1efa2e:
001efa2epop [r14+48]
001efa32add rsp, 8
001efa36jmp 0x1efa74
001efa38lea rbx, [rip+0x13dbd9]
001efa3fmov rbx, [rbx+88]
001efa43cmp rax, rbx
001efa46jne 0x1efa6c
001efa48mov rdi, [rsp]
001efa4cmov [rdi+8], 1
001efa54mov [rdi+16], 1
001efa5cmov [rdi], 3
001efa63mov eax, 1
001efa68jmp 0x1efa74
001efa6a
001efa6a 66 90 f.
001efa6c
001efa6cloc_1efa6c:
001efa6ccall caml_reraise_exn
001efa71nop [rax]
001efa74
001efa74loc_1efa74:
001efa74mov rbx, [rdi]
001efa77cmp rbx, 1
001efa7bje 0x1efa90
001efa7dlea rax, [rip+0x13db94]
001efa84mov rax, [rax+88]
001efa88call caml_raise_exn
001efa8dnop [rax]
001efa90
001efa90loc_1efa90:
001efa90cmp rax, 205
001efa96je 0x1efaf4
001efa98cmp rax, 233
001efa9eje 0x1efaec
001efaa0mov [rsp], rax
001efaa4lea rax, [rip+0x17dc15]
001efaabcall Stdlib.Printf.sprintf
001efab0mov rbx, rax
001efab3mov rdi, [rbx]
001efab6mov rax, [rsp]
001efabacall rdi
001efabcsub r15, 24
001efac0cmp r15, [r14]
001efac3jb 0x1efb15
001efac5
001efac5loc_1efac5:
001efac5lea rbx, [r15+8]
001efac9mov [rbx-8], 2048
001efad1lea rdi, [rip+0x17d6a8]
001efad8mov rdi, [rdi+8]
001efadcmov [rbx], rdi
001efadfmov [rbx+8], rax
001efae3mov rax, rbx
001efae6call caml_raise_exn
001efaebnop
001efaec
001efaecloc_1efaec:
001efaecmov ebx, 9
001efaf1jmp 0x1efaf9
001efaf3
001efaf3 90 .
001efaf4
001efaf4loc_1efaf4:
001efaf4mov ebx, 11
001efaf9
001efaf9loc_1efaf9:
001efaf9lea rax, [rip+0x17d680]
001efb00mov rsi, [rax+480]
001efb07mov eax, 1
001efb0cadd rsp, 8
001efb10jmp 0x1edff0
001efb15
001efb15loc_1efb15:
001efb15call caml_call_gc
001efb1ajmp 0x1efac5
001efb1c
001efb1cloc_1efb1c:
001efb1cpush 36
001efb1ecall caml_call_realloc_stack
001efb23pop r10
001efb25jmp 0x1ef9c2
001ef9b0

001efb2a
001efb2a // align 0x10

001efb30
001efb30Stdlib.Scanf.scan_chars_in_char_set:
001efb30lea r10, [rsp-352]
001efb38cmp r10, [r14+40]
001efb3cjb 0x1efd0e
001efb42
001efb42loc_1efb42:
001efb42sub rsp, 16
001efb46mov rcx, rax
001efb49mov rax, rdi
001efb4csub r15, 56
001efb50cmp r15, [r14]
001efb53jb 0x1efd04
001efb59
001efb59loc_1efb59:
001efb59lea rdi, [r15+8]
001efb5dmov [rdi-8], 6391
001efb65lea r8, [rip-0xf8b4c]
001efb6cmov [rdi], r8
001efb6fmov r8, 0x200000000000007
001efb79mov [rdi+8], r8
001efb7dlea r8, [rip+412]
001efb84mov [rdi+16], r8
001efb88mov rdx, [rdx+24]
001efb8cmov [rdi+24], rdx
001efb90mov [rdi+32], rcx
001efb94mov [rdi+40], rsi
001efb98test bl, 1
001efb9bje 0x1efbb0
001efb9dmov rbx, -1
001efba4add rsp, 16
001efba8jmp 0x1efd20
001efbad
001efbad 0f 1f 00 ...
001efbb0
001efbb0loc_1efbb0:
001efbb0mov [rsp+8], rsi
001efbb5mov rbx, [rbx]
001efbb8mov [rsp], rbx
001efbbccall Stdlib.Scanf.scan_chars
001efbc1mov rdi, [rsp+8]
001efbc6mov rax, [rdi]
001efbc9cmp rax, 1
001efbcdje 0x1efbdc
001efbcfmov eax, 1
001efbd4add rsp, 16
001efbd8ret
001efbd9
001efbd9 0f 1f 00 ...
001efbdc
001efbdcloc_1efbdc:
001efbdcmov rax, [rdi+16]
001efbe0cmp rax, 1
001efbe4je 0x1efbf0
001efbe6mov rax, [rdi+8]
001efbeajmp 0x1efc8c
001efbef
001efbef 90 .
001efbf0
001efbf0loc_1efbf0:
001efbf0mov [rsp+8], rdi
001efbf5lea r11, [rip+84]
001efbfcpush r11
001efbfepush [r14+48]
001efc02mov [r14+48], rsp
001efc06mov rbx, [rdi+48]
001efc0amov eax, 1
001efc0fmov rdi, [rbx]
001efc12call rdi
001efc14mov rdi, [rsp+24]
001efc19mov [rdi+8], rax
001efc1dmov [rdi+16], 3
001efc25mov rbx, [rdi+24]
001efc29add rbx, 2
001efc2dmov [rdi+24], rbx
001efc31cmp rax, 21
001efc35jne 0x1efc43
001efc37mov rbx, [rdi+32]
001efc3badd rbx, 2
001efc3fmov [rdi+32], rbx
001efc43
001efc43loc_1efc43:
001efc43pop [r14+48]
001efc47add rsp, 8
001efc4bjmp 0x1efc8c
001efc4d
001efc4d 0f 1f 00 ...
001efc50lea rbx, [rip+0x13d9c1]
001efc57mov rbx, [rbx+88]
001efc5bcmp rax, rbx
001efc5ejne 0x1efc84
001efc60mov rdi, [rsp+8]
001efc65mov [rdi+8], 1
001efc6dmov [rdi+16], 1
001efc75mov [rdi], 3
001efc7cmov eax, 1
001efc81jmp 0x1efc8c
001efc83
001efc83 90 .
001efc84
001efc84loc_1efc84:
001efc84call caml_reraise_exn
001efc89nop [rax]
001efc8c
001efc8cloc_1efc8c:
001efc8cmov rbx, [rsp]
001efc90cmp rbx, rax
001efc93jne 0x1efca8
001efc95mov [rdi+16], 1
001efc9dmov eax, 1
001efca2add rsp, 16
001efca6ret
001efca7
001efca7 90 .
001efca8
001efca8loc_1efca8:
001efca8mov [rsp+8], rax
001efcadmov [rsp], rbx
001efcb1lea rax, [rip+0x17e020]
001efcb8call Stdlib.Printf.sprintf
001efcbdmov rdi, rax
001efcc0mov rax, [rsp]
001efcc4mov rbx, [rsp+8]
001efcc9call caml_apply2
001efccesub r15, 24
001efcd2cmp r15, [r14]
001efcd5jb 0x1efcfd
001efcd7
001efcd7loc_1efcd7:
001efcd7lea rbx, [r15+8]
001efcdbmov [rbx-8], 2048
001efce3lea rdi, [rip+0x17d496]
001efceamov rdi, [rdi+8]
001efceemov [rbx], rdi
001efcf1mov [rbx+8], rax
001efcf5mov rax, rbx
001efcf8call caml_raise_exn
001efcfd
001efcfdloc_1efcfd:
001efcfdcall caml_call_gc
001efd02jmp 0x1efcd7
001efd04
001efd04loc_1efd04:
001efd04call caml_call_gc
001efd09jmp 0x1efb59
001efd0e
001efd0eloc_1efd0e:
001efd0epush 37
001efd10call caml_call_realloc_stack
001efd15pop r10
001efd17jmp 0x1efb42
001efb30

001efd1c
001efd1c // align 0x10

001efd20
001efd20Stdlib.Scanf.scan_chars:
001efd20lea r10, [rsp-368]
001efd28cmp r10, [r14+40]
001efd2cjb 0x1efea0
001efd32
001efd32loc_1efd32:
001efd32sub rsp, 32
001efd36
001efd36loc_1efd36:
001efd36mov [rsp+8], rax
001efd3bmov [rsp+16], rbx
001efd40mov [rsp+24], rdi
001efd45cmp r15, [r14]
001efd48jbe 0x1efe96
001efd4e
001efd4eloc_1efd4e:
001efd4emov rax, [rdi+40]
001efd52mov rbx, [rax+16]
001efd56cmp rbx, 1
001efd5aje 0x1efd68
001efd5cmov rbx, [rax+8]
001efd60jmp 0x1efe03
001efd65
001efd65 0f 1f 00 ...
001efd68
001efd68loc_1efd68:
001efd68mov [rsp], rax
001efd6clea r11, [rip+81]
001efd73push r11
001efd75push [r14+48]
001efd79mov [r14+48], rsp
001efd7dmov rbx, [rax+48]
001efd81mov eax, 1
001efd86mov rdi, [rbx]
001efd89call rdi
001efd8bmov rdi, [rsp+16]
001efd90mov [rdi+8], rax
001efd94mov [rdi+16], 3
001efd9cmov rbx, [rdi+24]
001efda0add rbx, 2
001efda4mov [rdi+24], rbx
001efda8cmp rax, 21
001efdacjne 0x1efdba
001efdaemov rbx, [rdi+32]
001efdb2add rbx, 2
001efdb6mov [rdi+32], rbx
001efdba
001efdbaloc_1efdba:
001efdbapop [r14+48]
001efdbeadd rsp, 8
001efdc2jmp 0x1efe00
001efdc4lea rbx, [rip+0x13d84d]
001efdcbmov rbx, [rbx+88]
001efdcfcmp rax, rbx
001efdd2jne 0x1efdf8
001efdd4mov rax, [rsp]
001efdd8mov [rax+8], 1
001efde0mov [rax+16], 1
001efde8mov [rax], 3
001efdefmov eax, 1
001efdf4jmp 0x1efe00
001efdf6
001efdf6 66 90 f.
001efdf8
001efdf8loc_1efdf8:
001efdf8call caml_reraise_exn
001efdfdnop [rax]
001efe00
001efe00loc_1efe00:
001efe00mov rbx, rax
001efe03
001efe03loc_1efe03:
001efe03mov rdi, [rsp+8]
001efe08cmp rdi, 1
001efe0cjle 0x1efe8c
001efe0emov rsi, [rsp+24]
001efe13mov rax, [rsi+40]
001efe17mov rax, [rax]
001efe1acmp rax, 1
001efe1ejne 0x1efe8c
001efe20mov [rsp], rbx
001efe24mov [rsp+24], rsi
001efe29mov [rsp+8], rdi
001efe2emov rax, [rsi+32]
001efe32call camlCamlinternalFormat.is_in_char_set_478
001efe37cmp rax, 1
001efe3bje 0x1efe8c
001efe3dmov rbx, [rsp]
001efe41mov rax, [rsp+16]
001efe46cmp rbx, rax
001efe49je 0x1efe8c
001efe4bmov [rsp+16], rax
001efe50mov rax, [rsp+24]
001efe55mov rax, [rax+40]
001efe59mov [rsp], rax
001efe5dmov rax, [rax+56]
001efe61call Stdlib.Buffer.add_char
001efe66mov rax, [rsp]
001efe6amov [rax+16], 1
001efe72mov rax, [rsp+8]
001efe77add rax, -2
001efe7bmov rbx, [rsp+16]
001efe80mov rdi, [rsp+24]
001efe85jmp 0x1efd36
001efe8a
001efe8a 66 90 f.
001efe8c
001efe8cloc_1efe8c:
001efe8cmov eax, 1
001efe91add rsp, 32
001efe95ret
001efe96
001efe96loc_1efe96:
001efe96call caml_call_gc
001efe9bjmp 0x1efd4e
001efea0
001efea0loc_1efea0:
001efea0push 39
001efea2call caml_call_realloc_stack
001efea7pop r10
001efea9jmp 0x1efd32
001efd20

001efeae
001efeae // align 0x10

001efeb0
001efeb0Stdlib.Scanf.scanf_bad_input:
001efeb0lea r10, [rsp-336]
001efeb8cmp r10, [r14+40]
001efebcjb 0x1eff74
001efec2
001efec2loc_1efec2:
001efec2sub rsp, 16
001efec6lea rdi, [rip+0x17d2b3]
001efecdmov rdi, [rdi+8]
001efed1mov rsi, [rbx]
001efed4cmp rsi, rdi
001efed7jne 0x1efee0
001efed9mov rbx, [rbx+8]
001efeddjmp 0x1eff00
001efedf
001efedf 90 .
001efee0
001efee0loc_1efee0:
001efee0lea rdi, [rip+0x13d731]
001efee7mov rdi, [rdi+48]
001efeebcmp rsi, rdi
001efeeejne 0x1efef8
001efef0mov rbx, [rbx+8]
001efef4jmp 0x1eff00
001efef6
001efef6 66 90 f.
001efef8
001efef8loc_1efef8:
001efef8mov rax, rbx
001efefbcall caml_raise_exn
001eff00
001eff00loc_1eff00:
001eff00mov rdi, [rax+16]
001eff04cmp rdi, 1
001eff08je 0x1eff14
001eff0amov rax, [rax+24]
001eff0eadd rax, -2
001eff12jmp 0x1eff18
001eff14
001eff14loc_1eff14:
001eff14mov rax, [rax+24]
001eff18
001eff18loc_1eff18:
001eff18mov [rsp+8], rbx
001eff1dmov [rsp], rax
001eff21lea rax, [rip+0x17d678]
001eff28call Stdlib.Printf.sprintf
001eff2dmov rdi, rax
001eff30mov rax, [rsp]
001eff34mov rbx, [rsp+8]
001eff39call caml_apply2
001eff3esub r15, 24
001eff42cmp r15, [r14]
001eff45jb 0x1eff6d
001eff47
001eff47loc_1eff47:
001eff47lea rbx, [r15+8]
001eff4bmov [rbx-8], 2048
001eff53lea rdi, [rip+0x17d226]
001eff5amov rdi, [rdi+8]
001eff5emov [rbx], rdi
001eff61mov [rbx+8], rax
001eff65mov rax, rbx
001eff68call caml_raise_exn
001eff6d
001eff6dloc_1eff6d:
001eff6dcall caml_call_gc
001eff72jmp 0x1eff47
001eff74
001eff74loc_1eff74:
001eff74push 35
001eff76call caml_call_realloc_stack
001eff7bpop r10
001eff7djmp 0x1efec2
001efeb0

001eff82
001eff82 // align 0x10

001eff90
001eff90Stdlib.Scanf.get_counter:
001eff90mov rdi, rax
001eff93sar rbx, 1
001eff96cmp rbx, 1
001eff9aje 0x1effa4
001eff9cja 0x1effc0
001eff9emov rax, [rdi+32]
001effa2ret
001effa3
001effa3 90 .
001effa4
001effa4loc_1effa4:
001effa4mov rax, [rdi+16]
001effa8cmp rax, 1
001effacje 0x1effb8
001effaemov rax, [rdi+24]
001effb2add rax, -2
001effb6ret
001effb7
001effb7 90 .
001effb8
001effb8loc_1effb8:
001effb8mov rax, [rdi+24]
001effbcret
001effbd
001effbd 0f 1f 00 ...
001effc0
001effc0loc_1effc0:
001effc0mov rax, [rdi+40]
001effc4ret
001eff90

001effc5
001effc5 // align 0x10

001effd0
001effd0Stdlib.Scanf.width_of_pad_opt:
001effd0test al, 1
001effd2je 0x1effe0
001effd4mov rax, 0x7fffffffffffffff
001effderet
001effdf
001effdf 90 .
001effe0
001effe0loc_1effe0:
001effe0mov rax, [rax]
001effe3ret
001effd0

001effe4
001effe4 // align 0x10

001efff0
001efff0Stdlib.Scanf.stopper_of_formatting_lit:
001efff0lea r10, [rsp-328]
001efff8cmp r10, [r14+40]
001efffcjb 0x1f008c
001f0002
001f0002loc_1f0002:
001f0002sub rsp, 8
001f0006cmp rax, 13
001f000ajne 0x1f0018
001f000clea rax, [rip+0x17d565]
001f0013add rsp, 8
001f0017ret
001f0018
001f0018loc_1f0018:
001f0018call camlCamlinternalFormat.string_of_formatting_lit_763
001f001dmov rbx, [rax-8]
001f0021shr rbx, 10
001f0025lea rbx, [8*rbx-1]
001f002dmovzx rdi, [rax+rbx]
001f0032sub rbx, rdi
001f0035cmp rbx, 1
001f0039jbe 0x1f0087
001f003bmovzx rdi, [rax+1]
001f0040lea rdi, [rdi+rdi+1]
001f0045mov [rsp], rdi
001f0049lea rdi, [rbx+rbx-3]
001f004emov ebx, 5
001f0053call Stdlib.Bytes.sub
001f0058sub r15, 24
001f005ccmp r15, [r14]
001f005fjb 0x1f0080
001f0061
001f0061loc_1f0061:
001f0061lea rbx, [r15+8]
001f0065mov [rbx-8], 2048
001f006dmov rdi, [rsp]
001f0071mov [rbx], rdi
001f0074mov [rbx+8], rax
001f0078mov rax, rbx
001f007badd rsp, 8
001f007fret
001f0080
001f0080loc_1f0080:
001f0080call caml_call_gc
001f0085jmp 0x1f0061
001f0087
001f0087loc_1f0087:
001f0087call caml_ml_array_bound_error
001f008c
001f008cloc_1f008c:
001f008cpush 34
001f008ecall caml_call_realloc_stack
001f0093pop r10
001f0095jmp 0x1f0002
001efff0

001f009a
001f009a // align 0x10

001f00a0
001f00a0Stdlib.Scanf.take_format_readers:
001f00a0lea r10, [rsp-344]
001f00a8cmp r10, [r14+40]
001f00acjb 0x1f020b
001f00b2
001f00b2loc_1f00b2:
001f00b2sub rsp, 24
001f00b6
001f00b6loc_1f00b6:
001f00b6mov rcx, rax
001f00b9mov rsi, rdi
001f00bccmp r15, [r14]
001f00bfjbe 0x1f0201
001f00c5
001f00c5loc_1f00c5:
001f00c5test bl, 1
001f00c8je 0x1f00dc
001f00camov eax, 1
001f00cfmov rdi, [rcx]
001f00d2mov rbx, rcx
001f00d5add rsp, 24
001f00d9jmp rdi
001f00dbnop
001f00dc
001f00dcloc_1f00dc:
001f00dcmov [rsp], rsi
001f00e0mov [rsp+8], rbx
001f00e5mov [rsp+16], rcx
001f00eamovzx rax, [rbx-8]
001f00eflea rdx, [rip+0x3e7fa]
001f00f6movsxd rax, [rdx+4*rax]
001f00faadd rdx, rax
001f00fdjmp rdx
001f00ffnop
001f0100mov rax, [rbx+8]
001f0104call camlCamlinternalFormat.symm_1179
001f0109call camlCamlinternalFormatBasics.erase_rel_143
001f010emov rbx, rax
001f0111mov rsi, [rsp]
001f0115add rsi, 32
001f0119mov rax, [rsp+8]
001f011emov rdi, [rax+16]
001f0122mov rax, [rsp+16]
001f0127add rsp, 24
001f012bjmp 0x1f02c0
001f0130mov rdi, [rbx+8]
001f0134mov rax, [rbx]
001f0137mov rax, [rax]
001f013amov rax, [rax]
001f013dmov rbx, rdi
001f0140call camlCamlinternalFormatBasics.concat_fmt_512
001f0145mov rbx, rax
001f0148mov rax, [rsp+16]
001f014dmov rdi, [rsp]
001f0151jmp 0x1f00b6
001f0156nop
001f0158mov rbx, [rbx]
001f015bsub r15, 48
001f015fcmp r15, [r14]
001f0162jb 0x1f01f7
001f0168
001f0168loc_1f0168:
001f0168lea rax, [r15+8]
001f016cmov [rax-8], 5367
001f0174lea rdi, [rip+165]
001f017bmov [rax], rdi
001f017emov rdi, 0x100000000000005
001f0188mov [rax+8], rdi
001f018cmov [rax+16], rsi
001f0190mov [rax+24], rcx
001f0194mov [rax+32], rbx
001f0198add rsp, 24
001f019cret
001f019dnop [rax]
001f01a0add rsi, 64
001f01a4mov rdi, [rbx+8]
001f01a8mov rbx, [rbx]
001f01abmov rax, rcx
001f01aeadd rsp, 24
001f01b2jmp 0x1f0580
001f01b7nop
001f01b8mov rbx, [rbx+8]
001f01bcmov rax, rcx
001f01bfmov rdi, rsi
001f01c2jmp 0x1f00b6
001f01c7nop
001f01c8mov rbx, [rbx]
001f01cbmov rax, rcx
001f01cemov rdi, rsi
001f01d1jmp 0x1f00b6
001f01d6nop
001f01d8mov rbx, [rbx+24]
001f01dcmov rax, rcx
001f01dfmov rdi, rsi
001f01e2jmp 0x1f00b6
001f01e7nop
001f01e8mov rbx, [rbx+16]
001f01ecmov rax, rcx
001f01efmov rdi, rsi
001f01f2jmp 0x1f00b6
001f01f7
001f01f7loc_1f01f7:
001f01f7call caml_call_gc
001f01fcjmp 0x1f0168
001f0201
001f0201loc_1f0201:
001f0201call caml_call_gc
001f0206jmp 0x1f00c5
001f020b
001f020bloc_1f020b:
001f020bpush 36
001f020dcall caml_call_realloc_stack
001f0212pop r10
001f0214jmp 0x1f00b2
001f00a0

001f0219
001f0219 // align 0x10

001f0220
001f0220Stdlib.Scanf.fun:
001f0220sub r15, 40
001f0224cmp r15, [r14]
001f0227jb 0x1f026c
001f0229
001f0229loc_1f0229:
001f0229lea rsi, [r15+8]
001f022dmov [rsi-8], 4343
001f0235lea rdi, [rip+68]
001f023cmov [rsi], rdi
001f023fmov rdi, 0x100000000000005
001f0249mov [rsi+8], rdi
001f024dmov rdi, [rbx+24]
001f0251mov [rsi+16], rdi
001f0255mov [rsi+24], rax
001f0259mov rdx, [rbx+32]
001f025dmov rdi, [rbx+16]
001f0261mov rax, rsi
001f0264mov rbx, rdx
001f0267jmp 0x1f00a0
001f026c
001f026cloc_1f026c:
001f026ccall caml_call_gc
001f0271jmp 0x1f0229
001f0220

001f0273
001f0273 // align 0x10

001f0280
001f0280Stdlib.Scanf.new_k:
001f0280mov rdi, [rbx+16]
001f0284sub r15, 24
001f0288cmp r15, [r14]
001f028bjb 0x1f02af
001f028d
001f028dloc_1f028d:
001f028dlea rsi, [r15+8]
001f0291mov [rsi-8], 2048
001f0299mov rbx, [rbx+24]
001f029dmov [rsi], rbx
001f02a0mov [rsi+8], rax
001f02a4mov rdx, [rdi]
001f02a7mov rax, rsi
001f02aamov rbx, rdi
001f02adjmp rdx
001f02af
001f02afloc_1f02af:
001f02afcall caml_call_gc
001f02b4jmp 0x1f028d
001f0280

001f02b6
001f02b6 // align 0x10

001f02c0
001f02c0Stdlib.Scanf.take_fmtty_format_readers:
001f02c0lea r10, [rsp-352]
001f02c8cmp r10, [r14+40]
001f02ccjb 0x1f042a
001f02d2
001f02d2loc_1f02d2:
001f02d2sub rsp, 32
001f02d6
001f02d6loc_1f02d6:
001f02d6mov rcx, rax
001f02d9cmp r15, [r14]
001f02dcjbe 0x1f0420
001f02e2
001f02e2loc_1f02e2:
001f02e2test bl, 1
001f02e5je 0x1f0300
001f02e7add rsi, -32
001f02ebmov rax, rcx
001f02eemov rbx, rdi
001f02f1mov rdi, rsi
001f02f4add rsp, 32
001f02f8jmp 0x1f00a0
001f02fdnop [rax]
001f0300
001f0300loc_1f0300:
001f0300mov [rsp+24], rsi
001f0305mov [rsp+16], rdi
001f030amov [rsp], rbx
001f030emov [rsp+8], rcx
001f0313movzx rax, [rbx-8]
001f0318lea rdx, [rip+0x3e635]
001f031fmovsxd rax, [rdx+4*rax]
001f0323add rdx, rax
001f0326jmp rdx
001f0328mov rbx, [rbx+8]
001f032cmov rax, rcx
001f032fjmp 0x1f02d6
001f0331nop [rax]
001f0334mov rax, [rbx]
001f0337call camlCamlinternalFormat.symm_1179
001f033cmov rbx, [rsp]
001f0340mov rbx, [rbx+8]
001f0344call camlCamlinternalFormat.trans_1362
001f0349mov rbx, [rsp]
001f034dmov rbx, [rbx+16]
001f0351call camlCamlinternalFormatBasics.concat_fmtty_325
001f0356mov rbx, rax
001f0359mov rax, [rsp+8]
001f035emov rdi, [rsp+16]
001f0363mov rsi, [rsp+24]
001f0368jmp 0x1f02d6
001f036dnop [rax]
001f0370mov rbx, [rbx]
001f0373sub r15, 56
001f0377cmp r15, [r14]
001f037ajb 0x1f0416
001f0380
001f0380loc_1f0380:
001f0380lea rax, [r15+8]
001f0384mov [rax-8], 6391
001f038clea rdx, [rip+173]
001f0393mov [rax], rdx
001f0396mov rdx, 0x100000000000005
001f03a0mov [rax+8], rdx
001f03a4mov [rax+16], rsi
001f03a8mov [rax+24], rcx
001f03acmov [rax+32], rdi
001f03b0mov [rax+40], rbx
001f03b4add rsp, 32
001f03b8ret
001f03b9nop [rax]
001f03bcmov rbx, [rbx]
001f03bfsub r15, 56
001f03c3cmp r15, [r14]
001f03c6jb 0x1f040f
001f03c8
001f03c8loc_1f03c8:
001f03c8lea rax, [r15+8]
001f03ccmov [rax-8], 6391
001f03d4lea rdx, [rip+261]
001f03dbmov [rax], rdx
001f03demov rdx, 0x100000000000005
001f03e8mov [rax+8], rdx
001f03ecmov [rax+16], rsi
001f03f0mov [rax+24], rcx
001f03f4mov [rax+32], rdi
001f03f8mov [rax+40], rbx
001f03fcadd rsp, 32
001f0400ret
001f0401nop [rax]
001f0404mov rbx, [rbx]
001f0407mov rax, rcx
001f040ajmp 0x1f02d6
001f040f
001f040floc_1f040f:
001f040fcall caml_call_gc
001f0414jmp 0x1f03c8
001f0416
001f0416loc_1f0416:
001f0416call caml_call_gc
001f041bjmp 0x1f0380
001f0420
001f0420loc_1f0420:
001f0420call caml_call_gc
001f0425jmp 0x1f02e2
001f042a
001f042aloc_1f042a:
001f042apush 37
001f042ccall caml_call_realloc_stack
001f0431pop r10
001f0433jmp 0x1f02d2
001f02c0

001f0438
001f0438 // align 0x10

001f0440
001f0440Stdlib.Scanf.fun:
001f0440sub r15, 40
001f0444cmp r15, [r14]
001f0447jb 0x1f0490
001f0449
001f0449loc_1f0449:
001f0449lea rdx, [r15+8]
001f044dmov [rdx-8], 4343
001f0455lea rdi, [rip+68]
001f045cmov [rdx], rdi
001f045fmov rdi, 0x100000000000005
001f0469mov [rdx+8], rdi
001f046dmov rdi, [rbx+24]
001f0471mov [rdx+16], rdi
001f0475mov [rdx+24], rax
001f0479mov rdi, [rbx+32]
001f047dmov rcx, [rbx+40]
001f0481mov rsi, [rbx+16]
001f0485mov rax, rdx
001f0488mov rbx, rcx
001f048bjmp 0x1f02c0
001f0490
001f0490loc_1f0490:
001f0490call caml_call_gc
001f0495jmp 0x1f0449
001f0440

001f0497
001f0497 // align 0x10

001f04a0
001f04a0Stdlib.Scanf.new_k:
001f04a0mov rdi, [rbx+16]
001f04a4sub r15, 24
001f04a8cmp r15, [r14]
001f04abjb 0x1f04cf
001f04ad
001f04adloc_1f04ad:
001f04adlea rsi, [r15+8]
001f04b1mov [rsi-8], 2048
001f04b9mov rbx, [rbx+24]
001f04bdmov [rsi], rbx
001f04c0mov [rsi+8], rax
001f04c4mov rdx, [rdi]
001f04c7mov rax, rsi
001f04camov rbx, rdi
001f04cdjmp rdx
001f04cf
001f04cfloc_1f04cf:
001f04cfcall caml_call_gc
001f04d4jmp 0x1f04ad
001f04a0

001f04d6
001f04d6 // align 0x10

001f04e0
001f04e0Stdlib.Scanf.fun:
001f04e0sub r15, 40
001f04e4cmp r15, [r14]
001f04e7jb 0x1f0530
001f04e9
001f04e9loc_1f04e9:
001f04e9lea rdx, [r15+8]
001f04edmov [rdx-8], 4343
001f04f5lea rdi, [rip+68]
001f04fcmov [rdx], rdi
001f04ffmov rdi, 0x100000000000005
001f0509mov [rdx+8], rdi
001f050dmov rdi, [rbx+24]
001f0511mov [rdx+16], rdi
001f0515mov [rdx+24], rax
001f0519mov rdi, [rbx+32]
001f051dmov rcx, [rbx+40]
001f0521mov rsi, [rbx+16]
001f0525mov rax, rdx
001f0528mov rbx, rcx
001f052bjmp 0x1f02c0
001f0530
001f0530loc_1f0530:
001f0530call caml_call_gc
001f0535jmp 0x1f04e9
001f04e0

001f0537
001f0537 // align 0x10

001f0540
001f0540Stdlib.Scanf.new_k:
001f0540mov rdi, [rbx+16]
001f0544sub r15, 24
001f0548cmp r15, [r14]
001f054bjb 0x1f056f
001f054d
001f054dloc_1f054d:
001f054dlea rsi, [r15+8]
001f0551mov [rsi-8], 2048
001f0559mov rbx, [rbx+24]
001f055dmov [rsi], rbx
001f0560mov [rsi+8], rax
001f0564mov rdx, [rdi]
001f0567mov rax, rsi
001f056amov rbx, rdi
001f056djmp rdx
001f056f
001f056floc_1f056f:
001f056fcall caml_call_gc
001f0574jmp 0x1f054d
001f0540

001f0576
001f0576 // align 0x10

001f0580
001f0580Stdlib.Scanf.take_ignored_format_readers:
001f0580mov rdx, rdi
001f0583test bl, 1
001f0586je 0x1f05d4
001f0588sar rbx, 1
001f058bcmp rbx, 2
001f058fjne 0x1f05f0
001f0591sub r15, 48
001f0595cmp r15, [r14]
001f0598jb 0x1f05ff
001f059a
001f059aloc_1f059a:
001f059alea rbx, [r15+8]
001f059emov [rbx-8], 5367
001f05a6lea rdi, [rip+99]
001f05admov [rbx], rdi
001f05b0mov rdi, 0x100000000000005
001f05bamov [rbx+8], rdi
001f05beadd rsi, -64
001f05c2mov [rbx+16], rsi
001f05c6mov [rbx+24], rax
001f05camov [rbx+32], rdx
001f05cemov rax, rbx
001f05d1ret
001f05d2
001f05d2 66 90 f.
001f05d4
001f05d4loc_1f05d4:
001f05d4movzx rdi, [rbx-8]
001f05d9cmp rdi, 9
001f05ddjne 0x1f05f0
001f05dfadd rsi, -32
001f05e3mov rbx, [rbx+8]
001f05e7mov rdi, rdx
001f05eajmp 0x1f02c0
001f05ef
001f05ef 90 .
001f05f0
001f05f0loc_1f05f0:
001f05f0mov rdi, rsi
001f05f3add rdi, -64
001f05f7mov rbx, rdx
001f05fajmp 0x1f00a0
001f05ff
001f05ffloc_1f05ff:
001f05ffcall caml_call_gc
001f0604jmp 0x1f059a
001f0580

001f0606
001f0606 // align 0x10

001f0610
001f0610Stdlib.Scanf.fun:
001f0610sub r15, 40
001f0614cmp r15, [r14]
001f0617jb 0x1f065c
001f0619
001f0619loc_1f0619:
001f0619lea rsi, [r15+8]
001f061dmov [rsi-8], 4343
001f0625lea rdi, [rip+68]
001f062cmov [rsi], rdi
001f062fmov rdi, 0x100000000000005
001f0639mov [rsi+8], rdi
001f063dmov rdi, [rbx+24]
001f0641mov [rsi+16], rdi
001f0645mov [rsi+24], rax
001f0649mov rdx, [rbx+32]
001f064dmov rdi, [rbx+16]
001f0651mov rax, rsi
001f0654mov rbx, rdx
001f0657jmp 0x1f00a0
001f065c
001f065cloc_1f065c:
001f065ccall caml_call_gc
001f0661jmp 0x1f0619
001f0610

001f0663
001f0663 // align 0x10

001f0670
001f0670Stdlib.Scanf.new_k:
001f0670mov rdi, [rbx+16]
001f0674sub r15, 24
001f0678cmp r15, [r14]
001f067bjb 0x1f069f
001f067d
001f067dloc_1f067d:
001f067dlea rsi, [r15+8]
001f0681mov [rsi-8], 2048
001f0689mov rbx, [rbx+24]
001f068dmov [rsi], rbx
001f0690mov [rsi+8], rax
001f0694mov rdx, [rdi]
001f0697mov rax, rsi
001f069amov rbx, rdi
001f069djmp rdx
001f069f
001f069floc_1f069f:
001f069fcall caml_call_gc
001f06a4jmp 0x1f067d
001f0670

001f06a6
001f06a6 // align 0x10

001f06b0
001f06b0Stdlib.Scanf.make_scanf:
001f06b0lea r10, [rsp-392]
001f06b8cmp r10, [r14+40]
001f06bcjb 0x1f1cfb
001f06c2
001f06c2loc_1f06c2:
001f06c2sub rsp, 56
001f06c6
001f06c6loc_1f06c6:
001f06c6mov r9, rax
001f06c9cmp r15, [r14]
001f06ccjbe 0x1f1cdd
001f06d2
001f06d2loc_1f06d2:
001f06d2test bl, 1
001f06d5je 0x1f06e4
001f06d7mov eax, 1
001f06dcadd rsp, 56
001f06e0ret
001f06e1nop [rax]
001f06e4
001f06e4loc_1f06e4:
001f06e4mov [rsp+40], rdi
001f06e9mov [rsp+32], rbx
001f06eemov [rsp+48], r9
001f06f3movzx rax, [rbx-8]
001f06f8lea rdx, [rip+0x3e291]
001f06ffmovsxd rax, [rdx+4*rax]
001f0703add rdx, rax
001f0706jmp rdx
001f0708mov rax, [r9+16]
001f070ccmp rax, 1
001f0710je 0x1f071c
001f0712mov rbx, [r9+8]
001f0716jmp 0x1f07b3
001f071bnop
001f071c
001f071cloc_1f071c:
001f071clea r11, [rip+81]
001f0723push r11
001f0725push [r14+48]
001f0729mov [r14+48], rsp
001f072dmov rbx, [r9+48]
001f0731mov eax, 1
001f0736mov rdi, [rbx]
001f0739call rdi
001f073bmov r9, [rsp+64]
001f0740mov [r9+8], rax
001f0744mov [r9+16], 3
001f074cmov rbx, [r9+24]
001f0750add rbx, 2
001f0754mov [r9+24], rbx
001f0758cmp rax, 21
001f075cjne 0x1f076a
001f075emov rbx, [r9+32]
001f0762add rbx, 2
001f0766mov [r9+32], rbx
001f076a
001f076aloc_1f076a:
001f076apop [r14+48]
001f076eadd rsp, 8
001f0772jmp 0x1f07b0
001f0774lea rbx, [rip+0x13ce9d]
001f077bmov rbx, [rbx+88]
001f077fcmp rax, rbx
001f0782jne 0x1f07a8
001f0784mov r9, [rsp+48]
001f0789mov [r9+8], 1
001f0791mov [r9+16], 1
001f0799mov [r9], 3
001f07a0mov eax, 1
001f07a5jmp 0x1f07b0
001f07a7nop
001f07a8
001f07a8loc_1f07a8:
001f07a8call caml_reraise_exn
001f07adnop [rax]
001f07b0
001f07b0loc_1f07b0:
001f07b0mov rbx, rax
001f07b3
001f07b3loc_1f07b3:
001f07b3mov rax, [r9]
001f07b6cmp rax, 1
001f07baje 0x1f07cc
001f07bclea rax, [rip+0x13ce55]
001f07c3mov rax, [rax+88]
001f07c7call caml_raise_exn
001f07cc
001f07ccloc_1f07cc:
001f07ccmov rax, [r9+56]
001f07d0call Stdlib.Buffer.add_char
001f07d5mov rax, [rsp+48]
001f07damov [rax+16], 1
001f07e2mov rax, [rax+56]
001f07e6mov [rsp], rax
001f07eamov rdi, [rax+8]
001f07eemov rax, [rax]
001f07f1mov rax, [rax]
001f07f4mov ebx, 1
001f07f9call Stdlib.Bytes.sub
001f07femov rbx, [rsp]
001f0802mov [rbx+8], 1
001f080amov rdi, [rsp+48]
001f080fmov rbx, [rdi+40]
001f0813add rbx, 2
001f0817mov [rdi+40], rbx
001f081bmov rbx, [rax-8]
001f081fshr rbx, 10
001f0823lea rbx, [8*rbx-1]
001f082bmovzx rsi, [rax+rbx]
001f0830sub rbx, rsi
001f0833cmp rbx, 0
001f0837jbe 0x1f1cf6
001f083dmovzx rax, [rax]
001f0841shl rax, 1
001f0844inc rax
001f0847mov [rsp], rax
001f084bmov rax, [rsp+32]
001f0850mov rbx, [rax]
001f0853mov rax, rdi
001f0856mov rdi, [rsp+40]
001f085bcall Stdlib.Scanf.make_scanf
001f0860sub r15, 24
001f0864cmp r15, [r14]
001f0867jb 0x1f1cd3
001f086d
001f086dloc_1f086d:
001f086dlea rbx, [r15+8]
001f0871mov [rbx-8], 2048
001f0879mov rdi, [rsp]
001f087dmov [rbx], rdi
001f0880mov [rbx+8], rax
001f0884mov rax, rbx
001f0887add rsp, 56
001f088bret
001f088clea rax, [rip+0x17c8ed]
001f0893mov rdi, [rax+568]
001f089amov eax, 1
001f089fmov rbx, r9
001f08a2call Stdlib.Scanf.scan_caml_char
001f08a7mov rax, [rsp+48]
001f08acmov rax, [rax+56]
001f08b0mov [rsp], rax
001f08b4mov rdi, [rax+8]
001f08b8mov rax, [rax]
001f08bbmov rax, [rax]
001f08bemov ebx, 1
001f08c3call Stdlib.Bytes.sub
001f08c8mov rbx, [rsp]
001f08ccmov [rbx+8], 1
001f08d4mov rdi, [rsp+48]
001f08d9mov rbx, [rdi+40]
001f08ddadd rbx, 2
001f08e1mov [rdi+40], rbx
001f08e5mov rbx, [rax-8]
001f08e9shr rbx, 10
001f08edlea rbx, [8*rbx-1]
001f08f5movzx rsi, [rax+rbx]
001f08fasub rbx, rsi
001f08fdcmp rbx, 0
001f0901jbe 0x1f1cf1
001f0907movzx rax, [rax]
001f090bshl rax, 1
001f090einc rax
001f0911mov [rsp], rax
001f0915mov rax, [rsp+32]
001f091amov rbx, [rax]
001f091dmov rax, rdi
001f0920mov rdi, [rsp+40]
001f0925call Stdlib.Scanf.make_scanf
001f092asub r15, 24
001f092ecmp r15, [r14]
001f0931jb 0x1f1cc9
001f0937
001f0937loc_1f0937:
001f0937lea rbx, [r15+8]
001f093bmov [rbx-8], 2048
001f0943mov rdi, [rsp]
001f0947mov [rbx], rdi
001f094amov [rbx+8], rax
001f094emov rax, rbx
001f0951add rsp, 56
001f0955ret
001f0956nop
001f0958mov rsi, [rbx]
001f095bmov [rsp+16], rsi
001f0960mov rax, [rbx+8]
001f0964mov [rsp], rax
001f0968test al, 1
001f096ajne 0x1f0b44
001f0970movzx rdx, [rax-8]
001f0975cmp rdx, 17
001f0979je 0x1f0a30
001f097fcmp rdx, 18
001f0983jne 0x1f0b44
001f0989mov rdi, [rax]
001f098cmovzx rbx, [rdi-8]
001f0991test rbx, rbx
001f0994je 0x1f09e4
001f0996lea rbx, [rip+0x17bc73]
001f099dmov [rsp], rbx
001f09a1mov rbx, [rax+8]
001f09a5mov rax, [rdi]
001f09a8mov rax, [rax]
001f09abcall camlCamlinternalFormatBasics.concat_fmt_512
001f09b0mov rbx, rax
001f09b3lea rax, [rip+0x17c7c6]
001f09bamov r8, [rax+216]
001f09c1mov edx, 1
001f09c6mov rax, [rsp+48]
001f09cbmov rdi, [rsp+40]
001f09d0mov rsi, [rsp+16]
001f09d5mov rcx, [rsp]
001f09d9add rsp, 56
001f09ddjmp 0x1f2340
001f09e2nop
001f09e4
001f09e4loc_1f09e4:
001f09e4lea rbx, [rip+0x17bc45]
001f09ebmov [rsp], rbx
001f09efmov rbx, [rax+8]
001f09f3mov rax, [rdi]
001f09f6mov rax, [rax]
001f09f9call camlCamlinternalFormatBasics.concat_fmt_512
001f09femov rbx, rax
001f0a01lea rax, [rip+0x17c778]
001f0a08mov r8, [rax+216]
001f0a0fmov edx, 1
001f0a14mov rax, [rsp+48]
001f0a19mov rdi, [rsp+40]
001f0a1emov rsi, [rsp+16]
001f0a23mov rcx, [rsp]
001f0a27add rsp, 56
001f0a2bjmp 0x1f2340
001f0a30
001f0a30loc_1f0a30:
001f0a30mov rax, [rax]
001f0a33cmp rax, 13
001f0a37jne 0x1f0a48
001f0a39lea rax, [rip+0x17cb38]
001f0a40mov rdi, rax
001f0a43jmp 0x1f0ab2
001f0a45nop [rax]
001f0a48
001f0a48loc_1f0a48:
001f0a48call camlCamlinternalFormat.string_of_formatting_lit_763
001f0a4dmov rbx, [rax-8]
001f0a51shr rbx, 10
001f0a55lea rbx, [8*rbx-1]
001f0a5dmovzx rdi, [rax+rbx]
001f0a62sub rbx, rdi
001f0a65cmp rbx, 1
001f0a69jbe 0x1f1cec
001f0a6fmovzx rdi, [rax+1]
001f0a74lea rdi, [rdi+rdi+1]
001f0a79mov [rsp+8], rdi
001f0a7elea rdi, [rbx+rbx-3]
001f0a83mov ebx, 5
001f0a88call Stdlib.Bytes.sub
001f0a8dsub r15, 24
001f0a91cmp r15, [r14]
001f0a94jb 0x1f1cbf
001f0a9a
001f0a9aloc_1f0a9a:
001f0a9alea rdi, [r15+8]
001f0a9emov [rdi-8], 2048
001f0aa6mov rbx, [rsp+8]
001f0aabmov [rdi], rbx
001f0aaemov [rdi+8], rax
001f0ab2
001f0ab2loc_1f0ab2:
001f0ab2mov rax, [rdi]
001f0ab5sub r15, 64
001f0ab9cmp r15, [r14]
001f0abcjb 0x1f1cb5
001f0ac2
001f0ac2loc_1f0ac2:
001f0ac2lea rcx, [r15+8]
001f0ac6add rcx, 24
001f0acamov [rcx-8], 4343
001f0ad2lea rbx, [rip-0xf9ba9]
001f0ad9mov [rcx], rbx
001f0adcmov rbx, 0x300000000000007
001f0ae6mov [rcx+8], rbx
001f0aealea rbx, [rip+4639]
001f0af1mov [rcx+16], rbx
001f0af5mov [rcx+24], rax
001f0af9lea rbx, [rcx-24]
001f0afdmov [rbx-8], 2059
001f0b05mov rax, [rdi+8]
001f0b09mov [rbx], rax
001f0b0cmov rax, [rsp]
001f0b10mov rax, [rax+8]
001f0b14mov [rbx+8], rax
001f0b18lea rax, [rip+0x17c661]
001f0b1fmov r8, [rax+216]
001f0b26mov edx, 1
001f0b2bmov rax, [rsp+48]
001f0b30mov rdi, [rsp+40]
001f0b35mov rsi, [rsp+16]
001f0b3aadd rsp, 56
001f0b3ejmp 0x1f2340
001f0b43nop
001f0b44
001f0b44loc_1f0b44:
001f0b44lea rcx, [rip+0x17bb05]
001f0b4blea rax, [rip+0x17c62e]
001f0b52mov r8, [rax+216]
001f0b59mov edx, 1
001f0b5emov rbx, [rbx+8]
001f0b62mov rax, r9
001f0b65add rsp, 56
001f0b69jmp 0x1f2340
001f0b6enop
001f0b70lea rcx, [rip+0x17ba79]
001f0b77lea rax, [rip+0x17c602]
001f0b7emov r8, [rax+216]
001f0b85mov edx, 1
001f0b8amov rsi, [rbx]
001f0b8dmov rbx, [rbx+8]
001f0b91mov rax, r9
001f0b94add rsp, 56
001f0b98jmp 0x1f2340
001f0b9dnop [rax]
001f0ba0mov rax, [rbx]
001f0ba3call camlCamlinternalFormat.char_of_iconv_650
001f0ba8add rax, -176
001f0baecmp rax, 65
001f0bb2ja 0x1f0bf0
001f0bb4sar rax, 1
001f0bb7lea rdx, [rip+0x3de36]
001f0bbemovsxd rax, [rdx+4*rax]
001f0bc2add rdx, rax
001f0bc5jmp rdx
001f0bc7nop
001f0bc8mov eax, 1
001f0bcdjmp 0x1f0c29
001f0bcfnop
001f0bd0mov eax, 3
001f0bd5jmp 0x1f0c29
001f0bd7nop
001f0bd8mov eax, 5
001f0bddjmp 0x1f0c29
001f0bdfnop
001f0be0mov eax, 7
001f0be5jmp 0x1f0c29
001f0be7nop
001f0be8mov eax, 9
001f0bedjmp 0x1f0c29
001f0befnop
001f0bf0
001f0bf0loc_1f0bf0:
001f0bf0sub r15, 24
001f0bf4cmp r15, [r14]
001f0bf7jb 0x1f1cab
001f0bfd
001f0bfdloc_1f0bfd:
001f0bfdlea rax, [r15+8]
001f0c01mov [rax-8], 2048
001f0c09lea rbx, [rip+0x855f8]
001f0c10mov [rax], rbx
001f0c13lea rbx, [rip+0x17cfd6]
001f0c1amov [rax+8], rbx
001f0c1ecall caml_raise_exn
001f0c23nop
001f0c24mov eax, 11
001f0c29
001f0c29loc_1f0c29:
001f0c29sub r15, 80
001f0c2dcmp r15, [r14]
001f0c30jb 0x1f1ca1
001f0c36
001f0c36loc_1f0c36:
001f0c36lea rcx, [r15+8]
001f0c3aadd rcx, 40
001f0c3emov [rcx-8], 4343
001f0c46lea rbx, [rip-0xf9d1d]
001f0c4dmov [rcx], rbx
001f0c50mov rbx, 0x300000000000007
001f0c5amov [rcx+8], rbx
001f0c5elea rbx, [rip+4459]
001f0c65mov [rcx+16], rbx
001f0c69mov [rcx+24], rax
001f0c6dlea rbx, [rip+0x17c50c]
001f0c74mov rbx, [rbx+248]
001f0c7blea r8, [rcx-40]
001f0c7fmov [r8-8], 4343
001f0c87lea rdi, [rip+4674]
001f0c8emov [r8], rdi
001f0c91mov rdi, 0x100000000000005
001f0c9bmov [r8+8], rdi
001f0c9fmov [r8+16], rax
001f0ca3mov [r8+24], rbx
001f0ca7mov rax, [rsp+32]
001f0cacmov rdx, [rax+16]
001f0cb0mov rsi, [rax+8]
001f0cb4mov rbx, [rax+24]
001f0cb8mov rax, [rsp+48]
001f0cbdmov rdi, [rsp+40]
001f0cc2add rsp, 56
001f0cc6jmp 0x1f2340
001f0ccbnop
001f0cccmov rax, [rbx]
001f0ccfcall camlCamlinternalFormat.char_of_iconv_650
001f0cd4add rax, -176
001f0cdacmp rax, 65
001f0cdeja 0x1f0d1c
001f0ce0sar rax, 1
001f0ce3lea rdx, [rip+0x3dd8e]
001f0ceamovsxd rax, [rdx+4*rax]
001f0ceeadd rdx, rax
001f0cf1jmp rdx
001f0cf3nop
001f0cf4mov eax, 1
001f0cf9jmp 0x1f0d55
001f0cfbnop
001f0cfcmov eax, 3
001f0d01jmp 0x1f0d55
001f0d03nop
001f0d04mov eax, 5
001f0d09jmp 0x1f0d55
001f0d0bnop
001f0d0cmov eax, 7
001f0d11jmp 0x1f0d55
001f0d13nop
001f0d14mov eax, 9
001f0d19jmp 0x1f0d55
001f0d1bnop
001f0d1c
001f0d1cloc_1f0d1c:
001f0d1csub r15, 24
001f0d20cmp r15, [r14]
001f0d23jb 0x1f1c97
001f0d29
001f0d29loc_1f0d29:
001f0d29lea rax, [r15+8]
001f0d2dmov [rax-8], 2048
001f0d35lea rbx, [rip+0x854cc]
001f0d3cmov [rax], rbx
001f0d3flea rbx, [rip+0x17ceaa]
001f0d46mov [rax+8], rbx
001f0d4acall caml_raise_exn
001f0d4fnop
001f0d50mov eax, 11
001f0d55
001f0d55loc_1f0d55:
001f0d55sub r15, 80
001f0d59cmp r15, [r14]
001f0d5cjb 0x1f1c8d
001f0d62
001f0d62loc_1f0d62:
001f0d62lea rcx, [r15+8]
001f0d66add rcx, 40
001f0d6amov [rcx-8], 4343
001f0d72lea rbx, [rip-0xf9e49]
001f0d79mov [rcx], rbx
001f0d7cmov rbx, 0x300000000000007
001f0d86mov [rcx+8], rbx
001f0d8alea rbx, [rip+4479]
001f0d91mov [rcx+16], rbx
001f0d95mov [rcx+24], rax
001f0d99lea rbx, [rip+0x17c3e0]
001f0da0mov rbx, [rbx+272]
001f0da7lea r8, [rcx-40]
001f0dabmov [r8-8], 4343
001f0db3lea rdi, [rip+4694]
001f0dbamov [r8], rdi
001f0dbdmov rdi, 0x100000000000005
001f0dc7mov [r8+8], rdi
001f0dcbmov [r8+16], rax
001f0dcfmov [r8+24], rbx
001f0dd3mov rax, [rsp+32]
001f0dd8mov rdx, [rax+16]
001f0ddcmov rsi, [rax+8]
001f0de0mov rbx, [rax+24]
001f0de4mov rax, [rsp+48]
001f0de9mov rdi, [rsp+40]
001f0deeadd rsp, 56
001f0df2jmp 0x1f2340
001f0df7nop
001f0df8mov rax, [rbx]
001f0dfbcall camlCamlinternalFormat.char_of_iconv_650
001f0e00add rax, -176
001f0e06cmp rax, 65
001f0e0aja 0x1f0e48
001f0e0csar rax, 1
001f0e0flea rdx, [rip+0x3dce6]
001f0e16movsxd rax, [rdx+4*rax]
001f0e1aadd rdx, rax
001f0e1djmp rdx
001f0e1fnop
001f0e20mov eax, 1
001f0e25jmp 0x1f0e81
001f0e27nop
001f0e28mov eax, 3
001f0e2djmp 0x1f0e81
001f0e2fnop
001f0e30mov eax, 5
001f0e35jmp 0x1f0e81
001f0e37nop
001f0e38mov eax, 7
001f0e3djmp 0x1f0e81
001f0e3fnop
001f0e40mov eax, 9
001f0e45jmp 0x1f0e81
001f0e47nop
001f0e48
001f0e48loc_1f0e48:
001f0e48sub r15, 24
001f0e4ccmp r15, [r14]
001f0e4fjb 0x1f1c83
001f0e55
001f0e55loc_1f0e55:
001f0e55lea rax, [r15+8]
001f0e59mov [rax-8], 2048
001f0e61lea rbx, [rip+0x853a0]
001f0e68mov [rax], rbx
001f0e6blea rbx, [rip+0x17cd7e]
001f0e72mov [rax+8], rbx
001f0e76call caml_raise_exn
001f0e7bnop
001f0e7cmov eax, 11
001f0e81
001f0e81loc_1f0e81:
001f0e81sub r15, 80
001f0e85cmp r15, [r14]
001f0e88jb 0x1f1c79
001f0e8e
001f0e8eloc_1f0e8e:
001f0e8elea rcx, [r15+8]
001f0e92add rcx, 40
001f0e96mov [rcx-8], 4343
001f0e9elea rbx, [rip-0xf9f75]
001f0ea5mov [rcx], rbx
001f0ea8mov rbx, 0x300000000000007
001f0eb2mov [rcx+8], rbx
001f0eb6lea rbx, [rip+4499]
001f0ebdmov [rcx+16], rbx
001f0ec1mov [rcx+24], rax
001f0ec5lea rbx, [rip+0x17c2b4]
001f0eccmov rbx, [rbx+264]
001f0ed3lea r8, [rcx-40]
001f0ed7mov [r8-8], 4343
001f0edflea rdi, [rip+4714]
001f0ee6mov [r8], rdi
001f0ee9mov rdi, 0x100000000000005
001f0ef3mov [r8+8], rdi
001f0ef7mov [r8+16], rax
001f0efbmov [r8+24], rbx
001f0effmov rax, [rsp+32]
001f0f04mov rdx, [rax+16]
001f0f08mov rsi, [rax+8]
001f0f0cmov rbx, [rax+24]
001f0f10mov rax, [rsp+48]
001f0f15mov rdi, [rsp+40]
001f0f1aadd rsp, 56
001f0f1ejmp 0x1f2340
001f0f23nop
001f0f24mov rax, [rbx]
001f0f27call camlCamlinternalFormat.char_of_iconv_650
001f0f2cadd rax, -176
001f0f32cmp rax, 65
001f0f36ja 0x1f0f74
001f0f38sar rax, 1
001f0f3blea rdx, [rip+0x3dc3e]
001f0f42movsxd rax, [rdx+4*rax]
001f0f46add rdx, rax
001f0f49jmp rdx
001f0f4bnop
001f0f4cmov eax, 1
001f0f51jmp 0x1f0fad
001f0f53nop
001f0f54mov eax, 3
001f0f59jmp 0x1f0fad
001f0f5bnop
001f0f5cmov eax, 5
001f0f61jmp 0x1f0fad
001f0f63nop
001f0f64mov eax, 7
001f0f69jmp 0x1f0fad
001f0f6bnop
001f0f6cmov eax, 9
001f0f71jmp 0x1f0fad
001f0f73nop
001f0f74
001f0f74loc_1f0f74:
001f0f74sub r15, 24
001f0f78cmp r15, [r14]
001f0f7bjb 0x1f1c6f
001f0f81
001f0f81loc_1f0f81:
001f0f81lea rax, [r15+8]
001f0f85mov [rax-8], 2048
001f0f8dlea rbx, [rip+0x85274]
001f0f94mov [rax], rbx
001f0f97lea rbx, [rip+0x17cc52]
001f0f9emov [rax+8], rbx
001f0fa2call caml_raise_exn
001f0fa7nop
001f0fa8mov eax, 11
001f0fad
001f0fadloc_1f0fad:
001f0fadsub r15, 80
001f0fb1cmp r15, [r14]
001f0fb4jb 0x1f1c65
001f0fba
001f0fbaloc_1f0fba:
001f0fbalea rcx, [r15+8]
001f0fbeadd rcx, 40
001f0fc2mov [rcx-8], 4343
001f0fcalea rbx, [rip-0xfa0a1]
001f0fd1mov [rcx], rbx
001f0fd4mov rbx, 0x300000000000007
001f0fdemov [rcx+8], rbx
001f0fe2lea rbx, [rip+4519]
001f0fe9mov [rcx+16], rbx
001f0fedmov [rcx+24], rax
001f0ff1lea rbx, [rip+0x17c188]
001f0ff8mov rbx, [rbx+280]
001f0ffflea r8, [rcx-40]
001f1003mov [r8-8], 4343
001f100blea rdi, [rip+4734]
001f1012mov [r8], rdi
001f1015mov rdi, 0x100000000000005
001f101fmov [r8+8], rdi
001f1023mov [r8+16], rax
001f1027mov [r8+24], rbx
001f102bmov rax, [rsp+32]
001f1030mov rdx, [rax+16]
001f1034mov rsi, [rax+8]
001f1038mov rbx, [rax+24]
001f103cmov rax, [rsp+48]
001f1041mov rdi, [rsp+40]
001f1046add rsp, 56
001f104ajmp 0x1f2340
001f104fnop
001f1050mov rax, [rbx]
001f1053mov rax, [rax+8]
001f1057sar rax, 1
001f105alea rdx, [rip+0x3dba3]
001f1061movsxd rax, [rdx+4*rax]
001f1065add rdx, rax
001f1068jmp rdx
001f106anop
001f106clea rax, [rip+0x17c10d]
001f1073mov r8, [rax+256]
001f107amov rcx, [rax+472]
001f1081mov rdx, [rbx+16]
001f1085mov rsi, [rbx+8]
001f1089mov rbx, [rbx+24]
001f108dmov rax, r9
001f1090add rsp, 56
001f1094jmp 0x1f2340
001f1099nop [rax]
001f109clea rax, [rip+0x17c0dd]
001f10a3mov r8, [rax+256]
001f10aamov rcx, [rax+440]
001f10b1mov rdx, [rbx+16]
001f10b5mov rsi, [rbx+8]
001f10b9mov rbx, [rbx+24]
001f10bdmov rax, r9
001f10c0add rsp, 56
001f10c4jmp 0x1f2340
001f10c9nop [rax]
001f10cclea rax, [rip+0x17c0ad]
001f10d3mov r8, [rax+256]
001f10damov rcx, [rax+456]
001f10e1mov rdx, [rbx+16]
001f10e5mov rsi, [rbx+8]
001f10e9mov rbx, [rbx+24]
001f10edmov rax, r9
001f10f0add rsp, 56
001f10f4jmp 0x1f2340
001f10f9nop [rax]
001f10fclea rcx, [rip+0x17b4cd]
001f1103lea rax, [rip+0x17c076]
001f110amov r8, [rax+224]
001f1111mov edx, 1
001f1116mov rsi, [rbx]
001f1119mov rbx, [rbx+8]
001f111dmov rax, r9
001f1120add rsp, 56
001f1124jmp 0x1f2340
001f1129nop [rax]
001f112cmov rax, [r9+16]
001f1130cmp rax, 1
001f1134jne 0x1f11cc
001f113alea r11, [rip+83]
001f1141push r11
001f1143push [r14+48]
001f1147mov [r14+48], rsp
001f114bmov rbx, [r9+48]
001f114fmov eax, 1
001f1154mov rdi, [rbx]
001f1157call rdi
001f1159mov r9, [rsp+64]
001f115emov [r9+8], rax
001f1162mov [r9+16], 3
001f116amov rbx, [r9+24]
001f116eadd rbx, 2
001f1172mov [r9+24], rbx
001f1176cmp rax, 21
001f117ajne 0x1f1188
001f117cmov rax, [r9+32]
001f1180add rax, 2
001f1184mov [r9+32], rax
001f1188
001f1188loc_1f1188:
001f1188pop [r14+48]
001f118cadd rsp, 8
001f1190jmp 0x1f11cc
001f1192nop
001f1194lea rbx, [rip+0x13c47d]
001f119bmov rbx, [rbx+88]
001f119fcmp rax, rbx
001f11a2jne 0x1f11c4
001f11a4mov r9, [rsp+48]
001f11a9mov [r9+8], 1
001f11b1mov [r9+16], 1
001f11b9mov [r9], 3
001f11c0jmp 0x1f11cc
001f11c2nop
001f11c4
001f11c4loc_1f11c4:
001f11c4call caml_reraise_exn
001f11c9nop [rax]
001f11cc
001f11ccloc_1f11cc:
001f11ccmov rax, [r9]
001f11cfcmp rax, 1
001f11d3je 0x1f11ec
001f11d5mov rax, [rsp+32]
001f11damov rbx, [rax]
001f11ddmov rax, r9
001f11e0mov rdi, [rsp+40]
001f11e5jmp 0x1f06c6
001f11eanop
001f11ec
001f11ecloc_1f11ec:
001f11ecsub r15, 24
001f11f0cmp r15, [r14]
001f11f3jb 0x1f1c5b
001f11f9
001f11f9loc_1f11f9:
001f11f9lea rax, [r15+8]
001f11fdmov [rax-8], 2048
001f1205lea rbx, [rip+0x17bf74]
001f120cmov rbx, [rbx+8]
001f1210mov [rax], rbx
001f1213lea rbx, [rip+0x17cfc6]
001f121amov [rax+8], rbx
001f121ecall caml_raise_exn
001f1223nop
001f1224lea rax, [rip+0x17bf55]
001f122bmov rdi, [rax+184]
001f1232sub r15, 40
001f1236cmp r15, [r14]
001f1239jb 0x1f1c51
001f123f
001f123floc_1f123f:
001f123flea rax, [r15+8]
001f1243mov [rax-8], 4343
001f124blea rsi, [rip+4238]
001f1252mov [rax], rsi
001f1255mov rsi, 0x100000000000005
001f125fmov [rax+8], rsi
001f1263mov [rax+16], r9
001f1267mov [rax+24], rdi
001f126bmov rbx, [rbx]
001f126ecall Stdlib.String.iter
001f1273mov rax, [rsp+32]
001f1278mov rbx, [rax+8]
001f127cmov rax, [rsp+48]
001f1281mov rdi, [rsp+40]
001f1286jmp 0x1f06c6
001f128bnop
001f128cmov rbx, [rbx]
001f128fcmp rbx, 21
001f1293je 0x1f12b4
001f1295cmp rbx, 65
001f1299je 0x1f12a8
001f129bmov rax, r9
001f129ecall Stdlib.Scanf.check_this_char
001f12a3jmp 0x1f12bc
001f12a5nop [rax]
001f12a8
001f12a8loc_1f12a8:
001f12a8mov rax, r9
001f12abcall Stdlib.Scanf.skip_whites
001f12b0jmp 0x1f12bc
001f12b2nop
001f12b4
001f12b4loc_1f12b4:
001f12b4mov rax, r9
001f12b7call Stdlib.Scanf.check_newline
001f12bc
001f12bcloc_1f12bc:
001f12bcmov rax, [rsp+32]
001f12c1mov rbx, [rax+8]
001f12c5mov rax, [rsp+48]
001f12camov rdi, [rsp+40]
001f12cfjmp 0x1f06c6
001f12d4mov rax, [rbx]
001f12d7test al, 1
001f12d9je 0x1f12e8
001f12dbmov rax, 0x7fffffffffffffff
001f12e5jmp 0x1f12eb
001f12e7nop
001f12e8
001f12e8loc_1f12e8:
001f12e8mov rax, [rax]
001f12eb
001f12ebloc_1f12eb:
001f12eblea rbx, [rip+0x17be8e]
001f12f2mov rdi, [rbx+576]
001f12f9mov rbx, r9
001f12fccall Stdlib.Scanf.scan_caml_string
001f1301mov rax, [rsp+48]
001f1306mov rax, [rax+56]
001f130amov [rsp], rax
001f130emov rdi, [rax+8]
001f1312mov rax, [rax]
001f1315mov rax, [rax]
001f1318mov ebx, 1
001f131dcall Stdlib.Bytes.sub
001f1322mov rbx, [rsp]
001f1326mov [rbx+8], 1
001f132emov rdi, [rsp+48]
001f1333mov rbx, [rdi+40]
001f1337add rbx, 2
001f133bmov [rdi+40], rbx
001f133flea r11, [rip+42]
001f1346push r11
001f1348push [r14+48]
001f134cmov [r14+48], rsp
001f1350mov rbx, [rsp+48]
001f1355mov rbx, [rbx+8]
001f1359call camlCamlinternalFormat.format_of_string_fmtty_5253
001f135emov [rsp+16], rax
001f1363pop [r14+48]
001f1367add rsp, 8
001f136bjmp 0x1f13c0
001f136dnop [rax]
001f1370lea rbx, [rip+0x13c2a1]
001f1377mov rbx, [rbx+48]
001f137bmov rdi, [rax]
001f137ecmp rdi, rbx
001f1381jne 0x1f13b8
001f1383mov rbx, [rax+8]
001f1387sub r15, 24
001f138bcmp r15, [r14]
001f138ejb 0x1f1c47
001f1394
001f1394loc_1f1394:
001f1394lea rax, [r15+8]
001f1398mov [rax-8], 2048
001f13a0lea rdi, [rip+0x17bdd9]
001f13a7mov rdi, [rdi+8]
001f13abmov [rax], rdi
001f13aemov [rax+8], rbx
001f13b2call caml_raise_exn
001f13b7nop
001f13b8
001f13b8loc_1f13b8:
001f13b8call caml_reraise_exn
001f13bdnop [rax]
001f13c0
001f13c0loc_1f13c0:
001f13c0mov rax, [rsp+32]
001f13c5mov rbx, [rax+16]
001f13c9mov rax, [rsp+48]
001f13cemov rdi, [rsp+40]
001f13d3call Stdlib.Scanf.make_scanf
001f13d8sub r15, 24
001f13dccmp r15, [r14]
001f13dfjb 0x1f1c3d
001f13e5
001f13e5loc_1f13e5:
001f13e5lea rbx, [r15+8]
001f13e9mov [rbx-8], 2048
001f13f1mov rdi, [rsp]
001f13f5mov [rbx], rdi
001f13f8mov [rbx+8], rax
001f13fcmov rax, rbx
001f13ffadd rsp, 56
001f1403ret
001f1404mov rax, [rbx+8]
001f1408mov [rsp+16], rax
001f140dmov rax, [rbx]
001f1410test al, 1
001f1412je 0x1f1420
001f1414mov rax, 0x7fffffffffffffff
001f141ejmp 0x1f1423
001f1420
001f1420loc_1f1420:
001f1420mov rax, [rax]
001f1423
001f1423loc_1f1423:
001f1423lea rbx, [rip+0x17bd56]
001f142amov rdi, [rbx+576]
001f1431mov rbx, r9
001f1434call Stdlib.Scanf.scan_caml_string
001f1439mov rax, [rsp+48]
001f143emov rax, [rax+56]
001f1442mov [rsp], rax
001f1446mov rdi, [rax+8]
001f144amov rax, [rax]
001f144dmov rax, [rax]
001f1450mov ebx, 1
001f1455call Stdlib.Bytes.sub
001f145amov rbx, rax
001f145dmov rax, [rsp]
001f1461mov [rax+8], 1
001f1469mov rdi, [rsp+48]
001f146emov rax, [rdi+40]
001f1472add rax, 2
001f1476mov [rdi+40], rax
001f147amov [rsp+8], rbx
001f147flea r11, [rip+130]
001f1486push r11
001f1488push [r14+48]
001f148cmov [r14+48], rsp
001f1490mov eax, 1
001f1495call camlCamlinternalFormat.fmt_ebb_of_string_4583
001f149amov [rsp+40], rax
001f149fmov eax, 1
001f14a4mov rbx, [rsp+24]
001f14a9call camlCamlinternalFormat.fmt_ebb_of_string_4583
001f14aemov [rsp+16], rax
001f14b3mov rax, [rsp+32]
001f14b8call camlCamlinternalFormat.symm_1179
001f14bdcall camlCamlinternalFormatBasics.erase_rel_143
001f14c2mov rbx, rax
001f14c5mov rax, [rsp+16]
001f14camov rax, [rax]
001f14cdcall camlCamlinternalFormat.type_format_2488
001f14d2mov [rsp+16], rax
001f14d7mov rax, [rsp+32]
001f14dccall camlCamlinternalFormatBasics.erase_rel_143
001f14e1mov rbx, rax
001f14e4mov rax, [rsp+40]
001f14e9mov rax, [rax]
001f14eccall camlCamlinternalFormat.type_format_2488
001f14f1mov rbx, [rsp+16]
001f14f6mov [rsp+16], rax
001f14fbmov rax, rbx
001f14fepop [r14+48]
001f1502add rsp, 8
001f1506jmp 0x1f1558
001f1508lea rbx, [rip+0x13c109]
001f150fmov rbx, [rbx+48]
001f1513mov rdi, [rax]
001f1516cmp rdi, rbx
001f1519jne 0x1f1550
001f151bmov rbx, [rax+8]
001f151fsub r15, 24
001f1523cmp r15, [r14]
001f1526jb 0x1f1c33
001f152c
001f152cloc_1f152c:
001f152clea rax, [r15+8]
001f1530mov [rax-8], 2048
001f1538lea rdi, [rip+0x17bc41]
001f153fmov rdi, [rdi+8]
001f1543mov [rax], rdi
001f1546mov [rax+8], rbx
001f154acall caml_raise_exn
001f154fnop
001f1550
001f1550loc_1f1550:
001f1550call caml_reraise_exn
001f1555nop [rax]
001f1558
001f1558loc_1f1558:
001f1558mov rbx, [rsp+32]
001f155dmov rbx, [rbx+16]
001f1561call camlCamlinternalFormatBasics.concat_fmt_512
001f1566mov rbx, rax
001f1569mov rax, [rsp+48]
001f156emov rdi, [rsp+40]
001f1573call Stdlib.Scanf.make_scanf
001f1578sub r15, 48
001f157ccmp r15, [r14]
001f157fjb 0x1f1c29
001f1585
001f1585loc_1f1585:
001f1585lea rbx, [r15+8]
001f1589add rbx, 24
001f158dmov [rbx-8], 2048
001f1595mov rdi, [rsp]
001f1599mov [rbx], rdi
001f159cmov rdi, [rsp+8]
001f15a1mov [rbx+8], rdi
001f15a5lea rdi, [rbx-24]
001f15a9mov [rdi-8], 2048
001f15b1mov [rdi], rbx
001f15b4mov [rdi+8], rax
001f15b8mov rax, rdi
001f15bbadd rsp, 56
001f15bfret
001f15c0lea rax, [rip+0x17cbf1]
001f15c7add rsp, 56
001f15cbjmp 0x195ab0
001f15d0lea rax, [rip+0x17cbb9]
001f15d7add rsp, 56
001f15dbjmp 0x195ab0
001f15e0mov rax, [rbx]
001f15e3call camlCamlinternalFormat.string_of_formatting_lit_763
001f15e8mov rbx, rax
001f15ebmov rdi, [rsp+48]
001f15f0lea rax, [rip+0x17bb89]
001f15f7mov rsi, [rax+184]
001f15fesub r15, 40
001f1602cmp r15, [r14]
001f1605jb 0x1f1c1f
001f160b
001f160bloc_1f160b:
001f160blea rax, [r15+8]
001f160fmov [rax-8], 4343
001f1617lea rdx, [rip+3314]
001f161emov [rax], rdx
001f1621mov rdx, 0x100000000000005
001f162bmov [rax+8], rdx
001f162fmov [rax+16], rdi
001f1633mov [rax+24], rsi
001f1637call Stdlib.String.iter
001f163cmov rax, [rsp+32]
001f1641mov rbx, [rax+8]
001f1645mov rax, [rsp+48]
001f164amov rdi, [rsp+40]
001f164fjmp 0x1f06c6
001f1654mov rax, [rbx]
001f1657mov [rsp], rax
001f165bmovzx rax, [rax-8]
001f1660test rax, rax
001f1663je 0x1f16ac
001f1665mov ebx, 129
001f166amov rax, r9
001f166dcall Stdlib.Scanf.check_this_char
001f1672mov ebx, 183
001f1677mov rax, [rsp+48]
001f167ccall Stdlib.Scanf.check_this_char
001f1681mov rax, [rsp+32]
001f1686mov rbx, [rax+8]
001f168amov rax, [rsp]
001f168emov rax, [rax]
001f1691mov rax, [rax]
001f1694call camlCamlinternalFormatBasics.concat_fmt_512
001f1699mov rbx, rax
001f169cmov rax, [rsp+48]
001f16a1mov rdi, [rsp+40]
001f16a6jmp 0x1f06c6
001f16abnop
001f16ac
001f16acloc_1f16ac:
001f16acmov ebx, 129
001f16b1mov rax, r9
001f16b4call Stdlib.Scanf.check_this_char
001f16b9mov ebx, 247
001f16bemov rax, [rsp+48]
001f16c3call Stdlib.Scanf.check_this_char
001f16c8mov rax, [rsp+32]
001f16cdmov rbx, [rax+8]
001f16d1mov rax, [rsp]
001f16d5mov rax, [rax]
001f16d8mov rax, [rax]
001f16dbcall camlCamlinternalFormatBasics.concat_fmt_512
001f16e0mov rbx, rax
001f16e3mov rax, [rsp+48]
001f16e8mov rdi, [rsp+40]
001f16edjmp 0x1f06c6
001f16f2nop
001f16f4test dil, 1
001f16f8je 0x1f170c
001f16falea rax, [rip+0x17ca6f]
001f1701add rsp, 56
001f1705jmp 0x195ab0
001f170anop
001f170c
001f170cloc_1f170c:
001f170cmov rbx, [rdi]
001f170fmov rdi, [rbx]
001f1712mov rax, r9
001f1715call rdi
001f1717mov [rsp], rax
001f171bmov rax, [rsp+40]
001f1720mov rdi, [rax+8]
001f1724mov rax, [rsp+32]
001f1729mov rbx, [rax]
001f172cmov rax, [rsp+48]
001f1731call Stdlib.Scanf.make_scanf
001f1736sub r15, 24
001f173acmp r15, [r14]
001f173djb 0x1f1c15
001f1743
001f1743loc_1f1743:
001f1743lea rbx, [r15+8]
001f1747mov [rbx-8], 2048
001f174fmov rdi, [rsp]
001f1753mov [rbx], rdi
001f1756mov [rbx+8], rax
001f175amov rax, rbx
001f175dadd rsp, 56
001f1761ret
001f1762nop
001f1764mov rax, [rbx]
001f1767mov [rsp], rax
001f176bmov rdi, [rbx+16]
001f176fmov [rsp+16], rdi
001f1774test dil, 1
001f1778jne 0x1f191c
001f177emovzx rsi, [rdi-8]
001f1783cmp rsi, 17
001f1787jne 0x1f191c
001f178dmov rax, [rdi]
001f1790cmp rax, 13
001f1794jne 0x1f17a8
001f1796lea rax, [rip+0x17bddb]
001f179dmov rsi, rax
001f17a0mov [rsp+8], rsi
001f17a5jmp 0x1f1817
001f17a7nop
001f17a8
001f17a8loc_1f17a8:
001f17a8call camlCamlinternalFormat.string_of_formatting_lit_763
001f17admov rbx, [rax-8]
001f17b1shr rbx, 10
001f17b5lea rbx, [8*rbx-1]
001f17bdmovzx rdi, [rax+rbx]
001f17c2sub rbx, rdi
001f17c5cmp rbx, 1
001f17c9jbe 0x1f1ce7
001f17cfmovzx rdi, [rax+1]
001f17d4lea rdi, [rdi+rdi+1]
001f17d9mov [rsp+24], rdi
001f17delea rdi, [rbx+rbx-3]
001f17e3mov ebx, 5
001f17e8call Stdlib.Bytes.sub
001f17edsub r15, 24
001f17f1cmp r15, [r14]
001f17f4jb 0x1f1c0b
001f17fa
001f17faloc_1f17fa:
001f17falea rsi, [r15+8]
001f17femov [rsp+8], rsi
001f1803mov [rsi-8], 2048
001f180bmov rbx, [rsp+24]
001f1810mov [rsi], rbx
001f1813mov [rsi+8], rax
001f1817
001f1817loc_1f1817:
001f1817mov rax, [rsp]
001f181btest al, 1
001f181dje 0x1f182c
001f181fmov rdi, 0x7fffffffffffffff
001f1829jmp 0x1f182f
001f182bnop
001f182c
001f182cloc_1f182c:
001f182cmov rdi, [rax]
001f182f
001f182floc_1f182f:
001f182fsub r15, 16
001f1833cmp r15, [r14]
001f1836jb 0x1f1c01
001f183c
001f183cloc_1f183c:
001f183clea rbx, [r15+8]
001f1840mov [rbx-8], 1024
001f1848mov rax, [rsi]
001f184bmov [rbx], rax
001f184emov rax, [rsp+32]
001f1853mov rax, [rax+8]
001f1857lea rsi, [rip+0x17b922]
001f185emov rdx, [rsi+592]
001f1865mov rsi, [rsp+48]
001f186acall Stdlib.Scanf.scan_chars_in_char_set
001f186fmov rax, [rsp+48]
001f1874mov rax, [rax+56]
001f1878mov [rsp], rax
001f187cmov rdi, [rax+8]
001f1880mov rax, [rax]
001f1883mov rax, [rax]
001f1886mov ebx, 1
001f188bcall Stdlib.Bytes.sub
001f1890mov rbx, [rsp]
001f1894mov [rbx+8], 1
001f189cmov rsi, [rsp+48]
001f18a1mov rbx, [rsi+40]
001f18a5add rbx, 2
001f18a9mov [rsi+40], rbx
001f18admov [rsp], rax
001f18b1sub r15, 24
001f18b5cmp r15, [r14]
001f18b8jb 0x1f1bf7
001f18be
001f18beloc_1f18be:
001f18belea rbx, [r15+8]
001f18c2mov [rbx-8], 2059
001f18camov rax, [rsp+8]
001f18cfmov rdi, [rax+8]
001f18d3mov [rbx], rdi
001f18d6mov rax, [rsp+16]
001f18dbmov rdi, [rax+8]
001f18dfmov [rbx+8], rdi
001f18e3mov rax, rsi
001f18e6mov rdi, [rsp+40]
001f18ebcall Stdlib.Scanf.make_scanf
001f18f0sub r15, 24
001f18f4cmp r15, [r14]
001f18f7jb 0x1f1bed
001f18fd
001f18fdloc_1f18fd:
001f18fdlea rbx, [r15+8]
001f1901mov [rbx-8], 2048
001f1909mov rdi, [rsp]
001f190dmov [rbx], rdi
001f1910mov [rbx+8], rax
001f1914mov rax, rbx
001f1917add rsp, 56
001f191bret
001f191c
001f191cloc_1f191c:
001f191ctest al, 1
001f191eje 0x1f192c
001f1920mov rdi, 0x7fffffffffffffff
001f192ajmp 0x1f192f
001f192c
001f192cloc_1f192c:
001f192cmov rdi, [rax]
001f192f
001f192floc_1f192f:
001f192fmov rax, [rbx+8]
001f1933lea rbx, [rip+0x17b846]
001f193amov rdx, [rbx+592]
001f1941mov ebx, 1
001f1946mov rsi, r9
001f1949call Stdlib.Scanf.scan_chars_in_char_set
001f194emov rax, [rsp+48]
001f1953mov rax, [rax+56]
001f1957mov [rsp], rax
001f195bmov rdi, [rax+8]
001f195fmov rax, [rax]
001f1962mov rax, [rax]
001f1965mov ebx, 1
001f196acall Stdlib.Bytes.sub
001f196fmov rbx, [rsp]
001f1973mov [rbx+8], 1
001f197bmov rdi, [rsp+48]
001f1980mov rbx, [rdi+40]
001f1984add rbx, 2
001f1988mov [rdi+40], rbx
001f198cmov [rsp], rax
001f1990mov rax, [rsp+32]
001f1995mov rbx, [rax+16]
001f1999mov rax, rdi
001f199cmov rdi, [rsp+40]
001f19a1call Stdlib.Scanf.make_scanf
001f19a6sub r15, 24
001f19aacmp r15, [r14]
001f19adjb 0x1f1be3
001f19b3
001f19b3loc_1f19b3:
001f19b3lea rbx, [r15+8]
001f19b7mov [rbx-8], 2048
001f19bfmov rdi, [rsp]
001f19c3mov [rbx], rdi
001f19c6mov [rbx+8], rax
001f19camov rax, rbx
001f19cdadd rsp, 56
001f19d1ret
001f19d2nop
001f19d4mov rax, [rbx]
001f19d7sar rax, 1
001f19dacmp rax, 1
001f19deje 0x1f19ec
001f19e0ja 0x1f1a0c
001f19e2mov rax, [r9+32]
001f19e6mov [rsp], rax
001f19eajmp 0x1f1a14
001f19ec
001f19ecloc_1f19ec:
001f19ecmov rax, [r9+16]
001f19f0cmp rax, 1
001f19f4je 0x1f1a00
001f19f6mov rax, [r9+24]
001f19faadd rax, -2
001f19fejmp 0x1f1a04
001f1a00
001f1a00loc_1f1a00:
001f1a00mov rax, [r9+24]
001f1a04
001f1a04loc_1f1a04:
001f1a04mov [rsp], rax
001f1a08jmp 0x1f1a14
001f1a0anop
001f1a0c
001f1a0cloc_1f1a0c:
001f1a0cmov rax, [r9+40]
001f1a10mov [rsp], rax
001f1a14
001f1a14loc_1f1a14:
001f1a14mov rbx, [rbx+8]
001f1a18mov rax, r9
001f1a1bcall Stdlib.Scanf.make_scanf
001f1a20sub r15, 24
001f1a24cmp r15, [r14]
001f1a27jb 0x1f1bd9
001f1a2d
001f1a2dloc_1f1a2d:
001f1a2dlea rbx, [r15+8]
001f1a31mov [rbx-8], 2048
001f1a39mov rdi, [rsp]
001f1a3dmov [rbx], rdi
001f1a40mov [rbx+8], rax
001f1a44mov rax, rbx
001f1a47add rsp, 56
001f1a4bret
001f1a4cmov rax, [r9+16]
001f1a50cmp rax, 1
001f1a54je 0x1f1a60
001f1a56mov rax, [r9+8]
001f1a5ajmp 0x1f1af4
001f1a5fnop
001f1a60
001f1a60loc_1f1a60:
001f1a60lea r11, [rip+81]
001f1a67push r11
001f1a69push [r14+48]
001f1a6dmov [r14+48], rsp
001f1a71mov rbx, [r9+48]
001f1a75mov eax, 1
001f1a7amov rdi, [rbx]
001f1a7dcall rdi
001f1a7fmov r9, [rsp+64]
001f1a84mov [r9+8], rax
001f1a88mov [r9+16], 3
001f1a90mov rbx, [r9+24]
001f1a94add rbx, 2
001f1a98mov [r9+24], rbx
001f1a9ccmp rax, 21
001f1aa0jne 0x1f1aae
001f1aa2mov rbx, [r9+32]
001f1aa6add rbx, 2
001f1aaamov [r9+32], rbx
001f1aae
001f1aaeloc_1f1aae:
001f1aaepop [r14+48]
001f1ab2add rsp, 8
001f1ab6jmp 0x1f1af4
001f1ab8lea rbx, [rip+0x13bb59]
001f1abfmov rbx, [rbx+88]
001f1ac3cmp rax, rbx
001f1ac6jne 0x1f1aec
001f1ac8mov r9, [rsp+48]
001f1acdmov [r9+8], 1
001f1ad5mov [r9+16], 1
001f1addmov [r9], 3
001f1ae4mov eax, 1
001f1ae9jmp 0x1f1af4
001f1aebnop
001f1aec
001f1aecloc_1f1aec:
001f1aeccall caml_reraise_exn
001f1af1nop [rax]
001f1af4
001f1af4loc_1f1af4:
001f1af4mov rbx, [r9]
001f1af7cmp rbx, 1
001f1afbje 0x1f1b10
001f1afdlea rax, [rip+0x13bb14]
001f1b04mov rax, [rax+88]
001f1b08call caml_raise_exn
001f1b0dnop [rax]
001f1b10
001f1b10loc_1f1b10:
001f1b10mov [rsp], rax
001f1b14mov rax, [rsp+32]
001f1b19mov rbx, [rax]
001f1b1cmov rax, r9
001f1b1fmov rdi, [rsp+40]
001f1b24call Stdlib.Scanf.make_scanf
001f1b29sub r15, 24
001f1b2dcmp r15, [r14]
001f1b30jb 0x1f1bcf
001f1b36
001f1b36loc_1f1b36:
001f1b36lea rbx, [r15+8]
001f1b3amov [rbx-8], 2048
001f1b42mov rdi, [rsp]
001f1b46mov [rbx], rdi
001f1b49mov [rbx+8], rax
001f1b4dmov rax, rbx
001f1b50add rsp, 56
001f1b54ret
001f1b55nop [rax]
001f1b58mov rdi, [rbx+8]
001f1b5cmov rax, [rbx]
001f1b5fmov rbx, rdi
001f1b62call camlCamlinternalFormat.param_format_of_ignored_format_495
001f1b67mov rbx, [rax]
001f1b6amov rax, [rsp+48]
001f1b6fmov rdi, [rsp+40]
001f1b74call Stdlib.Scanf.make_scanf
001f1b79test al, 1
001f1b7bje 0x1f1bac
001f1b7dsub r15, 24
001f1b81cmp r15, [r14]
001f1b84jb 0x1f1bc8
001f1b86
001f1b86loc_1f1b86:
001f1b86lea rax, [r15+8]
001f1b8amov [rax-8], 2048
001f1b92lea rbx, [rip+0x8466f]
001f1b99mov [rax], rbx
001f1b9clea rbx, [rip+0x17c5ad]
001f1ba3mov [rax+8], rbx
001f1ba7call caml_raise_exn
001f1bac
001f1bacloc_1f1bac:
001f1bacmov rax, [rax+8]
001f1bb0add rsp, 56
001f1bb4ret
001f1bb5nop [rax]
001f1bb8lea rax, [rip+0x17c559]
001f1bbfadd rsp, 56
001f1bc3jmp 0x195ab0
001f1bc8
001f1bc8loc_1f1bc8:
001f1bc8call caml_call_gc
001f1bcdjmp 0x1f1b86
001f1bcf
001f1bcfloc_1f1bcf:
001f1bcfcall caml_call_gc
001f1bd4jmp 0x1f1b36
001f1bd9
001f1bd9loc_1f1bd9:
001f1bd9call caml_call_gc
001f1bdejmp 0x1f1a2d
001f1be3
001f1be3loc_1f1be3:
001f1be3call caml_call_gc
001f1be8jmp 0x1f19b3
001f1bed
001f1bedloc_1f1bed:
001f1bedcall caml_call_gc
001f1bf2jmp 0x1f18fd
001f1bf7
001f1bf7loc_1f1bf7:
001f1bf7call caml_call_gc
001f1bfcjmp 0x1f18be
001f1c01
001f1c01loc_1f1c01:
001f1c01call caml_call_gc
001f1c06jmp 0x1f183c
001f1c0b
001f1c0bloc_1f1c0b:
001f1c0bcall caml_call_gc
001f1c10jmp 0x1f17fa
001f1c15
001f1c15loc_1f1c15:
001f1c15call caml_call_gc
001f1c1ajmp 0x1f1743
001f1c1f
001f1c1floc_1f1c1f:
001f1c1fcall caml_call_gc
001f1c24jmp 0x1f160b
001f1c29
001f1c29loc_1f1c29:
001f1c29call caml_call_gc
001f1c2ejmp 0x1f1585
001f1c33
001f1c33loc_1f1c33:
001f1c33call caml_call_gc
001f1c38jmp 0x1f152c
001f1c3d
001f1c3dloc_1f1c3d:
001f1c3dcall caml_call_gc
001f1c42jmp 0x1f13e5
001f1c47
001f1c47loc_1f1c47:
001f1c47call caml_call_gc
001f1c4cjmp 0x1f1394
001f1c51
001f1c51loc_1f1c51:
001f1c51call caml_call_gc
001f1c56jmp 0x1f123f
001f1c5b
001f1c5bloc_1f1c5b:
001f1c5bcall caml_call_gc
001f1c60jmp 0x1f11f9
001f1c65
001f1c65loc_1f1c65:
001f1c65call caml_call_gc
001f1c6ajmp 0x1f0fba
001f1c6f
001f1c6floc_1f1c6f:
001f1c6fcall caml_call_gc
001f1c74jmp 0x1f0f81
001f1c79
001f1c79loc_1f1c79:
001f1c79call caml_call_gc
001f1c7ejmp 0x1f0e8e
001f1c83
001f1c83loc_1f1c83:
001f1c83call caml_call_gc
001f1c88jmp 0x1f0e55
001f1c8d
001f1c8dloc_1f1c8d:
001f1c8dcall caml_call_gc
001f1c92jmp 0x1f0d62
001f1c97
001f1c97loc_1f1c97:
001f1c97call caml_call_gc
001f1c9cjmp 0x1f0d29
001f1ca1
001f1ca1loc_1f1ca1:
001f1ca1call caml_call_gc
001f1ca6jmp 0x1f0c36
001f1cab
001f1cabloc_1f1cab:
001f1cabcall caml_call_gc
001f1cb0jmp 0x1f0bfd
001f1cb5
001f1cb5loc_1f1cb5:
001f1cb5call caml_call_gc
001f1cbajmp 0x1f0ac2
001f1cbf
001f1cbfloc_1f1cbf:
001f1cbfcall caml_call_gc
001f1cc4jmp 0x1f0a9a
001f1cc9
001f1cc9loc_1f1cc9:
001f1cc9call caml_call_gc
001f1ccejmp 0x1f0937
001f1cd3
001f1cd3loc_1f1cd3:
001f1cd3call caml_call_gc
001f1cd8jmp 0x1f086d
001f1cdd
001f1cddloc_1f1cdd:
001f1cddcall caml_call_gc
001f1ce2jmp 0x1f06d2
001f1ce7
001f1ce7loc_1f1ce7:
001f1ce7call caml_ml_array_bound_error
001f1cec
001f1cecloc_1f1cec:
001f1ceccall caml_ml_array_bound_error
001f1cf1
001f1cf1loc_1f1cf1:
001f1cf1call caml_ml_array_bound_error
001f1cf6
001f1cf6loc_1f1cf6:
001f1cf6call caml_ml_array_bound_error
001f1cfb
001f1cfbloc_1f1cfb:
001f1cfbpush 42
001f1cfdcall caml_call_realloc_stack
001f1d02pop r10
001f1d04jmp 0x1f06c2
001f06b0