File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001ee220
001ee220Stdlib.Scanf.scan_char:
001ee220lea r10, [rsp-352]
001ee228cmp r10, [r14+40]
001ee22cjb 0x1ee330
001ee232
001ee232loc_1ee232:
001ee232sub rsp, 16
001ee236mov [rsp], rax
001ee23amov rdi, rbx
001ee23dmov rax, [rdi+16]
001ee241cmp rax, 1
001ee245je 0x1ee250
001ee247mov rbx, [rdi+8]
001ee24bjmp 0x1ee2ef
001ee250
001ee250loc_1ee250:
001ee250mov [rsp+8], rdi
001ee255lea r11, [rip+84]
001ee25cpush r11
001ee25epush [r14+48]
001ee262mov [r14+48], rsp
001ee266mov rbx, [rdi+48]
001ee26amov eax, 1
001ee26fmov rdi, [rbx]
001ee272call rdi
001ee274mov rdi, [rsp+24]
001ee279mov [rdi+8], rax
001ee27dmov [rdi+16], 3
001ee285mov rbx, [rdi+24]
001ee289add rbx, 2
001ee28dmov [rdi+24], rbx
001ee291cmp rax, 21
001ee295jne 0x1ee2a3
001ee297mov rbx, [rdi+32]
001ee29badd rbx, 2
001ee29fmov [rdi+32], rbx
001ee2a3
001ee2a3loc_1ee2a3:
001ee2a3pop [r14+48]
001ee2a7add rsp, 8
001ee2abjmp 0x1ee2ec
001ee2ad
001ee2ad 0f 1f 00 ...
001ee2b0lea rbx, [rip+0x13f361]
001ee2b7mov rbx, [rbx+88]
001ee2bbcmp rax, rbx
001ee2bejne 0x1ee2e4
001ee2c0mov rdi, [rsp+8]
001ee2c5mov [rdi+8], 1
001ee2cdmov [rdi+16], 1
001ee2d5mov [rdi], 3
001ee2dcmov eax, 1
001ee2e1jmp 0x1ee2ec
001ee2e3
001ee2e3 90 .
001ee2e4
001ee2e4loc_1ee2e4:
001ee2e4call caml_reraise_exn
001ee2e9nop [rax]
001ee2ec
001ee2ecloc_1ee2ec:
001ee2ecmov rbx, rax
001ee2ef
001ee2efloc_1ee2ef:
001ee2efmov rax, [rdi]
001ee2f2cmp rax, 1
001ee2f6je 0x1ee308
001ee2f8lea rax, [rip+0x13f319]
001ee2ffmov rax, [rax+88]
001ee303call caml_raise_exn
001ee308
001ee308loc_1ee308:
001ee308mov [rsp+8], rdi
001ee30dmov rax, [rdi+56]
001ee311call Stdlib.Buffer.add_char
001ee316mov rax, [rsp]
001ee31aadd rax, -2
001ee31emov rbx, [rsp+8]
001ee323mov [rbx+16], 1
001ee32badd rsp, 16
001ee32fret
001ee330
001ee330loc_1ee330:
001ee330push 37
001ee332call caml_call_realloc_stack
001ee337pop r10
001ee339jmp 0x1ee232
001ee220
001ee220Stdlib.Scanf.scan_char:
001ee220lea r10, [rsp-352]
001ee228cmp r10, [r14+40]
001ee22cjb 0x1ee330
001ee232
001ee232loc_1ee232:
001ee232sub rsp, 16
001ee236mov [rsp], rax
001ee23amov rdi, rbx
001ee23dmov rax, [rdi+16]
001ee241cmp rax, 1
001ee245je 0x1ee250
001ee247mov rbx, [rdi+8]
001ee24bjmp 0x1ee2ef
001ee250
001ee250loc_1ee250:
001ee250mov [rsp+8], rdi
001ee255lea r11, [rip+84]
001ee25cpush r11
001ee25epush [r14+48]
001ee262mov [r14+48], rsp
001ee266mov rbx, [rdi+48]
001ee26amov eax, 1
001ee26fmov rdi, [rbx]
001ee272call rdi
001ee274mov rdi, [rsp+24]
001ee279mov [rdi+8], rax
001ee27dmov [rdi+16], 3
001ee285mov rbx, [rdi+24]
001ee289add rbx, 2
001ee28dmov [rdi+24], rbx
001ee291cmp rax, 21
001ee295jne 0x1ee2a3
001ee297mov rbx, [rdi+32]
001ee29badd rbx, 2
001ee29fmov [rdi+32], rbx
001ee2a3
001ee2a3loc_1ee2a3:
001ee2a3pop [r14+48]
001ee2a7add rsp, 8
001ee2abjmp 0x1ee2ec
001ee2ad
001ee2ad 0f 1f 00 ...
001ee2b0lea rbx, [rip+0x13f361]
001ee2b7mov rbx, [rbx+88]
001ee2bbcmp rax, rbx
001ee2bejne 0x1ee2e4
001ee2c0mov rdi, [rsp+8]
001ee2c5mov [rdi+8], 1
001ee2cdmov [rdi+16], 1
001ee2d5mov [rdi], 3
001ee2dcmov eax, 1
001ee2e1jmp 0x1ee2ec
001ee2e3
001ee2e3 90 .
001ee2e4
001ee2e4loc_1ee2e4:
001ee2e4call caml_reraise_exn
001ee2e9nop [rax]
001ee2ec
001ee2ecloc_1ee2ec:
001ee2ecmov rbx, rax
001ee2ef
001ee2efloc_1ee2ef:
001ee2efmov rax, [rdi]
001ee2f2cmp rax, 1
001ee2f6je 0x1ee308
001ee2f8lea rax, [rip+0x13f319]
001ee2ffmov rax, [rax+88]
001ee303call caml_raise_exn
001ee308
001ee308loc_1ee308:
001ee308mov [rsp+8], rdi
001ee30dmov rax, [rdi+56]
001ee311call Stdlib.Buffer.add_char
001ee316mov rax, [rsp]
001ee31aadd rax, -2
001ee31emov rbx, [rsp+8]
001ee323mov [rbx+16], 1
001ee32badd rsp, 16
001ee32fret
001ee330
001ee330loc_1ee330:
001ee330push 37
001ee332call caml_call_realloc_stack
001ee337pop r10
001ee339jmp 0x1ee232
001ee220
001ee33e
001ee33e // align 0x10
001ee33e // align 0x10
001ee340
001ee340Stdlib.Scanf.char_for_backslash:
001ee340mov rbx, rax
001ee343cmp rbx, 221
001ee34ajl 0x1ee38c
001ee34ccmp rbx, 235
001ee353jge 0x1ee39c
001ee355mov rax, rbx
001ee358add rax, -220
001ee35esar rax, 1
001ee361lea rdx, [rip+0x404dc]
001ee368movsxd rax, [rdx+4*rax]
001ee36cadd rdx, rax
001ee36fjmp rdx
001ee371nop [rax]
001ee374mov eax, 21
001ee379ret
001ee37anop
001ee37cmov eax, 27
001ee381ret
001ee382nop
001ee384mov eax, 19
001ee389ret
001ee38anop
001ee38c
001ee38cloc_1ee38c:
001ee38ccmp rbx, 197
001ee393jne 0x1ee39c
001ee395mov eax, 17
001ee39aret
001ee39bnop
001ee39c
001ee39cloc_1ee39c:
001ee39cmov rax, rbx
001ee39fret
001ee340
001ee340Stdlib.Scanf.char_for_backslash:
001ee340mov rbx, rax
001ee343cmp rbx, 221
001ee34ajl 0x1ee38c
001ee34ccmp rbx, 235
001ee353jge 0x1ee39c
001ee355mov rax, rbx
001ee358add rax, -220
001ee35esar rax, 1
001ee361lea rdx, [rip+0x404dc]
001ee368movsxd rax, [rdx+4*rax]
001ee36cadd rdx, rax
001ee36fjmp rdx
001ee371nop [rax]
001ee374mov eax, 21
001ee379ret
001ee37anop
001ee37cmov eax, 27
001ee381ret
001ee382nop
001ee384mov eax, 19
001ee389ret
001ee38anop
001ee38c
001ee38cloc_1ee38c:
001ee38ccmp rbx, 197
001ee393jne 0x1ee39c
001ee395mov eax, 17
001ee39aret
001ee39bnop
001ee39c
001ee39cloc_1ee39c:
001ee39cmov rax, rbx
001ee39fret
001ee340
001ee3a5
001ee3a5 // align 0x10
001ee3a5 // align 0x10
001ee3b0
001ee3b0Stdlib.Scanf.char_for_decimal_code:
001ee3b0lea r10, [rsp-344]
001ee3b8cmp r10, [r14+40]
001ee3bcjb 0x1ee462
001ee3c2
001ee3c2loc_1ee3c2:
001ee3c2sub rsp, 24
001ee3c6mov rsi, rbx
001ee3c9imul rsi, rsi, 10
001ee3cdmov rdx, rax
001ee3d0imul rdx, rdx, 100
001ee3d4add rdx, rsi
001ee3d7lea rsi, [rdx+rdi-10766]
001ee3dfcmp rsi, 1
001ee3e3jl 0x1ee3fc
001ee3e5cmp rsi, 511
001ee3ecjg 0x1ee3fc
001ee3eemov rax, rsi
001ee3f1add rsp, 24
001ee3f5jmp 0x195c60
001ee3fa
001ee3fa 66 90 f.
001ee3fc
001ee3fcloc_1ee3fc:
001ee3fcmov [rsp+16], rdi
001ee401mov [rsp+8], rbx
001ee406mov [rsp], rax
001ee40alea rax, [rip+0x17f447]
001ee411call Stdlib.Printf.sprintf
001ee416mov rsi, rax
001ee419mov rax, [rsp]
001ee41dmov rbx, [rsp+8]
001ee422mov rdi, [rsp+16]
001ee427call caml_apply3
001ee42csub r15, 24
001ee430cmp r15, [r14]
001ee433jb 0x1ee45b
001ee435
001ee435loc_1ee435:
001ee435lea rbx, [r15+8]
001ee439mov [rbx-8], 2048
001ee441lea rdi, [rip+0x17ed38]
001ee448mov rdi, [rdi+8]
001ee44cmov [rbx], rdi
001ee44fmov [rbx+8], rax
001ee453mov rax, rbx
001ee456call caml_raise_exn
001ee45b
001ee45bloc_1ee45b:
001ee45bcall caml_call_gc
001ee460jmp 0x1ee435
001ee462
001ee462loc_1ee462:
001ee462push 36
001ee464call caml_call_realloc_stack
001ee469pop r10
001ee46bjmp 0x1ee3c2
001ee3b0
001ee3b0Stdlib.Scanf.char_for_decimal_code:
001ee3b0lea r10, [rsp-344]
001ee3b8cmp r10, [r14+40]
001ee3bcjb 0x1ee462
001ee3c2
001ee3c2loc_1ee3c2:
001ee3c2sub rsp, 24
001ee3c6mov rsi, rbx
001ee3c9imul rsi, rsi, 10
001ee3cdmov rdx, rax
001ee3d0imul rdx, rdx, 100
001ee3d4add rdx, rsi
001ee3d7lea rsi, [rdx+rdi-10766]
001ee3dfcmp rsi, 1
001ee3e3jl 0x1ee3fc
001ee3e5cmp rsi, 511
001ee3ecjg 0x1ee3fc
001ee3eemov rax, rsi
001ee3f1add rsp, 24
001ee3f5jmp 0x195c60
001ee3fa
001ee3fa 66 90 f.
001ee3fc
001ee3fcloc_1ee3fc:
001ee3fcmov [rsp+16], rdi
001ee401mov [rsp+8], rbx
001ee406mov [rsp], rax
001ee40alea rax, [rip+0x17f447]
001ee411call Stdlib.Printf.sprintf
001ee416mov rsi, rax
001ee419mov rax, [rsp]
001ee41dmov rbx, [rsp+8]
001ee422mov rdi, [rsp+16]
001ee427call caml_apply3
001ee42csub r15, 24
001ee430cmp r15, [r14]
001ee433jb 0x1ee45b
001ee435
001ee435loc_1ee435:
001ee435lea rbx, [r15+8]
001ee439mov [rbx-8], 2048
001ee441lea rdi, [rip+0x17ed38]
001ee448mov rdi, [rdi+8]
001ee44cmov [rbx], rdi
001ee44fmov [rbx+8], rax
001ee453mov rax, rbx
001ee456call caml_raise_exn
001ee45b
001ee45bloc_1ee45b:
001ee45bcall caml_call_gc
001ee460jmp 0x1ee435
001ee462
001ee462loc_1ee462:
001ee462push 36
001ee464call caml_call_realloc_stack
001ee469pop r10
001ee46bjmp 0x1ee3c2
001ee3b0
001ee470
001ee470Stdlib.Scanf.hexadecimal_value_of_char:
001ee470cmp rax, 195
001ee476jl 0x1ee480
001ee478add rax, -174
001ee47eret
001ee47f
001ee47f 90 .
001ee480
001ee480loc_1ee480:
001ee480cmp rax, 131
001ee486jl 0x1ee490
001ee488add rax, -110
001ee48cret
001ee48d
001ee48d 0f 1f 00 ...
001ee490
001ee490loc_1ee490:
001ee490add rax, -96
001ee494ret
001ee470
001ee470Stdlib.Scanf.hexadecimal_value_of_char:
001ee470cmp rax, 195
001ee476jl 0x1ee480
001ee478add rax, -174
001ee47eret
001ee47f
001ee47f 90 .
001ee480
001ee480loc_1ee480:
001ee480cmp rax, 131
001ee486jl 0x1ee490
001ee488add rax, -110
001ee48cret
001ee48d
001ee48d 0f 1f 00 ...
001ee490
001ee490loc_1ee490:
001ee490add rax, -96
001ee494ret
001ee470
001ee495
001ee495 // align 0x10
001ee495 // align 0x10
001ee4a0
001ee4a0Stdlib.Scanf.char_for_hexadecimal_code:
001ee4a0lea r10, [rsp-336]
001ee4a8cmp r10, [r14+40]
001ee4acjb 0x1ee59c
001ee4b2
001ee4b2loc_1ee4b2:
001ee4b2sub rsp, 16
001ee4b6mov rdi, rax
001ee4b9cmp rbx, 195
001ee4c0jl 0x1ee4d0
001ee4c2mov rsi, rbx
001ee4c5add rsi, -174
001ee4ccjmp 0x1ee4eb
001ee4ce
001ee4ce 66 90 f.
001ee4d0
001ee4d0loc_1ee4d0:
001ee4d0cmp rbx, 131
001ee4d7jl 0x1ee4e4
001ee4d9mov rsi, rbx
001ee4dcadd rsi, -110
001ee4e0jmp 0x1ee4eb
001ee4e2
001ee4e2 66 90 f.
001ee4e4
001ee4e4loc_1ee4e4:
001ee4e4mov rsi, rbx
001ee4e7add rsi, -96
001ee4eb
001ee4ebloc_1ee4eb:
001ee4ebcmp rdi, 195
001ee4f2jl 0x1ee500
001ee4f4mov rax, rdi
001ee4f7add rax, -174
001ee4fdjmp 0x1ee51b
001ee4ff
001ee4ff 90 .
001ee500
001ee500loc_1ee500:
001ee500cmp rdi, 131
001ee507jl 0x1ee514
001ee509mov rax, rdi
001ee50cadd rax, -110
001ee510jmp 0x1ee51b
001ee512
001ee512 66 90 f.
001ee514
001ee514loc_1ee514:
001ee514mov rax, rdi
001ee517add rax, -96
001ee51b
001ee51bloc_1ee51b:
001ee51bshl rax, 4
001ee51fadd rax, rsi
001ee522add rax, -16
001ee526cmp rax, 1
001ee52ajl 0x1ee540
001ee52ccmp rax, 511
001ee532jg 0x1ee540
001ee534add rsp, 16
001ee538jmp 0x195c60
001ee53d
001ee53d 0f 1f 00 ...
001ee540
001ee540loc_1ee540:
001ee540mov [rsp+8], rbx
001ee545mov [rsp], rdi
001ee549lea rax, [rip+0x17f270]
001ee550call Stdlib.Printf.sprintf
001ee555mov rdi, rax
001ee558mov rax, [rsp]
001ee55cmov rbx, [rsp+8]
001ee561call caml_apply2
001ee566sub r15, 24
001ee56acmp r15, [r14]
001ee56djb 0x1ee595
001ee56f
001ee56floc_1ee56f:
001ee56flea rbx, [r15+8]
001ee573mov [rbx-8], 2048
001ee57blea rdi, [rip+0x17ebfe]
001ee582mov rdi, [rdi+8]
001ee586mov [rbx], rdi
001ee589mov [rbx+8], rax
001ee58dmov rax, rbx
001ee590call caml_raise_exn
001ee595
001ee595loc_1ee595:
001ee595call caml_call_gc
001ee59ajmp 0x1ee56f
001ee59c
001ee59cloc_1ee59c:
001ee59cpush 35
001ee59ecall caml_call_realloc_stack
001ee5a3pop r10
001ee5a5jmp 0x1ee4b2
001ee4a0
001ee4a0Stdlib.Scanf.char_for_hexadecimal_code:
001ee4a0lea r10, [rsp-336]
001ee4a8cmp r10, [r14+40]
001ee4acjb 0x1ee59c
001ee4b2
001ee4b2loc_1ee4b2:
001ee4b2sub rsp, 16
001ee4b6mov rdi, rax
001ee4b9cmp rbx, 195
001ee4c0jl 0x1ee4d0
001ee4c2mov rsi, rbx
001ee4c5add rsi, -174
001ee4ccjmp 0x1ee4eb
001ee4ce
001ee4ce 66 90 f.
001ee4d0
001ee4d0loc_1ee4d0:
001ee4d0cmp rbx, 131
001ee4d7jl 0x1ee4e4
001ee4d9mov rsi, rbx
001ee4dcadd rsi, -110
001ee4e0jmp 0x1ee4eb
001ee4e2
001ee4e2 66 90 f.
001ee4e4
001ee4e4loc_1ee4e4:
001ee4e4mov rsi, rbx
001ee4e7add rsi, -96
001ee4eb
001ee4ebloc_1ee4eb:
001ee4ebcmp rdi, 195
001ee4f2jl 0x1ee500
001ee4f4mov rax, rdi
001ee4f7add rax, -174
001ee4fdjmp 0x1ee51b
001ee4ff
001ee4ff 90 .
001ee500
001ee500loc_1ee500:
001ee500cmp rdi, 131
001ee507jl 0x1ee514
001ee509mov rax, rdi
001ee50cadd rax, -110
001ee510jmp 0x1ee51b
001ee512
001ee512 66 90 f.
001ee514
001ee514loc_1ee514:
001ee514mov rax, rdi
001ee517add rax, -96
001ee51b
001ee51bloc_1ee51b:
001ee51bshl rax, 4
001ee51fadd rax, rsi
001ee522add rax, -16
001ee526cmp rax, 1
001ee52ajl 0x1ee540
001ee52ccmp rax, 511
001ee532jg 0x1ee540
001ee534add rsp, 16
001ee538jmp 0x195c60
001ee53d
001ee53d 0f 1f 00 ...
001ee540
001ee540loc_1ee540:
001ee540mov [rsp+8], rbx
001ee545mov [rsp], rdi
001ee549lea rax, [rip+0x17f270]
001ee550call Stdlib.Printf.sprintf
001ee555mov rdi, rax
001ee558mov rax, [rsp]
001ee55cmov rbx, [rsp+8]
001ee561call caml_apply2
001ee566sub r15, 24
001ee56acmp r15, [r14]
001ee56djb 0x1ee595
001ee56f
001ee56floc_1ee56f:
001ee56flea rbx, [r15+8]
001ee573mov [rbx-8], 2048
001ee57blea rdi, [rip+0x17ebfe]
001ee582mov rdi, [rdi+8]
001ee586mov [rbx], rdi
001ee589mov [rbx+8], rax
001ee58dmov rax, rbx
001ee590call caml_raise_exn
001ee595
001ee595loc_1ee595:
001ee595call caml_call_gc
001ee59ajmp 0x1ee56f
001ee59c
001ee59cloc_1ee59c:
001ee59cpush 35
001ee59ecall caml_call_realloc_stack
001ee5a3pop r10
001ee5a5jmp 0x1ee4b2
001ee4a0
001ee5aa
001ee5aa // align 0x10
001ee5aa // align 0x10
001ee5b0
001ee5b0Stdlib.Scanf.check_next_char:
001ee5b0lea r10, [rsp-352]
001ee5b8cmp r10, [r14+40]
001ee5bcjb 0x1ee73e
001ee5c2
001ee5c2loc_1ee5c2:
001ee5c2sub rsp, 16
001ee5c6cmp rbx, 1
001ee5cajne 0x1ee61c
001ee5ccmov [rsp], rax
001ee5d0lea rax, [rip+0x17f971]
001ee5d7call Stdlib.Printf.sprintf
001ee5dcmov rbx, rax
001ee5dfmov rdi, [rbx]
001ee5e2mov rax, [rsp]
001ee5e6call rdi
001ee5e8sub r15, 24
001ee5eccmp r15, [r14]
001ee5efjb 0x1ee734
001ee5f5
001ee5f5loc_1ee5f5:
001ee5f5lea rbx, [r15+8]
001ee5f9mov [rbx-8], 2048
001ee601lea rdi, [rip+0x17eb78]
001ee608mov rdi, [rdi+8]
001ee60cmov [rbx], rdi
001ee60fmov [rbx+8], rax
001ee613mov rax, rbx
001ee616call caml_raise_exn
001ee61bnop
001ee61c
001ee61cloc_1ee61c:
001ee61cmov [rsp], rax
001ee620mov rax, [rdi+16]
001ee624cmp rax, 1
001ee628je 0x1ee634
001ee62amov rax, [rdi+8]
001ee62ejmp 0x1ee6d0
001ee633
001ee633 90 .
001ee634
001ee634loc_1ee634:
001ee634mov [rsp+8], rdi
001ee639lea r11, [rip+84]
001ee640push r11
001ee642push [r14+48]
001ee646mov [r14+48], rsp
001ee64amov rbx, [rdi+48]
001ee64emov eax, 1
001ee653mov rdi, [rbx]
001ee656call rdi
001ee658mov rdi, [rsp+24]
001ee65dmov [rdi+8], rax
001ee661mov [rdi+16], 3
001ee669mov rbx, [rdi+24]
001ee66dadd rbx, 2
001ee671mov [rdi+24], rbx
001ee675cmp rax, 21
001ee679jne 0x1ee687
001ee67bmov rbx, [rdi+32]
001ee67fadd rbx, 2
001ee683mov [rdi+32], rbx
001ee687
001ee687loc_1ee687:
001ee687pop [r14+48]
001ee68badd rsp, 8
001ee68fjmp 0x1ee6d0
001ee691
001ee691 0f 1f 00 ...
001ee694lea rbx, [rip+0x13ef7d]
001ee69bmov rbx, [rbx+88]
001ee69fcmp rax, rbx
001ee6a2jne 0x1ee6c8
001ee6a4mov rdi, [rsp+8]
001ee6a9mov [rdi+8], 1
001ee6b1mov [rdi+16], 1
001ee6b9mov [rdi], 3
001ee6c0mov eax, 1
001ee6c5jmp 0x1ee6d0
001ee6c7
001ee6c7 90 .
001ee6c8
001ee6c8loc_1ee6c8:
001ee6c8call caml_reraise_exn
001ee6cdnop [rax]
001ee6d0
001ee6d0loc_1ee6d0:
001ee6d0mov rbx, [rdi]
001ee6d3cmp rbx, 1
001ee6d7je 0x1ee728
001ee6d9mov rax, [rsp]
001ee6ddmov [rsp], rax
001ee6e1lea rax, [rip+0x17f738]
001ee6e8call Stdlib.Printf.sprintf
001ee6edmov rbx, rax
001ee6f0mov rdi, [rbx]
001ee6f3mov rax, [rsp]
001ee6f7call rdi
001ee6f9sub r15, 24
001ee6fdcmp r15, [r14]
001ee700jb 0x1ee72d
001ee702
001ee702loc_1ee702:
001ee702lea rbx, [r15+8]
001ee706mov [rbx-8], 2048
001ee70elea rdi, [rip+0x17ea6b]
001ee715mov rdi, [rdi+8]
001ee719mov [rbx], rdi
001ee71cmov [rbx+8], rax
001ee720mov rax, rbx
001ee723call caml_raise_exn
001ee728
001ee728loc_1ee728:
001ee728add rsp, 16
001ee72cret
001ee72d
001ee72dloc_1ee72d:
001ee72dcall caml_call_gc
001ee732jmp 0x1ee702
001ee734
001ee734loc_1ee734:
001ee734call caml_call_gc
001ee739jmp 0x1ee5f5
001ee73e
001ee73eloc_1ee73e:
001ee73epush 37
001ee740call caml_call_realloc_stack
001ee745pop r10
001ee747jmp 0x1ee5c2
001ee5b0
001ee5b0Stdlib.Scanf.check_next_char:
001ee5b0lea r10, [rsp-352]
001ee5b8cmp r10, [r14+40]
001ee5bcjb 0x1ee73e
001ee5c2
001ee5c2loc_1ee5c2:
001ee5c2sub rsp, 16
001ee5c6cmp rbx, 1
001ee5cajne 0x1ee61c
001ee5ccmov [rsp], rax
001ee5d0lea rax, [rip+0x17f971]
001ee5d7call Stdlib.Printf.sprintf
001ee5dcmov rbx, rax
001ee5dfmov rdi, [rbx]
001ee5e2mov rax, [rsp]
001ee5e6call rdi
001ee5e8sub r15, 24
001ee5eccmp r15, [r14]
001ee5efjb 0x1ee734
001ee5f5
001ee5f5loc_1ee5f5:
001ee5f5lea rbx, [r15+8]
001ee5f9mov [rbx-8], 2048
001ee601lea rdi, [rip+0x17eb78]
001ee608mov rdi, [rdi+8]
001ee60cmov [rbx], rdi
001ee60fmov [rbx+8], rax
001ee613mov rax, rbx
001ee616call caml_raise_exn
001ee61bnop
001ee61c
001ee61cloc_1ee61c:
001ee61cmov [rsp], rax
001ee620mov rax, [rdi+16]
001ee624cmp rax, 1
001ee628je 0x1ee634
001ee62amov rax, [rdi+8]
001ee62ejmp 0x1ee6d0
001ee633
001ee633 90 .
001ee634
001ee634loc_1ee634:
001ee634mov [rsp+8], rdi
001ee639lea r11, [rip+84]
001ee640push r11
001ee642push [r14+48]
001ee646mov [r14+48], rsp
001ee64amov rbx, [rdi+48]
001ee64emov eax, 1
001ee653mov rdi, [rbx]
001ee656call rdi
001ee658mov rdi, [rsp+24]
001ee65dmov [rdi+8], rax
001ee661mov [rdi+16], 3
001ee669mov rbx, [rdi+24]
001ee66dadd rbx, 2
001ee671mov [rdi+24], rbx
001ee675cmp rax, 21
001ee679jne 0x1ee687
001ee67bmov rbx, [rdi+32]
001ee67fadd rbx, 2
001ee683mov [rdi+32], rbx
001ee687
001ee687loc_1ee687:
001ee687pop [r14+48]
001ee68badd rsp, 8
001ee68fjmp 0x1ee6d0
001ee691
001ee691 0f 1f 00 ...
001ee694lea rbx, [rip+0x13ef7d]
001ee69bmov rbx, [rbx+88]
001ee69fcmp rax, rbx
001ee6a2jne 0x1ee6c8
001ee6a4mov rdi, [rsp+8]
001ee6a9mov [rdi+8], 1
001ee6b1mov [rdi+16], 1
001ee6b9mov [rdi], 3
001ee6c0mov eax, 1
001ee6c5jmp 0x1ee6d0
001ee6c7
001ee6c7 90 .
001ee6c8
001ee6c8loc_1ee6c8:
001ee6c8call caml_reraise_exn
001ee6cdnop [rax]
001ee6d0
001ee6d0loc_1ee6d0:
001ee6d0mov rbx, [rdi]
001ee6d3cmp rbx, 1
001ee6d7je 0x1ee728
001ee6d9mov rax, [rsp]
001ee6ddmov [rsp], rax
001ee6e1lea rax, [rip+0x17f738]
001ee6e8call Stdlib.Printf.sprintf
001ee6edmov rbx, rax
001ee6f0mov rdi, [rbx]
001ee6f3mov rax, [rsp]
001ee6f7call rdi
001ee6f9sub r15, 24
001ee6fdcmp r15, [r14]
001ee700jb 0x1ee72d
001ee702
001ee702loc_1ee702:
001ee702lea rbx, [r15+8]
001ee706mov [rbx-8], 2048
001ee70elea rdi, [rip+0x17ea6b]
001ee715mov rdi, [rdi+8]
001ee719mov [rbx], rdi
001ee71cmov [rbx+8], rax
001ee720mov rax, rbx
001ee723call caml_raise_exn
001ee728
001ee728loc_1ee728:
001ee728add rsp, 16
001ee72cret
001ee72d
001ee72dloc_1ee72d:
001ee72dcall caml_call_gc
001ee732jmp 0x1ee702
001ee734
001ee734loc_1ee734:
001ee734call caml_call_gc
001ee739jmp 0x1ee5f5
001ee73e
001ee73eloc_1ee73e:
001ee73epush 37
001ee740call caml_call_realloc_stack
001ee745pop r10
001ee747jmp 0x1ee5c2
001ee5b0
001ee74c
001ee74c // align 0x10
001ee74c // align 0x10
001ee750
001ee750Stdlib.Scanf.fun:
001ee750mov rsi, rax
001ee753mov rdx, rbx
001ee756mov rax, [rdi+24]
001ee75amov rbx, rsi
001ee75dmov rdi, rdx
001ee760jmp 0x1ee5b0
001ee750
001ee750Stdlib.Scanf.fun:
001ee750mov rsi, rax
001ee753mov rdx, rbx
001ee756mov rax, [rdi+24]
001ee75amov rbx, rsi
001ee75dmov rdi, rdx
001ee760jmp 0x1ee5b0
001ee750
001ee765
001ee765 // align 0x10
001ee765 // align 0x10
001ee770
001ee770Stdlib.Scanf.fun:
001ee770mov rsi, rax
001ee773mov rdx, rbx
001ee776mov rax, [rdi+24]
001ee77amov rbx, rsi
001ee77dmov rdi, rdx
001ee780jmp 0x1ee5b0
001ee770
001ee770Stdlib.Scanf.fun:
001ee770mov rsi, rax
001ee773mov rdx, rbx
001ee776mov rax, [rdi+24]
001ee77amov rbx, rsi
001ee77dmov rdi, rdx
001ee780jmp 0x1ee5b0
001ee770
001ee785
001ee785 // align 0x10
001ee785 // align 0x10
001ee790
001ee790Stdlib.Scanf.scan_backslash_char:
001ee790lea r10, [rsp-360]
001ee798cmp r10, [r14+40]
001ee79cjb 0x1eeb21
001ee7a2
001ee7a2loc_1ee7a2:
001ee7a2sub rsp, 40
001ee7a6mov rsi, rax
001ee7a9mov [rsp+24], rsi
001ee7aemov rdx, rbx
001ee7b1mov [rsp+32], rdx
001ee7b6mov [rsp+8], rdi
001ee7bblea rax, [rip+0x17e9be]
001ee7c2mov rax, [rax+544]
001ee7c9mov rax, [rax+24]
001ee7cdmov rbx, rsi
001ee7d0mov rdi, rdx
001ee7d3call Stdlib.Scanf.check_next_char
001ee7d8mov rbx, rax
001ee7dbcmp rbx, 81
001ee7dfjl 0x1eea1c
001ee7e5cmp rbx, 117
001ee7e9jl 0x1ee8c8
001ee7efmov rax, rbx
001ee7f2add rax, -184
001ee7f8cmp rax, 57
001ee7fcja 0x1eea28
001ee802sar rax, 1
001ee805lea rdx, [rip+0x40054]
001ee80cmovsxd rax, [rdx+4*rax]
001ee810add rdx, rax
001ee813jmp rdx
001ee815nop [rax]
001ee818sub r15, 40
001ee81ccmp r15, [r14]
001ee81fjb 0x1eeb17
001ee825
001ee825loc_1ee825:
001ee825lea rbx, [r15+8]
001ee829mov [rsp], rbx
001ee82dmov [rbx-8], 4343
001ee835lea rax, [rip+1060]
001ee83cmov [rbx], rax
001ee83fmov rax, 0x100000000000005
001ee849mov [rbx+8], rax
001ee84dmov rax, [rsp+8]
001ee852mov rax, [rax+24]
001ee856mov [rbx+16], rax
001ee85amov rax, [rsp+32]
001ee85fmov [rbx+24], rax
001ee863mov eax, 1
001ee868call Stdlib.Scanf.get_digit
001ee86dmov [rsp+8], rax
001ee872mov eax, 1
001ee877mov rbx, [rsp]
001ee87bcall Stdlib.Scanf.get_digit
001ee880mov rbx, rax
001ee883mov rax, [rsp+8]
001ee888call Stdlib.Scanf.char_for_hexadecimal_code
001ee88dmov rbx, rax
001ee890mov rax, [rsp+24]
001ee895add rax, -4
001ee899mov [rsp], rax
001ee89dmov rax, [rsp+32]
001ee8a2mov rax, [rax+56]
001ee8a6call Stdlib.Buffer.add_char
001ee8abmov rax, [rsp]
001ee8afadd rax, -2
001ee8b3mov rbx, [rsp+32]
001ee8b8mov [rbx+16], 1
001ee8c0add rsp, 40
001ee8c4ret
001ee8c5nop [rax]
001ee8c8
001ee8c8loc_1ee8c8:
001ee8c8cmp rbx, 97
001ee8ccjl 0x1eea28
001ee8d2mov [rsp+16], rbx
001ee8d7sub r15, 40
001ee8dbcmp r15, [r14]
001ee8dejb 0x1eeb0d
001ee8e4
001ee8e4loc_1ee8e4:
001ee8e4lea rbx, [r15+8]
001ee8e8mov [rsp], rbx
001ee8ecmov [rbx-8], 4343
001ee8f4lea rax, [rip+565]
001ee8fbmov [rbx], rax
001ee8femov rax, 0x100000000000005
001ee908mov [rbx+8], rax
001ee90cmov rax, [rsp+8]
001ee911mov rax, [rax+24]
001ee915mov [rbx+16], rax
001ee919mov rax, [rsp+32]
001ee91emov [rbx+24], rax
001ee922mov eax, 1
001ee927call Stdlib.Scanf.get_digit
001ee92cmov [rsp+8], rax
001ee931mov eax, 1
001ee936mov rbx, [rsp]
001ee93acall Stdlib.Scanf.get_digit
001ee93fmov rsi, [rsp+8]
001ee944mov rbx, rsi
001ee947imul rbx, rbx, 10
001ee94bmov rdx, [rsp+16]
001ee950mov rdi, rdx
001ee953imul rdi, rdi, 100
001ee957add rdi, rbx
001ee95alea rbx, [rdi+rax-10766]
001ee962cmp rbx, 1
001ee966jl 0x1ee980
001ee968cmp rbx, 511
001ee96fjg 0x1ee980
001ee971mov rax, rbx
001ee974call camlStdlib.char_of_int_148
001ee979mov rbx, rax
001ee97cjmp 0x1ee9e4
001ee97enop
001ee980
001ee980loc_1ee980:
001ee980mov [rsp+16], rax
001ee985mov [rsp+8], rsi
001ee98amov [rsp], rdx
001ee98elea rax, [rip+0x17eec3]
001ee995call Stdlib.Printf.sprintf
001ee99amov rsi, rax
001ee99dmov rax, [rsp]
001ee9a1mov rbx, [rsp+8]
001ee9a6mov rdi, [rsp+16]
001ee9abcall caml_apply3
001ee9b0sub r15, 24
001ee9b4cmp r15, [r14]
001ee9b7jb 0x1eeb03
001ee9bd
001ee9bdloc_1ee9bd:
001ee9bdlea rbx, [r15+8]
001ee9c1mov [rbx-8], 2048
001ee9c9lea rdi, [rip+0x17e7b0]
001ee9d0mov rdi, [rdi+8]
001ee9d4mov [rbx], rdi
001ee9d7mov [rbx+8], rax
001ee9dbmov rax, rbx
001ee9decall caml_raise_exn
001ee9e3nop
001ee9e4
001ee9e4loc_1ee9e4:
001ee9e4mov rax, [rsp+24]
001ee9e9add rax, -4
001ee9edmov [rsp], rax
001ee9f1mov rax, [rsp+32]
001ee9f6mov rax, [rax+56]
001ee9facall Stdlib.Buffer.add_char
001ee9ffmov rax, [rsp]
001eea03add rax, -2
001eea07mov rbx, [rsp+32]
001eea0cmov [rbx+16], 1
001eea14add rsp, 40
001eea18ret
001eea19nop [rax]
001eea1c
001eea1cloc_1eea1c:
001eea1ccmp rbx, 69
001eea20je 0x1eea78
001eea22cmp rbx, 79
001eea26jge 0x1eea78
001eea28
001eea28loc_1eea28:
001eea28mov [rsp], rbx
001eea2clea rax, [rip+0x17f7dd]
001eea33call Stdlib.Printf.sprintf
001eea38mov rbx, rax
001eea3bmov rdi, [rbx]
001eea3emov rax, [rsp]
001eea42call rdi
001eea44sub r15, 24
001eea48cmp r15, [r14]
001eea4bjb 0x1eeaf9
001eea51
001eea51loc_1eea51:
001eea51lea rbx, [r15+8]
001eea55mov [rbx-8], 2048
001eea5dlea rdi, [rip+0x17e71c]
001eea64mov rdi, [rdi+8]
001eea68mov [rbx], rdi
001eea6bmov [rbx+8], rax
001eea6fmov rax, rbx
001eea72call caml_raise_exn
001eea77nop
001eea78
001eea78loc_1eea78:
001eea78cmp rbx, 221
001eea7fjl 0x1eeac0
001eea81cmp rbx, 235
001eea88jge 0x1eead0
001eea8amov rax, rbx
001eea8dadd rax, -220
001eea93sar rax, 1
001eea96lea rdx, [rip+0x3fe37]
001eea9dmovsxd rax, [rdx+4*rax]
001eeaa1add rdx, rax
001eeaa4jmp rdx
001eeaa6nop
001eeaa8mov ebx, 21
001eeaadjmp 0x1eead0
001eeaafnop
001eeab0mov ebx, 27
001eeab5jmp 0x1eead0
001eeab7nop
001eeab8mov ebx, 19
001eeabdjmp 0x1eead0
001eeabfnop
001eeac0
001eeac0loc_1eeac0:
001eeac0cmp rbx, 197
001eeac7jne 0x1eead0
001eeac9mov ebx, 17
001eeacejmp 0x1eead0
001eead0
001eead0loc_1eead0:
001eead0mov rax, [rsp+32]
001eead5mov rax, [rax+56]
001eead9call Stdlib.Buffer.add_char
001eeademov rax, [rsp+24]
001eeae3add rax, -2
001eeae7mov rbx, [rsp+32]
001eeaecmov [rbx+16], 1
001eeaf4add rsp, 40
001eeaf8ret
001eeaf9
001eeaf9loc_1eeaf9:
001eeaf9call caml_call_gc
001eeafejmp 0x1eea51
001eeb03
001eeb03loc_1eeb03:
001eeb03call caml_call_gc
001eeb08jmp 0x1ee9bd
001eeb0d
001eeb0dloc_1eeb0d:
001eeb0dcall caml_call_gc
001eeb12jmp 0x1ee8e4
001eeb17
001eeb17loc_1eeb17:
001eeb17call caml_call_gc
001eeb1cjmp 0x1ee825
001eeb21
001eeb21loc_1eeb21:
001eeb21push 38
001eeb23call caml_call_realloc_stack
001eeb28pop r10
001eeb2ajmp 0x1ee7a2
001ee790
001ee790Stdlib.Scanf.scan_backslash_char:
001ee790lea r10, [rsp-360]
001ee798cmp r10, [r14+40]
001ee79cjb 0x1eeb21
001ee7a2
001ee7a2loc_1ee7a2:
001ee7a2sub rsp, 40
001ee7a6mov rsi, rax
001ee7a9mov [rsp+24], rsi
001ee7aemov rdx, rbx
001ee7b1mov [rsp+32], rdx
001ee7b6mov [rsp+8], rdi
001ee7bblea rax, [rip+0x17e9be]
001ee7c2mov rax, [rax+544]
001ee7c9mov rax, [rax+24]
001ee7cdmov rbx, rsi
001ee7d0mov rdi, rdx
001ee7d3call Stdlib.Scanf.check_next_char
001ee7d8mov rbx, rax
001ee7dbcmp rbx, 81
001ee7dfjl 0x1eea1c
001ee7e5cmp rbx, 117
001ee7e9jl 0x1ee8c8
001ee7efmov rax, rbx
001ee7f2add rax, -184
001ee7f8cmp rax, 57
001ee7fcja 0x1eea28
001ee802sar rax, 1
001ee805lea rdx, [rip+0x40054]
001ee80cmovsxd rax, [rdx+4*rax]
001ee810add rdx, rax
001ee813jmp rdx
001ee815nop [rax]
001ee818sub r15, 40
001ee81ccmp r15, [r14]
001ee81fjb 0x1eeb17
001ee825
001ee825loc_1ee825:
001ee825lea rbx, [r15+8]
001ee829mov [rsp], rbx
001ee82dmov [rbx-8], 4343
001ee835lea rax, [rip+1060]
001ee83cmov [rbx], rax
001ee83fmov rax, 0x100000000000005
001ee849mov [rbx+8], rax
001ee84dmov rax, [rsp+8]
001ee852mov rax, [rax+24]
001ee856mov [rbx+16], rax
001ee85amov rax, [rsp+32]
001ee85fmov [rbx+24], rax
001ee863mov eax, 1
001ee868call Stdlib.Scanf.get_digit
001ee86dmov [rsp+8], rax
001ee872mov eax, 1
001ee877mov rbx, [rsp]
001ee87bcall Stdlib.Scanf.get_digit
001ee880mov rbx, rax
001ee883mov rax, [rsp+8]
001ee888call Stdlib.Scanf.char_for_hexadecimal_code
001ee88dmov rbx, rax
001ee890mov rax, [rsp+24]
001ee895add rax, -4
001ee899mov [rsp], rax
001ee89dmov rax, [rsp+32]
001ee8a2mov rax, [rax+56]
001ee8a6call Stdlib.Buffer.add_char
001ee8abmov rax, [rsp]
001ee8afadd rax, -2
001ee8b3mov rbx, [rsp+32]
001ee8b8mov [rbx+16], 1
001ee8c0add rsp, 40
001ee8c4ret
001ee8c5nop [rax]
001ee8c8
001ee8c8loc_1ee8c8:
001ee8c8cmp rbx, 97
001ee8ccjl 0x1eea28
001ee8d2mov [rsp+16], rbx
001ee8d7sub r15, 40
001ee8dbcmp r15, [r14]
001ee8dejb 0x1eeb0d
001ee8e4
001ee8e4loc_1ee8e4:
001ee8e4lea rbx, [r15+8]
001ee8e8mov [rsp], rbx
001ee8ecmov [rbx-8], 4343
001ee8f4lea rax, [rip+565]
001ee8fbmov [rbx], rax
001ee8femov rax, 0x100000000000005
001ee908mov [rbx+8], rax
001ee90cmov rax, [rsp+8]
001ee911mov rax, [rax+24]
001ee915mov [rbx+16], rax
001ee919mov rax, [rsp+32]
001ee91emov [rbx+24], rax
001ee922mov eax, 1
001ee927call Stdlib.Scanf.get_digit
001ee92cmov [rsp+8], rax
001ee931mov eax, 1
001ee936mov rbx, [rsp]
001ee93acall Stdlib.Scanf.get_digit
001ee93fmov rsi, [rsp+8]
001ee944mov rbx, rsi
001ee947imul rbx, rbx, 10
001ee94bmov rdx, [rsp+16]
001ee950mov rdi, rdx
001ee953imul rdi, rdi, 100
001ee957add rdi, rbx
001ee95alea rbx, [rdi+rax-10766]
001ee962cmp rbx, 1
001ee966jl 0x1ee980
001ee968cmp rbx, 511
001ee96fjg 0x1ee980
001ee971mov rax, rbx
001ee974call camlStdlib.char_of_int_148
001ee979mov rbx, rax
001ee97cjmp 0x1ee9e4
001ee97enop
001ee980
001ee980loc_1ee980:
001ee980mov [rsp+16], rax
001ee985mov [rsp+8], rsi
001ee98amov [rsp], rdx
001ee98elea rax, [rip+0x17eec3]
001ee995call Stdlib.Printf.sprintf
001ee99amov rsi, rax
001ee99dmov rax, [rsp]
001ee9a1mov rbx, [rsp+8]
001ee9a6mov rdi, [rsp+16]
001ee9abcall caml_apply3
001ee9b0sub r15, 24
001ee9b4cmp r15, [r14]
001ee9b7jb 0x1eeb03
001ee9bd
001ee9bdloc_1ee9bd:
001ee9bdlea rbx, [r15+8]
001ee9c1mov [rbx-8], 2048
001ee9c9lea rdi, [rip+0x17e7b0]
001ee9d0mov rdi, [rdi+8]
001ee9d4mov [rbx], rdi
001ee9d7mov [rbx+8], rax
001ee9dbmov rax, rbx
001ee9decall caml_raise_exn
001ee9e3nop
001ee9e4
001ee9e4loc_1ee9e4:
001ee9e4mov rax, [rsp+24]
001ee9e9add rax, -4
001ee9edmov [rsp], rax
001ee9f1mov rax, [rsp+32]
001ee9f6mov rax, [rax+56]
001ee9facall Stdlib.Buffer.add_char
001ee9ffmov rax, [rsp]
001eea03add rax, -2
001eea07mov rbx, [rsp+32]
001eea0cmov [rbx+16], 1
001eea14add rsp, 40
001eea18ret
001eea19nop [rax]
001eea1c
001eea1cloc_1eea1c:
001eea1ccmp rbx, 69
001eea20je 0x1eea78
001eea22cmp rbx, 79
001eea26jge 0x1eea78
001eea28
001eea28loc_1eea28:
001eea28mov [rsp], rbx
001eea2clea rax, [rip+0x17f7dd]
001eea33call Stdlib.Printf.sprintf
001eea38mov rbx, rax
001eea3bmov rdi, [rbx]
001eea3emov rax, [rsp]
001eea42call rdi
001eea44sub r15, 24
001eea48cmp r15, [r14]
001eea4bjb 0x1eeaf9
001eea51
001eea51loc_1eea51:
001eea51lea rbx, [r15+8]
001eea55mov [rbx-8], 2048
001eea5dlea rdi, [rip+0x17e71c]
001eea64mov rdi, [rdi+8]
001eea68mov [rbx], rdi
001eea6bmov [rbx+8], rax
001eea6fmov rax, rbx
001eea72call caml_raise_exn
001eea77nop
001eea78
001eea78loc_1eea78:
001eea78cmp rbx, 221
001eea7fjl 0x1eeac0
001eea81cmp rbx, 235
001eea88jge 0x1eead0
001eea8amov rax, rbx
001eea8dadd rax, -220
001eea93sar rax, 1
001eea96lea rdx, [rip+0x3fe37]
001eea9dmovsxd rax, [rdx+4*rax]
001eeaa1add rdx, rax
001eeaa4jmp rdx
001eeaa6nop
001eeaa8mov ebx, 21
001eeaadjmp 0x1eead0
001eeaafnop
001eeab0mov ebx, 27
001eeab5jmp 0x1eead0
001eeab7nop
001eeab8mov ebx, 19
001eeabdjmp 0x1eead0
001eeabfnop
001eeac0
001eeac0loc_1eeac0:
001eeac0cmp rbx, 197
001eeac7jne 0x1eead0
001eeac9mov ebx, 17
001eeacejmp 0x1eead0
001eead0
001eead0loc_1eead0:
001eead0mov rax, [rsp+32]
001eead5mov rax, [rax+56]
001eead9call Stdlib.Buffer.add_char
001eeademov rax, [rsp+24]
001eeae3add rax, -2
001eeae7mov rbx, [rsp+32]
001eeaecmov [rbx+16], 1
001eeaf4add rsp, 40
001eeaf8ret
001eeaf9
001eeaf9loc_1eeaf9:
001eeaf9call caml_call_gc
001eeafejmp 0x1eea51
001eeb03
001eeb03loc_1eeb03:
001eeb03call caml_call_gc
001eeb08jmp 0x1ee9bd
001eeb0d
001eeb0dloc_1eeb0d:
001eeb0dcall caml_call_gc
001eeb12jmp 0x1ee8e4
001eeb17
001eeb17loc_1eeb17:
001eeb17call caml_call_gc
001eeb1cjmp 0x1ee825
001eeb21
001eeb21loc_1eeb21:
001eeb21push 38
001eeb23call caml_call_realloc_stack
001eeb28pop r10
001eeb2ajmp 0x1ee7a2
001ee790
001eeb2f
001eeb2f // align 0x10
001eeb2f // align 0x10
001eeb30
001eeb30Stdlib.Scanf.get_digit:
001eeb30lea r10, [rsp-344]
001eeb38cmp r10, [r14+40]
001eeb3cjb 0x1eec48
001eeb42
001eeb42loc_1eeb42:
001eeb42sub rsp, 8
001eeb46mov rax, [rbx+24]
001eeb4amov [rsp], rax
001eeb4elea r11, [rip+83]
001eeb55push r11
001eeb57push [r14+48]
001eeb5bmov [r14+48], rsp
001eeb5fmov rbx, [rax+48]
001eeb63mov eax, 1
001eeb68mov rdi, [rbx]
001eeb6bcall rdi
001eeb6dmov rdi, [rsp+16]
001eeb72mov [rdi+8], rax
001eeb76mov [rdi+16], 3
001eeb7emov rbx, [rdi+24]
001eeb82add rbx, 2
001eeb86mov [rdi+24], rbx
001eeb8acmp rax, 21
001eeb8ejne 0x1eeb9c
001eeb90mov rbx, [rdi+32]
001eeb94add rbx, 2
001eeb98mov [rdi+32], rbx
001eeb9c
001eeb9cloc_1eeb9c:
001eeb9cpop [r14+48]
001eeba0add rsp, 8
001eeba4jmp 0x1eebe4
001eeba6
001eeba6 66 90 f.
001eeba8lea rbx, [rip+0x13ea69]
001eebafmov rbx, [rbx+88]
001eebb3cmp rax, rbx
001eebb6jne 0x1eebdc
001eebb8mov rax, [rsp]
001eebbcmov [rax+8], 1
001eebc4mov [rax+16], 1
001eebccmov [rax], 3
001eebd3mov eax, 1
001eebd8jmp 0x1eebe4
001eebda
001eebda 66 90 f.
001eebdc
001eebdcloc_1eebdc:
001eebdccall caml_reraise_exn
001eebe1nop [rax]
001eebe4
001eebe4loc_1eebe4:
001eebe4mov rbx, rax
001eebe7add rbx, -96
001eebebcmp rbx, 19
001eebefjbe 0x1eec3c
001eebf1mov [rsp], rax
001eebf5lea rax, [rip+0x17f614]
001eebfccall Stdlib.Printf.sprintf
001eec01mov rbx, rax
001eec04mov rdi, [rbx]
001eec07mov rax, [rsp]
001eec0bcall rdi
001eec0dsub r15, 24
001eec11cmp r15, [r14]
001eec14jb 0x1eec41
001eec16
001eec16loc_1eec16:
001eec16lea rbx, [r15+8]
001eec1amov [rbx-8], 2048
001eec22lea rdi, [rip+0x17e557]
001eec29mov rdi, [rdi+8]
001eec2dmov [rbx], rdi
001eec30mov [rbx+8], rax
001eec34mov rax, rbx
001eec37call caml_raise_exn
001eec3c
001eec3cloc_1eec3c:
001eec3cadd rsp, 8
001eec40ret
001eec41
001eec41loc_1eec41:
001eec41call caml_call_gc
001eec46jmp 0x1eec16
001eec48
001eec48loc_1eec48:
001eec48push 36
001eec4acall caml_call_realloc_stack
001eec4fpop r10
001eec51jmp 0x1eeb42
001eeb30
001eeb30Stdlib.Scanf.get_digit:
001eeb30lea r10, [rsp-344]
001eeb38cmp r10, [r14+40]
001eeb3cjb 0x1eec48
001eeb42
001eeb42loc_1eeb42:
001eeb42sub rsp, 8
001eeb46mov rax, [rbx+24]
001eeb4amov [rsp], rax
001eeb4elea r11, [rip+83]
001eeb55push r11
001eeb57push [r14+48]
001eeb5bmov [r14+48], rsp
001eeb5fmov rbx, [rax+48]
001eeb63mov eax, 1
001eeb68mov rdi, [rbx]
001eeb6bcall rdi
001eeb6dmov rdi, [rsp+16]
001eeb72mov [rdi+8], rax
001eeb76mov [rdi+16], 3
001eeb7emov rbx, [rdi+24]
001eeb82add rbx, 2
001eeb86mov [rdi+24], rbx
001eeb8acmp rax, 21
001eeb8ejne 0x1eeb9c
001eeb90mov rbx, [rdi+32]
001eeb94add rbx, 2
001eeb98mov [rdi+32], rbx
001eeb9c
001eeb9cloc_1eeb9c:
001eeb9cpop [r14+48]
001eeba0add rsp, 8
001eeba4jmp 0x1eebe4
001eeba6
001eeba6 66 90 f.
001eeba8lea rbx, [rip+0x13ea69]
001eebafmov rbx, [rbx+88]
001eebb3cmp rax, rbx
001eebb6jne 0x1eebdc
001eebb8mov rax, [rsp]
001eebbcmov [rax+8], 1
001eebc4mov [rax+16], 1
001eebccmov [rax], 3
001eebd3mov eax, 1
001eebd8jmp 0x1eebe4
001eebda
001eebda 66 90 f.
001eebdc
001eebdcloc_1eebdc:
001eebdccall caml_reraise_exn
001eebe1nop [rax]
001eebe4
001eebe4loc_1eebe4:
001eebe4mov rbx, rax
001eebe7add rbx, -96
001eebebcmp rbx, 19
001eebefjbe 0x1eec3c
001eebf1mov [rsp], rax
001eebf5lea rax, [rip+0x17f614]
001eebfccall Stdlib.Printf.sprintf
001eec01mov rbx, rax
001eec04mov rdi, [rbx]
001eec07mov rax, [rsp]
001eec0bcall rdi
001eec0dsub r15, 24
001eec11cmp r15, [r14]
001eec14jb 0x1eec41
001eec16
001eec16loc_1eec16:
001eec16lea rbx, [r15+8]
001eec1amov [rbx-8], 2048
001eec22lea rdi, [rip+0x17e557]
001eec29mov rdi, [rdi+8]
001eec2dmov [rbx], rdi
001eec30mov [rbx+8], rax
001eec34mov rax, rbx
001eec37call caml_raise_exn
001eec3c
001eec3cloc_1eec3c:
001eec3cadd rsp, 8
001eec40ret
001eec41
001eec41loc_1eec41:
001eec41call caml_call_gc
001eec46jmp 0x1eec16
001eec48
001eec48loc_1eec48:
001eec48push 36
001eec4acall caml_call_realloc_stack
001eec4fpop r10
001eec51jmp 0x1eeb42
001eeb30
001eec56
001eec56 // align 0x10
001eec56 // align 0x10
001eec60
001eec60Stdlib.Scanf.get_digit:
001eec60lea r10, [rsp-344]
001eec68cmp r10, [r14+40]
001eec6cjb 0x1eed94
001eec72
001eec72loc_1eec72:
001eec72sub rsp, 8
001eec76mov rax, [rbx+24]
001eec7amov [rsp], rax
001eec7elea r11, [rip+83]
001eec85push r11
001eec87push [r14+48]
001eec8bmov [r14+48], rsp
001eec8fmov rbx, [rax+48]
001eec93mov eax, 1
001eec98mov rdi, [rbx]
001eec9bcall rdi
001eec9dmov rdi, [rsp+16]
001eeca2mov [rdi+8], rax
001eeca6mov [rdi+16], 3
001eecaemov rbx, [rdi+24]
001eecb2add rbx, 2
001eecb6mov [rdi+24], rbx
001eecbacmp rax, 21
001eecbejne 0x1eeccc
001eecc0mov rbx, [rdi+32]
001eecc4add rbx, 2
001eecc8mov [rdi+32], rbx
001eeccc
001eecccloc_1eeccc:
001eecccpop [r14+48]
001eecd0add rsp, 8
001eecd4jmp 0x1eed14
001eecd6
001eecd6 66 90 f.
001eecd8lea rbx, [rip+0x13e939]
001eecdfmov rbx, [rbx+88]
001eece3cmp rax, rbx
001eece6jne 0x1eed0c
001eece8mov rax, [rsp]
001eececmov [rax+8], 1
001eecf4mov [rax+16], 1
001eecfcmov [rax], 3
001eed03mov eax, 1
001eed08jmp 0x1eed14
001eed0a
001eed0a 66 90 f.
001eed0c
001eed0cloc_1eed0c:
001eed0ccall caml_reraise_exn
001eed11nop [rax]
001eed14
001eed14loc_1eed14:
001eed14mov rbx, rax
001eed17add rbx, -96
001eed1bcmp rbx, 45
001eed1fjbe 0x1eed30
001eed21add rbx, -98
001eed25cmp rbx, 11
001eed29jbe 0x1eed88
001eed2bjmp 0x1eed3a
001eed2d
001eed2d 0f 1f 00 ...
001eed30
001eed30loc_1eed30:
001eed30add rbx, -20
001eed34cmp rbx, 13
001eed38ja 0x1eed88
001eed3a
001eed3aloc_1eed3a:
001eed3amov [rsp], rax
001eed3elea rax, [rip+0x17f4cb]
001eed45call Stdlib.Printf.sprintf
001eed4amov rbx, rax
001eed4dmov rdi, [rbx]
001eed50mov rax, [rsp]
001eed54call rdi
001eed56sub r15, 24
001eed5acmp r15, [r14]
001eed5djb 0x1eed8d
001eed5f
001eed5floc_1eed5f:
001eed5flea rbx, [r15+8]
001eed63mov [rbx-8], 2048
001eed6blea rdi, [rip+0x17e40e]
001eed72mov rdi, [rdi+8]
001eed76mov [rbx], rdi
001eed79mov [rbx+8], rax
001eed7dmov rax, rbx
001eed80call caml_raise_exn
001eed85nop [rax]
001eed88
001eed88loc_1eed88:
001eed88add rsp, 8
001eed8cret
001eed8d
001eed8dloc_1eed8d:
001eed8dcall caml_call_gc
001eed92jmp 0x1eed5f
001eed94
001eed94loc_1eed94:
001eed94push 36
001eed96call caml_call_realloc_stack
001eed9bpop r10
001eed9djmp 0x1eec72
001eec60
001eec60Stdlib.Scanf.get_digit:
001eec60lea r10, [rsp-344]
001eec68cmp r10, [r14+40]
001eec6cjb 0x1eed94
001eec72
001eec72loc_1eec72:
001eec72sub rsp, 8
001eec76mov rax, [rbx+24]
001eec7amov [rsp], rax
001eec7elea r11, [rip+83]
001eec85push r11
001eec87push [r14+48]
001eec8bmov [r14+48], rsp
001eec8fmov rbx, [rax+48]
001eec93mov eax, 1
001eec98mov rdi, [rbx]
001eec9bcall rdi
001eec9dmov rdi, [rsp+16]
001eeca2mov [rdi+8], rax
001eeca6mov [rdi+16], 3
001eecaemov rbx, [rdi+24]
001eecb2add rbx, 2
001eecb6mov [rdi+24], rbx
001eecbacmp rax, 21
001eecbejne 0x1eeccc
001eecc0mov rbx, [rdi+32]
001eecc4add rbx, 2
001eecc8mov [rdi+32], rbx
001eeccc
001eecccloc_1eeccc:
001eecccpop [r14+48]
001eecd0add rsp, 8
001eecd4jmp 0x1eed14
001eecd6
001eecd6 66 90 f.
001eecd8lea rbx, [rip+0x13e939]
001eecdfmov rbx, [rbx+88]
001eece3cmp rax, rbx
001eece6jne 0x1eed0c
001eece8mov rax, [rsp]
001eececmov [rax+8], 1
001eecf4mov [rax+16], 1
001eecfcmov [rax], 3
001eed03mov eax, 1
001eed08jmp 0x1eed14
001eed0a
001eed0a 66 90 f.
001eed0c
001eed0cloc_1eed0c:
001eed0ccall caml_reraise_exn
001eed11nop [rax]
001eed14
001eed14loc_1eed14:
001eed14mov rbx, rax
001eed17add rbx, -96
001eed1bcmp rbx, 45
001eed1fjbe 0x1eed30
001eed21add rbx, -98
001eed25cmp rbx, 11
001eed29jbe 0x1eed88
001eed2bjmp 0x1eed3a
001eed2d
001eed2d 0f 1f 00 ...
001eed30
001eed30loc_1eed30:
001eed30add rbx, -20
001eed34cmp rbx, 13
001eed38ja 0x1eed88
001eed3a
001eed3aloc_1eed3a:
001eed3amov [rsp], rax
001eed3elea rax, [rip+0x17f4cb]
001eed45call Stdlib.Printf.sprintf
001eed4amov rbx, rax
001eed4dmov rdi, [rbx]
001eed50mov rax, [rsp]
001eed54call rdi
001eed56sub r15, 24
001eed5acmp r15, [r14]
001eed5djb 0x1eed8d
001eed5f
001eed5floc_1eed5f:
001eed5flea rbx, [r15+8]
001eed63mov [rbx-8], 2048
001eed6blea rdi, [rip+0x17e40e]
001eed72mov rdi, [rdi+8]
001eed76mov [rbx], rdi
001eed79mov [rbx+8], rax
001eed7dmov rax, rbx
001eed80call caml_raise_exn
001eed85nop [rax]
001eed88
001eed88loc_1eed88:
001eed88add rsp, 8
001eed8cret
001eed8d
001eed8dloc_1eed8d:
001eed8dcall caml_call_gc
001eed92jmp 0x1eed5f
001eed94
001eed94loc_1eed94:
001eed94push 36
001eed96call caml_call_realloc_stack
001eed9bpop r10
001eed9djmp 0x1eec72
001eec60
001eeda2
001eeda2 // align 0x10
001eeda2 // align 0x10
001eedb0
001eedb0Stdlib.Scanf.scan_caml_char:
001eedb0sub r15, 88
001eedb4cmp r15, [r14]
001eedb7jb 0x1eee33
001eedb9
001eedb9loc_1eedb9:
001eedb9lea rsi, [r15+8]
001eedbdmov [rsi-8], 10487
001eedc5lea rdx, [rip+116]
001eedccmov [rsi], rdx
001eedcfmov rdx, 0x100000000000011
001eedd9mov [rsi+8], rdx
001eedddmov [rsi+16], 3321
001eede5lea rdx, [rip+500]
001eedecmov [rsi+24], rdx
001eedf0mov rdx, 0x10000000000000b
001eedfamov [rsi+32], rdx
001eedfemov [rsi+40], 6393
001eee06lea rdx, [rip+707]
001eee0dmov [rsi+48], rdx
001eee11mov rdx, 0x100000000000005
001eee1bmov [rsi+56], rdx
001eee1fmov rdi, [rdi+24]
001eee23mov [rsi+64], rdi
001eee27mov [rsi+72], rbx
001eee2bmov rbx, rsi
001eee2ejmp 0x1eee40
001eee33
001eee33loc_1eee33:
001eee33call caml_call_gc
001eee38jmp 0x1eedb9
001eedb0
001eedb0Stdlib.Scanf.scan_caml_char:
001eedb0sub r15, 88
001eedb4cmp r15, [r14]
001eedb7jb 0x1eee33
001eedb9
001eedb9loc_1eedb9:
001eedb9lea rsi, [r15+8]
001eedbdmov [rsi-8], 10487
001eedc5lea rdx, [rip+116]
001eedccmov [rsi], rdx
001eedcfmov rdx, 0x100000000000011
001eedd9mov [rsi+8], rdx
001eedddmov [rsi+16], 3321
001eede5lea rdx, [rip+500]
001eedecmov [rsi+24], rdx
001eedf0mov rdx, 0x10000000000000b
001eedfamov [rsi+32], rdx
001eedfemov [rsi+40], 6393
001eee06lea rdx, [rip+707]
001eee0dmov [rsi+48], rdx
001eee11mov rdx, 0x100000000000005
001eee1bmov [rsi+56], rdx
001eee1fmov rdi, [rdi+24]
001eee23mov [rsi+64], rdi
001eee27mov [rsi+72], rbx
001eee2bmov rbx, rsi
001eee2ejmp 0x1eee40
001eee33
001eee33loc_1eee33:
001eee33call caml_call_gc
001eee38jmp 0x1eedb9
001eedb0
001eee3d
001eee3d // align 0x10
001eee3d // align 0x10
001eee40
001eee40Stdlib.Scanf.find_start:
001eee40lea r10, [rsp-360]
001eee48cmp r10, [r14+40]
001eee4cjb 0x1eefcf
001eee52
001eee52loc_1eee52:
001eee52sub rsp, 24
001eee56mov [rsp+8], rax
001eee5bmov [rsp], rbx
001eee5fcmp r15, [r14]
001eee62jbe 0x1eefc5
001eee68
001eee68loc_1eee68:
001eee68mov rbx, [rbx+72]
001eee6cmov rax, [rbx+16]
001eee70cmp rax, 1
001eee74je 0x1eee80
001eee76mov rax, [rbx+8]
001eee7ajmp 0x1eef1c
001eee7f
001eee7f 90 .
001eee80
001eee80loc_1eee80:
001eee80mov [rsp+16], rbx
001eee85lea r11, [rip+84]
001eee8cpush r11
001eee8epush [r14+48]
001eee92mov [r14+48], rsp
001eee96mov rbx, [rbx+48]
001eee9amov eax, 1
001eee9fmov rdi, [rbx]
001eeea2call rdi
001eeea4mov rbx, [rsp+32]
001eeea9mov [rbx+8], rax
001eeeadmov [rbx+16], 3
001eeeb5mov rdi, [rbx+24]
001eeeb9add rdi, 2
001eeebdmov [rbx+24], rdi
001eeec1cmp rax, 21
001eeec5jne 0x1eeed3
001eeec7mov rdi, [rbx+32]
001eeecbadd rdi, 2
001eeecfmov [rbx+32], rdi
001eeed3
001eeed3loc_1eeed3:
001eeed3pop [r14+48]
001eeed7add rsp, 8
001eeedbjmp 0x1eef1c
001eeedd
001eeedd 0f 1f 00 ...
001eeee0lea rbx, [rip+0x13e731]
001eeee7mov rbx, [rbx+88]
001eeeebcmp rax, rbx
001eeeeejne 0x1eef14
001eeef0mov rbx, [rsp+16]
001eeef5mov [rbx+8], 1
001eeefdmov [rbx+16], 1
001eef05mov [rbx], 3
001eef0cmov eax, 1
001eef11jmp 0x1eef1c
001eef13
001eef13 90 .
001eef14
001eef14loc_1eef14:
001eef14call caml_reraise_exn
001eef19nop [rax]
001eef1c
001eef1cloc_1eef1c:
001eef1cmov rbx, [rbx]
001eef1fcmp rbx, 1
001eef23je 0x1eef38
001eef25lea rax, [rip+0x13e6ec]
001eef2cmov rax, [rax+88]
001eef30call caml_raise_exn
001eef35nop [rax]
001eef38
001eef38loc_1eef38:
001eef38cmp rax, 79
001eef3cje 0x1eef98
001eef3emov [rsp+8], rax
001eef43mov eax, 79
001eef48mov [rsp], rax
001eef4clea rax, [rip+0x17ed85]
001eef53call Stdlib.Printf.sprintf
001eef58mov rdi, rax
001eef5bmov rax, [rsp]
001eef5fmov rbx, [rsp+8]
001eef64call caml_apply2
001eef69sub r15, 24
001eef6dcmp r15, [r14]
001eef70jb 0x1eefbe
001eef72
001eef72loc_1eef72:
001eef72lea rbx, [r15+8]
001eef76mov [rbx-8], 2048
001eef7elea rdi, [rip+0x17e1fb]
001eef85mov rdi, [rdi+8]
001eef89mov [rbx], rdi
001eef8cmov [rbx+8], rax
001eef90mov rax, rbx
001eef93call caml_raise_exn
001eef98
001eef98loc_1eef98:
001eef98mov rbx, [rsp]
001eef9cmov rdi, [rbx+72]
001eefa0mov rax, [rsp+8]
001eefa5add rax, -2
001eefa9mov [rdi+16], 1
001eefb1add rbx, 24
001eefb5add rsp, 24
001eefb9jmp 0x1eefe0
001eefbe
001eefbeloc_1eefbe:
001eefbecall caml_call_gc
001eefc3jmp 0x1eef72
001eefc5
001eefc5loc_1eefc5:
001eefc5call caml_call_gc
001eefcajmp 0x1eee68
001eefcf
001eefcfloc_1eefcf:
001eefcfpush 38
001eefd1call caml_call_realloc_stack
001eefd6pop r10
001eefd8jmp 0x1eee52
001eee40
001eee40Stdlib.Scanf.find_start:
001eee40lea r10, [rsp-360]
001eee48cmp r10, [r14+40]
001eee4cjb 0x1eefcf
001eee52
001eee52loc_1eee52:
001eee52sub rsp, 24
001eee56mov [rsp+8], rax
001eee5bmov [rsp], rbx
001eee5fcmp r15, [r14]
001eee62jbe 0x1eefc5
001eee68
001eee68loc_1eee68:
001eee68mov rbx, [rbx+72]
001eee6cmov rax, [rbx+16]
001eee70cmp rax, 1
001eee74je 0x1eee80
001eee76mov rax, [rbx+8]
001eee7ajmp 0x1eef1c
001eee7f
001eee7f 90 .
001eee80
001eee80loc_1eee80:
001eee80mov [rsp+16], rbx
001eee85lea r11, [rip+84]
001eee8cpush r11
001eee8epush [r14+48]
001eee92mov [r14+48], rsp
001eee96mov rbx, [rbx+48]
001eee9amov eax, 1
001eee9fmov rdi, [rbx]
001eeea2call rdi
001eeea4mov rbx, [rsp+32]
001eeea9mov [rbx+8], rax
001eeeadmov [rbx+16], 3
001eeeb5mov rdi, [rbx+24]
001eeeb9add rdi, 2
001eeebdmov [rbx+24], rdi
001eeec1cmp rax, 21
001eeec5jne 0x1eeed3
001eeec7mov rdi, [rbx+32]
001eeecbadd rdi, 2
001eeecfmov [rbx+32], rdi
001eeed3
001eeed3loc_1eeed3:
001eeed3pop [r14+48]
001eeed7add rsp, 8
001eeedbjmp 0x1eef1c
001eeedd
001eeedd 0f 1f 00 ...
001eeee0lea rbx, [rip+0x13e731]
001eeee7mov rbx, [rbx+88]
001eeeebcmp rax, rbx
001eeeeejne 0x1eef14
001eeef0mov rbx, [rsp+16]
001eeef5mov [rbx+8], 1
001eeefdmov [rbx+16], 1
001eef05mov [rbx], 3
001eef0cmov eax, 1
001eef11jmp 0x1eef1c
001eef13
001eef13 90 .
001eef14
001eef14loc_1eef14:
001eef14call caml_reraise_exn
001eef19nop [rax]
001eef1c
001eef1cloc_1eef1c:
001eef1cmov rbx, [rbx]
001eef1fcmp rbx, 1
001eef23je 0x1eef38
001eef25lea rax, [rip+0x13e6ec]
001eef2cmov rax, [rax+88]
001eef30call caml_raise_exn
001eef35nop [rax]
001eef38
001eef38loc_1eef38:
001eef38cmp rax, 79
001eef3cje 0x1eef98
001eef3emov [rsp+8], rax
001eef43mov eax, 79
001eef48mov [rsp], rax
001eef4clea rax, [rip+0x17ed85]
001eef53call Stdlib.Printf.sprintf
001eef58mov rdi, rax
001eef5bmov rax, [rsp]
001eef5fmov rbx, [rsp+8]
001eef64call caml_apply2
001eef69sub r15, 24
001eef6dcmp r15, [r14]
001eef70jb 0x1eefbe
001eef72
001eef72loc_1eef72:
001eef72lea rbx, [r15+8]
001eef76mov [rbx-8], 2048
001eef7elea rdi, [rip+0x17e1fb]
001eef85mov rdi, [rdi+8]
001eef89mov [rbx], rdi
001eef8cmov [rbx+8], rax
001eef90mov rax, rbx
001eef93call caml_raise_exn
001eef98
001eef98loc_1eef98:
001eef98mov rbx, [rsp]
001eef9cmov rdi, [rbx+72]
001eefa0mov rax, [rsp+8]
001eefa5add rax, -2
001eefa9mov [rdi+16], 1
001eefb1add rbx, 24
001eefb5add rsp, 24
001eefb9jmp 0x1eefe0
001eefbe
001eefbeloc_1eefbe:
001eefbecall caml_call_gc
001eefc3jmp 0x1eef72
001eefc5
001eefc5loc_1eefc5:
001eefc5call caml_call_gc
001eefcajmp 0x1eee68
001eefcf
001eefcfloc_1eefcf:
001eefcfpush 38
001eefd1call caml_call_realloc_stack
001eefd6pop r10
001eefd8jmp 0x1eee52
001eee40
001eefdd
001eefdd // align 0x10
001eefdd // align 0x10
001eefe0
001eefe0Stdlib.Scanf.find_char:
001eefe0lea r10, [rsp-344]
001eefe8cmp r10, [r14+40]
001eefecjb 0x1ef0bc
001eeff2
001eeff2loc_1eeff2:
001eeff2sub rsp, 24
001eeff6mov rsi, rax
001eeff9mov [rsp], rsi
001eeffdmov [rsp+16], rbx
001ef002cmp r15, [r14]
001ef005jbe 0x1ef0b2
001ef00b
001ef00bloc_1ef00b:
001ef00bmov rdi, [rbx+48]
001ef00flea rax, [rip+0x17e16a]
001ef016mov rax, [rax+544]
001ef01dmov rax, [rax+24]
001ef021mov rbx, rsi
001ef024call Stdlib.Scanf.check_next_char
001ef029mov rbx, rax
001ef02ccmp rbx, 185
001ef033je 0x1ef074
001ef035mov rax, [rsp+16]
001ef03amov rax, [rax+48]
001ef03emov [rsp+8], rax
001ef043mov rax, [rax+56]
001ef047call Stdlib.Buffer.add_char
001ef04cmov rax, [rsp]
001ef050add rax, -2
001ef054mov rbx, [rsp+8]
001ef059mov [rbx+16], 1
001ef061mov rbx, [rsp+16]
001ef066add rbx, 24
001ef06aadd rsp, 24
001ef06ejmp 0x1ef0d0
001ef073
001ef073 90 .
001ef074
001ef074loc_1ef074:
001ef074mov rax, [rsp+16]
001ef079mov rbx, [rax+48]
001ef07dmov rax, [rsp]
001ef081add rax, -2
001ef085mov [rbx+16], 1
001ef08dlea rdi, [rip+0x17e0ec]
001ef094mov rdi, [rdi+560]
001ef09bcall Stdlib.Scanf.scan_backslash_char
001ef0a0mov rbx, [rsp+16]
001ef0a5add rbx, 24
001ef0a9add rsp, 24
001ef0adjmp 0x1ef0d0
001ef0b2
001ef0b2loc_1ef0b2:
001ef0b2call caml_call_gc
001ef0b7jmp 0x1ef00b
001ef0bc
001ef0bcloc_1ef0bc:
001ef0bcpush 36
001ef0becall caml_call_realloc_stack
001ef0c3pop r10
001ef0c5jmp 0x1eeff2
001eefe0
001eefe0Stdlib.Scanf.find_char:
001eefe0lea r10, [rsp-344]
001eefe8cmp r10, [r14+40]
001eefecjb 0x1ef0bc
001eeff2
001eeff2loc_1eeff2:
001eeff2sub rsp, 24
001eeff6mov rsi, rax
001eeff9mov [rsp], rsi
001eeffdmov [rsp+16], rbx
001ef002cmp r15, [r14]
001ef005jbe 0x1ef0b2
001ef00b
001ef00bloc_1ef00b:
001ef00bmov rdi, [rbx+48]
001ef00flea rax, [rip+0x17e16a]
001ef016mov rax, [rax+544]
001ef01dmov rax, [rax+24]
001ef021mov rbx, rsi
001ef024call Stdlib.Scanf.check_next_char
001ef029mov rbx, rax
001ef02ccmp rbx, 185
001ef033je 0x1ef074
001ef035mov rax, [rsp+16]
001ef03amov rax, [rax+48]
001ef03emov [rsp+8], rax
001ef043mov rax, [rax+56]
001ef047call Stdlib.Buffer.add_char
001ef04cmov rax, [rsp]
001ef050add rax, -2
001ef054mov rbx, [rsp+8]
001ef059mov [rbx+16], 1
001ef061mov rbx, [rsp+16]
001ef066add rbx, 24
001ef06aadd rsp, 24
001ef06ejmp 0x1ef0d0
001ef073
001ef073 90 .
001ef074
001ef074loc_1ef074:
001ef074mov rax, [rsp+16]
001ef079mov rbx, [rax+48]
001ef07dmov rax, [rsp]
001ef081add rax, -2
001ef085mov [rbx+16], 1
001ef08dlea rdi, [rip+0x17e0ec]
001ef094mov rdi, [rdi+560]
001ef09bcall Stdlib.Scanf.scan_backslash_char
001ef0a0mov rbx, [rsp+16]
001ef0a5add rbx, 24
001ef0a9add rsp, 24
001ef0adjmp 0x1ef0d0
001ef0b2
001ef0b2loc_1ef0b2:
001ef0b2call caml_call_gc
001ef0b7jmp 0x1ef00b
001ef0bc
001ef0bcloc_1ef0bc:
001ef0bcpush 36
001ef0becall caml_call_realloc_stack
001ef0c3pop r10
001ef0c5jmp 0x1eeff2
001eefe0
001ef0ca
001ef0ca // align 0x10
001ef0ca // align 0x10
001ef0d0
001ef0d0Stdlib.Scanf.find_stop:
001ef0d0lea r10, [rsp-336]
001ef0d8cmp r10, [r14+40]
001ef0dcjb 0x1ef195
001ef0e2
001ef0e2loc_1ef0e2:
001ef0e2sub rsp, 16
001ef0e6mov rsi, rax
001ef0e9mov [rsp+8], rsi
001ef0eemov [rsp], rbx
001ef0f2mov rdi, [rbx+24]
001ef0f6lea rax, [rip+0x17e083]
001ef0fdmov rax, [rax+544]
001ef104mov rax, [rax+24]
001ef108mov rbx, rsi
001ef10bcall Stdlib.Scanf.check_next_char
001ef110cmp rax, 79
001ef114je 0x1ef170
001ef116mov [rsp+8], rax
001ef11bmov eax, 79
001ef120mov [rsp], rax
001ef124lea rax, [rip+0x17ebad]
001ef12bcall Stdlib.Printf.sprintf
001ef130mov rdi, rax
001ef133mov rax, [rsp]
001ef137mov rbx, [rsp+8]
001ef13ccall caml_apply2
001ef141sub r15, 24
001ef145cmp r15, [r14]
001ef148jb 0x1ef18e
001ef14a
001ef14aloc_1ef14a:
001ef14alea rbx, [r15+8]
001ef14emov [rbx-8], 2048
001ef156lea rdi, [rip+0x17e023]
001ef15dmov rdi, [rdi+8]
001ef161mov [rbx], rdi
001ef164mov [rbx+8], rax
001ef168mov rax, rbx
001ef16bcall caml_raise_exn
001ef170
001ef170loc_1ef170:
001ef170mov rax, [rsp]
001ef174mov rbx, [rax+24]
001ef178mov rax, [rsp+8]
001ef17dadd rax, -2
001ef181mov [rbx+16], 1
001ef189add rsp, 16
001ef18dret
001ef18e
001ef18eloc_1ef18e:
001ef18ecall caml_call_gc
001ef193jmp 0x1ef14a
001ef195
001ef195loc_1ef195:
001ef195push 35
001ef197call caml_call_realloc_stack
001ef19cpop r10
001ef19ejmp 0x1ef0e2
001ef0d0
001ef0d0Stdlib.Scanf.find_stop:
001ef0d0lea r10, [rsp-336]
001ef0d8cmp r10, [r14+40]
001ef0dcjb 0x1ef195
001ef0e2
001ef0e2loc_1ef0e2:
001ef0e2sub rsp, 16
001ef0e6mov rsi, rax
001ef0e9mov [rsp+8], rsi
001ef0eemov [rsp], rbx
001ef0f2mov rdi, [rbx+24]
001ef0f6lea rax, [rip+0x17e083]
001ef0fdmov rax, [rax+544]
001ef104mov rax, [rax+24]
001ef108mov rbx, rsi
001ef10bcall Stdlib.Scanf.check_next_char
001ef110cmp rax, 79
001ef114je 0x1ef170
001ef116mov [rsp+8], rax
001ef11bmov eax, 79
001ef120mov [rsp], rax
001ef124lea rax, [rip+0x17ebad]
001ef12bcall Stdlib.Printf.sprintf
001ef130mov rdi, rax
001ef133mov rax, [rsp]
001ef137mov rbx, [rsp+8]
001ef13ccall caml_apply2
001ef141sub r15, 24
001ef145cmp r15, [r14]
001ef148jb 0x1ef18e
001ef14a
001ef14aloc_1ef14a:
001ef14alea rbx, [r15+8]
001ef14emov [rbx-8], 2048
001ef156lea rdi, [rip+0x17e023]
001ef15dmov rdi, [rdi+8]
001ef161mov [rbx], rdi
001ef164mov [rbx+8], rax
001ef168mov rax, rbx
001ef16bcall caml_raise_exn
001ef170
001ef170loc_1ef170:
001ef170mov rax, [rsp]
001ef174mov rbx, [rax+24]
001ef178mov rax, [rsp+8]
001ef17dadd rax, -2
001ef181mov [rbx+16], 1
001ef189add rsp, 16
001ef18dret
001ef18e
001ef18eloc_1ef18e:
001ef18ecall caml_call_gc
001ef193jmp 0x1ef14a
001ef195
001ef195loc_1ef195:
001ef195push 35
001ef197call caml_call_realloc_stack
001ef19cpop r10
001ef19ejmp 0x1ef0e2
001ef0d0
001ef1a3
001ef1a3 // align 0x10
001ef1a3 // align 0x10
001ef1b0
001ef1b0Stdlib.Scanf.scan_caml_string:
001ef1b0mov rsi, rbx
001ef1b3sub r15, 136
001ef1bacmp r15, [r14]
001ef1bdjb 0x1ef27c
001ef1c3
001ef1c3loc_1ef1c3:
001ef1c3lea rbx, [r15+8]
001ef1c7mov [rbx-8], 16631
001ef1cflea rdx, [rip+186]
001ef1d6mov [rbx], rdx
001ef1d9mov rdx, 0x10000000000001d
001ef1e3mov [rbx+8], rdx
001ef1e7mov [rbx+16], 3321
001ef1eflea rdx, [rip+570]
001ef1f6mov [rbx+24], rdx
001ef1famov rdx, 0x100000000000017
001ef204mov [rbx+32], rdx
001ef208mov [rbx+40], 6393
001ef210lea rdx, [rip+777]
001ef217mov [rbx+48], rdx
001ef21bmov rdx, 0x100000000000011
001ef225mov [rbx+56], rdx
001ef229mov [rbx+64], 9465
001ef231lea rdx, [rip+1176]
001ef238mov [rbx+72], rdx
001ef23cmov rdx, 0x10000000000000b
001ef246mov [rbx+80], rdx
001ef24amov [rbx+88], 12537
001ef252lea rdx, [rip+1543]
001ef259mov [rbx+96], rdx
001ef25dmov rdx, 0x100000000000005
001ef267mov [rbx+104], rdx
001ef26bmov rdi, [rdi+24]
001ef26fmov [rbx+112], rdi
001ef273mov [rbx+120], rsi
001ef277jmp 0x1ef290
001ef27c
001ef27cloc_1ef27c:
001ef27ccall caml_call_gc
001ef281jmp 0x1ef1c3
001ef1b0
001ef1b0Stdlib.Scanf.scan_caml_string:
001ef1b0mov rsi, rbx
001ef1b3sub r15, 136
001ef1bacmp r15, [r14]
001ef1bdjb 0x1ef27c
001ef1c3
001ef1c3loc_1ef1c3:
001ef1c3lea rbx, [r15+8]
001ef1c7mov [rbx-8], 16631
001ef1cflea rdx, [rip+186]
001ef1d6mov [rbx], rdx
001ef1d9mov rdx, 0x10000000000001d
001ef1e3mov [rbx+8], rdx
001ef1e7mov [rbx+16], 3321
001ef1eflea rdx, [rip+570]
001ef1f6mov [rbx+24], rdx
001ef1famov rdx, 0x100000000000017
001ef204mov [rbx+32], rdx
001ef208mov [rbx+40], 6393
001ef210lea rdx, [rip+777]
001ef217mov [rbx+48], rdx
001ef21bmov rdx, 0x100000000000011
001ef225mov [rbx+56], rdx
001ef229mov [rbx+64], 9465
001ef231lea rdx, [rip+1176]
001ef238mov [rbx+72], rdx
001ef23cmov rdx, 0x10000000000000b
001ef246mov [rbx+80], rdx
001ef24amov [rbx+88], 12537
001ef252lea rdx, [rip+1543]
001ef259mov [rbx+96], rdx
001ef25dmov rdx, 0x100000000000005
001ef267mov [rbx+104], rdx
001ef26bmov rdi, [rdi+24]
001ef26fmov [rbx+112], rdi
001ef273mov [rbx+120], rsi
001ef277jmp 0x1ef290
001ef27c
001ef27cloc_1ef27c:
001ef27ccall caml_call_gc
001ef281jmp 0x1ef1c3
001ef1b0
001ef286
001ef286 // align 0x10
001ef286 // align 0x10
001ef290
001ef290Stdlib.Scanf.find_start:
001ef290lea r10, [rsp-360]
001ef298cmp r10, [r14+40]
001ef29cjb 0x1ef41f
001ef2a2
001ef2a2loc_1ef2a2:
001ef2a2sub rsp, 24
001ef2a6mov [rsp+8], rax
001ef2abmov [rsp], rbx
001ef2afcmp r15, [r14]
001ef2b2jbe 0x1ef415
001ef2b8
001ef2b8loc_1ef2b8:
001ef2b8mov rbx, [rbx+120]
001ef2bcmov rax, [rbx+16]
001ef2c0cmp rax, 1
001ef2c4je 0x1ef2d0
001ef2c6mov rax, [rbx+8]
001ef2cajmp 0x1ef36c
001ef2cf
001ef2cf 90 .
001ef2d0
001ef2d0loc_1ef2d0:
001ef2d0mov [rsp+16], rbx
001ef2d5lea r11, [rip+84]
001ef2dcpush r11
001ef2depush [r14+48]
001ef2e2mov [r14+48], rsp
001ef2e6mov rbx, [rbx+48]
001ef2eamov eax, 1
001ef2efmov rdi, [rbx]
001ef2f2call rdi
001ef2f4mov rbx, [rsp+32]
001ef2f9mov [rbx+8], rax
001ef2fdmov [rbx+16], 3
001ef305mov rdi, [rbx+24]
001ef309add rdi, 2
001ef30dmov [rbx+24], rdi
001ef311cmp rax, 21
001ef315jne 0x1ef323
001ef317mov rdi, [rbx+32]
001ef31badd rdi, 2
001ef31fmov [rbx+32], rdi
001ef323
001ef323loc_1ef323:
001ef323pop [r14+48]
001ef327add rsp, 8
001ef32bjmp 0x1ef36c
001ef32d
001ef32d 0f 1f 00 ...
001ef330lea rbx, [rip+0x13e2e1]
001ef337mov rbx, [rbx+88]
001ef33bcmp rax, rbx
001ef33ejne 0x1ef364
001ef340mov rbx, [rsp+16]
001ef345mov [rbx+8], 1
001ef34dmov [rbx+16], 1
001ef355mov [rbx], 3
001ef35cmov eax, 1
001ef361jmp 0x1ef36c
001ef363
001ef363 90 .
001ef364
001ef364loc_1ef364:
001ef364call caml_reraise_exn
001ef369nop [rax]
001ef36c
001ef36cloc_1ef36c:
001ef36cmov rbx, [rbx]
001ef36fcmp rbx, 1
001ef373je 0x1ef388
001ef375lea rax, [rip+0x13e29c]
001ef37cmov rax, [rax+88]
001ef380call caml_raise_exn
001ef385nop [rax]
001ef388
001ef388loc_1ef388:
001ef388cmp rax, 69
001ef38cje 0x1ef3e8
001ef38emov [rsp+8], rax
001ef393mov eax, 69
001ef398mov [rsp], rax
001ef39clea rax, [rip+0x17e935]
001ef3a3call Stdlib.Printf.sprintf
001ef3a8mov rdi, rax
001ef3abmov rax, [rsp]
001ef3afmov rbx, [rsp+8]
001ef3b4call caml_apply2
001ef3b9sub r15, 24
001ef3bdcmp r15, [r14]
001ef3c0jb 0x1ef40e
001ef3c2
001ef3c2loc_1ef3c2:
001ef3c2lea rbx, [r15+8]
001ef3c6mov [rbx-8], 2048
001ef3celea rdi, [rip+0x17ddab]
001ef3d5mov rdi, [rdi+8]
001ef3d9mov [rbx], rdi
001ef3dcmov [rbx+8], rax
001ef3e0mov rax, rbx
001ef3e3call caml_raise_exn
001ef3e8
001ef3e8loc_1ef3e8:
001ef3e8mov rbx, [rsp]
001ef3ecmov rdi, [rbx+120]
001ef3f0mov rax, [rsp+8]
001ef3f5add rax, -2
001ef3f9mov [rdi+16], 1
001ef401add rbx, 24
001ef405add rsp, 24
001ef409jmp 0x1ef430
001ef40e
001ef40eloc_1ef40e:
001ef40ecall caml_call_gc
001ef413jmp 0x1ef3c2
001ef415
001ef415loc_1ef415:
001ef415call caml_call_gc
001ef41ajmp 0x1ef2b8
001ef41f
001ef41floc_1ef41f:
001ef41fpush 38
001ef421call caml_call_realloc_stack
001ef426pop r10
001ef428jmp 0x1ef2a2
001ef290
001ef290Stdlib.Scanf.find_start:
001ef290lea r10, [rsp-360]
001ef298cmp r10, [r14+40]
001ef29cjb 0x1ef41f
001ef2a2
001ef2a2loc_1ef2a2:
001ef2a2sub rsp, 24
001ef2a6mov [rsp+8], rax
001ef2abmov [rsp], rbx
001ef2afcmp r15, [r14]
001ef2b2jbe 0x1ef415
001ef2b8
001ef2b8loc_1ef2b8:
001ef2b8mov rbx, [rbx+120]
001ef2bcmov rax, [rbx+16]
001ef2c0cmp rax, 1
001ef2c4je 0x1ef2d0
001ef2c6mov rax, [rbx+8]
001ef2cajmp 0x1ef36c
001ef2cf
001ef2cf 90 .
001ef2d0
001ef2d0loc_1ef2d0:
001ef2d0mov [rsp+16], rbx
001ef2d5lea r11, [rip+84]
001ef2dcpush r11
001ef2depush [r14+48]
001ef2e2mov [r14+48], rsp
001ef2e6mov rbx, [rbx+48]
001ef2eamov eax, 1
001ef2efmov rdi, [rbx]
001ef2f2call rdi
001ef2f4mov rbx, [rsp+32]
001ef2f9mov [rbx+8], rax
001ef2fdmov [rbx+16], 3
001ef305mov rdi, [rbx+24]
001ef309add rdi, 2
001ef30dmov [rbx+24], rdi
001ef311cmp rax, 21
001ef315jne 0x1ef323
001ef317mov rdi, [rbx+32]
001ef31badd rdi, 2
001ef31fmov [rbx+32], rdi
001ef323
001ef323loc_1ef323:
001ef323pop [r14+48]
001ef327add rsp, 8
001ef32bjmp 0x1ef36c
001ef32d
001ef32d 0f 1f 00 ...
001ef330lea rbx, [rip+0x13e2e1]
001ef337mov rbx, [rbx+88]
001ef33bcmp rax, rbx
001ef33ejne 0x1ef364
001ef340mov rbx, [rsp+16]
001ef345mov [rbx+8], 1
001ef34dmov [rbx+16], 1
001ef355mov [rbx], 3
001ef35cmov eax, 1
001ef361jmp 0x1ef36c
001ef363
001ef363 90 .
001ef364
001ef364loc_1ef364:
001ef364call caml_reraise_exn
001ef369nop [rax]
001ef36c
001ef36cloc_1ef36c:
001ef36cmov rbx, [rbx]
001ef36fcmp rbx, 1
001ef373je 0x1ef388
001ef375lea rax, [rip+0x13e29c]
001ef37cmov rax, [rax+88]
001ef380call caml_raise_exn
001ef385nop [rax]
001ef388
001ef388loc_1ef388:
001ef388cmp rax, 69
001ef38cje 0x1ef3e8
001ef38emov [rsp+8], rax
001ef393mov eax, 69
001ef398mov [rsp], rax
001ef39clea rax, [rip+0x17e935]
001ef3a3call Stdlib.Printf.sprintf
001ef3a8mov rdi, rax
001ef3abmov rax, [rsp]
001ef3afmov rbx, [rsp+8]
001ef3b4call caml_apply2
001ef3b9sub r15, 24
001ef3bdcmp r15, [r14]
001ef3c0jb 0x1ef40e
001ef3c2
001ef3c2loc_1ef3c2:
001ef3c2lea rbx, [r15+8]
001ef3c6mov [rbx-8], 2048
001ef3celea rdi, [rip+0x17ddab]
001ef3d5mov rdi, [rdi+8]
001ef3d9mov [rbx], rdi
001ef3dcmov [rbx+8], rax
001ef3e0mov rax, rbx
001ef3e3call caml_raise_exn
001ef3e8
001ef3e8loc_1ef3e8:
001ef3e8mov rbx, [rsp]
001ef3ecmov rdi, [rbx+120]
001ef3f0mov rax, [rsp+8]
001ef3f5add rax, -2
001ef3f9mov [rdi+16], 1
001ef401add rbx, 24
001ef405add rsp, 24
001ef409jmp 0x1ef430
001ef40e
001ef40eloc_1ef40e:
001ef40ecall caml_call_gc
001ef413jmp 0x1ef3c2
001ef415
001ef415loc_1ef415:
001ef415call caml_call_gc
001ef41ajmp 0x1ef2b8
001ef41f
001ef41floc_1ef41f:
001ef41fpush 38
001ef421call caml_call_realloc_stack
001ef426pop r10
001ef428jmp 0x1ef2a2
001ef290
001ef42d
001ef42d // align 0x10
001ef42d // align 0x10
001ef430
001ef430Stdlib.Scanf.find_stop:
001ef430lea r10, [rsp-344]
001ef438cmp r10, [r14+40]
001ef43cjb 0x1ef510
001ef442
001ef442loc_1ef442:
001ef442sub rsp, 24
001ef446
001ef446loc_1ef446:
001ef446mov rsi, rax
001ef449mov [rsp], rsi
001ef44dmov [rsp+16], rbx
001ef452cmp r15, [r14]
001ef455jbe 0x1ef506
001ef45b
001ef45bloc_1ef45b:
001ef45bmov rdi, [rbx+96]
001ef45flea rax, [rip+0x17dd1a]
001ef466mov rax, [rax+552]
001ef46dmov rax, [rax+24]
001ef471mov rbx, rsi
001ef474call Stdlib.Scanf.check_next_char
001ef479mov rbx, rax
001ef47ccmp rbx, 69
001ef480je 0x1ef4e8
001ef482cmp rbx, 185
001ef489je 0x1ef4c0
001ef48bmov rax, [rsp+16]
001ef490mov rax, [rax+96]
001ef494mov [rsp+8], rax
001ef499mov rax, [rax+56]
001ef49dcall Stdlib.Buffer.add_char
001ef4a2mov rax, [rsp]
001ef4a6add rax, -2
001ef4aamov rbx, [rsp+8]
001ef4afmov [rbx+16], 1
001ef4b7mov rbx, [rsp+16]
001ef4bcjmp 0x1ef446
001ef4be
001ef4be 66 90 f.
001ef4c0
001ef4c0loc_1ef4c0:
001ef4c0mov rbx, [rsp+16]
001ef4c5mov rdi, [rbx+96]
001ef4c9mov rax, [rsp]
001ef4cdadd rax, -2
001ef4d1mov [rdi+16], 1
001ef4d9add rbx, 24
001ef4ddadd rsp, 24
001ef4e1jmp 0x1ef520
001ef4e6
001ef4e6 66 90 f.
001ef4e8
001ef4e8loc_1ef4e8:
001ef4e8mov rax, [rsp+16]
001ef4edmov rbx, [rax+96]
001ef4f1mov rax, [rsp]
001ef4f5add rax, -2
001ef4f9mov [rbx+16], 1
001ef501add rsp, 24
001ef505ret
001ef506
001ef506loc_1ef506:
001ef506call caml_call_gc
001ef50bjmp 0x1ef45b
001ef510
001ef510loc_1ef510:
001ef510push 36
001ef512call caml_call_realloc_stack
001ef517pop r10
001ef519jmp 0x1ef442
001ef430
001ef430Stdlib.Scanf.find_stop:
001ef430lea r10, [rsp-344]
001ef438cmp r10, [r14+40]
001ef43cjb 0x1ef510
001ef442
001ef442loc_1ef442:
001ef442sub rsp, 24
001ef446
001ef446loc_1ef446:
001ef446mov rsi, rax
001ef449mov [rsp], rsi
001ef44dmov [rsp+16], rbx
001ef452cmp r15, [r14]
001ef455jbe 0x1ef506
001ef45b
001ef45bloc_1ef45b:
001ef45bmov rdi, [rbx+96]
001ef45flea rax, [rip+0x17dd1a]
001ef466mov rax, [rax+552]
001ef46dmov rax, [rax+24]
001ef471mov rbx, rsi
001ef474call Stdlib.Scanf.check_next_char
001ef479mov rbx, rax
001ef47ccmp rbx, 69
001ef480je 0x1ef4e8
001ef482cmp rbx, 185
001ef489je 0x1ef4c0
001ef48bmov rax, [rsp+16]
001ef490mov rax, [rax+96]
001ef494mov [rsp+8], rax
001ef499mov rax, [rax+56]
001ef49dcall Stdlib.Buffer.add_char
001ef4a2mov rax, [rsp]
001ef4a6add rax, -2
001ef4aamov rbx, [rsp+8]
001ef4afmov [rbx+16], 1
001ef4b7mov rbx, [rsp+16]
001ef4bcjmp 0x1ef446
001ef4be
001ef4be 66 90 f.
001ef4c0
001ef4c0loc_1ef4c0:
001ef4c0mov rbx, [rsp+16]
001ef4c5mov rdi, [rbx+96]
001ef4c9mov rax, [rsp]
001ef4cdadd rax, -2
001ef4d1mov [rdi+16], 1
001ef4d9add rbx, 24
001ef4ddadd rsp, 24
001ef4e1jmp 0x1ef520
001ef4e6
001ef4e6 66 90 f.
001ef4e8
001ef4e8loc_1ef4e8:
001ef4e8mov rax, [rsp+16]
001ef4edmov rbx, [rax+96]
001ef4f1mov rax, [rsp]
001ef4f5add rax, -2
001ef4f9mov [rbx+16], 1
001ef501add rsp, 24
001ef505ret
001ef506
001ef506loc_1ef506:
001ef506call caml_call_gc
001ef50bjmp 0x1ef45b
001ef510
001ef510loc_1ef510:
001ef510push 36
001ef512call caml_call_realloc_stack
001ef517pop r10
001ef519jmp 0x1ef442
001ef430
001ef51e
001ef51e // align 0x10
001ef51e // align 0x10
001ef520
001ef520Stdlib.Scanf.scan_backslash:
001ef520lea r10, [rsp-344]
001ef528cmp r10, [r14+40]
001ef52cjb 0x1ef6b4
001ef532
001ef532loc_1ef532:
001ef532sub rsp, 24
001ef536
001ef536loc_1ef536:
001ef536mov rsi, rax
001ef539mov [rsp], rsi
001ef53dmov [rsp+16], rbx
001ef542cmp r15, [r14]
001ef545jbe 0x1ef6aa
001ef54b
001ef54bloc_1ef54b:
001ef54bmov rdi, [rbx+72]
001ef54flea rax, [rip+0x17dc2a]
001ef556mov rax, [rax+552]
001ef55dmov rax, [rax+24]
001ef561mov rbx, rsi
001ef564call Stdlib.Scanf.check_next_char
001ef569cmp rax, 21
001ef56dje 0x1ef684
001ef573cmp rax, 27
001ef577je 0x1ef65c
001ef57dmov rax, [rsp+16]
001ef582mov rbx, [rax+72]
001ef586lea rax, [rip+0x17dbf3]
001ef58dmov rdi, [rax+560]
001ef594mov rax, [rsp]
001ef598call Stdlib.Scanf.scan_backslash_char
001ef59dmov rbx, rax
001ef5a0mov [rsp], rbx
001ef5a4mov rax, [rsp+16]
001ef5a9mov rdi, [rax+72]
001ef5adlea rax, [rip+0x17dbcc]
001ef5b4mov rax, [rax+552]
001ef5bbmov rax, [rax+24]
001ef5bfcall Stdlib.Scanf.check_next_char
001ef5c4mov rbx, rax
001ef5c7cmp rbx, 69
001ef5cbje 0x1ef63c
001ef5cdcmp rbx, 185
001ef5d4je 0x1ef614
001ef5d6mov rax, [rsp+16]
001ef5dbmov rax, [rax+72]
001ef5dfmov [rsp+8], rax
001ef5e4mov rax, [rax+56]
001ef5e8call Stdlib.Buffer.add_char
001ef5edmov rax, [rsp]
001ef5f1add rax, -2
001ef5f5mov rbx, [rsp+8]
001ef5famov [rbx+16], 1
001ef602mov rbx, [rsp+16]
001ef607add rbx, -24
001ef60badd rsp, 24
001ef60fjmp 0x1ef430
001ef614
001ef614loc_1ef614:
001ef614mov rbx, [rsp+16]
001ef619mov rdi, [rbx+72]
001ef61dmov rax, [rsp]
001ef621add rax, -2
001ef625mov [rdi+16], 1
001ef62dadd rbx, -24
001ef631add rbx, 24
001ef635jmp 0x1ef536
001ef63a
001ef63a 66 90 f.
001ef63c
001ef63cloc_1ef63c:
001ef63cmov rax, [rsp+16]
001ef641mov rbx, [rax+72]
001ef645mov rax, [rsp]
001ef649add rax, -2
001ef64dmov [rbx+16], 1
001ef655add rsp, 24
001ef659ret
001ef65a
001ef65a 66 90 f.
001ef65c
001ef65cloc_1ef65c:
001ef65cmov rbx, [rsp+16]
001ef661mov rdi, [rbx+72]
001ef665mov rax, [rsp]
001ef669add rax, -2
001ef66dmov [rdi+16], 1
001ef675add rbx, 24
001ef679add rsp, 24
001ef67djmp 0x1ef6d0
001ef682
001ef682 66 90 f.
001ef684
001ef684loc_1ef684:
001ef684mov rbx, [rsp+16]
001ef689mov rdi, [rbx+72]
001ef68dmov rax, [rsp]
001ef691add rax, -2
001ef695mov [rdi+16], 1
001ef69dadd rbx, 48
001ef6a1add rsp, 24
001ef6a5jmp 0x1ef860
001ef6aa
001ef6aaloc_1ef6aa:
001ef6aacall caml_call_gc
001ef6afjmp 0x1ef54b
001ef6b4
001ef6b4loc_1ef6b4:
001ef6b4push 36
001ef6b6call caml_call_realloc_stack
001ef6bbpop r10
001ef6bdjmp 0x1ef532
001ef520
001ef520Stdlib.Scanf.scan_backslash:
001ef520lea r10, [rsp-344]
001ef528cmp r10, [r14+40]
001ef52cjb 0x1ef6b4
001ef532
001ef532loc_1ef532:
001ef532sub rsp, 24
001ef536
001ef536loc_1ef536:
001ef536mov rsi, rax
001ef539mov [rsp], rsi
001ef53dmov [rsp+16], rbx
001ef542cmp r15, [r14]
001ef545jbe 0x1ef6aa
001ef54b
001ef54bloc_1ef54b:
001ef54bmov rdi, [rbx+72]
001ef54flea rax, [rip+0x17dc2a]
001ef556mov rax, [rax+552]
001ef55dmov rax, [rax+24]
001ef561mov rbx, rsi
001ef564call Stdlib.Scanf.check_next_char
001ef569cmp rax, 21
001ef56dje 0x1ef684
001ef573cmp rax, 27
001ef577je 0x1ef65c
001ef57dmov rax, [rsp+16]
001ef582mov rbx, [rax+72]
001ef586lea rax, [rip+0x17dbf3]
001ef58dmov rdi, [rax+560]
001ef594mov rax, [rsp]
001ef598call Stdlib.Scanf.scan_backslash_char
001ef59dmov rbx, rax
001ef5a0mov [rsp], rbx
001ef5a4mov rax, [rsp+16]
001ef5a9mov rdi, [rax+72]
001ef5adlea rax, [rip+0x17dbcc]
001ef5b4mov rax, [rax+552]
001ef5bbmov rax, [rax+24]
001ef5bfcall Stdlib.Scanf.check_next_char
001ef5c4mov rbx, rax
001ef5c7cmp rbx, 69
001ef5cbje 0x1ef63c
001ef5cdcmp rbx, 185
001ef5d4je 0x1ef614
001ef5d6mov rax, [rsp+16]
001ef5dbmov rax, [rax+72]
001ef5dfmov [rsp+8], rax
001ef5e4mov rax, [rax+56]
001ef5e8call Stdlib.Buffer.add_char
001ef5edmov rax, [rsp]
001ef5f1add rax, -2
001ef5f5mov rbx, [rsp+8]
001ef5famov [rbx+16], 1
001ef602mov rbx, [rsp+16]
001ef607add rbx, -24
001ef60badd rsp, 24
001ef60fjmp 0x1ef430
001ef614
001ef614loc_1ef614:
001ef614mov rbx, [rsp+16]
001ef619mov rdi, [rbx+72]
001ef61dmov rax, [rsp]
001ef621add rax, -2
001ef625mov [rdi+16], 1
001ef62dadd rbx, -24
001ef631add rbx, 24
001ef635jmp 0x1ef536
001ef63a
001ef63a 66 90 f.
001ef63c
001ef63cloc_1ef63c:
001ef63cmov rax, [rsp+16]
001ef641mov rbx, [rax+72]
001ef645mov rax, [rsp]
001ef649add rax, -2
001ef64dmov [rbx+16], 1
001ef655add rsp, 24
001ef659ret
001ef65a
001ef65a 66 90 f.
001ef65c
001ef65cloc_1ef65c:
001ef65cmov rbx, [rsp+16]
001ef661mov rdi, [rbx+72]
001ef665mov rax, [rsp]
001ef669add rax, -2
001ef66dmov [rdi+16], 1
001ef675add rbx, 24
001ef679add rsp, 24
001ef67djmp 0x1ef6d0
001ef682
001ef682 66 90 f.
001ef684
001ef684loc_1ef684:
001ef684mov rbx, [rsp+16]
001ef689mov rdi, [rbx+72]
001ef68dmov rax, [rsp]
001ef691add rax, -2
001ef695mov [rdi+16], 1
001ef69dadd rbx, 48
001ef6a1add rsp, 24
001ef6a5jmp 0x1ef860
001ef6aa
001ef6aaloc_1ef6aa:
001ef6aacall caml_call_gc
001ef6afjmp 0x1ef54b
001ef6b4
001ef6b4loc_1ef6b4:
001ef6b4push 36
001ef6b6call caml_call_realloc_stack
001ef6bbpop r10
001ef6bdjmp 0x1ef532
001ef520
001ef6c2
001ef6c2 // align 0x10
001ef6c2 // align 0x10
001ef6d0
001ef6d0Stdlib.Scanf.skip_newline:
001ef6d0lea r10, [rsp-344]
001ef6d8cmp r10, [r14+40]
001ef6dcjb 0x1ef844
001ef6e2
001ef6e2loc_1ef6e2:
001ef6e2sub rsp, 24
001ef6e6mov rsi, rax
001ef6e9mov [rsp], rsi
001ef6edmov [rsp+16], rbx
001ef6f2cmp r15, [r14]
001ef6f5jbe 0x1ef83a
001ef6fb
001ef6fbloc_1ef6fb:
001ef6fbmov rdi, [rbx+48]
001ef6fflea rax, [rip+0x17da7a]
001ef706mov rax, [rax+552]
001ef70dmov rax, [rax+24]
001ef711mov rbx, rsi
001ef714call Stdlib.Scanf.check_next_char
001ef719cmp rax, 21
001ef71dje 0x1ef814
001ef723mov rax, [rsp+16]
001ef728mov rax, [rax+48]
001ef72cmov [rsp+8], rax
001ef731mov ebx, 27
001ef736mov rax, [rax+56]
001ef73acall Stdlib.Buffer.add_char
001ef73fmov rbx, [rsp]
001ef743add rbx, -2
001ef747mov rax, [rsp+8]
001ef74cmov [rax+16], 1
001ef754mov [rsp], rbx
001ef758mov rax, [rsp+16]
001ef75dmov rdi, [rax+48]
001ef761lea rax, [rip+0x17da18]
001ef768mov rax, [rax+552]
001ef76fmov rax, [rax+24]
001ef773call Stdlib.Scanf.check_next_char
001ef778mov rbx, rax
001ef77bcmp rbx, 69
001ef77fje 0x1ef7f4
001ef781cmp rbx, 185
001ef788je 0x1ef7c8
001ef78amov rax, [rsp+16]
001ef78fmov rax, [rax+48]
001ef793mov [rsp+8], rax
001ef798mov rax, [rax+56]
001ef79ccall Stdlib.Buffer.add_char
001ef7a1mov rax, [rsp]
001ef7a5add rax, -2
001ef7a9mov rbx, [rsp+8]
001ef7aemov [rbx+16], 1
001ef7b6mov rbx, [rsp+16]
001ef7bbadd rbx, -48
001ef7bfadd rsp, 24
001ef7c3jmp 0x1ef430
001ef7c8
001ef7c8loc_1ef7c8:
001ef7c8mov rbx, [rsp+16]
001ef7cdmov rdi, [rbx+48]
001ef7d1mov rax, [rsp]
001ef7d5add rax, -2
001ef7d9mov [rdi+16], 1
001ef7e1add rbx, -48
001ef7e5add rbx, 24
001ef7e9add rsp, 24
001ef7edjmp 0x1ef520
001ef7f2
001ef7f2 66 90 f.
001ef7f4
001ef7f4loc_1ef7f4:
001ef7f4mov rax, [rsp+16]
001ef7f9mov rbx, [rax+48]
001ef7fdmov rax, [rsp]
001ef801add rax, -2
001ef805mov [rbx+16], 1
001ef80dadd rsp, 24
001ef811ret
001ef812
001ef812 66 90 f.
001ef814
001ef814loc_1ef814:
001ef814mov rbx, [rsp+16]
001ef819mov rdi, [rbx+48]
001ef81dmov rax, [rsp]
001ef821add rax, -2
001ef825mov [rdi+16], 1
001ef82dadd rbx, 24
001ef831add rsp, 24
001ef835jmp 0x1ef860
001ef83a
001ef83aloc_1ef83a:
001ef83acall caml_call_gc
001ef83fjmp 0x1ef6fb
001ef844
001ef844loc_1ef844:
001ef844push 36
001ef846call caml_call_realloc_stack
001ef84bpop r10
001ef84djmp 0x1ef6e2
001ef6d0
001ef6d0Stdlib.Scanf.skip_newline:
001ef6d0lea r10, [rsp-344]
001ef6d8cmp r10, [r14+40]
001ef6dcjb 0x1ef844
001ef6e2
001ef6e2loc_1ef6e2:
001ef6e2sub rsp, 24
001ef6e6mov rsi, rax
001ef6e9mov [rsp], rsi
001ef6edmov [rsp+16], rbx
001ef6f2cmp r15, [r14]
001ef6f5jbe 0x1ef83a
001ef6fb
001ef6fbloc_1ef6fb:
001ef6fbmov rdi, [rbx+48]
001ef6fflea rax, [rip+0x17da7a]
001ef706mov rax, [rax+552]
001ef70dmov rax, [rax+24]
001ef711mov rbx, rsi
001ef714call Stdlib.Scanf.check_next_char
001ef719cmp rax, 21
001ef71dje 0x1ef814
001ef723mov rax, [rsp+16]
001ef728mov rax, [rax+48]
001ef72cmov [rsp+8], rax
001ef731mov ebx, 27
001ef736mov rax, [rax+56]
001ef73acall Stdlib.Buffer.add_char
001ef73fmov rbx, [rsp]
001ef743add rbx, -2
001ef747mov rax, [rsp+8]
001ef74cmov [rax+16], 1
001ef754mov [rsp], rbx
001ef758mov rax, [rsp+16]
001ef75dmov rdi, [rax+48]
001ef761lea rax, [rip+0x17da18]
001ef768mov rax, [rax+552]
001ef76fmov rax, [rax+24]
001ef773call Stdlib.Scanf.check_next_char
001ef778mov rbx, rax
001ef77bcmp rbx, 69
001ef77fje 0x1ef7f4
001ef781cmp rbx, 185
001ef788je 0x1ef7c8
001ef78amov rax, [rsp+16]
001ef78fmov rax, [rax+48]
001ef793mov [rsp+8], rax
001ef798mov rax, [rax+56]
001ef79ccall Stdlib.Buffer.add_char
001ef7a1mov rax, [rsp]
001ef7a5add rax, -2
001ef7a9mov rbx, [rsp+8]
001ef7aemov [rbx+16], 1
001ef7b6mov rbx, [rsp+16]
001ef7bbadd rbx, -48
001ef7bfadd rsp, 24
001ef7c3jmp 0x1ef430
001ef7c8
001ef7c8loc_1ef7c8:
001ef7c8mov rbx, [rsp+16]
001ef7cdmov rdi, [rbx+48]
001ef7d1mov rax, [rsp]
001ef7d5add rax, -2
001ef7d9mov [rdi+16], 1
001ef7e1add rbx, -48
001ef7e5add rbx, 24
001ef7e9add rsp, 24
001ef7edjmp 0x1ef520
001ef7f2
001ef7f2 66 90 f.
001ef7f4
001ef7f4loc_1ef7f4:
001ef7f4mov rax, [rsp+16]
001ef7f9mov rbx, [rax+48]
001ef7fdmov rax, [rsp]
001ef801add rax, -2
001ef805mov [rbx+16], 1
001ef80dadd rsp, 24
001ef811ret
001ef812
001ef812 66 90 f.
001ef814
001ef814loc_1ef814:
001ef814mov rbx, [rsp+16]
001ef819mov rdi, [rbx+48]
001ef81dmov rax, [rsp]
001ef821add rax, -2
001ef825mov [rdi+16], 1
001ef82dadd rbx, 24
001ef831add rsp, 24
001ef835jmp 0x1ef860
001ef83a
001ef83aloc_1ef83a:
001ef83acall caml_call_gc
001ef83fjmp 0x1ef6fb
001ef844
001ef844loc_1ef844:
001ef844push 36
001ef846call caml_call_realloc_stack
001ef84bpop r10
001ef84djmp 0x1ef6e2
001ef6d0
001ef852
001ef852 // align 0x10
001ef852 // align 0x10
001ef860
001ef860Stdlib.Scanf.skip_spaces:
001ef860lea r10, [rsp-344]
001ef868cmp r10, [r14+40]
001ef86cjb 0x1ef99c
001ef872
001ef872loc_1ef872:
001ef872sub rsp, 24
001ef876
001ef876loc_1ef876:
001ef876mov rsi, rax
001ef879mov [rsp], rsi
001ef87dmov [rsp+16], rbx
001ef882cmp r15, [r14]
001ef885jbe 0x1ef992
001ef88b
001ef88bloc_1ef88b:
001ef88bmov rdi, [rbx+24]
001ef88flea rax, [rip+0x17d8ea]
001ef896mov rax, [rax+552]
001ef89dmov rax, [rax+24]
001ef8a1mov rbx, rsi
001ef8a4call Stdlib.Scanf.check_next_char
001ef8a9cmp rax, 65
001ef8adje 0x1ef974
001ef8b3mov rax, [rsp+16]
001ef8b8mov rdi, [rax+24]
001ef8bclea rax, [rip+0x17d8bd]
001ef8c3mov rax, [rax+552]
001ef8camov rax, [rax+24]
001ef8cemov rbx, [rsp]
001ef8d2call Stdlib.Scanf.check_next_char
001ef8d7mov rbx, rax
001ef8dacmp rbx, 69
001ef8deje 0x1ef954
001ef8e0cmp rbx, 185
001ef8e7je 0x1ef928
001ef8e9mov rax, [rsp+16]
001ef8eemov rax, [rax+24]
001ef8f2mov [rsp+8], rax
001ef8f7mov rax, [rax+56]
001ef8fbcall Stdlib.Buffer.add_char
001ef900mov rax, [rsp]
001ef904add rax, -2
001ef908mov rbx, [rsp+8]
001ef90dmov [rbx+16], 1
001ef915mov rbx, [rsp+16]
001ef91aadd rbx, -72
001ef91eadd rsp, 24
001ef922jmp 0x1ef430
001ef927
001ef927 90 .
001ef928
001ef928loc_1ef928:
001ef928mov rbx, [rsp+16]
001ef92dmov rdi, [rbx+24]
001ef931mov rax, [rsp]
001ef935add rax, -2
001ef939mov [rdi+16], 1
001ef941add rbx, -72
001ef945add rbx, 24
001ef949add rsp, 24
001ef94djmp 0x1ef520
001ef952
001ef952 66 90 f.
001ef954
001ef954loc_1ef954:
001ef954mov rax, [rsp+16]
001ef959mov rbx, [rax+24]
001ef95dmov rax, [rsp]
001ef961add rax, -2
001ef965mov [rbx+16], 1
001ef96dadd rsp, 24
001ef971ret
001ef972
001ef972 66 90 f.
001ef974
001ef974loc_1ef974:
001ef974mov rbx, [rsp+16]
001ef979mov rdi, [rbx+24]
001ef97dmov rax, [rsp]
001ef981add rax, -2
001ef985mov [rdi+16], 1
001ef98djmp 0x1ef876
001ef992
001ef992loc_1ef992:
001ef992call caml_call_gc
001ef997jmp 0x1ef88b
001ef99c
001ef99cloc_1ef99c:
001ef99cpush 36
001ef99ecall caml_call_realloc_stack
001ef9a3pop r10
001ef9a5jmp 0x1ef872
001ef860
001ef860Stdlib.Scanf.skip_spaces:
001ef860lea r10, [rsp-344]
001ef868cmp r10, [r14+40]
001ef86cjb 0x1ef99c
001ef872
001ef872loc_1ef872:
001ef872sub rsp, 24
001ef876
001ef876loc_1ef876:
001ef876mov rsi, rax
001ef879mov [rsp], rsi
001ef87dmov [rsp+16], rbx
001ef882cmp r15, [r14]
001ef885jbe 0x1ef992
001ef88b
001ef88bloc_1ef88b:
001ef88bmov rdi, [rbx+24]
001ef88flea rax, [rip+0x17d8ea]
001ef896mov rax, [rax+552]
001ef89dmov rax, [rax+24]
001ef8a1mov rbx, rsi
001ef8a4call Stdlib.Scanf.check_next_char
001ef8a9cmp rax, 65
001ef8adje 0x1ef974
001ef8b3mov rax, [rsp+16]
001ef8b8mov rdi, [rax+24]
001ef8bclea rax, [rip+0x17d8bd]
001ef8c3mov rax, [rax+552]
001ef8camov rax, [rax+24]
001ef8cemov rbx, [rsp]
001ef8d2call Stdlib.Scanf.check_next_char
001ef8d7mov rbx, rax
001ef8dacmp rbx, 69
001ef8deje 0x1ef954
001ef8e0cmp rbx, 185
001ef8e7je 0x1ef928
001ef8e9mov rax, [rsp+16]
001ef8eemov rax, [rax+24]
001ef8f2mov [rsp+8], rax
001ef8f7mov rax, [rax+56]
001ef8fbcall Stdlib.Buffer.add_char
001ef900mov rax, [rsp]
001ef904add rax, -2
001ef908mov rbx, [rsp+8]
001ef90dmov [rbx+16], 1
001ef915mov rbx, [rsp+16]
001ef91aadd rbx, -72
001ef91eadd rsp, 24
001ef922jmp 0x1ef430
001ef927
001ef927 90 .
001ef928
001ef928loc_1ef928:
001ef928mov rbx, [rsp+16]
001ef92dmov rdi, [rbx+24]
001ef931mov rax, [rsp]
001ef935add rax, -2
001ef939mov [rdi+16], 1
001ef941add rbx, -72
001ef945add rbx, 24
001ef949add rsp, 24
001ef94djmp 0x1ef520
001ef952
001ef952 66 90 f.
001ef954
001ef954loc_1ef954:
001ef954mov rax, [rsp+16]
001ef959mov rbx, [rax+24]
001ef95dmov rax, [rsp]
001ef961add rax, -2
001ef965mov [rbx+16], 1
001ef96dadd rsp, 24
001ef971ret
001ef972
001ef972 66 90 f.
001ef974
001ef974loc_1ef974:
001ef974mov rbx, [rsp+16]
001ef979mov rdi, [rbx+24]
001ef97dmov rax, [rsp]
001ef981add rax, -2
001ef985mov [rdi+16], 1
001ef98djmp 0x1ef876
001ef992
001ef992loc_1ef992:
001ef992call caml_call_gc
001ef997jmp 0x1ef88b
001ef99c
001ef99cloc_1ef99c:
001ef99cpush 36
001ef99ecall caml_call_realloc_stack
001ef9a3pop r10
001ef9a5jmp 0x1ef872
001ef860
001ef9aa
001ef9aa // align 0x10
001ef9aa // align 0x10
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
001f02b6 // align 0x10
Loading..