001ecda0
001ecda0Stdlib.Scanf.scan_caml_float_rest:
001ecda0lea r10, [rsp-368]
001ecda8cmp r10, [r14+40]
001ecdacjb 0x1ed156
001ecdb2
001ecdb2loc_1ecdb2:
001ecdb2sub rsp, 32
001ecdb6cmp rax, 1
001ecdbaje 0x1ece7c
001ecdc0mov [rsp+8], rbx
001ecdc5mov [rsp], rax
001ecdc9mov rax, [rdi+16]
001ecdcdcmp rax, 1
001ecdd1jne 0x1ece6c
001ecdd7mov [rsp+24], rdi
001ecddclea r11, [rip+81]
001ecde3push r11
001ecde5push [r14+48]
001ecde9mov [r14+48], rsp
001ecdedmov rbx, [rdi+48]
001ecdf1mov eax, 1
001ecdf6mov rdi, [rbx]
001ecdf9call rdi
001ecdfbmov rdi, [rsp+40]
001ece00mov [rdi+8], rax
001ece04mov [rdi+16], 3
001ece0cmov rbx, [rdi+24]
001ece10add rbx, 2
001ece14mov [rdi+24], rbx
001ece18cmp rax, 21
001ece1cjne 0x1ece2a
001ece1emov rax, [rdi+32]
001ece22add rax, 2
001ece26mov [rdi+32], rax
001ece2a
001ece2aloc_1ece2a:
001ece2apop [r14+48]
001ece2eadd rsp, 8
001ece32jmp 0x1ece6c
001ece34lea rbx, [rip+0x1407dd]
001ece3bmov rbx, [rbx+88]
001ece3fcmp rax, rbx
001ece42jne 0x1ece64
001ece44mov rdi, [rsp+24]
001ece49mov [rdi+8], 1
001ece51mov [rdi+16], 1
001ece59mov [rdi], 3
001ece60jmp 0x1ece6c
001ece62
001ece62 66 90 f.
001ece64
001ece64loc_1ece64:
001ece64call caml_reraise_exn
001ece69nop [rax]
001ece6c
001ece6cloc_1ece6c:
001ece6cmov rax, [rdi]
001ece6fcmp rax, 1
001ece73jne 0x1ece7c
001ece75mov [rsp+24], rdi
001ece7ajmp 0x1eceb4
001ece7c
001ece7cloc_1ece7c:
001ece7csub r15, 24
001ece80cmp r15, [r14]
001ece83jb 0x1ed14c
001ece89
001ece89loc_1ece89:
001ece89lea rax, [r15+8]
001ece8dmov [rax-8], 2048
001ece95lea rbx, [rip+0x1802e4]
001ece9cmov rbx, [rbx+8]
001ecea0mov [rax], rbx
001ecea3lea rbx, [rip+0x180f3e]
001eceaamov [rax+8], rbx
001eceaecall caml_raise_exn
001eceb3nop
001eceb4
001eceb4loc_1eceb4:
001eceb4mov rax, [rsp]
001eceb8mov rbx, rdi
001ecebbcall Stdlib.Scanf.scan_decimal_digit_star
001ecec0cmp rax, 1
001ecec4je 0x1ecf81
001ececamov [rsp], rax
001ececemov rdi, [rsp+24]
001eced3mov rax, [rdi+16]
001eced7cmp rax, 1
001ecedbjne 0x1ecf78
001ecee1mov [rsp+24], rdi
001ecee6lea r11, [rip+83]
001eceedpush r11
001eceefpush [r14+48]
001ecef3mov [r14+48], rsp
001ecef7mov rbx, [rdi+48]
001ecefbmov eax, 1
001ecf00mov rdi, [rbx]
001ecf03call rdi
001ecf05mov rdi, [rsp+40]
001ecf0amov [rdi+8], rax
001ecf0emov [rdi+16], 3
001ecf16mov rbx, [rdi+24]
001ecf1aadd rbx, 2
001ecf1emov [rdi+24], rbx
001ecf22cmp rax, 21
001ecf26jne 0x1ecf34
001ecf28mov rax, [rdi+32]
001ecf2cadd rax, 2
001ecf30mov [rdi+32], rax
001ecf34
001ecf34loc_1ecf34:
001ecf34pop [r14+48]
001ecf38add rsp, 8
001ecf3cjmp 0x1ecf78
001ecf3e
001ecf3e 66 90 f.
001ecf40lea rbx, [rip+0x1406d1]
001ecf47mov rbx, [rbx+88]
001ecf4bcmp rax, rbx
001ecf4ejne 0x1ecf70
001ecf50mov rdi, [rsp+24]
001ecf55mov [rdi+8], 1
001ecf5dmov [rdi+16], 1
001ecf65mov [rdi], 3
001ecf6cjmp 0x1ecf78
001ecf6e
001ecf6e 66 90 f.
001ecf70
001ecf70loc_1ecf70:
001ecf70call caml_reraise_exn
001ecf75nop [rax]
001ecf78
001ecf78loc_1ecf78:
001ecf78mov rax, [rdi]
001ecf7bcmp rax, 1
001ecf7fje 0x1ecfb8
001ecf81
001ecf81loc_1ecf81:
001ecf81sub r15, 24
001ecf85cmp r15, [r14]
001ecf88jb 0x1ed142
001ecf8e
001ecf8eloc_1ecf8e:
001ecf8elea rax, [r15+8]
001ecf92mov [rax-8], 2048
001ecf9alea rbx, [rip+0x1801df]
001ecfa1mov rbx, [rbx+8]
001ecfa5mov [rax], rbx
001ecfa8lea rbx, [rip+0x180e39]
001ecfafmov [rax+8], rbx
001ecfb3call caml_raise_exn
001ecfb8
001ecfb8loc_1ecfb8:
001ecfb8mov rax, [rdi+16]
001ecfbccmp rax, 1
001ecfc0je 0x1ecfcc
001ecfc2mov rbx, [rdi+8]
001ecfc6jmp 0x1ed06b
001ecfcb
001ecfcb 90 .
001ecfcc
001ecfccloc_1ecfcc:
001ecfccmov [rsp+24], rdi
001ecfd1lea r11, [rip+84]
001ecfd8push r11
001ecfdapush [r14+48]
001ecfdemov [r14+48], rsp
001ecfe2mov rbx, [rdi+48]
001ecfe6mov eax, 1
001ecfebmov rdi, [rbx]
001ecfeecall rdi
001ecff0mov rdi, [rsp+40]
001ecff5mov [rdi+8], rax
001ecff9mov [rdi+16], 3
001ed001mov rbx, [rdi+24]
001ed005add rbx, 2
001ed009mov [rdi+24], rbx
001ed00dcmp rax, 21
001ed011jne 0x1ed01f
001ed013mov rbx, [rdi+32]
001ed017add rbx, 2
001ed01bmov [rdi+32], rbx
001ed01f
001ed01floc_1ed01f:
001ed01fpop [r14+48]
001ed023add rsp, 8
001ed027jmp 0x1ed068
001ed029
001ed029 0f 1f 00 ...
001ed02clea rbx, [rip+0x1405e5]
001ed033mov rbx, [rbx+88]
001ed037cmp rax, rbx
001ed03ajne 0x1ed060
001ed03cmov rdi, [rsp+24]
001ed041mov [rdi+8], 1
001ed049mov [rdi+16], 1
001ed051mov [rdi], 3
001ed058mov eax, 1
001ed05djmp 0x1ed068
001ed05f
001ed05f 90 .
001ed060
001ed060loc_1ed060:
001ed060call caml_reraise_exn
001ed065nop [rax]
001ed068
001ed068loc_1ed068:
001ed068mov rbx, rax
001ed06b
001ed06bloc_1ed06b:
001ed06bmov rax, rbx
001ed06eadd rax, -138
001ed074cmp rax, 65
001ed078jbe 0x1ed0ec
001ed07acmp rax, -45
001ed07ejne 0x1ed108
001ed084mov [rsp+24], rdi
001ed089mov rax, [rdi+56]
001ed08dcall Stdlib.Buffer.add_char
001ed092mov rax, [rsp]
001ed096add rax, -2
001ed09amov rbx, [rsp+24]
001ed09fmov [rbx+16], 1
001ed0a7mov [rsp+16], rax
001ed0acmov rdi, [rsp+8]
001ed0b1cmp rax, rdi
001ed0b4jg 0x1ed0bc
001ed0b6mov [rsp], rax
001ed0bajmp 0x1ed0c3
001ed0bc
001ed0bcloc_1ed0bc:
001ed0bcmov rax, rdi
001ed0bfmov [rsp], rax
001ed0c3
001ed0c3loc_1ed0c3:
001ed0c3call Stdlib.Scanf.scan_fractional_part
001ed0c8mov rbx, [rsp]
001ed0ccsub rbx, rax
001ed0cfinc rbx
001ed0d2mov rax, [rsp+16]
001ed0d7sub rax, rbx
001ed0dainc rax
001ed0ddmov rbx, [rsp+24]
001ed0e2add rsp, 32
001ed0e6jmp 0x1eb7c0
001ed0eb
001ed0eb 90 .
001ed0ec
001ed0ecloc_1ed0ec:
001ed0ecadd rax, -2
001ed0f0cmp rax, 61
001ed0f4jbe 0x1ed108
001ed0f6mov rax, [rsp]
001ed0famov rbx, rdi
001ed0fdadd rsp, 32
001ed101jmp 0x1eb7c0
001ed106
001ed106 66 90 f.
001ed108
001ed108loc_1ed108:
001ed108sub r15, 24
001ed10ccmp r15, [r14]
001ed10fjb 0x1ed13b
001ed111
001ed111loc_1ed111:
001ed111lea rax, [r15+8]
001ed115mov [rax-8], 2048
001ed11dlea rbx, [rip+0x18005c]
001ed124mov rbx, [rbx+8]
001ed128mov [rax], rbx
001ed12blea rbx, [rip+0x180cb6]
001ed132mov [rax+8], rbx
001ed136call caml_raise_exn
001ed13b
001ed13bloc_1ed13b:
001ed13bcall caml_call_gc
001ed140jmp 0x1ed111
001ed142
001ed142loc_1ed142:
001ed142call caml_call_gc
001ed147jmp 0x1ecf8e
001ed14c
001ed14cloc_1ed14c:
001ed14ccall caml_call_gc
001ed151jmp 0x1ece89
001ed156
001ed156loc_1ed156:
001ed156push 39
001ed158call caml_call_realloc_stack
001ed15dpop r10
001ed15fjmp 0x1ecdb2
001ecda0

001ed164
001ed164 // align 0x10

001ed170
001ed170Stdlib.Scanf.scan_caml_float:
001ed170lea r10, [rsp-368]
001ed178cmp r10, [r14+40]
001ed17cjb 0x1edfd6
001ed182
001ed182loc_1ed182:
001ed182sub rsp, 32
001ed186cmp rax, 1
001ed18aje 0x1ed24c
001ed190mov [rsp+16], rbx
001ed195mov [rsp], rax
001ed199mov rax, [rdi+16]
001ed19dcmp rax, 1
001ed1a1jne 0x1ed23c
001ed1a7mov [rsp+24], rdi
001ed1aclea r11, [rip+81]
001ed1b3push r11
001ed1b5push [r14+48]
001ed1b9mov [r14+48], rsp
001ed1bdmov rbx, [rdi+48]
001ed1c1mov eax, 1
001ed1c6mov rdi, [rbx]
001ed1c9call rdi
001ed1cbmov rdi, [rsp+40]
001ed1d0mov [rdi+8], rax
001ed1d4mov [rdi+16], 3
001ed1dcmov rbx, [rdi+24]
001ed1e0add rbx, 2
001ed1e4mov [rdi+24], rbx
001ed1e8cmp rax, 21
001ed1ecjne 0x1ed1fa
001ed1eemov rax, [rdi+32]
001ed1f2add rax, 2
001ed1f6mov [rdi+32], rax
001ed1fa
001ed1faloc_1ed1fa:
001ed1fapop [r14+48]
001ed1feadd rsp, 8
001ed202jmp 0x1ed23c
001ed204lea rbx, [rip+0x14040d]
001ed20bmov rbx, [rbx+88]
001ed20fcmp rax, rbx
001ed212jne 0x1ed234
001ed214mov rdi, [rsp+24]
001ed219mov [rdi+8], 1
001ed221mov [rdi+16], 1
001ed229mov [rdi], 3
001ed230jmp 0x1ed23c
001ed232
001ed232 66 90 f.
001ed234
001ed234loc_1ed234:
001ed234call caml_reraise_exn
001ed239nop [rax]
001ed23c
001ed23cloc_1ed23c:
001ed23cmov rax, [rdi]
001ed23fcmp rax, 1
001ed243jne 0x1ed24c
001ed245mov [rsp+24], rdi
001ed24ajmp 0x1ed284
001ed24c
001ed24cloc_1ed24c:
001ed24csub r15, 24
001ed250cmp r15, [r14]
001ed253jb 0x1edfcc
001ed259
001ed259loc_1ed259:
001ed259lea rax, [r15+8]
001ed25dmov [rax-8], 2048
001ed265lea rbx, [rip+0x17ff14]
001ed26cmov rbx, [rbx+8]
001ed270mov [rax], rbx
001ed273lea rbx, [rip+0x180b6e]
001ed27amov [rax+8], rbx
001ed27ecall caml_raise_exn
001ed283nop
001ed284
001ed284loc_1ed284:
001ed284mov rax, [rsp]
001ed288mov rbx, rdi
001ed28bcall Stdlib.Scanf.scan_sign
001ed290cmp rax, 1
001ed294je 0x1ed351
001ed29amov [rsp], rax
001ed29emov rdi, [rsp+24]
001ed2a3mov rax, [rdi+16]
001ed2a7cmp rax, 1
001ed2abjne 0x1ed348
001ed2b1mov [rsp+24], rdi
001ed2b6lea r11, [rip+83]
001ed2bdpush r11
001ed2bfpush [r14+48]
001ed2c3mov [r14+48], rsp
001ed2c7mov rbx, [rdi+48]
001ed2cbmov eax, 1
001ed2d0mov rdi, [rbx]
001ed2d3call rdi
001ed2d5mov rdi, [rsp+40]
001ed2damov [rdi+8], rax
001ed2demov [rdi+16], 3
001ed2e6mov rbx, [rdi+24]
001ed2eaadd rbx, 2
001ed2eemov [rdi+24], rbx
001ed2f2cmp rax, 21
001ed2f6jne 0x1ed304
001ed2f8mov rax, [rdi+32]
001ed2fcadd rax, 2
001ed300mov [rdi+32], rax
001ed304
001ed304loc_1ed304:
001ed304pop [r14+48]
001ed308add rsp, 8
001ed30cjmp 0x1ed348
001ed30e
001ed30e 66 90 f.
001ed310lea rbx, [rip+0x140301]
001ed317mov rbx, [rbx+88]
001ed31bcmp rax, rbx
001ed31ejne 0x1ed340
001ed320mov rdi, [rsp+24]
001ed325mov [rdi+8], 1
001ed32dmov [rdi+16], 1
001ed335mov [rdi], 3
001ed33cjmp 0x1ed348
001ed33e
001ed33e 66 90 f.
001ed340
001ed340loc_1ed340:
001ed340call caml_reraise_exn
001ed345nop [rax]
001ed348
001ed348loc_1ed348:
001ed348mov rax, [rdi]
001ed34bcmp rax, 1
001ed34fje 0x1ed388
001ed351
001ed351loc_1ed351:
001ed351sub r15, 24
001ed355cmp r15, [r14]
001ed358jb 0x1edfc2
001ed35e
001ed35eloc_1ed35e:
001ed35elea rax, [r15+8]
001ed362mov [rax-8], 2048
001ed36alea rbx, [rip+0x17fe0f]
001ed371mov rbx, [rbx+8]
001ed375mov [rax], rbx
001ed378lea rbx, [rip+0x180a69]
001ed37fmov [rax+8], rbx
001ed383call caml_raise_exn
001ed388
001ed388loc_1ed388:
001ed388mov rax, [rdi+16]
001ed38ccmp rax, 1
001ed390je 0x1ed39c
001ed392mov rbx, [rdi+8]
001ed396jmp 0x1ed43b
001ed39b
001ed39b 90 .
001ed39c
001ed39cloc_1ed39c:
001ed39cmov [rsp+24], rdi
001ed3a1lea r11, [rip+84]
001ed3a8push r11
001ed3aapush [r14+48]
001ed3aemov [r14+48], rsp
001ed3b2mov rbx, [rdi+48]
001ed3b6mov eax, 1
001ed3bbmov rdi, [rbx]
001ed3becall rdi
001ed3c0mov rdi, [rsp+40]
001ed3c5mov [rdi+8], rax
001ed3c9mov [rdi+16], 3
001ed3d1mov rbx, [rdi+24]
001ed3d5add rbx, 2
001ed3d9mov [rdi+24], rbx
001ed3ddcmp rax, 21
001ed3e1jne 0x1ed3ef
001ed3e3mov rbx, [rdi+32]
001ed3e7add rbx, 2
001ed3ebmov [rdi+32], rbx
001ed3ef
001ed3efloc_1ed3ef:
001ed3efpop [r14+48]
001ed3f3add rsp, 8
001ed3f7jmp 0x1ed438
001ed3f9
001ed3f9 0f 1f 00 ...
001ed3fclea rbx, [rip+0x140215]
001ed403mov rbx, [rbx+88]
001ed407cmp rax, rbx
001ed40ajne 0x1ed430
001ed40cmov rdi, [rsp+24]
001ed411mov [rdi+8], 1
001ed419mov [rdi+16], 1
001ed421mov [rdi], 3
001ed428mov eax, 1
001ed42djmp 0x1ed438
001ed42f
001ed42f 90 .
001ed430
001ed430loc_1ed430:
001ed430call caml_reraise_exn
001ed435nop [rax]
001ed438
001ed438loc_1ed438:
001ed438mov rbx, rax
001ed43b
001ed43bloc_1ed43b:
001ed43bcmp rbx, 99
001ed43fjl 0x1ed578
001ed445cmp rbx, 117
001ed449jge 0x1edf4c
001ed44fmov [rsp+24], rdi
001ed454mov rax, [rdi+56]
001ed458call Stdlib.Buffer.add_char
001ed45dmov rax, [rsp]
001ed461add rax, -2
001ed465mov rdi, [rsp+24]
001ed46amov [rdi+16], 1
001ed472cmp rax, 1
001ed476je 0x1ed52d
001ed47cmov [rsp], rax
001ed480mov rax, [rdi+16]
001ed484cmp rax, 1
001ed488jne 0x1ed524
001ed48emov [rsp+24], rdi
001ed493lea r11, [rip+82]
001ed49apush r11
001ed49cpush [r14+48]
001ed4a0mov [r14+48], rsp
001ed4a4mov rbx, [rdi+48]
001ed4a8mov eax, 1
001ed4admov rdi, [rbx]
001ed4b0call rdi
001ed4b2mov rdi, [rsp+40]
001ed4b7mov [rdi+8], rax
001ed4bbmov [rdi+16], 3
001ed4c3mov rbx, [rdi+24]
001ed4c7add rbx, 2
001ed4cbmov [rdi+24], rbx
001ed4cfcmp rax, 21
001ed4d3jne 0x1ed4e1
001ed4d5mov rax, [rdi+32]
001ed4d9add rax, 2
001ed4ddmov [rdi+32], rax
001ed4e1
001ed4e1loc_1ed4e1:
001ed4e1pop [r14+48]
001ed4e5add rsp, 8
001ed4e9jmp 0x1ed524
001ed4eb
001ed4eb 90 .
001ed4eclea rbx, [rip+0x140125]
001ed4f3mov rbx, [rbx+88]
001ed4f7cmp rax, rbx
001ed4fajne 0x1ed51c
001ed4fcmov rdi, [rsp+24]
001ed501mov [rdi+8], 1
001ed509mov [rdi+16], 1
001ed511mov [rdi], 3
001ed518jmp 0x1ed524
001ed51a
001ed51a 66 90 f.
001ed51c
001ed51cloc_1ed51c:
001ed51ccall caml_reraise_exn
001ed521nop [rax]
001ed524
001ed524loc_1ed524:
001ed524mov rax, [rdi]
001ed527cmp rax, 1
001ed52bje 0x1ed564
001ed52d
001ed52dloc_1ed52d:
001ed52dsub r15, 24
001ed531cmp r15, [r14]
001ed534jb 0x1edfb8
001ed53a
001ed53aloc_1ed53a:
001ed53alea rax, [r15+8]
001ed53emov [rax-8], 2048
001ed546lea rbx, [rip+0x17fc33]
001ed54dmov rbx, [rbx+8]
001ed551mov [rax], rbx
001ed554lea rbx, [rip+0x18088d]
001ed55bmov [rax+8], rbx
001ed55fcall caml_raise_exn
001ed564
001ed564loc_1ed564:
001ed564mov rax, [rsp]
001ed568mov rbx, [rsp+16]
001ed56dadd rsp, 32
001ed571jmp 0x1ecda0
001ed576
001ed576 66 90 f.
001ed578
001ed578loc_1ed578:
001ed578cmp rbx, 97
001ed57cjl 0x1edf4c
001ed582mov [rsp+24], rdi
001ed587mov rax, [rdi+56]
001ed58bcall Stdlib.Buffer.add_char
001ed590mov rax, [rsp]
001ed594add rax, -2
001ed598mov rdi, [rsp+24]
001ed59dmov [rdi+16], 1
001ed5a5cmp rax, 1
001ed5a9je 0x1ed661
001ed5afmov [rsp], rax
001ed5b3mov rax, [rdi+16]
001ed5b7cmp rax, 1
001ed5bbjne 0x1ed658
001ed5c1mov [rsp+24], rdi
001ed5c6lea r11, [rip+83]
001ed5cdpush r11
001ed5cfpush [r14+48]
001ed5d3mov [r14+48], rsp
001ed5d7mov rbx, [rdi+48]
001ed5dbmov eax, 1
001ed5e0mov rdi, [rbx]
001ed5e3call rdi
001ed5e5mov rdi, [rsp+40]
001ed5eamov [rdi+8], rax
001ed5eemov [rdi+16], 3
001ed5f6mov rbx, [rdi+24]
001ed5faadd rbx, 2
001ed5femov [rdi+24], rbx
001ed602cmp rax, 21
001ed606jne 0x1ed614
001ed608mov rax, [rdi+32]
001ed60cadd rax, 2
001ed610mov [rdi+32], rax
001ed614
001ed614loc_1ed614:
001ed614pop [r14+48]
001ed618add rsp, 8
001ed61cjmp 0x1ed658
001ed61e
001ed61e 66 90 f.
001ed620lea rbx, [rip+0x13fff1]
001ed627mov rbx, [rbx+88]
001ed62bcmp rax, rbx
001ed62ejne 0x1ed650
001ed630mov rdi, [rsp+24]
001ed635mov [rdi+8], 1
001ed63dmov [rdi+16], 1
001ed645mov [rdi], 3
001ed64cjmp 0x1ed658
001ed64e
001ed64e 66 90 f.
001ed650
001ed650loc_1ed650:
001ed650call caml_reraise_exn
001ed655nop [rax]
001ed658
001ed658loc_1ed658:
001ed658mov rax, [rdi]
001ed65bcmp rax, 1
001ed65fje 0x1ed698
001ed661
001ed661loc_1ed661:
001ed661sub r15, 24
001ed665cmp r15, [r14]
001ed668jb 0x1edfae
001ed66e
001ed66eloc_1ed66e:
001ed66elea rax, [r15+8]
001ed672mov [rax-8], 2048
001ed67alea rbx, [rip+0x17faff]
001ed681mov rbx, [rbx+8]
001ed685mov [rax], rbx
001ed688lea rbx, [rip+0x180759]
001ed68fmov [rax+8], rbx
001ed693call caml_raise_exn
001ed698
001ed698loc_1ed698:
001ed698mov rax, [rdi+16]
001ed69ccmp rax, 1
001ed6a0je 0x1ed6ac
001ed6a2mov rbx, [rdi+8]
001ed6a6jmp 0x1ed74b
001ed6ab
001ed6ab 90 .
001ed6ac
001ed6acloc_1ed6ac:
001ed6acmov [rsp+24], rdi
001ed6b1lea r11, [rip+84]
001ed6b8push r11
001ed6bapush [r14+48]
001ed6bemov [r14+48], rsp
001ed6c2mov rbx, [rdi+48]
001ed6c6mov eax, 1
001ed6cbmov rdi, [rbx]
001ed6cecall rdi
001ed6d0mov rdi, [rsp+40]
001ed6d5mov [rdi+8], rax
001ed6d9mov [rdi+16], 3
001ed6e1mov rbx, [rdi+24]
001ed6e5add rbx, 2
001ed6e9mov [rdi+24], rbx
001ed6edcmp rax, 21
001ed6f1jne 0x1ed6ff
001ed6f3mov rbx, [rdi+32]
001ed6f7add rbx, 2
001ed6fbmov [rdi+32], rbx
001ed6ff
001ed6ffloc_1ed6ff:
001ed6ffpop [r14+48]
001ed703add rsp, 8
001ed707jmp 0x1ed748
001ed709
001ed709 0f 1f 00 ...
001ed70clea rbx, [rip+0x13ff05]
001ed713mov rbx, [rbx+88]
001ed717cmp rax, rbx
001ed71ajne 0x1ed740
001ed71cmov rdi, [rsp+24]
001ed721mov [rdi+8], 1
001ed729mov [rdi+16], 1
001ed731mov [rdi], 3
001ed738mov eax, 1
001ed73djmp 0x1ed748
001ed73f
001ed73f 90 .
001ed740
001ed740loc_1ed740:
001ed740call caml_reraise_exn
001ed745nop [rax]
001ed748
001ed748loc_1ed748:
001ed748mov rbx, rax
001ed74b
001ed74bloc_1ed74b:
001ed74bcmp rbx, 177
001ed752je 0x1ed778
001ed754cmp rbx, 241
001ed75bje 0x1ed770
001ed75dmov rax, [rsp]
001ed761mov rbx, [rsp+16]
001ed766add rsp, 32
001ed76ajmp 0x1ecda0
001ed76f
001ed76f 90 .
001ed770
001ed770loc_1ed770:
001ed770mov [rsp+24], rdi
001ed775jmp 0x1ed77d
001ed777
001ed777 90 .
001ed778
001ed778loc_1ed778:
001ed778mov [rsp+24], rdi
001ed77d
001ed77dloc_1ed77d:
001ed77dmov rax, [rdi+56]
001ed781call Stdlib.Buffer.add_char
001ed786mov rax, [rsp]
001ed78aadd rax, -2
001ed78emov rsi, [rsp+24]
001ed793mov [rsi+16], 1
001ed79bmov [rsp], rax
001ed79fcmp rax, 1
001ed7a3je 0x1ed851
001ed7a9mov rax, [rsi+16]
001ed7adcmp rax, 1
001ed7b1jne 0x1ed848
001ed7b7lea r11, [rip+82]
001ed7bepush r11
001ed7c0push [r14+48]
001ed7c4mov [r14+48], rsp
001ed7c8mov rbx, [rsi+48]
001ed7ccmov eax, 1
001ed7d1mov rdi, [rbx]
001ed7d4call rdi
001ed7d6mov rsi, [rsp+40]
001ed7dbmov [rsi+8], rax
001ed7dfmov [rsi+16], 3
001ed7e7mov rbx, [rsi+24]
001ed7ebadd rbx, 2
001ed7efmov [rsi+24], rbx
001ed7f3cmp rax, 21
001ed7f7jne 0x1ed805
001ed7f9mov rax, [rsi+32]
001ed7fdadd rax, 2
001ed801mov [rsi+32], rax
001ed805
001ed805loc_1ed805:
001ed805pop [r14+48]
001ed809add rsp, 8
001ed80djmp 0x1ed848
001ed80f
001ed80f 90 .
001ed810lea rbx, [rip+0x13fe01]
001ed817mov rbx, [rbx+88]
001ed81bcmp rax, rbx
001ed81ejne 0x1ed840
001ed820mov rsi, [rsp+24]
001ed825mov [rsi+8], 1
001ed82dmov [rsi+16], 1
001ed835mov [rsi], 3
001ed83cjmp 0x1ed848
001ed83e
001ed83e 66 90 f.
001ed840
001ed840loc_1ed840:
001ed840call caml_reraise_exn
001ed845nop [rax]
001ed848
001ed848loc_1ed848:
001ed848mov rax, [rsi]
001ed84bcmp rax, 1
001ed84fje 0x1ed888
001ed851
001ed851loc_1ed851:
001ed851sub r15, 24
001ed855cmp r15, [r14]
001ed858jb 0x1edfa4
001ed85e
001ed85eloc_1ed85e:
001ed85elea rax, [r15+8]
001ed862mov [rax-8], 2048
001ed86alea rbx, [rip+0x17f90f]
001ed871mov rbx, [rbx+8]
001ed875mov [rax], rbx
001ed878lea rbx, [rip+0x180569]
001ed87fmov [rax+8], rbx
001ed883call caml_raise_exn
001ed888
001ed888loc_1ed888:
001ed888lea rax, [rip+0x17f8f1]
001ed88fmov rax, [rax+360]
001ed896mov rbx, [rax+32]
001ed89amov rax, [rax+24]
001ed89emov rdi, [rsp]
001ed8a2call Stdlib.Scanf.scan_digit_plus
001ed8a7mov [rsp], rax
001ed8abcmp rax, 1
001ed8afje 0x1ed961
001ed8b5mov rdi, [rsp+24]
001ed8bamov rax, [rdi+16]
001ed8becmp rax, 1
001ed8c2jne 0x1ed958
001ed8c8lea r11, [rip+81]
001ed8cfpush r11
001ed8d1push [r14+48]
001ed8d5mov [r14+48], rsp
001ed8d9mov rbx, [rdi+48]
001ed8ddmov eax, 1
001ed8e2mov rdi, [rbx]
001ed8e5call rdi
001ed8e7mov rdi, [rsp+40]
001ed8ecmov [rdi+8], rax
001ed8f0mov [rdi+16], 3
001ed8f8mov rbx, [rdi+24]
001ed8fcadd rbx, 2
001ed900mov [rdi+24], rbx
001ed904cmp rax, 21
001ed908jne 0x1ed916
001ed90amov rax, [rdi+32]
001ed90eadd rax, 2
001ed912mov [rdi+32], rax
001ed916
001ed916loc_1ed916:
001ed916pop [r14+48]
001ed91aadd rsp, 8
001ed91ejmp 0x1ed958
001ed920lea rbx, [rip+0x13fcf1]
001ed927mov rbx, [rbx+88]
001ed92bcmp rax, rbx
001ed92ejne 0x1ed950
001ed930mov rdi, [rsp+24]
001ed935mov [rdi+8], 1
001ed93dmov [rdi+16], 1
001ed945mov [rdi], 3
001ed94cjmp 0x1ed958
001ed94e
001ed94e 66 90 f.
001ed950
001ed950loc_1ed950:
001ed950call caml_reraise_exn
001ed955nop [rax]
001ed958
001ed958loc_1ed958:
001ed958mov rax, [rdi]
001ed95bcmp rax, 1
001ed95fje 0x1ed998
001ed961
001ed961loc_1ed961:
001ed961sub r15, 24
001ed965cmp r15, [r14]
001ed968jb 0x1edf9a
001ed96e
001ed96eloc_1ed96e:
001ed96elea rax, [r15+8]
001ed972mov [rax-8], 2048
001ed97alea rbx, [rip+0x17f7ff]
001ed981mov rbx, [rbx+8]
001ed985mov [rax], rbx
001ed988lea rbx, [rip+0x180459]
001ed98fmov [rax+8], rbx
001ed993call caml_raise_exn
001ed998
001ed998loc_1ed998:
001ed998mov rax, [rdi+16]
001ed99ccmp rax, 1
001ed9a0je 0x1ed9ac
001ed9a2mov rbx, [rdi+8]
001ed9a6jmp 0x1eda43
001ed9ab
001ed9ab 90 .
001ed9ac
001ed9acloc_1ed9ac:
001ed9aclea r11, [rip+81]
001ed9b3push r11
001ed9b5push [r14+48]
001ed9b9mov [r14+48], rsp
001ed9bdmov rbx, [rdi+48]
001ed9c1mov eax, 1
001ed9c6mov rdi, [rbx]
001ed9c9call rdi
001ed9cbmov rdi, [rsp+40]
001ed9d0mov [rdi+8], rax
001ed9d4mov [rdi+16], 3
001ed9dcmov rbx, [rdi+24]
001ed9e0add rbx, 2
001ed9e4mov [rdi+24], rbx
001ed9e8cmp rax, 21
001ed9ecjne 0x1ed9fa
001ed9eemov rbx, [rdi+32]
001ed9f2add rbx, 2
001ed9f6mov [rdi+32], rbx
001ed9fa
001ed9faloc_1ed9fa:
001ed9fapop [r14+48]
001ed9feadd rsp, 8
001eda02jmp 0x1eda40
001eda04lea rbx, [rip+0x13fc0d]
001eda0bmov rbx, [rbx+88]
001eda0fcmp rax, rbx
001eda12jne 0x1eda38
001eda14mov rdi, [rsp+24]
001eda19mov [rdi+8], 1
001eda21mov [rdi+16], 1
001eda29mov [rdi], 3
001eda30mov eax, 1
001eda35jmp 0x1eda40
001eda37
001eda37 90 .
001eda38
001eda38loc_1eda38:
001eda38call caml_reraise_exn
001eda3dnop [rax]
001eda40
001eda40loc_1eda40:
001eda40mov rbx, rax
001eda43
001eda43loc_1eda43:
001eda43mov rax, rbx
001eda46add rax, -160
001eda4ccmp rax, 65
001eda50jbe 0x1edc4c
001eda56cmp rax, -67
001eda5ajne 0x1edc60
001eda60mov rax, [rdi+56]
001eda64call Stdlib.Buffer.add_char
001eda69mov rax, [rsp]
001eda6dadd rax, -2
001eda71mov rsi, [rsp+24]
001eda76mov [rsi+16], 1
001eda7emov [rsp+8], rax
001eda83cmp rax, 1
001eda87je 0x1edc44
001eda8dmov rax, [rsi+16]
001eda91cmp rax, 1
001eda95jne 0x1edb2c
001eda9blea r11, [rip+82]
001edaa2push r11
001edaa4push [r14+48]
001edaa8mov [r14+48], rsp
001edaacmov rbx, [rsi+48]
001edab0mov eax, 1
001edab5mov rdi, [rbx]
001edab8call rdi
001edabamov rsi, [rsp+40]
001edabfmov [rsi+8], rax
001edac3mov [rsi+16], 3
001edacbmov rbx, [rsi+24]
001edacfadd rbx, 2
001edad3mov [rsi+24], rbx
001edad7cmp rax, 21
001edadbjne 0x1edae9
001edaddmov rax, [rsi+32]
001edae1add rax, 2
001edae5mov [rsi+32], rax
001edae9
001edae9loc_1edae9:
001edae9pop [r14+48]
001edaedadd rsp, 8
001edaf1jmp 0x1edb2c
001edaf3
001edaf3 90 .
001edaf4lea rbx, [rip+0x13fb1d]
001edafbmov rbx, [rbx+88]
001edaffcmp rax, rbx
001edb02jne 0x1edb24
001edb04mov rsi, [rsp+24]
001edb09mov [rsi+8], 1
001edb11mov [rsi+16], 1
001edb19mov [rsi], 3
001edb20jmp 0x1edb2c
001edb22
001edb22 66 90 f.
001edb24
001edb24loc_1edb24:
001edb24call caml_reraise_exn
001edb29nop [rax]
001edb2c
001edb2cloc_1edb2c:
001edb2cmov rax, [rsi]
001edb2fcmp rax, 1
001edb33jne 0x1edc44
001edb39mov rax, [rsi+16]
001edb3dcmp rax, 1
001edb41je 0x1edb4c
001edb43mov rax, [rsi+8]
001edb47jmp 0x1edbe0
001edb4c
001edb4cloc_1edb4c:
001edb4clea r11, [rip+81]
001edb53push r11
001edb55push [r14+48]
001edb59mov [r14+48], rsp
001edb5dmov rbx, [rsi+48]
001edb61mov eax, 1
001edb66mov rdi, [rbx]
001edb69call rdi
001edb6bmov rsi, [rsp+40]
001edb70mov [rsi+8], rax
001edb74mov [rsi+16], 3
001edb7cmov rbx, [rsi+24]
001edb80add rbx, 2
001edb84mov [rsi+24], rbx
001edb88cmp rax, 21
001edb8cjne 0x1edb9a
001edb8emov rbx, [rsi+32]
001edb92add rbx, 2
001edb96mov [rsi+32], rbx
001edb9a
001edb9aloc_1edb9a:
001edb9apop [r14+48]
001edb9eadd rsp, 8
001edba2jmp 0x1edbe0
001edba4lea rbx, [rip+0x13fa6d]
001edbabmov rbx, [rbx+88]
001edbafcmp rax, rbx
001edbb2jne 0x1edbd8
001edbb4mov rsi, [rsp+24]
001edbb9mov [rsi+8], 1
001edbc1mov [rsi+16], 1
001edbc9mov [rsi], 3
001edbd0mov eax, 1
001edbd5jmp 0x1edbe0
001edbd7
001edbd7 90 .
001edbd8
001edbd8loc_1edbd8:
001edbd8call caml_reraise_exn
001edbddnop [rax]
001edbe0
001edbe0loc_1edbe0:
001edbe0cmp rax, 161
001edbe6je 0x1edc3c
001edbe8cmp rax, 225
001edbeeje 0x1edc3c
001edbf0mov rdi, [rsp+8]
001edbf5mov rax, [rsp+16]
001edbfacmp rdi, rax
001edbfdjg 0x1edc08
001edbffmov [rsp], rdi
001edc03jmp 0x1edc0f
001edc05
001edc05 0f 1f 00 ...
001edc08
001edc08loc_1edc08:
001edc08mov rdi, rax
001edc0bmov [rsp], rdi
001edc0f
001edc0floc_1edc0f:
001edc0flea rax, [rip+0x17f56a]
001edc16mov rax, [rax+360]
001edc1dmov rbx, [rax+32]
001edc21mov rax, [rax+24]
001edc25call Stdlib.Scanf.scan_digit_plus
001edc2amov rbx, [rsp]
001edc2esub rbx, rax
001edc31mov rax, [rsp+8]
001edc36sub rax, rbx
001edc39jmp 0x1edc5a
001edc3b
001edc3b 90 .
001edc3c
001edc3cloc_1edc3c:
001edc3cmov rax, [rsp+8]
001edc41jmp 0x1edc5a
001edc43
001edc43 90 .
001edc44
001edc44loc_1edc44:
001edc44mov rax, [rsp+8]
001edc49jmp 0x1edc5a
001edc4b
001edc4b 90 .
001edc4c
001edc4cloc_1edc4c:
001edc4cadd rax, -2
001edc50cmp rax, 61
001edc54jbe 0x1edc60
001edc56mov rax, [rsp]
001edc5a
001edc5aloc_1edc5a:
001edc5amov [rsp], rax
001edc5ejmp 0x1edc98
001edc60
001edc60loc_1edc60:
001edc60sub r15, 24
001edc64cmp r15, [r14]
001edc67jb 0x1edf90
001edc6d
001edc6dloc_1edc6d:
001edc6dlea rax, [r15+8]
001edc71mov [rax-8], 2048
001edc79lea rbx, [rip+0x17f500]
001edc80mov rbx, [rbx+8]
001edc84mov [rax], rbx
001edc87lea rbx, [rip+0x18015a]
001edc8emov [rax+8], rbx
001edc92call caml_raise_exn
001edc97nop
001edc98
001edc98loc_1edc98:
001edc98cmp rax, 1
001edc9cje 0x1edf40
001edca2mov rdi, [rsp+24]
001edca7mov rax, [rdi+16]
001edcabcmp rax, 1
001edcafjne 0x1edd48
001edcb5lea r11, [rip+84]
001edcbcpush r11
001edcbepush [r14+48]
001edcc2mov [r14+48], rsp
001edcc6mov rbx, [rdi+48]
001edccamov eax, 1
001edccfmov rdi, [rbx]
001edcd2call rdi
001edcd4mov rdi, [rsp+40]
001edcd9mov [rdi+8], rax
001edcddmov [rdi+16], 3
001edce5mov rbx, [rdi+24]
001edce9add rbx, 2
001edcedmov [rdi+24], rbx
001edcf1cmp rax, 21
001edcf5jne 0x1edd03
001edcf7mov rax, [rdi+32]
001edcfbadd rax, 2
001edcffmov [rdi+32], rax
001edd03
001edd03loc_1edd03:
001edd03pop [r14+48]
001edd07add rsp, 8
001edd0bjmp 0x1edd48
001edd0d
001edd0d 0f 1f 00 ...
001edd10lea rbx, [rip+0x13f901]
001edd17mov rbx, [rbx+88]
001edd1bcmp rax, rbx
001edd1ejne 0x1edd40
001edd20mov rdi, [rsp+24]
001edd25mov [rdi+8], 1
001edd2dmov [rdi+16], 1
001edd35mov [rdi], 3
001edd3cjmp 0x1edd48
001edd3e
001edd3e 66 90 f.
001edd40
001edd40loc_1edd40:
001edd40call caml_reraise_exn
001edd45nop [rax]
001edd48
001edd48loc_1edd48:
001edd48mov rax, [rdi]
001edd4bcmp rax, 1
001edd4fjne 0x1edf40
001edd55mov rax, [rdi+16]
001edd59cmp rax, 1
001edd5dje 0x1edd68
001edd5fmov rbx, [rdi+8]
001edd63jmp 0x1eddff
001edd68
001edd68loc_1edd68:
001edd68lea r11, [rip+81]
001edd6fpush r11
001edd71push [r14+48]
001edd75mov [r14+48], rsp
001edd79mov rbx, [rdi+48]
001edd7dmov eax, 1
001edd82mov rdi, [rbx]
001edd85call rdi
001edd87mov rdi, [rsp+40]
001edd8cmov [rdi+8], rax
001edd90mov [rdi+16], 3
001edd98mov rbx, [rdi+24]
001edd9cadd rbx, 2
001edda0mov [rdi+24], rbx
001edda4cmp rax, 21
001edda8jne 0x1eddb6
001eddaamov rbx, [rdi+32]
001eddaeadd rbx, 2
001eddb2mov [rdi+32], rbx
001eddb6
001eddb6loc_1eddb6:
001eddb6pop [r14+48]
001eddbaadd rsp, 8
001eddbejmp 0x1eddfc
001eddc0lea rbx, [rip+0x13f851]
001eddc7mov rbx, [rbx+88]
001eddcbcmp rax, rbx
001eddcejne 0x1eddf4
001eddd0mov rdi, [rsp+24]
001eddd5mov [rdi+8], 1
001eddddmov [rdi+16], 1
001edde5mov [rdi], 3
001eddecmov eax, 1
001eddf1jmp 0x1eddfc
001eddf3
001eddf3 90 .
001eddf4
001eddf4loc_1eddf4:
001eddf4call caml_reraise_exn
001eddf9nop [rax]
001eddfc
001eddfcloc_1eddfc:
001eddfcmov rbx, rax
001eddff
001eddffloc_1eddff:
001eddffcmp rbx, 161
001ede06je 0x1ede1c
001ede08cmp rbx, 225
001ede0fje 0x1ede1c
001ede11mov rax, [rsp]
001ede15add rsp, 32
001ede19ret
001ede1a
001ede1a 66 90 f.
001ede1c
001ede1cloc_1ede1c:
001ede1cmov rax, [rdi+56]
001ede20call Stdlib.Buffer.add_char
001ede25mov rax, [rsp]
001ede29add rax, -2
001ede2dmov rbx, [rsp+24]
001ede32mov [rbx+16], 1
001ede3amov [rsp], rax
001ede3ecmp rax, 1
001ede42je 0x1edef1
001ede48mov rax, [rbx+16]
001ede4ccmp rax, 1
001ede50jne 0x1edee8
001ede56lea r11, [rip+83]
001ede5dpush r11
001ede5fpush [r14+48]
001ede63mov [r14+48], rsp
001ede67mov rbx, [rbx+48]
001ede6bmov eax, 1
001ede70mov rdi, [rbx]
001ede73call rdi
001ede75mov rbx, [rsp+40]
001ede7amov [rbx+8], rax
001ede7emov [rbx+16], 3
001ede86mov rdi, [rbx+24]
001ede8aadd rdi, 2
001ede8emov [rbx+24], rdi
001ede92cmp rax, 21
001ede96jne 0x1edea4
001ede98mov rax, [rbx+32]
001ede9cadd rax, 2
001edea0mov [rbx+32], rax
001edea4
001edea4loc_1edea4:
001edea4pop [r14+48]
001edea8add rsp, 8
001edeacjmp 0x1edee8
001edeae
001edeae 66 90 f.
001edeb0lea rbx, [rip+0x13f761]
001edeb7mov rbx, [rbx+88]
001edebbcmp rax, rbx
001edebejne 0x1edee0
001edec0mov rbx, [rsp+24]
001edec5mov [rbx+8], 1
001edecdmov [rbx+16], 1
001eded5mov [rbx], 3
001ededcjmp 0x1edee8
001edede
001edede 66 90 f.
001edee0
001edee0loc_1edee0:
001edee0call caml_reraise_exn
001edee5nop [rax]
001edee8
001edee8loc_1edee8:
001edee8mov rax, [rbx]
001edeebcmp rax, 1
001edeefje 0x1edf28
001edef1
001edef1loc_1edef1:
001edef1sub r15, 24
001edef5cmp r15, [r14]
001edef8jb 0x1edf86
001edefe
001edefeloc_1edefe:
001edefelea rax, [r15+8]
001edf02mov [rax-8], 2048
001edf0alea rbx, [rip+0x17f26f]
001edf11mov rbx, [rbx+8]
001edf15mov [rax], rbx
001edf18lea rbx, [rip+0x17fe91]
001edf1fmov [rax+8], rbx
001edf23call caml_raise_exn
001edf28
001edf28loc_1edf28:
001edf28mov rax, [rsp]
001edf2ccall Stdlib.Scanf.scan_sign
001edf31mov rbx, [rsp+24]
001edf36add rsp, 32
001edf3ajmp 0x1ea9a0
001edf3f
001edf3f 90 .
001edf40
001edf40loc_1edf40:
001edf40mov rax, [rsp]
001edf44add rsp, 32
001edf48ret
001edf49
001edf49 0f 1f 00 ...
001edf4c
001edf4cloc_1edf4c:
001edf4csub r15, 24
001edf50cmp r15, [r14]
001edf53jb 0x1edf7f
001edf55
001edf55loc_1edf55:
001edf55lea rax, [r15+8]
001edf59mov [rax-8], 2048
001edf61lea rbx, [rip+0x17f218]
001edf68mov rbx, [rbx+8]
001edf6cmov [rax], rbx
001edf6flea rbx, [rip+0x17fe72]
001edf76mov [rax+8], rbx
001edf7acall caml_raise_exn
001edf7f
001edf7floc_1edf7f:
001edf7fcall caml_call_gc
001edf84jmp 0x1edf55
001edf86
001edf86loc_1edf86:
001edf86call caml_call_gc
001edf8bjmp 0x1edefe
001edf90
001edf90loc_1edf90:
001edf90call caml_call_gc
001edf95jmp 0x1edc6d
001edf9a
001edf9aloc_1edf9a:
001edf9acall caml_call_gc
001edf9fjmp 0x1ed96e
001edfa4
001edfa4loc_1edfa4:
001edfa4call caml_call_gc
001edfa9jmp 0x1ed85e
001edfae
001edfaeloc_1edfae:
001edfaecall caml_call_gc
001edfb3jmp 0x1ed66e
001edfb8
001edfb8loc_1edfb8:
001edfb8call caml_call_gc
001edfbdjmp 0x1ed53a
001edfc2
001edfc2loc_1edfc2:
001edfc2call caml_call_gc
001edfc7jmp 0x1ed35e
001edfcc
001edfccloc_1edfcc:
001edfcccall caml_call_gc
001edfd1jmp 0x1ed259
001edfd6
001edfd6loc_1edfd6:
001edfd6push 39
001edfd8call caml_call_realloc_stack
001edfddpop r10
001edfdfjmp 0x1ed182
001ed170