File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001eabf0
001eabf0Stdlib.Scanf.scan_digits:
001eabf0lea r10, [rsp-368]
001eabf8cmp r10, [r14+40]
001eabfcjb 0x1ead7e
001eac02
001eac02loc_1eac02:
001eac02sub rsp, 32
001eac06
001eac06loc_1eac06:
001eac06cmp r15, [r14]
001eac09jbe 0x1ead74
001eac0f
001eac0floc_1eac0f:
001eac0fcmp rax, 1
001eac13jne 0x1eac1c
001eac15add rsp, 32
001eac19ret
001eac1a
001eac1a 66 90 f.
001eac1c
001eac1cloc_1eac1c:
001eac1cmov [rsp+8], rdi
001eac21mov [rsp+16], rax
001eac26mov rax, [rbx+16]
001eac2acmp rax, 1
001eac2eje 0x1eac3c
001eac30mov rax, [rbx+8]
001eac34jmp 0x1eacd8
001eac39
001eac39 0f 1f 00 ...
001eac3c
001eac3cloc_1eac3c:
001eac3cmov [rsp+24], rbx
001eac41lea r11, [rip+84]
001eac48push r11
001eac4apush [r14+48]
001eac4emov [r14+48], rsp
001eac52mov rbx, [rbx+48]
001eac56mov eax, 1
001eac5bmov rdi, [rbx]
001eac5ecall rdi
001eac60mov rbx, [rsp+40]
001eac65mov [rbx+8], rax
001eac69mov [rbx+16], 3
001eac71mov rdi, [rbx+24]
001eac75add rdi, 2
001eac79mov [rbx+24], rdi
001eac7dcmp rax, 21
001eac81jne 0x1eac8f
001eac83mov rdi, [rbx+32]
001eac87add rdi, 2
001eac8bmov [rbx+32], rdi
001eac8f
001eac8floc_1eac8f:
001eac8fpop [r14+48]
001eac93add rsp, 8
001eac97jmp 0x1eacd8
001eac99
001eac99 0f 1f 00 ...
001eac9clea rbx, [rip+0x142975]
001eaca3mov rbx, [rbx+88]
001eaca7cmp rax, rbx
001eacaajne 0x1eacd0
001eacacmov rbx, [rsp+24]
001eacb1mov [rbx+8], 1
001eacb9mov [rbx+16], 1
001eacc1mov [rbx], 3
001eacc8mov eax, 1
001eaccdjmp 0x1eacd8
001eaccf
001eaccf 90 .
001eacd0
001eacd0loc_1eacd0:
001eacd0call caml_reraise_exn
001eacd5nop [rax]
001eacd8
001eacd8loc_1eacd8:
001eacd8mov rdi, [rbx]
001eacdbcmp rdi, 1
001eacdfje 0x1eacec
001eace1mov rax, [rsp+16]
001eace6add rsp, 32
001eacearet
001eaceb
001eaceb 90 .
001eacec
001eacecloc_1eacec:
001eacecmov [rsp], rax
001eacf0mov [rsp+24], rbx
001eacf5mov rbx, [rsp+8]
001eacfamov rbx, [rbx+32]
001eacfemov rdi, [rbx]
001ead01call rdi
001ead03cmp rax, 1
001ead07je 0x1ead3c
001ead09mov rax, [rsp+24]
001ead0emov rax, [rax+56]
001ead12mov rbx, [rsp]
001ead16call Stdlib.Buffer.add_char
001ead1bmov rax, [rsp+16]
001ead20add rax, -2
001ead24mov rbx, [rsp+24]
001ead29mov [rbx+16], 1
001ead31mov rdi, [rsp+8]
001ead36jmp 0x1eac06
001ead3b
001ead3b 90 .
001ead3c
001ead3cloc_1ead3c:
001ead3cmov rax, [rsp]
001ead40cmp rax, 191
001ead46je 0x1ead54
001ead48mov rax, [rsp+16]
001ead4dadd rsp, 32
001ead51ret
001ead52
001ead52 66 90 f.
001ead54
001ead54loc_1ead54:
001ead54mov rax, [rsp+16]
001ead59add rax, -2
001ead5dmov rbx, [rsp+24]
001ead62mov [rbx+16], 1
001ead6amov rdi, [rsp+8]
001ead6fjmp 0x1eac06
001ead74
001ead74loc_1ead74:
001ead74call caml_call_gc
001ead79jmp 0x1eac0f
001ead7e
001ead7eloc_1ead7e:
001ead7epush 39
001ead80call caml_call_realloc_stack
001ead85pop r10
001ead87jmp 0x1eac02
001eabf0
001eabf0Stdlib.Scanf.scan_digits:
001eabf0lea r10, [rsp-368]
001eabf8cmp r10, [r14+40]
001eabfcjb 0x1ead7e
001eac02
001eac02loc_1eac02:
001eac02sub rsp, 32
001eac06
001eac06loc_1eac06:
001eac06cmp r15, [r14]
001eac09jbe 0x1ead74
001eac0f
001eac0floc_1eac0f:
001eac0fcmp rax, 1
001eac13jne 0x1eac1c
001eac15add rsp, 32
001eac19ret
001eac1a
001eac1a 66 90 f.
001eac1c
001eac1cloc_1eac1c:
001eac1cmov [rsp+8], rdi
001eac21mov [rsp+16], rax
001eac26mov rax, [rbx+16]
001eac2acmp rax, 1
001eac2eje 0x1eac3c
001eac30mov rax, [rbx+8]
001eac34jmp 0x1eacd8
001eac39
001eac39 0f 1f 00 ...
001eac3c
001eac3cloc_1eac3c:
001eac3cmov [rsp+24], rbx
001eac41lea r11, [rip+84]
001eac48push r11
001eac4apush [r14+48]
001eac4emov [r14+48], rsp
001eac52mov rbx, [rbx+48]
001eac56mov eax, 1
001eac5bmov rdi, [rbx]
001eac5ecall rdi
001eac60mov rbx, [rsp+40]
001eac65mov [rbx+8], rax
001eac69mov [rbx+16], 3
001eac71mov rdi, [rbx+24]
001eac75add rdi, 2
001eac79mov [rbx+24], rdi
001eac7dcmp rax, 21
001eac81jne 0x1eac8f
001eac83mov rdi, [rbx+32]
001eac87add rdi, 2
001eac8bmov [rbx+32], rdi
001eac8f
001eac8floc_1eac8f:
001eac8fpop [r14+48]
001eac93add rsp, 8
001eac97jmp 0x1eacd8
001eac99
001eac99 0f 1f 00 ...
001eac9clea rbx, [rip+0x142975]
001eaca3mov rbx, [rbx+88]
001eaca7cmp rax, rbx
001eacaajne 0x1eacd0
001eacacmov rbx, [rsp+24]
001eacb1mov [rbx+8], 1
001eacb9mov [rbx+16], 1
001eacc1mov [rbx], 3
001eacc8mov eax, 1
001eaccdjmp 0x1eacd8
001eaccf
001eaccf 90 .
001eacd0
001eacd0loc_1eacd0:
001eacd0call caml_reraise_exn
001eacd5nop [rax]
001eacd8
001eacd8loc_1eacd8:
001eacd8mov rdi, [rbx]
001eacdbcmp rdi, 1
001eacdfje 0x1eacec
001eace1mov rax, [rsp+16]
001eace6add rsp, 32
001eacearet
001eaceb
001eaceb 90 .
001eacec
001eacecloc_1eacec:
001eacecmov [rsp], rax
001eacf0mov [rsp+24], rbx
001eacf5mov rbx, [rsp+8]
001eacfamov rbx, [rbx+32]
001eacfemov rdi, [rbx]
001ead01call rdi
001ead03cmp rax, 1
001ead07je 0x1ead3c
001ead09mov rax, [rsp+24]
001ead0emov rax, [rax+56]
001ead12mov rbx, [rsp]
001ead16call Stdlib.Buffer.add_char
001ead1bmov rax, [rsp+16]
001ead20add rax, -2
001ead24mov rbx, [rsp+24]
001ead29mov [rbx+16], 1
001ead31mov rdi, [rsp+8]
001ead36jmp 0x1eac06
001ead3b
001ead3b 90 .
001ead3c
001ead3cloc_1ead3c:
001ead3cmov rax, [rsp]
001ead40cmp rax, 191
001ead46je 0x1ead54
001ead48mov rax, [rsp+16]
001ead4dadd rsp, 32
001ead51ret
001ead52
001ead52 66 90 f.
001ead54
001ead54loc_1ead54:
001ead54mov rax, [rsp+16]
001ead59add rax, -2
001ead5dmov rbx, [rsp+24]
001ead62mov [rbx+16], 1
001ead6amov rdi, [rsp+8]
001ead6fjmp 0x1eac06
001ead74
001ead74loc_1ead74:
001ead74call caml_call_gc
001ead79jmp 0x1eac0f
001ead7e
001ead7eloc_1ead7e:
001ead7epush 39
001ead80call caml_call_realloc_stack
001ead85pop r10
001ead87jmp 0x1eac02
001eabf0
001ead8c
001ead8c // align 0x10
001ead8c // align 0x10
001ead90
001ead90Stdlib.Scanf.scan_digit_plus:
001ead90lea r10, [rsp-376]
001ead98cmp r10, [r14+40]
001ead9cjb 0x1eafaf
001eada2
001eada2loc_1eada2:
001eada2sub rsp, 40
001eada6cmp rdi, 1
001eadaajne 0x1eae04
001eadaclea rax, [rip+0x182ced]
001eadb3mov [rsp], rax
001eadb7lea rax, [rip+0x18318a]
001eadbecall Stdlib.Printf.sprintf
001eadc3mov rbx, rax
001eadc6mov rdi, [rbx]
001eadc9mov rax, [rsp]
001eadcdcall rdi
001eadcfsub r15, 24
001eadd3cmp r15, [r14]
001eadd6jb 0x1eafa5
001eaddc
001eaddcloc_1eaddc:
001eaddclea rbx, [r15+8]
001eade0mov [rbx-8], 2048
001eade8lea rdi, [rip+0x182391]
001eadefmov rdi, [rdi+8]
001eadf3mov [rbx], rdi
001eadf6mov [rbx+8], rax
001eadfamov rax, rbx
001eadfdcall caml_raise_exn
001eae02nop
001eae04
001eae04loc_1eae04:
001eae04mov [rsp+8], rdi
001eae09mov [rsp+24], rbx
001eae0emov [rsp], rax
001eae12mov rax, [rsi+16]
001eae16cmp rax, 1
001eae1aje 0x1eae28
001eae1cmov rax, [rsi+8]
001eae20jmp 0x1eaec4
001eae25
001eae25 0f 1f 00 ...
001eae28
001eae28loc_1eae28:
001eae28mov [rsp+32], rsi
001eae2dlea r11, [rip+84]
001eae34push r11
001eae36push [r14+48]
001eae3amov [r14+48], rsp
001eae3emov rbx, [rsi+48]
001eae42mov eax, 1
001eae47mov rdi, [rbx]
001eae4acall rdi
001eae4cmov rsi, [rsp+48]
001eae51mov [rsi+8], rax
001eae55mov [rsi+16], 3
001eae5dmov rbx, [rsi+24]
001eae61add rbx, 2
001eae65mov [rsi+24], rbx
001eae69cmp rax, 21
001eae6djne 0x1eae7b
001eae6fmov rbx, [rsi+32]
001eae73add rbx, 2
001eae77mov [rsi+32], rbx
001eae7b
001eae7bloc_1eae7b:
001eae7bpop [r14+48]
001eae7fadd rsp, 8
001eae83jmp 0x1eaec4
001eae85
001eae85 0f 1f 00 ...
001eae88lea rbx, [rip+0x142789]
001eae8fmov rbx, [rbx+88]
001eae93cmp rax, rbx
001eae96jne 0x1eaebc
001eae98mov rsi, [rsp+32]
001eae9dmov [rsi+8], 1
001eaea5mov [rsi+16], 1
001eaeadmov [rsi], 3
001eaeb4mov eax, 1
001eaeb9jmp 0x1eaec4
001eaebb
001eaebb 90 .
001eaebc
001eaebcloc_1eaebc:
001eaebccall caml_reraise_exn
001eaec1nop [rax]
001eaec4
001eaec4loc_1eaec4:
001eaec4mov rbx, [rsi]
001eaec7cmp rbx, 1
001eaecbje 0x1eaee0
001eaecdlea rax, [rip+0x142744]
001eaed4mov rax, [rax+88]
001eaed8call caml_raise_exn
001eaeddnop [rax]
001eaee0
001eaee0loc_1eaee0:
001eaee0mov [rsp+32], rsi
001eaee5mov [rsp+16], rax
001eaeeamov rbx, [rsp+24]
001eaeefmov rdi, [rbx]
001eaef2call rdi
001eaef4cmp rax, 1
001eaef8je 0x1eaf40
001eaefamov rax, [rsp+32]
001eaeffmov rax, [rax+56]
001eaf03mov rbx, [rsp+16]
001eaf08call Stdlib.Buffer.add_char
001eaf0dmov rbx, [rsp+8]
001eaf12add rbx, -2
001eaf16mov rdi, [rsp+32]
001eaf1bmov [rdi+16], 1
001eaf23lea rax, [rip+0x182256]
001eaf2amov rsi, [rax+304]
001eaf31mov rax, [rsp+24]
001eaf36add rsp, 40
001eaf3ajmp 0x1eab90
001eaf3f
001eaf3f 90 .
001eaf40
001eaf40loc_1eaf40:
001eaf40mov rax, [rsp]
001eaf44mov [rsp+8], rax
001eaf49mov rax, [rsp+16]
001eaf4emov [rsp], rax
001eaf52lea rax, [rip+0x182a37]
001eaf59call Stdlib.Printf.sprintf
001eaf5emov rdi, rax
001eaf61mov rax, [rsp]
001eaf65mov rbx, [rsp+8]
001eaf6acall caml_apply2
001eaf6fsub r15, 24
001eaf73cmp r15, [r14]
001eaf76jb 0x1eaf9e
001eaf78
001eaf78loc_1eaf78:
001eaf78lea rbx, [r15+8]
001eaf7cmov [rbx-8], 2048
001eaf84lea rdi, [rip+0x1821f5]
001eaf8bmov rdi, [rdi+8]
001eaf8fmov [rbx], rdi
001eaf92mov [rbx+8], rax
001eaf96mov rax, rbx
001eaf99call caml_raise_exn
001eaf9e
001eaf9eloc_1eaf9e:
001eaf9ecall caml_call_gc
001eafa3jmp 0x1eaf78
001eafa5
001eafa5loc_1eafa5:
001eafa5call caml_call_gc
001eafaajmp 0x1eaddc
001eafaf
001eafafloc_1eafaf:
001eafafpush 40
001eafb1call caml_call_realloc_stack
001eafb6pop r10
001eafb8jmp 0x1eada2
001ead90
001ead90Stdlib.Scanf.scan_digit_plus:
001ead90lea r10, [rsp-376]
001ead98cmp r10, [r14+40]
001ead9cjb 0x1eafaf
001eada2
001eada2loc_1eada2:
001eada2sub rsp, 40
001eada6cmp rdi, 1
001eadaajne 0x1eae04
001eadaclea rax, [rip+0x182ced]
001eadb3mov [rsp], rax
001eadb7lea rax, [rip+0x18318a]
001eadbecall Stdlib.Printf.sprintf
001eadc3mov rbx, rax
001eadc6mov rdi, [rbx]
001eadc9mov rax, [rsp]
001eadcdcall rdi
001eadcfsub r15, 24
001eadd3cmp r15, [r14]
001eadd6jb 0x1eafa5
001eaddc
001eaddcloc_1eaddc:
001eaddclea rbx, [r15+8]
001eade0mov [rbx-8], 2048
001eade8lea rdi, [rip+0x182391]
001eadefmov rdi, [rdi+8]
001eadf3mov [rbx], rdi
001eadf6mov [rbx+8], rax
001eadfamov rax, rbx
001eadfdcall caml_raise_exn
001eae02nop
001eae04
001eae04loc_1eae04:
001eae04mov [rsp+8], rdi
001eae09mov [rsp+24], rbx
001eae0emov [rsp], rax
001eae12mov rax, [rsi+16]
001eae16cmp rax, 1
001eae1aje 0x1eae28
001eae1cmov rax, [rsi+8]
001eae20jmp 0x1eaec4
001eae25
001eae25 0f 1f 00 ...
001eae28
001eae28loc_1eae28:
001eae28mov [rsp+32], rsi
001eae2dlea r11, [rip+84]
001eae34push r11
001eae36push [r14+48]
001eae3amov [r14+48], rsp
001eae3emov rbx, [rsi+48]
001eae42mov eax, 1
001eae47mov rdi, [rbx]
001eae4acall rdi
001eae4cmov rsi, [rsp+48]
001eae51mov [rsi+8], rax
001eae55mov [rsi+16], 3
001eae5dmov rbx, [rsi+24]
001eae61add rbx, 2
001eae65mov [rsi+24], rbx
001eae69cmp rax, 21
001eae6djne 0x1eae7b
001eae6fmov rbx, [rsi+32]
001eae73add rbx, 2
001eae77mov [rsi+32], rbx
001eae7b
001eae7bloc_1eae7b:
001eae7bpop [r14+48]
001eae7fadd rsp, 8
001eae83jmp 0x1eaec4
001eae85
001eae85 0f 1f 00 ...
001eae88lea rbx, [rip+0x142789]
001eae8fmov rbx, [rbx+88]
001eae93cmp rax, rbx
001eae96jne 0x1eaebc
001eae98mov rsi, [rsp+32]
001eae9dmov [rsi+8], 1
001eaea5mov [rsi+16], 1
001eaeadmov [rsi], 3
001eaeb4mov eax, 1
001eaeb9jmp 0x1eaec4
001eaebb
001eaebb 90 .
001eaebc
001eaebcloc_1eaebc:
001eaebccall caml_reraise_exn
001eaec1nop [rax]
001eaec4
001eaec4loc_1eaec4:
001eaec4mov rbx, [rsi]
001eaec7cmp rbx, 1
001eaecbje 0x1eaee0
001eaecdlea rax, [rip+0x142744]
001eaed4mov rax, [rax+88]
001eaed8call caml_raise_exn
001eaeddnop [rax]
001eaee0
001eaee0loc_1eaee0:
001eaee0mov [rsp+32], rsi
001eaee5mov [rsp+16], rax
001eaeeamov rbx, [rsp+24]
001eaeefmov rdi, [rbx]
001eaef2call rdi
001eaef4cmp rax, 1
001eaef8je 0x1eaf40
001eaefamov rax, [rsp+32]
001eaeffmov rax, [rax+56]
001eaf03mov rbx, [rsp+16]
001eaf08call Stdlib.Buffer.add_char
001eaf0dmov rbx, [rsp+8]
001eaf12add rbx, -2
001eaf16mov rdi, [rsp+32]
001eaf1bmov [rdi+16], 1
001eaf23lea rax, [rip+0x182256]
001eaf2amov rsi, [rax+304]
001eaf31mov rax, [rsp+24]
001eaf36add rsp, 40
001eaf3ajmp 0x1eab90
001eaf3f
001eaf3f 90 .
001eaf40
001eaf40loc_1eaf40:
001eaf40mov rax, [rsp]
001eaf44mov [rsp+8], rax
001eaf49mov rax, [rsp+16]
001eaf4emov [rsp], rax
001eaf52lea rax, [rip+0x182a37]
001eaf59call Stdlib.Printf.sprintf
001eaf5emov rdi, rax
001eaf61mov rax, [rsp]
001eaf65mov rbx, [rsp+8]
001eaf6acall caml_apply2
001eaf6fsub r15, 24
001eaf73cmp r15, [r14]
001eaf76jb 0x1eaf9e
001eaf78
001eaf78loc_1eaf78:
001eaf78lea rbx, [r15+8]
001eaf7cmov [rbx-8], 2048
001eaf84lea rdi, [rip+0x1821f5]
001eaf8bmov rdi, [rdi+8]
001eaf8fmov [rbx], rdi
001eaf92mov [rbx+8], rax
001eaf96mov rax, rbx
001eaf99call caml_raise_exn
001eaf9e
001eaf9eloc_1eaf9e:
001eaf9ecall caml_call_gc
001eafa3jmp 0x1eaf78
001eafa5
001eafa5loc_1eafa5:
001eafa5call caml_call_gc
001eafaajmp 0x1eaddc
001eafaf
001eafafloc_1eafaf:
001eafafpush 40
001eafb1call caml_call_realloc_stack
001eafb6pop r10
001eafb8jmp 0x1eada2
001ead90
001eafbd
001eafbd // align 0x10
001eafbd // align 0x10
001eafc0
001eafc0Stdlib.Scanf.is_binary_digit:
001eafc0add rax, -96
001eafc4cmp rax, 3
001eafc8setbe al
001eafcbmovzx rax, al
001eafcflea rax, [rax+rax+1]
001eafd4ret
001eafc0
001eafc0Stdlib.Scanf.is_binary_digit:
001eafc0add rax, -96
001eafc4cmp rax, 3
001eafc8setbe al
001eafcbmovzx rax, al
001eafcflea rax, [rax+rax+1]
001eafd4ret
001eafc0
001eafd5
001eafd5 // align 0x10
001eafd5 // align 0x10
001eafe0
001eafe0Stdlib.Scanf.fun:
001eafe0mov rdx, rax
001eafe3mov rsi, rbx
001eafe6mov rbx, [rdi+32]
001eafeamov rax, [rdi+24]
001eafeemov rdi, rdx
001eaff1jmp 0x1ead90
001eafe0
001eafe0Stdlib.Scanf.fun:
001eafe0mov rdx, rax
001eafe3mov rsi, rbx
001eafe6mov rbx, [rdi+32]
001eafeamov rax, [rdi+24]
001eafeemov rdi, rdx
001eaff1jmp 0x1ead90
001eafe0
001eaff6
001eaff6 // align 0x10
001eaff6 // align 0x10
001eb000
001eb000Stdlib.Scanf.is_octal_digit:
001eb000add rax, -96
001eb004cmp rax, 15
001eb008setbe al
001eb00bmovzx rax, al
001eb00flea rax, [rax+rax+1]
001eb014ret
001eb000
001eb000Stdlib.Scanf.is_octal_digit:
001eb000add rax, -96
001eb004cmp rax, 15
001eb008setbe al
001eb00bmovzx rax, al
001eb00flea rax, [rax+rax+1]
001eb014ret
001eb000
001eb015
001eb015 // align 0x10
001eb015 // align 0x10
001eb020
001eb020Stdlib.Scanf.fun:
001eb020mov rdx, rax
001eb023mov rsi, rbx
001eb026mov rbx, [rdi+32]
001eb02amov rax, [rdi+24]
001eb02emov rdi, rdx
001eb031jmp 0x1ead90
001eb020
001eb020Stdlib.Scanf.fun:
001eb020mov rdx, rax
001eb023mov rsi, rbx
001eb026mov rbx, [rdi+32]
001eb02amov rax, [rdi+24]
001eb02emov rdi, rdx
001eb031jmp 0x1ead90
001eb020
001eb036
001eb036 // align 0x10
001eb036 // align 0x10
001eb040
001eb040Stdlib.Scanf.is_hexa_digit:
001eb040add rax, -96
001eb044cmp rax, 45
001eb048jbe 0x1eb058
001eb04aadd rax, -98
001eb04ecmp rax, 11
001eb052jbe 0x1eb068
001eb054jmp 0x1eb062
001eb056
001eb056 66 90 f.
001eb058
001eb058loc_1eb058:
001eb058add rax, -20
001eb05ccmp rax, 13
001eb060ja 0x1eb068
001eb062
001eb062loc_1eb062:
001eb062mov eax, 1
001eb067ret
001eb068
001eb068loc_1eb068:
001eb068mov eax, 3
001eb06dret
001eb040
001eb040Stdlib.Scanf.is_hexa_digit:
001eb040add rax, -96
001eb044cmp rax, 45
001eb048jbe 0x1eb058
001eb04aadd rax, -98
001eb04ecmp rax, 11
001eb052jbe 0x1eb068
001eb054jmp 0x1eb062
001eb056
001eb056 66 90 f.
001eb058
001eb058loc_1eb058:
001eb058add rax, -20
001eb05ccmp rax, 13
001eb060ja 0x1eb068
001eb062
001eb062loc_1eb062:
001eb062mov eax, 1
001eb067ret
001eb068
001eb068loc_1eb068:
001eb068mov eax, 3
001eb06dret
001eb040
001eb06e
001eb06e // align 0x10
001eb06e // align 0x10
001eb070
001eb070Stdlib.Scanf.fun:
001eb070mov rdx, rax
001eb073mov rsi, rbx
001eb076mov rbx, [rdi+32]
001eb07amov rax, [rdi+24]
001eb07emov rdi, rdx
001eb081jmp 0x1ead90
001eb070
001eb070Stdlib.Scanf.fun:
001eb070mov rdx, rax
001eb073mov rsi, rbx
001eb076mov rbx, [rdi+32]
001eb07amov rax, [rdi+24]
001eb07emov rdi, rdx
001eb081jmp 0x1ead90
001eb070
001eb086
001eb086 // align 0x10
001eb086 // align 0x10
001eb090
001eb090Stdlib.Scanf.scan_sign:
001eb090lea r10, [rsp-352]
001eb098cmp r10, [r14+40]
001eb09cjb 0x1eb1c0
001eb0a2
001eb0a2loc_1eb0a2:
001eb0a2sub rsp, 16
001eb0a6mov [rsp], rax
001eb0aamov rdi, rbx
001eb0admov rax, [rdi+16]
001eb0b1cmp rax, 1
001eb0b5je 0x1eb0c0
001eb0b7mov rbx, [rdi+8]
001eb0bbjmp 0x1eb15f
001eb0c0
001eb0c0loc_1eb0c0:
001eb0c0mov [rsp+8], rdi
001eb0c5lea r11, [rip+84]
001eb0ccpush r11
001eb0cepush [r14+48]
001eb0d2mov [r14+48], rsp
001eb0d6mov rbx, [rdi+48]
001eb0damov eax, 1
001eb0dfmov rdi, [rbx]
001eb0e2call rdi
001eb0e4mov rdi, [rsp+24]
001eb0e9mov [rdi+8], rax
001eb0edmov [rdi+16], 3
001eb0f5mov rbx, [rdi+24]
001eb0f9add rbx, 2
001eb0fdmov [rdi+24], rbx
001eb101cmp rax, 21
001eb105jne 0x1eb113
001eb107mov rbx, [rdi+32]
001eb10badd rbx, 2
001eb10fmov [rdi+32], rbx
001eb113
001eb113loc_1eb113:
001eb113pop [r14+48]
001eb117add rsp, 8
001eb11bjmp 0x1eb15c
001eb11d
001eb11d 0f 1f 00 ...
001eb120lea rbx, [rip+0x1424f1]
001eb127mov rbx, [rbx+88]
001eb12bcmp rax, rbx
001eb12ejne 0x1eb154
001eb130mov rdi, [rsp+8]
001eb135mov [rdi+8], 1
001eb13dmov [rdi+16], 1
001eb145mov [rdi], 3
001eb14cmov eax, 1
001eb151jmp 0x1eb15c
001eb153
001eb153 90 .
001eb154
001eb154loc_1eb154:
001eb154call caml_reraise_exn
001eb159nop [rax]
001eb15c
001eb15cloc_1eb15c:
001eb15cmov rbx, rax
001eb15f
001eb15floc_1eb15f:
001eb15fmov rax, [rdi]
001eb162cmp rax, 1
001eb166je 0x1eb178
001eb168lea rax, [rip+0x1424a9]
001eb16fmov rax, [rax+88]
001eb173call caml_raise_exn
001eb178
001eb178loc_1eb178:
001eb178cmp rbx, 87
001eb17cje 0x1eb198
001eb17ecmp rbx, 91
001eb182je 0x1eb190
001eb184mov rax, [rsp]
001eb188add rsp, 16
001eb18cret
001eb18d
001eb18d 0f 1f 00 ...
001eb190
001eb190loc_1eb190:
001eb190mov [rsp+8], rdi
001eb195jmp 0x1eb19d
001eb197
001eb197 90 .
001eb198
001eb198loc_1eb198:
001eb198mov [rsp+8], rdi
001eb19d
001eb19dloc_1eb19d:
001eb19dmov rax, [rdi+56]
001eb1a1call Stdlib.Buffer.add_char
001eb1a6mov rax, [rsp]
001eb1aaadd rax, -2
001eb1aemov rbx, [rsp+8]
001eb1b3mov [rbx+16], 1
001eb1bbadd rsp, 16
001eb1bfret
001eb1c0
001eb1c0loc_1eb1c0:
001eb1c0push 37
001eb1c2call caml_call_realloc_stack
001eb1c7pop r10
001eb1c9jmp 0x1eb0a2
001eb090
001eb090Stdlib.Scanf.scan_sign:
001eb090lea r10, [rsp-352]
001eb098cmp r10, [r14+40]
001eb09cjb 0x1eb1c0
001eb0a2
001eb0a2loc_1eb0a2:
001eb0a2sub rsp, 16
001eb0a6mov [rsp], rax
001eb0aamov rdi, rbx
001eb0admov rax, [rdi+16]
001eb0b1cmp rax, 1
001eb0b5je 0x1eb0c0
001eb0b7mov rbx, [rdi+8]
001eb0bbjmp 0x1eb15f
001eb0c0
001eb0c0loc_1eb0c0:
001eb0c0mov [rsp+8], rdi
001eb0c5lea r11, [rip+84]
001eb0ccpush r11
001eb0cepush [r14+48]
001eb0d2mov [r14+48], rsp
001eb0d6mov rbx, [rdi+48]
001eb0damov eax, 1
001eb0dfmov rdi, [rbx]
001eb0e2call rdi
001eb0e4mov rdi, [rsp+24]
001eb0e9mov [rdi+8], rax
001eb0edmov [rdi+16], 3
001eb0f5mov rbx, [rdi+24]
001eb0f9add rbx, 2
001eb0fdmov [rdi+24], rbx
001eb101cmp rax, 21
001eb105jne 0x1eb113
001eb107mov rbx, [rdi+32]
001eb10badd rbx, 2
001eb10fmov [rdi+32], rbx
001eb113
001eb113loc_1eb113:
001eb113pop [r14+48]
001eb117add rsp, 8
001eb11bjmp 0x1eb15c
001eb11d
001eb11d 0f 1f 00 ...
001eb120lea rbx, [rip+0x1424f1]
001eb127mov rbx, [rbx+88]
001eb12bcmp rax, rbx
001eb12ejne 0x1eb154
001eb130mov rdi, [rsp+8]
001eb135mov [rdi+8], 1
001eb13dmov [rdi+16], 1
001eb145mov [rdi], 3
001eb14cmov eax, 1
001eb151jmp 0x1eb15c
001eb153
001eb153 90 .
001eb154
001eb154loc_1eb154:
001eb154call caml_reraise_exn
001eb159nop [rax]
001eb15c
001eb15cloc_1eb15c:
001eb15cmov rbx, rax
001eb15f
001eb15floc_1eb15f:
001eb15fmov rax, [rdi]
001eb162cmp rax, 1
001eb166je 0x1eb178
001eb168lea rax, [rip+0x1424a9]
001eb16fmov rax, [rax+88]
001eb173call caml_raise_exn
001eb178
001eb178loc_1eb178:
001eb178cmp rbx, 87
001eb17cje 0x1eb198
001eb17ecmp rbx, 91
001eb182je 0x1eb190
001eb184mov rax, [rsp]
001eb188add rsp, 16
001eb18cret
001eb18d
001eb18d 0f 1f 00 ...
001eb190
001eb190loc_1eb190:
001eb190mov [rsp+8], rdi
001eb195jmp 0x1eb19d
001eb197
001eb197 90 .
001eb198
001eb198loc_1eb198:
001eb198mov [rsp+8], rdi
001eb19d
001eb19dloc_1eb19d:
001eb19dmov rax, [rdi+56]
001eb1a1call Stdlib.Buffer.add_char
001eb1a6mov rax, [rsp]
001eb1aaadd rax, -2
001eb1aemov rbx, [rsp+8]
001eb1b3mov [rbx+16], 1
001eb1bbadd rsp, 16
001eb1bfret
001eb1c0
001eb1c0loc_1eb1c0:
001eb1c0push 37
001eb1c2call caml_call_realloc_stack
001eb1c7pop r10
001eb1c9jmp 0x1eb0a2
001eb090
001eb1ce
001eb1ce // align 0x10
001eb1ce // align 0x10
001eb1d0
001eb1d0Stdlib.Scanf.scan_optionally_signed_decimal_int:
001eb1d0lea r10, [rsp-328]
001eb1d8cmp r10, [r14+40]
001eb1dcjb 0x1eb1f8
001eb1de
001eb1deloc_1eb1de:
001eb1desub rsp, 8
001eb1e2mov [rsp], rbx
001eb1e6call Stdlib.Scanf.scan_sign
001eb1ebmov rbx, [rsp]
001eb1efadd rsp, 8
001eb1f3jmp 0x1ea9a0
001eb1f8
001eb1f8loc_1eb1f8:
001eb1f8push 34
001eb1facall caml_call_realloc_stack
001eb1ffpop r10
001eb201jmp 0x1eb1de
001eb1d0
001eb1d0Stdlib.Scanf.scan_optionally_signed_decimal_int:
001eb1d0lea r10, [rsp-328]
001eb1d8cmp r10, [r14+40]
001eb1dcjb 0x1eb1f8
001eb1de
001eb1deloc_1eb1de:
001eb1desub rsp, 8
001eb1e2mov [rsp], rbx
001eb1e6call Stdlib.Scanf.scan_sign
001eb1ebmov rbx, [rsp]
001eb1efadd rsp, 8
001eb1f3jmp 0x1ea9a0
001eb1f8
001eb1f8loc_1eb1f8:
001eb1f8push 34
001eb1facall caml_call_realloc_stack
001eb1ffpop r10
001eb201jmp 0x1eb1de
001eb1d0
001eb203
001eb203 // align 0x10
001eb203 // align 0x10
001eb210
001eb210Stdlib.Scanf.scan_unsigned_int:
001eb210lea r10, [rsp-352]
001eb218cmp r10, [r14+40]
001eb21cjb 0x1eb525
001eb222
001eb222loc_1eb222:
001eb222sub rsp, 16
001eb226mov [rsp], rax
001eb22amov rdi, rbx
001eb22dmov rax, [rdi+16]
001eb231cmp rax, 1
001eb235je 0x1eb240
001eb237mov rbx, [rdi+8]
001eb23bjmp 0x1eb2df
001eb240
001eb240loc_1eb240:
001eb240mov [rsp+8], rdi
001eb245lea r11, [rip+84]
001eb24cpush r11
001eb24epush [r14+48]
001eb252mov [r14+48], rsp
001eb256mov rbx, [rdi+48]
001eb25amov eax, 1
001eb25fmov rdi, [rbx]
001eb262call rdi
001eb264mov rdi, [rsp+24]
001eb269mov [rdi+8], rax
001eb26dmov [rdi+16], 3
001eb275mov rbx, [rdi+24]
001eb279add rbx, 2
001eb27dmov [rdi+24], rbx
001eb281cmp rax, 21
001eb285jne 0x1eb293
001eb287mov rbx, [rdi+32]
001eb28badd rbx, 2
001eb28fmov [rdi+32], rbx
001eb293
001eb293loc_1eb293:
001eb293pop [r14+48]
001eb297add rsp, 8
001eb29bjmp 0x1eb2dc
001eb29d
001eb29d 0f 1f 00 ...
001eb2a0lea rbx, [rip+0x142371]
001eb2a7mov rbx, [rbx+88]
001eb2abcmp rax, rbx
001eb2aejne 0x1eb2d4
001eb2b0mov rdi, [rsp+8]
001eb2b5mov [rdi+8], 1
001eb2bdmov [rdi+16], 1
001eb2c5mov [rdi], 3
001eb2ccmov eax, 1
001eb2d1jmp 0x1eb2dc
001eb2d3
001eb2d3 90 .
001eb2d4
001eb2d4loc_1eb2d4:
001eb2d4call caml_reraise_exn
001eb2d9nop [rax]
001eb2dc
001eb2dcloc_1eb2dc:
001eb2dcmov rbx, rax
001eb2df
001eb2dfloc_1eb2df:
001eb2dfmov rax, [rdi]
001eb2e2cmp rax, 1
001eb2e6je 0x1eb2f8
001eb2e8lea rax, [rip+0x142329]
001eb2efmov rax, [rax+88]
001eb2f3call caml_raise_exn
001eb2f8
001eb2f8loc_1eb2f8:
001eb2f8cmp rbx, 97
001eb2fcje 0x1eb310
001eb2femov rax, [rsp]
001eb302mov rbx, rdi
001eb305add rsp, 16
001eb309jmp 0x1ea9a0
001eb30e
001eb30e 66 90 f.
001eb310
001eb310loc_1eb310:
001eb310mov [rsp+8], rdi
001eb315mov rax, [rdi+56]
001eb319call Stdlib.Buffer.add_char
001eb31emov rax, [rsp]
001eb322add rax, -2
001eb326mov rdi, [rsp+8]
001eb32bmov [rdi+16], 1
001eb333cmp rax, 1
001eb337jne 0x1eb340
001eb339add rsp, 16
001eb33dret
001eb33e
001eb33e 66 90 f.
001eb340
001eb340loc_1eb340:
001eb340mov [rsp], rax
001eb344mov rax, [rdi+16]
001eb348cmp rax, 1
001eb34cje 0x1eb358
001eb34emov rbx, [rdi+8]
001eb352jmp 0x1eb3f7
001eb357
001eb357 90 .
001eb358
001eb358loc_1eb358:
001eb358mov [rsp+8], rdi
001eb35dlea r11, [rip+84]
001eb364push r11
001eb366push [r14+48]
001eb36amov [r14+48], rsp
001eb36emov rbx, [rdi+48]
001eb372mov eax, 1
001eb377mov rdi, [rbx]
001eb37acall rdi
001eb37cmov rdi, [rsp+24]
001eb381mov [rdi+8], rax
001eb385mov [rdi+16], 3
001eb38dmov rbx, [rdi+24]
001eb391add rbx, 2
001eb395mov [rdi+24], rbx
001eb399cmp rax, 21
001eb39djne 0x1eb3ab
001eb39fmov rbx, [rdi+32]
001eb3a3add rbx, 2
001eb3a7mov [rdi+32], rbx
001eb3ab
001eb3abloc_1eb3ab:
001eb3abpop [r14+48]
001eb3afadd rsp, 8
001eb3b3jmp 0x1eb3f4
001eb3b5
001eb3b5 0f 1f 00 ...
001eb3b8lea rbx, [rip+0x142259]
001eb3bfmov rbx, [rbx+88]
001eb3c3cmp rax, rbx
001eb3c6jne 0x1eb3ec
001eb3c8mov rdi, [rsp+8]
001eb3cdmov [rdi+8], 1
001eb3d5mov [rdi+16], 1
001eb3ddmov [rdi], 3
001eb3e4mov eax, 1
001eb3e9jmp 0x1eb3f4
001eb3eb
001eb3eb 90 .
001eb3ec
001eb3ecloc_1eb3ec:
001eb3eccall caml_reraise_exn
001eb3f1nop [rax]
001eb3f4
001eb3f4loc_1eb3f4:
001eb3f4mov rbx, rax
001eb3f7
001eb3f7loc_1eb3f7:
001eb3f7mov rax, [rdi]
001eb3facmp rax, 1
001eb3feje 0x1eb40c
001eb400mov rax, [rsp]
001eb404add rsp, 16
001eb408ret
001eb409
001eb409 0f 1f 00 ...
001eb40c
001eb40cloc_1eb40c:
001eb40ccmp rbx, 199
001eb413jl 0x1eb47c
001eb415cmp rbx, 223
001eb41cje 0x1eb438
001eb41ecmp rbx, 241
001eb425jne 0x1eb4d8
001eb42bmov [rsp+8], rdi
001eb430jmp 0x1eb4e8
001eb435
001eb435 0f 1f 00 ...
001eb438
001eb438loc_1eb438:
001eb438mov [rsp+8], rdi
001eb43dmov rax, [rdi+56]
001eb441call Stdlib.Buffer.add_char
001eb446mov rdi, [rsp]
001eb44aadd rdi, -2
001eb44emov rsi, [rsp+8]
001eb453mov [rsi+16], 1
001eb45blea rax, [rip+0x181d1e]
001eb462mov rax, [rax+344]
001eb469mov rbx, [rax+32]
001eb46dmov rax, [rax+24]
001eb471add rsp, 16
001eb475jmp 0x1ead90
001eb47a
001eb47a 66 90 f.
001eb47c
001eb47cloc_1eb47c:
001eb47ccmp rbx, 177
001eb483je 0x1eb4d0
001eb485cmp rbx, 197
001eb48cjl 0x1eb4d8
001eb48emov [rsp+8], rdi
001eb493mov rax, [rdi+56]
001eb497call Stdlib.Buffer.add_char
001eb49cmov rdi, [rsp]
001eb4a0add rdi, -2
001eb4a4mov rsi, [rsp+8]
001eb4a9mov [rsi+16], 1
001eb4b1lea rax, [rip+0x181cc8]
001eb4b8mov rax, [rax+328]
001eb4bfmov rbx, [rax+32]
001eb4c3mov rax, [rax+24]
001eb4c7add rsp, 16
001eb4cbjmp 0x1ead90
001eb4d0
001eb4d0loc_1eb4d0:
001eb4d0mov [rsp+8], rdi
001eb4d5jmp 0x1eb4e8
001eb4d7
001eb4d7 90 .
001eb4d8
001eb4d8loc_1eb4d8:
001eb4d8mov rax, [rsp]
001eb4dcmov rbx, rdi
001eb4dfadd rsp, 16
001eb4e3jmp 0x1ea820
001eb4e8
001eb4e8loc_1eb4e8:
001eb4e8mov rax, [rdi+56]
001eb4eccall Stdlib.Buffer.add_char
001eb4f1mov rdi, [rsp]
001eb4f5add rdi, -2
001eb4f9mov rsi, [rsp+8]
001eb4femov [rsi+16], 1
001eb506lea rax, [rip+0x181c73]
001eb50dmov rax, [rax+360]
001eb514mov rbx, [rax+32]
001eb518mov rax, [rax+24]
001eb51cadd rsp, 16
001eb520jmp 0x1ead90
001eb525
001eb525loc_1eb525:
001eb525push 37
001eb527call caml_call_realloc_stack
001eb52cpop r10
001eb52ejmp 0x1eb222
001eb210
001eb210Stdlib.Scanf.scan_unsigned_int:
001eb210lea r10, [rsp-352]
001eb218cmp r10, [r14+40]
001eb21cjb 0x1eb525
001eb222
001eb222loc_1eb222:
001eb222sub rsp, 16
001eb226mov [rsp], rax
001eb22amov rdi, rbx
001eb22dmov rax, [rdi+16]
001eb231cmp rax, 1
001eb235je 0x1eb240
001eb237mov rbx, [rdi+8]
001eb23bjmp 0x1eb2df
001eb240
001eb240loc_1eb240:
001eb240mov [rsp+8], rdi
001eb245lea r11, [rip+84]
001eb24cpush r11
001eb24epush [r14+48]
001eb252mov [r14+48], rsp
001eb256mov rbx, [rdi+48]
001eb25amov eax, 1
001eb25fmov rdi, [rbx]
001eb262call rdi
001eb264mov rdi, [rsp+24]
001eb269mov [rdi+8], rax
001eb26dmov [rdi+16], 3
001eb275mov rbx, [rdi+24]
001eb279add rbx, 2
001eb27dmov [rdi+24], rbx
001eb281cmp rax, 21
001eb285jne 0x1eb293
001eb287mov rbx, [rdi+32]
001eb28badd rbx, 2
001eb28fmov [rdi+32], rbx
001eb293
001eb293loc_1eb293:
001eb293pop [r14+48]
001eb297add rsp, 8
001eb29bjmp 0x1eb2dc
001eb29d
001eb29d 0f 1f 00 ...
001eb2a0lea rbx, [rip+0x142371]
001eb2a7mov rbx, [rbx+88]
001eb2abcmp rax, rbx
001eb2aejne 0x1eb2d4
001eb2b0mov rdi, [rsp+8]
001eb2b5mov [rdi+8], 1
001eb2bdmov [rdi+16], 1
001eb2c5mov [rdi], 3
001eb2ccmov eax, 1
001eb2d1jmp 0x1eb2dc
001eb2d3
001eb2d3 90 .
001eb2d4
001eb2d4loc_1eb2d4:
001eb2d4call caml_reraise_exn
001eb2d9nop [rax]
001eb2dc
001eb2dcloc_1eb2dc:
001eb2dcmov rbx, rax
001eb2df
001eb2dfloc_1eb2df:
001eb2dfmov rax, [rdi]
001eb2e2cmp rax, 1
001eb2e6je 0x1eb2f8
001eb2e8lea rax, [rip+0x142329]
001eb2efmov rax, [rax+88]
001eb2f3call caml_raise_exn
001eb2f8
001eb2f8loc_1eb2f8:
001eb2f8cmp rbx, 97
001eb2fcje 0x1eb310
001eb2femov rax, [rsp]
001eb302mov rbx, rdi
001eb305add rsp, 16
001eb309jmp 0x1ea9a0
001eb30e
001eb30e 66 90 f.
001eb310
001eb310loc_1eb310:
001eb310mov [rsp+8], rdi
001eb315mov rax, [rdi+56]
001eb319call Stdlib.Buffer.add_char
001eb31emov rax, [rsp]
001eb322add rax, -2
001eb326mov rdi, [rsp+8]
001eb32bmov [rdi+16], 1
001eb333cmp rax, 1
001eb337jne 0x1eb340
001eb339add rsp, 16
001eb33dret
001eb33e
001eb33e 66 90 f.
001eb340
001eb340loc_1eb340:
001eb340mov [rsp], rax
001eb344mov rax, [rdi+16]
001eb348cmp rax, 1
001eb34cje 0x1eb358
001eb34emov rbx, [rdi+8]
001eb352jmp 0x1eb3f7
001eb357
001eb357 90 .
001eb358
001eb358loc_1eb358:
001eb358mov [rsp+8], rdi
001eb35dlea r11, [rip+84]
001eb364push r11
001eb366push [r14+48]
001eb36amov [r14+48], rsp
001eb36emov rbx, [rdi+48]
001eb372mov eax, 1
001eb377mov rdi, [rbx]
001eb37acall rdi
001eb37cmov rdi, [rsp+24]
001eb381mov [rdi+8], rax
001eb385mov [rdi+16], 3
001eb38dmov rbx, [rdi+24]
001eb391add rbx, 2
001eb395mov [rdi+24], rbx
001eb399cmp rax, 21
001eb39djne 0x1eb3ab
001eb39fmov rbx, [rdi+32]
001eb3a3add rbx, 2
001eb3a7mov [rdi+32], rbx
001eb3ab
001eb3abloc_1eb3ab:
001eb3abpop [r14+48]
001eb3afadd rsp, 8
001eb3b3jmp 0x1eb3f4
001eb3b5
001eb3b5 0f 1f 00 ...
001eb3b8lea rbx, [rip+0x142259]
001eb3bfmov rbx, [rbx+88]
001eb3c3cmp rax, rbx
001eb3c6jne 0x1eb3ec
001eb3c8mov rdi, [rsp+8]
001eb3cdmov [rdi+8], 1
001eb3d5mov [rdi+16], 1
001eb3ddmov [rdi], 3
001eb3e4mov eax, 1
001eb3e9jmp 0x1eb3f4
001eb3eb
001eb3eb 90 .
001eb3ec
001eb3ecloc_1eb3ec:
001eb3eccall caml_reraise_exn
001eb3f1nop [rax]
001eb3f4
001eb3f4loc_1eb3f4:
001eb3f4mov rbx, rax
001eb3f7
001eb3f7loc_1eb3f7:
001eb3f7mov rax, [rdi]
001eb3facmp rax, 1
001eb3feje 0x1eb40c
001eb400mov rax, [rsp]
001eb404add rsp, 16
001eb408ret
001eb409
001eb409 0f 1f 00 ...
001eb40c
001eb40cloc_1eb40c:
001eb40ccmp rbx, 199
001eb413jl 0x1eb47c
001eb415cmp rbx, 223
001eb41cje 0x1eb438
001eb41ecmp rbx, 241
001eb425jne 0x1eb4d8
001eb42bmov [rsp+8], rdi
001eb430jmp 0x1eb4e8
001eb435
001eb435 0f 1f 00 ...
001eb438
001eb438loc_1eb438:
001eb438mov [rsp+8], rdi
001eb43dmov rax, [rdi+56]
001eb441call Stdlib.Buffer.add_char
001eb446mov rdi, [rsp]
001eb44aadd rdi, -2
001eb44emov rsi, [rsp+8]
001eb453mov [rsi+16], 1
001eb45blea rax, [rip+0x181d1e]
001eb462mov rax, [rax+344]
001eb469mov rbx, [rax+32]
001eb46dmov rax, [rax+24]
001eb471add rsp, 16
001eb475jmp 0x1ead90
001eb47a
001eb47a 66 90 f.
001eb47c
001eb47cloc_1eb47c:
001eb47ccmp rbx, 177
001eb483je 0x1eb4d0
001eb485cmp rbx, 197
001eb48cjl 0x1eb4d8
001eb48emov [rsp+8], rdi
001eb493mov rax, [rdi+56]
001eb497call Stdlib.Buffer.add_char
001eb49cmov rdi, [rsp]
001eb4a0add rdi, -2
001eb4a4mov rsi, [rsp+8]
001eb4a9mov [rsi+16], 1
001eb4b1lea rax, [rip+0x181cc8]
001eb4b8mov rax, [rax+328]
001eb4bfmov rbx, [rax+32]
001eb4c3mov rax, [rax+24]
001eb4c7add rsp, 16
001eb4cbjmp 0x1ead90
001eb4d0
001eb4d0loc_1eb4d0:
001eb4d0mov [rsp+8], rdi
001eb4d5jmp 0x1eb4e8
001eb4d7
001eb4d7 90 .
001eb4d8
001eb4d8loc_1eb4d8:
001eb4d8mov rax, [rsp]
001eb4dcmov rbx, rdi
001eb4dfadd rsp, 16
001eb4e3jmp 0x1ea820
001eb4e8
001eb4e8loc_1eb4e8:
001eb4e8mov rax, [rdi+56]
001eb4eccall Stdlib.Buffer.add_char
001eb4f1mov rdi, [rsp]
001eb4f5add rdi, -2
001eb4f9mov rsi, [rsp+8]
001eb4femov [rsi+16], 1
001eb506lea rax, [rip+0x181c73]
001eb50dmov rax, [rax+360]
001eb514mov rbx, [rax+32]
001eb518mov rax, [rax+24]
001eb51cadd rsp, 16
001eb520jmp 0x1ead90
001eb525
001eb525loc_1eb525:
001eb525push 37
001eb527call caml_call_realloc_stack
001eb52cpop r10
001eb52ejmp 0x1eb222
001eb210
001eb533
001eb533 // align 0x10
001eb533 // align 0x10
001eb540
001eb540Stdlib.Scanf.scan_optionally_signed_int:
001eb540lea r10, [rsp-328]
001eb548cmp r10, [r14+40]
001eb54cjb 0x1eb568
001eb54e
001eb54eloc_1eb54e:
001eb54esub rsp, 8
001eb552mov [rsp], rbx
001eb556call Stdlib.Scanf.scan_sign
001eb55bmov rbx, [rsp]
001eb55fadd rsp, 8
001eb563jmp 0x1eb210
001eb568
001eb568loc_1eb568:
001eb568push 34
001eb56acall caml_call_realloc_stack
001eb56fpop r10
001eb571jmp 0x1eb54e
001eb540
001eb540Stdlib.Scanf.scan_optionally_signed_int:
001eb540lea r10, [rsp-328]
001eb548cmp r10, [r14+40]
001eb54cjb 0x1eb568
001eb54e
001eb54eloc_1eb54e:
001eb54esub rsp, 8
001eb552mov [rsp], rbx
001eb556call Stdlib.Scanf.scan_sign
001eb55bmov rbx, [rsp]
001eb55fadd rsp, 8
001eb563jmp 0x1eb210
001eb568
001eb568loc_1eb568:
001eb568push 34
001eb56acall caml_call_realloc_stack
001eb56fpop r10
001eb571jmp 0x1eb54e
001eb540
001eb573
001eb573 // align 0x10
001eb573 // align 0x10
001eb580
001eb580Stdlib.Scanf.scan_int_conversion:
001eb580lea r10, [rsp-328]
001eb588cmp r10, [r14+40]
001eb58cjb 0x1eb65e
001eb592
001eb592loc_1eb592:
001eb592sub rsp, 8
001eb596mov rcx, rbx
001eb599mov rsi, rdi
001eb59cmov [rsp], rsi
001eb5a0sar rax, 1
001eb5a3lea rdx, [rip+0x43282]
001eb5aamovsxd rax, [rdx+4*rax]
001eb5aeadd rdx, rax
001eb5b1jmp rdx
001eb5b3nop
001eb5b4lea rax, [rip+0x181bc5]
001eb5bbmov rax, [rax+328]
001eb5c2mov rbx, [rax+32]
001eb5c6mov rax, [rax+24]
001eb5camov rdi, rcx
001eb5cdadd rsp, 8
001eb5d1jmp 0x1ead90
001eb5d6nop
001eb5d8mov rax, rcx
001eb5dbmov rbx, rsi
001eb5decall Stdlib.Scanf.scan_sign
001eb5e3mov rbx, [rsp]
001eb5e7add rsp, 8
001eb5ebjmp 0x1ea9a0
001eb5f0mov rax, rcx
001eb5f3mov rbx, rsi
001eb5f6call Stdlib.Scanf.scan_sign
001eb5fbmov rbx, [rsp]
001eb5ffadd rsp, 8
001eb603jmp 0x1eb210
001eb608lea rax, [rip+0x181b71]
001eb60fmov rax, [rax+344]
001eb616mov rbx, [rax+32]
001eb61amov rax, [rax+24]
001eb61emov rdi, rcx
001eb621add rsp, 8
001eb625jmp 0x1ead90
001eb62anop
001eb62cmov rax, rcx
001eb62fmov rbx, rsi
001eb632add rsp, 8
001eb636jmp 0x1ea9a0
001eb63bnop
001eb63clea rax, [rip+0x181b3d]
001eb643mov rax, [rax+360]
001eb64amov rbx, [rax+32]
001eb64emov rax, [rax+24]
001eb652mov rdi, rcx
001eb655add rsp, 8
001eb659jmp 0x1ead90
001eb65e
001eb65eloc_1eb65e:
001eb65epush 34
001eb660call caml_call_realloc_stack
001eb665pop r10
001eb667jmp 0x1eb592
001eb580
001eb580Stdlib.Scanf.scan_int_conversion:
001eb580lea r10, [rsp-328]
001eb588cmp r10, [r14+40]
001eb58cjb 0x1eb65e
001eb592
001eb592loc_1eb592:
001eb592sub rsp, 8
001eb596mov rcx, rbx
001eb599mov rsi, rdi
001eb59cmov [rsp], rsi
001eb5a0sar rax, 1
001eb5a3lea rdx, [rip+0x43282]
001eb5aamovsxd rax, [rdx+4*rax]
001eb5aeadd rdx, rax
001eb5b1jmp rdx
001eb5b3nop
001eb5b4lea rax, [rip+0x181bc5]
001eb5bbmov rax, [rax+328]
001eb5c2mov rbx, [rax+32]
001eb5c6mov rax, [rax+24]
001eb5camov rdi, rcx
001eb5cdadd rsp, 8
001eb5d1jmp 0x1ead90
001eb5d6nop
001eb5d8mov rax, rcx
001eb5dbmov rbx, rsi
001eb5decall Stdlib.Scanf.scan_sign
001eb5e3mov rbx, [rsp]
001eb5e7add rsp, 8
001eb5ebjmp 0x1ea9a0
001eb5f0mov rax, rcx
001eb5f3mov rbx, rsi
001eb5f6call Stdlib.Scanf.scan_sign
001eb5fbmov rbx, [rsp]
001eb5ffadd rsp, 8
001eb603jmp 0x1eb210
001eb608lea rax, [rip+0x181b71]
001eb60fmov rax, [rax+344]
001eb616mov rbx, [rax+32]
001eb61amov rax, [rax+24]
001eb61emov rdi, rcx
001eb621add rsp, 8
001eb625jmp 0x1ead90
001eb62anop
001eb62cmov rax, rcx
001eb62fmov rbx, rsi
001eb632add rsp, 8
001eb636jmp 0x1ea9a0
001eb63bnop
001eb63clea rax, [rip+0x181b3d]
001eb643mov rax, [rax+360]
001eb64amov rbx, [rax+32]
001eb64emov rax, [rax+24]
001eb652mov rdi, rcx
001eb655add rsp, 8
001eb659jmp 0x1ead90
001eb65e
001eb65eloc_1eb65e:
001eb65epush 34
001eb660call caml_call_realloc_stack
001eb665pop r10
001eb667jmp 0x1eb592
001eb580
001eb66c
001eb66c // align 0x10
001eb66c // align 0x10
001eb670
001eb670Stdlib.Scanf.scan_fractional_part:
001eb670lea r10, [rsp-352]
001eb678cmp r10, [r14+40]
001eb67cjb 0x1eb7a4
001eb682
001eb682loc_1eb682:
001eb682sub rsp, 16
001eb686mov rdi, rbx
001eb689cmp rax, 1
001eb68djne 0x1eb694
001eb68fadd rsp, 16
001eb693ret
001eb694
001eb694loc_1eb694:
001eb694mov [rsp], rax
001eb698mov rax, [rdi+16]
001eb69ccmp rax, 1
001eb6a0je 0x1eb6ac
001eb6a2mov rbx, [rdi+8]
001eb6a6jmp 0x1eb74b
001eb6ab
001eb6ab 90 .
001eb6ac
001eb6acloc_1eb6ac:
001eb6acmov [rsp+8], rdi
001eb6b1lea r11, [rip+84]
001eb6b8push r11
001eb6bapush [r14+48]
001eb6bemov [r14+48], rsp
001eb6c2mov rbx, [rdi+48]
001eb6c6mov eax, 1
001eb6cbmov rdi, [rbx]
001eb6cecall rdi
001eb6d0mov rdi, [rsp+24]
001eb6d5mov [rdi+8], rax
001eb6d9mov [rdi+16], 3
001eb6e1mov rbx, [rdi+24]
001eb6e5add rbx, 2
001eb6e9mov [rdi+24], rbx
001eb6edcmp rax, 21
001eb6f1jne 0x1eb6ff
001eb6f3mov rbx, [rdi+32]
001eb6f7add rbx, 2
001eb6fbmov [rdi+32], rbx
001eb6ff
001eb6ffloc_1eb6ff:
001eb6ffpop [r14+48]
001eb703add rsp, 8
001eb707jmp 0x1eb748
001eb709
001eb709 0f 1f 00 ...
001eb70clea rbx, [rip+0x141f05]
001eb713mov rbx, [rbx+88]
001eb717cmp rax, rbx
001eb71ajne 0x1eb740
001eb71cmov rdi, [rsp+8]
001eb721mov [rdi+8], 1
001eb729mov [rdi+16], 1
001eb731mov [rdi], 3
001eb738mov eax, 1
001eb73djmp 0x1eb748
001eb73f
001eb73f 90 .
001eb740
001eb740loc_1eb740:
001eb740call caml_reraise_exn
001eb745nop [rax]
001eb748
001eb748loc_1eb748:
001eb748mov rbx, rax
001eb74b
001eb74bloc_1eb74b:
001eb74bmov rax, [rdi]
001eb74ecmp rax, 1
001eb752je 0x1eb760
001eb754mov rax, [rsp]
001eb758add rsp, 16
001eb75cret
001eb75d
001eb75d 0f 1f 00 ...
001eb760
001eb760loc_1eb760:
001eb760mov rax, rbx
001eb763add rax, -96
001eb767cmp rax, 19
001eb76bjbe 0x1eb778
001eb76dmov rax, [rsp]
001eb771add rsp, 16
001eb775ret
001eb776
001eb776 66 90 f.
001eb778
001eb778loc_1eb778:
001eb778mov [rsp+8], rdi
001eb77dmov rax, [rdi+56]
001eb781call Stdlib.Buffer.add_char
001eb786mov rax, [rsp]
001eb78aadd rax, -2
001eb78emov rbx, [rsp+8]
001eb793mov [rbx+16], 1
001eb79badd rsp, 16
001eb79fjmp 0x1ea820
001eb7a4
001eb7a4loc_1eb7a4:
001eb7a4push 37
001eb7a6call caml_call_realloc_stack
001eb7abpop r10
001eb7adjmp 0x1eb682
001eb670
001eb670Stdlib.Scanf.scan_fractional_part:
001eb670lea r10, [rsp-352]
001eb678cmp r10, [r14+40]
001eb67cjb 0x1eb7a4
001eb682
001eb682loc_1eb682:
001eb682sub rsp, 16
001eb686mov rdi, rbx
001eb689cmp rax, 1
001eb68djne 0x1eb694
001eb68fadd rsp, 16
001eb693ret
001eb694
001eb694loc_1eb694:
001eb694mov [rsp], rax
001eb698mov rax, [rdi+16]
001eb69ccmp rax, 1
001eb6a0je 0x1eb6ac
001eb6a2mov rbx, [rdi+8]
001eb6a6jmp 0x1eb74b
001eb6ab
001eb6ab 90 .
001eb6ac
001eb6acloc_1eb6ac:
001eb6acmov [rsp+8], rdi
001eb6b1lea r11, [rip+84]
001eb6b8push r11
001eb6bapush [r14+48]
001eb6bemov [r14+48], rsp
001eb6c2mov rbx, [rdi+48]
001eb6c6mov eax, 1
001eb6cbmov rdi, [rbx]
001eb6cecall rdi
001eb6d0mov rdi, [rsp+24]
001eb6d5mov [rdi+8], rax
001eb6d9mov [rdi+16], 3
001eb6e1mov rbx, [rdi+24]
001eb6e5add rbx, 2
001eb6e9mov [rdi+24], rbx
001eb6edcmp rax, 21
001eb6f1jne 0x1eb6ff
001eb6f3mov rbx, [rdi+32]
001eb6f7add rbx, 2
001eb6fbmov [rdi+32], rbx
001eb6ff
001eb6ffloc_1eb6ff:
001eb6ffpop [r14+48]
001eb703add rsp, 8
001eb707jmp 0x1eb748
001eb709
001eb709 0f 1f 00 ...
001eb70clea rbx, [rip+0x141f05]
001eb713mov rbx, [rbx+88]
001eb717cmp rax, rbx
001eb71ajne 0x1eb740
001eb71cmov rdi, [rsp+8]
001eb721mov [rdi+8], 1
001eb729mov [rdi+16], 1
001eb731mov [rdi], 3
001eb738mov eax, 1
001eb73djmp 0x1eb748
001eb73f
001eb73f 90 .
001eb740
001eb740loc_1eb740:
001eb740call caml_reraise_exn
001eb745nop [rax]
001eb748
001eb748loc_1eb748:
001eb748mov rbx, rax
001eb74b
001eb74bloc_1eb74b:
001eb74bmov rax, [rdi]
001eb74ecmp rax, 1
001eb752je 0x1eb760
001eb754mov rax, [rsp]
001eb758add rsp, 16
001eb75cret
001eb75d
001eb75d 0f 1f 00 ...
001eb760
001eb760loc_1eb760:
001eb760mov rax, rbx
001eb763add rax, -96
001eb767cmp rax, 19
001eb76bjbe 0x1eb778
001eb76dmov rax, [rsp]
001eb771add rsp, 16
001eb775ret
001eb776
001eb776 66 90 f.
001eb778
001eb778loc_1eb778:
001eb778mov [rsp+8], rdi
001eb77dmov rax, [rdi+56]
001eb781call Stdlib.Buffer.add_char
001eb786mov rax, [rsp]
001eb78aadd rax, -2
001eb78emov rbx, [rsp+8]
001eb793mov [rbx+16], 1
001eb79badd rsp, 16
001eb79fjmp 0x1ea820
001eb7a4
001eb7a4loc_1eb7a4:
001eb7a4push 37
001eb7a6call caml_call_realloc_stack
001eb7abpop r10
001eb7adjmp 0x1eb682
001eb670
001eb7b2
001eb7b2 // align 0x10
001eb7b2 // align 0x10
001eb7c0
001eb7c0Stdlib.Scanf.scan_exponent_part:
001eb7c0lea r10, [rsp-352]
001eb7c8cmp r10, [r14+40]
001eb7ccjb 0x1eb90a
001eb7d2
001eb7d2loc_1eb7d2:
001eb7d2sub rsp, 16
001eb7d6mov rdi, rbx
001eb7d9cmp rax, 1
001eb7ddjne 0x1eb7e4
001eb7dfadd rsp, 16
001eb7e3ret
001eb7e4
001eb7e4loc_1eb7e4:
001eb7e4mov [rsp], rax
001eb7e8mov rax, [rdi+16]
001eb7eccmp rax, 1
001eb7f0je 0x1eb7fc
001eb7f2mov rbx, [rdi+8]
001eb7f6jmp 0x1eb89b
001eb7fb
001eb7fb 90 .
001eb7fc
001eb7fcloc_1eb7fc:
001eb7fcmov [rsp+8], rdi
001eb801lea r11, [rip+84]
001eb808push r11
001eb80apush [r14+48]
001eb80emov [r14+48], rsp
001eb812mov rbx, [rdi+48]
001eb816mov eax, 1
001eb81bmov rdi, [rbx]
001eb81ecall rdi
001eb820mov rdi, [rsp+24]
001eb825mov [rdi+8], rax
001eb829mov [rdi+16], 3
001eb831mov rbx, [rdi+24]
001eb835add rbx, 2
001eb839mov [rdi+24], rbx
001eb83dcmp rax, 21
001eb841jne 0x1eb84f
001eb843mov rbx, [rdi+32]
001eb847add rbx, 2
001eb84bmov [rdi+32], rbx
001eb84f
001eb84floc_1eb84f:
001eb84fpop [r14+48]
001eb853add rsp, 8
001eb857jmp 0x1eb898
001eb859
001eb859 0f 1f 00 ...
001eb85clea rbx, [rip+0x141db5]
001eb863mov rbx, [rbx+88]
001eb867cmp rax, rbx
001eb86ajne 0x1eb890
001eb86cmov rdi, [rsp+8]
001eb871mov [rdi+8], 1
001eb879mov [rdi+16], 1
001eb881mov [rdi], 3
001eb888mov eax, 1
001eb88djmp 0x1eb898
001eb88f
001eb88f 90 .
001eb890
001eb890loc_1eb890:
001eb890call caml_reraise_exn
001eb895nop [rax]
001eb898
001eb898loc_1eb898:
001eb898mov rbx, rax
001eb89b
001eb89bloc_1eb89b:
001eb89bmov rax, [rdi]
001eb89ecmp rax, 1
001eb8a2je 0x1eb8b0
001eb8a4mov rax, [rsp]
001eb8a8add rsp, 16
001eb8acret
001eb8ad
001eb8ad 0f 1f 00 ...
001eb8b0
001eb8b0loc_1eb8b0:
001eb8b0cmp rbx, 139
001eb8b7je 0x1eb8d4
001eb8b9cmp rbx, 203
001eb8c0je 0x1eb8cc
001eb8c2mov rax, [rsp]
001eb8c6add rsp, 16
001eb8caret
001eb8cb
001eb8cb 90 .
001eb8cc
001eb8ccloc_1eb8cc:
001eb8ccmov [rsp+8], rdi
001eb8d1jmp 0x1eb8d9
001eb8d3
001eb8d3 90 .
001eb8d4
001eb8d4loc_1eb8d4:
001eb8d4mov [rsp+8], rdi
001eb8d9
001eb8d9loc_1eb8d9:
001eb8d9mov rax, [rdi+56]
001eb8ddcall Stdlib.Buffer.add_char
001eb8e2mov rax, [rsp]
001eb8e6add rax, -2
001eb8eamov rbx, [rsp+8]
001eb8efmov [rbx+16], 1
001eb8f7call Stdlib.Scanf.scan_sign
001eb8fcmov rbx, [rsp+8]
001eb901add rsp, 16
001eb905jmp 0x1ea9a0
001eb90a
001eb90aloc_1eb90a:
001eb90apush 37
001eb90ccall caml_call_realloc_stack
001eb911pop r10
001eb913jmp 0x1eb7d2
001eb7c0
001eb7c0Stdlib.Scanf.scan_exponent_part:
001eb7c0lea r10, [rsp-352]
001eb7c8cmp r10, [r14+40]
001eb7ccjb 0x1eb90a
001eb7d2
001eb7d2loc_1eb7d2:
001eb7d2sub rsp, 16
001eb7d6mov rdi, rbx
001eb7d9cmp rax, 1
001eb7ddjne 0x1eb7e4
001eb7dfadd rsp, 16
001eb7e3ret
001eb7e4
001eb7e4loc_1eb7e4:
001eb7e4mov [rsp], rax
001eb7e8mov rax, [rdi+16]
001eb7eccmp rax, 1
001eb7f0je 0x1eb7fc
001eb7f2mov rbx, [rdi+8]
001eb7f6jmp 0x1eb89b
001eb7fb
001eb7fb 90 .
001eb7fc
001eb7fcloc_1eb7fc:
001eb7fcmov [rsp+8], rdi
001eb801lea r11, [rip+84]
001eb808push r11
001eb80apush [r14+48]
001eb80emov [r14+48], rsp
001eb812mov rbx, [rdi+48]
001eb816mov eax, 1
001eb81bmov rdi, [rbx]
001eb81ecall rdi
001eb820mov rdi, [rsp+24]
001eb825mov [rdi+8], rax
001eb829mov [rdi+16], 3
001eb831mov rbx, [rdi+24]
001eb835add rbx, 2
001eb839mov [rdi+24], rbx
001eb83dcmp rax, 21
001eb841jne 0x1eb84f
001eb843mov rbx, [rdi+32]
001eb847add rbx, 2
001eb84bmov [rdi+32], rbx
001eb84f
001eb84floc_1eb84f:
001eb84fpop [r14+48]
001eb853add rsp, 8
001eb857jmp 0x1eb898
001eb859
001eb859 0f 1f 00 ...
001eb85clea rbx, [rip+0x141db5]
001eb863mov rbx, [rbx+88]
001eb867cmp rax, rbx
001eb86ajne 0x1eb890
001eb86cmov rdi, [rsp+8]
001eb871mov [rdi+8], 1
001eb879mov [rdi+16], 1
001eb881mov [rdi], 3
001eb888mov eax, 1
001eb88djmp 0x1eb898
001eb88f
001eb88f 90 .
001eb890
001eb890loc_1eb890:
001eb890call caml_reraise_exn
001eb895nop [rax]
001eb898
001eb898loc_1eb898:
001eb898mov rbx, rax
001eb89b
001eb89bloc_1eb89b:
001eb89bmov rax, [rdi]
001eb89ecmp rax, 1
001eb8a2je 0x1eb8b0
001eb8a4mov rax, [rsp]
001eb8a8add rsp, 16
001eb8acret
001eb8ad
001eb8ad 0f 1f 00 ...
001eb8b0
001eb8b0loc_1eb8b0:
001eb8b0cmp rbx, 139
001eb8b7je 0x1eb8d4
001eb8b9cmp rbx, 203
001eb8c0je 0x1eb8cc
001eb8c2mov rax, [rsp]
001eb8c6add rsp, 16
001eb8caret
001eb8cb
001eb8cb 90 .
001eb8cc
001eb8ccloc_1eb8cc:
001eb8ccmov [rsp+8], rdi
001eb8d1jmp 0x1eb8d9
001eb8d3
001eb8d3 90 .
001eb8d4
001eb8d4loc_1eb8d4:
001eb8d4mov [rsp+8], rdi
001eb8d9
001eb8d9loc_1eb8d9:
001eb8d9mov rax, [rdi+56]
001eb8ddcall Stdlib.Buffer.add_char
001eb8e2mov rax, [rsp]
001eb8e6add rax, -2
001eb8eamov rbx, [rsp+8]
001eb8efmov [rbx+16], 1
001eb8f7call Stdlib.Scanf.scan_sign
001eb8fcmov rbx, [rsp+8]
001eb901add rsp, 16
001eb905jmp 0x1ea9a0
001eb90a
001eb90aloc_1eb90a:
001eb90apush 37
001eb90ccall caml_call_realloc_stack
001eb911pop r10
001eb913jmp 0x1eb7d2
001eb7c0
001eb918
001eb918 // align 0x10
001eb918 // align 0x10
001eb920
001eb920Stdlib.Scanf.scan_integer_part:
001eb920lea r10, [rsp-328]
001eb928cmp r10, [r14+40]
001eb92cjb 0x1eb948
001eb92e
001eb92eloc_1eb92e:
001eb92esub rsp, 8
001eb932mov [rsp], rbx
001eb936call Stdlib.Scanf.scan_sign
001eb93bmov rbx, [rsp]
001eb93fadd rsp, 8
001eb943jmp 0x1ea820
001eb948
001eb948loc_1eb948:
001eb948push 34
001eb94acall caml_call_realloc_stack
001eb94fpop r10
001eb951jmp 0x1eb92e
001eb920
001eb920Stdlib.Scanf.scan_integer_part:
001eb920lea r10, [rsp-328]
001eb928cmp r10, [r14+40]
001eb92cjb 0x1eb948
001eb92e
001eb92eloc_1eb92e:
001eb92esub rsp, 8
001eb932mov [rsp], rbx
001eb936call Stdlib.Scanf.scan_sign
001eb93bmov rbx, [rsp]
001eb93fadd rsp, 8
001eb943jmp 0x1ea820
001eb948
001eb948loc_1eb948:
001eb948push 34
001eb94acall caml_call_realloc_stack
001eb94fpop r10
001eb951jmp 0x1eb92e
001eb920
001eb953
001eb953 // align 0x10
001eb953 // align 0x10
001eb960
001eb960Stdlib.Scanf.scan_float:
001eb960lea r10, [rsp-360]
001eb968cmp r10, [r14+40]
001eb96cjb 0x1ebba8
001eb972
001eb972loc_1eb972:
001eb972sub rsp, 24
001eb976mov [rsp+8], rbx
001eb97bmov rbx, rdi
001eb97emov [rsp+16], rbx
001eb983call Stdlib.Scanf.scan_sign
001eb988mov rbx, [rsp+16]
001eb98dcall Stdlib.Scanf.scan_decimal_digit_star
001eb992cmp rax, 1
001eb996jne 0x1eb9c8
001eb998sub r15, 24
001eb99ccmp r15, [r14]
001eb99fjb 0x1ebb9e
001eb9a5
001eb9a5loc_1eb9a5:
001eb9a5lea rbx, [r15+8]
001eb9a9mov [rbx-8], 2048
001eb9b1mov [rbx], rax
001eb9b4mov rax, [rsp+8]
001eb9b9mov [rbx+8], rax
001eb9bdmov rax, rbx
001eb9c0add rsp, 24
001eb9c4ret
001eb9c5
001eb9c5 0f 1f 00 ...
001eb9c8
001eb9c8loc_1eb9c8:
001eb9c8mov [rsp], rax
001eb9ccmov rdi, [rsp+16]
001eb9d1mov rax, [rdi+16]
001eb9d5cmp rax, 1
001eb9d9je 0x1eb9e4
001eb9dbmov rbx, [rdi+8]
001eb9dfjmp 0x1eba83
001eb9e4
001eb9e4loc_1eb9e4:
001eb9e4mov [rsp+16], rdi
001eb9e9lea r11, [rip+84]
001eb9f0push r11
001eb9f2push [r14+48]
001eb9f6mov [r14+48], rsp
001eb9famov rbx, [rdi+48]
001eb9femov eax, 1
001eba03mov rdi, [rbx]
001eba06call rdi
001eba08mov rdi, [rsp+32]
001eba0dmov [rdi+8], rax
001eba11mov [rdi+16], 3
001eba19mov rbx, [rdi+24]
001eba1dadd rbx, 2
001eba21mov [rdi+24], rbx
001eba25cmp rax, 21
001eba29jne 0x1eba37
001eba2bmov rbx, [rdi+32]
001eba2fadd rbx, 2
001eba33mov [rdi+32], rbx
001eba37
001eba37loc_1eba37:
001eba37pop [r14+48]
001eba3badd rsp, 8
001eba3fjmp 0x1eba80
001eba41
001eba41 0f 1f 00 ...
001eba44lea rbx, [rip+0x141bcd]
001eba4bmov rbx, [rbx+88]
001eba4fcmp rax, rbx
001eba52jne 0x1eba78
001eba54mov rdi, [rsp+16]
001eba59mov [rdi+8], 1
001eba61mov [rdi+16], 1
001eba69mov [rdi], 3
001eba70mov eax, 1
001eba75jmp 0x1eba80
001eba77
001eba77 90 .
001eba78
001eba78loc_1eba78:
001eba78call caml_reraise_exn
001eba7dnop [rax]
001eba80
001eba80loc_1eba80:
001eba80mov rbx, rax
001eba83
001eba83loc_1eba83:
001eba83mov rax, [rdi]
001eba86cmp rax, 1
001eba8aje 0x1ebabc
001eba8csub r15, 24
001eba90cmp r15, [r14]
001eba93jb 0x1ebb94
001eba99
001eba99loc_1eba99:
001eba99lea rax, [r15+8]
001eba9dmov [rax-8], 2048
001ebaa5mov rbx, [rsp]
001ebaa9mov [rax], rbx
001ebaacmov rbx, [rsp+8]
001ebab1mov [rax+8], rbx
001ebab5add rsp, 24
001ebab9ret
001ebaba
001ebaba 66 90 f.
001ebabc
001ebabcloc_1ebabc:
001ebabccmp rbx, 93
001ebac0je 0x1ebafc
001ebac2mov rax, [rsp]
001ebac6mov rbx, rdi
001ebac9call Stdlib.Scanf.scan_exponent_part
001ebacesub r15, 24
001ebad2cmp r15, [r14]
001ebad5jb 0x1ebb8a
001ebadb
001ebadbloc_1ebadb:
001ebadblea rbx, [r15+8]
001ebadfmov [rbx-8], 2048
001ebae7mov [rbx], rax
001ebaeamov rax, [rsp+8]
001ebaefmov [rbx+8], rax
001ebaf3mov rax, rbx
001ebaf6add rsp, 24
001ebafaret
001ebafb
001ebafb 90 .
001ebafc
001ebafcloc_1ebafc:
001ebafcmov [rsp+16], rdi
001ebb01mov rax, [rdi+56]
001ebb05call Stdlib.Buffer.add_char
001ebb0amov rax, [rsp]
001ebb0eadd rax, -2
001ebb12mov rbx, [rsp+16]
001ebb17mov [rbx+16], 1
001ebb1fmov [rsp], rax
001ebb23mov rdi, [rsp+8]
001ebb28cmp rax, rdi
001ebb2bjg 0x1ebb34
001ebb2dmov [rsp+8], rax
001ebb32jmp 0x1ebb3c
001ebb34
001ebb34loc_1ebb34:
001ebb34mov rax, rdi
001ebb37mov [rsp+8], rax
001ebb3c
001ebb3cloc_1ebb3c:
001ebb3ccall Stdlib.Scanf.scan_fractional_part
001ebb41mov rbx, [rsp+8]
001ebb46sub rbx, rax
001ebb49mov rax, [rsp]
001ebb4dsub rax, rbx
001ebb50mov rbx, [rsp+16]
001ebb55call Stdlib.Scanf.scan_exponent_part
001ebb5asub r15, 24
001ebb5ecmp r15, [r14]
001ebb61jb 0x1ebb83
001ebb63
001ebb63loc_1ebb63:
001ebb63lea rbx, [r15+8]
001ebb67mov [rbx-8], 2048
001ebb6fmov [rbx], rax
001ebb72mov rax, [rsp+8]
001ebb77mov [rbx+8], rax
001ebb7bmov rax, rbx
001ebb7eadd rsp, 24
001ebb82ret
001ebb83
001ebb83loc_1ebb83:
001ebb83call caml_call_gc
001ebb88jmp 0x1ebb63
001ebb8a
001ebb8aloc_1ebb8a:
001ebb8acall caml_call_gc
001ebb8fjmp 0x1ebadb
001ebb94
001ebb94loc_1ebb94:
001ebb94call caml_call_gc
001ebb99jmp 0x1eba99
001ebb9e
001ebb9eloc_1ebb9e:
001ebb9ecall caml_call_gc
001ebba3jmp 0x1eb9a5
001ebba8
001ebba8loc_1ebba8:
001ebba8push 38
001ebbaacall caml_call_realloc_stack
001ebbafpop r10
001ebbb1jmp 0x1eb972
001eb960
001eb960Stdlib.Scanf.scan_float:
001eb960lea r10, [rsp-360]
001eb968cmp r10, [r14+40]
001eb96cjb 0x1ebba8
001eb972
001eb972loc_1eb972:
001eb972sub rsp, 24
001eb976mov [rsp+8], rbx
001eb97bmov rbx, rdi
001eb97emov [rsp+16], rbx
001eb983call Stdlib.Scanf.scan_sign
001eb988mov rbx, [rsp+16]
001eb98dcall Stdlib.Scanf.scan_decimal_digit_star
001eb992cmp rax, 1
001eb996jne 0x1eb9c8
001eb998sub r15, 24
001eb99ccmp r15, [r14]
001eb99fjb 0x1ebb9e
001eb9a5
001eb9a5loc_1eb9a5:
001eb9a5lea rbx, [r15+8]
001eb9a9mov [rbx-8], 2048
001eb9b1mov [rbx], rax
001eb9b4mov rax, [rsp+8]
001eb9b9mov [rbx+8], rax
001eb9bdmov rax, rbx
001eb9c0add rsp, 24
001eb9c4ret
001eb9c5
001eb9c5 0f 1f 00 ...
001eb9c8
001eb9c8loc_1eb9c8:
001eb9c8mov [rsp], rax
001eb9ccmov rdi, [rsp+16]
001eb9d1mov rax, [rdi+16]
001eb9d5cmp rax, 1
001eb9d9je 0x1eb9e4
001eb9dbmov rbx, [rdi+8]
001eb9dfjmp 0x1eba83
001eb9e4
001eb9e4loc_1eb9e4:
001eb9e4mov [rsp+16], rdi
001eb9e9lea r11, [rip+84]
001eb9f0push r11
001eb9f2push [r14+48]
001eb9f6mov [r14+48], rsp
001eb9famov rbx, [rdi+48]
001eb9femov eax, 1
001eba03mov rdi, [rbx]
001eba06call rdi
001eba08mov rdi, [rsp+32]
001eba0dmov [rdi+8], rax
001eba11mov [rdi+16], 3
001eba19mov rbx, [rdi+24]
001eba1dadd rbx, 2
001eba21mov [rdi+24], rbx
001eba25cmp rax, 21
001eba29jne 0x1eba37
001eba2bmov rbx, [rdi+32]
001eba2fadd rbx, 2
001eba33mov [rdi+32], rbx
001eba37
001eba37loc_1eba37:
001eba37pop [r14+48]
001eba3badd rsp, 8
001eba3fjmp 0x1eba80
001eba41
001eba41 0f 1f 00 ...
001eba44lea rbx, [rip+0x141bcd]
001eba4bmov rbx, [rbx+88]
001eba4fcmp rax, rbx
001eba52jne 0x1eba78
001eba54mov rdi, [rsp+16]
001eba59mov [rdi+8], 1
001eba61mov [rdi+16], 1
001eba69mov [rdi], 3
001eba70mov eax, 1
001eba75jmp 0x1eba80
001eba77
001eba77 90 .
001eba78
001eba78loc_1eba78:
001eba78call caml_reraise_exn
001eba7dnop [rax]
001eba80
001eba80loc_1eba80:
001eba80mov rbx, rax
001eba83
001eba83loc_1eba83:
001eba83mov rax, [rdi]
001eba86cmp rax, 1
001eba8aje 0x1ebabc
001eba8csub r15, 24
001eba90cmp r15, [r14]
001eba93jb 0x1ebb94
001eba99
001eba99loc_1eba99:
001eba99lea rax, [r15+8]
001eba9dmov [rax-8], 2048
001ebaa5mov rbx, [rsp]
001ebaa9mov [rax], rbx
001ebaacmov rbx, [rsp+8]
001ebab1mov [rax+8], rbx
001ebab5add rsp, 24
001ebab9ret
001ebaba
001ebaba 66 90 f.
001ebabc
001ebabcloc_1ebabc:
001ebabccmp rbx, 93
001ebac0je 0x1ebafc
001ebac2mov rax, [rsp]
001ebac6mov rbx, rdi
001ebac9call Stdlib.Scanf.scan_exponent_part
001ebacesub r15, 24
001ebad2cmp r15, [r14]
001ebad5jb 0x1ebb8a
001ebadb
001ebadbloc_1ebadb:
001ebadblea rbx, [r15+8]
001ebadfmov [rbx-8], 2048
001ebae7mov [rbx], rax
001ebaeamov rax, [rsp+8]
001ebaefmov [rbx+8], rax
001ebaf3mov rax, rbx
001ebaf6add rsp, 24
001ebafaret
001ebafb
001ebafb 90 .
001ebafc
001ebafcloc_1ebafc:
001ebafcmov [rsp+16], rdi
001ebb01mov rax, [rdi+56]
001ebb05call Stdlib.Buffer.add_char
001ebb0amov rax, [rsp]
001ebb0eadd rax, -2
001ebb12mov rbx, [rsp+16]
001ebb17mov [rbx+16], 1
001ebb1fmov [rsp], rax
001ebb23mov rdi, [rsp+8]
001ebb28cmp rax, rdi
001ebb2bjg 0x1ebb34
001ebb2dmov [rsp+8], rax
001ebb32jmp 0x1ebb3c
001ebb34
001ebb34loc_1ebb34:
001ebb34mov rax, rdi
001ebb37mov [rsp+8], rax
001ebb3c
001ebb3cloc_1ebb3c:
001ebb3ccall Stdlib.Scanf.scan_fractional_part
001ebb41mov rbx, [rsp+8]
001ebb46sub rbx, rax
001ebb49mov rax, [rsp]
001ebb4dsub rax, rbx
001ebb50mov rbx, [rsp+16]
001ebb55call Stdlib.Scanf.scan_exponent_part
001ebb5asub r15, 24
001ebb5ecmp r15, [r14]
001ebb61jb 0x1ebb83
001ebb63
001ebb63loc_1ebb63:
001ebb63lea rbx, [r15+8]
001ebb67mov [rbx-8], 2048
001ebb6fmov [rbx], rax
001ebb72mov rax, [rsp+8]
001ebb77mov [rbx+8], rax
001ebb7bmov rax, rbx
001ebb7eadd rsp, 24
001ebb82ret
001ebb83
001ebb83loc_1ebb83:
001ebb83call caml_call_gc
001ebb88jmp 0x1ebb63
001ebb8a
001ebb8aloc_1ebb8a:
001ebb8acall caml_call_gc
001ebb8fjmp 0x1ebadb
001ebb94
001ebb94loc_1ebb94:
001ebb94call caml_call_gc
001ebb99jmp 0x1eba99
001ebb9e
001ebb9eloc_1ebb9e:
001ebb9ecall caml_call_gc
001ebba3jmp 0x1eb9a5
001ebba8
001ebba8loc_1ebba8:
001ebba8push 38
001ebbaacall caml_call_realloc_stack
001ebbafpop r10
001ebbb1jmp 0x1eb972
001eb960
001ebbb6
001ebbb6 // align 0x10
001ebbb6 // align 0x10
001ebbc0
001ebbc0Stdlib.Scanf.check_case_insensitive_string:
001ebbc0lea r10, [rsp-400]
001ebbc8cmp r10, [r14+40]
001ebbccjb 0x1ebdfa
001ebbd2
001ebbd2loc_1ebbd2:
001ebbd2sub rsp, 64
001ebbd6mov rdx, [rsi-8]
001ebbdashr rdx, 10
001ebbdelea rdx, [8*rdx-1]
001ebbe6movzx rcx, [rsi+rdx]
001ebbebsub rdx, rcx
001ebbeelea rdx, [rdx+rdx+1]
001ebbf3mov ecx, 1
001ebbf8add rdx, -2
001ebbfccmp rcx, rdx
001ebbffjg 0x1ebde6
001ebc05mov [rsp+40], rdx
001ebc0amov [rsp+32], rcx
001ebc0fmov [rsp+16], rax
001ebc14mov [rsp], rsi
001ebc18mov [rsp+48], rdi
001ebc1dmov [rsp+56], rbx
001ebc22
001ebc22loc_1ebc22:
001ebc22mov rax, [rbx+16]
001ebc26cmp rax, 1
001ebc2aje 0x1ebc3c
001ebc2cmov rax, [rbx+8]
001ebc30mov [rsp+24], rax
001ebc35jmp 0x1ebcd5
001ebc3a
001ebc3a 66 90 f.
001ebc3c
001ebc3cloc_1ebc3c:
001ebc3clea r11, [rip+81]
001ebc43push r11
001ebc45push [r14+48]
001ebc49mov [r14+48], rsp
001ebc4dmov rbx, [rbx+48]
001ebc51mov eax, 1
001ebc56mov rdi, [rbx]
001ebc59call rdi
001ebc5bmov rdi, [rsp+72]
001ebc60mov [rdi+8], rax
001ebc64mov [rdi+16], 3
001ebc6cmov rbx, [rdi+24]
001ebc70add rbx, 2
001ebc74mov [rdi+24], rbx
001ebc78cmp rax, 21
001ebc7cjne 0x1ebc8a
001ebc7emov rbx, [rdi+32]
001ebc82add rbx, 2
001ebc86mov [rdi+32], rbx
001ebc8a
001ebc8aloc_1ebc8a:
001ebc8apop [r14+48]
001ebc8eadd rsp, 8
001ebc92jmp 0x1ebcd0
001ebc94lea rbx, [rip+0x14197d]
001ebc9bmov rbx, [rbx+88]
001ebc9fcmp rax, rbx
001ebca2jne 0x1ebcc8
001ebca4mov rax, [rsp+56]
001ebca9mov [rax+8], 1
001ebcb1mov [rax+16], 1
001ebcb9mov [rax], 3
001ebcc0mov eax, 1
001ebcc5jmp 0x1ebcd0
001ebcc7
001ebcc7 90 .
001ebcc8
001ebcc8loc_1ebcc8:
001ebcc8call caml_reraise_exn
001ebccdnop [rax]
001ebcd0
001ebcd0loc_1ebcd0:
001ebcd0mov [rsp+24], rax
001ebcd5
001ebcd5loc_1ebcd5:
001ebcd5mov rax, [rsp+32]
001ebcdasar rax, 1
001ebcddmov rsi, [rsp]
001ebce1mov rbx, [rsi-8]
001ebce5shr rbx, 10
001ebce9lea rbx, [8*rbx-1]
001ebcf1movzx rdi, [rsi+rbx]
001ebcf6sub rbx, rdi
001ebcf9cmp rbx, rax
001ebcfcjbe 0x1ebdf5
001ebd02movzx rax, [rsi+rax]
001ebd07lea rax, [rax+rax+1]
001ebd0cmov rbx, rax
001ebd0fadd rbx, -130
001ebd16cmp rbx, 51
001ebd1ajbe 0x1ebd24
001ebd1cmov [rsp+8], rax
001ebd21jmp 0x1ebd32
001ebd23
001ebd23 90 .
001ebd24
001ebd24loc_1ebd24:
001ebd24add rax, 64
001ebd28call camlStdlib.char_of_int_148
001ebd2dmov [rsp+8], rax
001ebd32
001ebd32loc_1ebd32:
001ebd32mov rax, [rsp+24]
001ebd37mov rbx, rax
001ebd3aadd rbx, -130
001ebd41cmp rbx, 51
001ebd45jbe 0x1ebd4c
001ebd47jmp 0x1ebd55
001ebd49
001ebd49 0f 1f 00 ...
001ebd4c
001ebd4cloc_1ebd4c:
001ebd4cadd rax, 64
001ebd50call camlStdlib.char_of_int_148
001ebd55
001ebd55loc_1ebd55:
001ebd55mov rbx, [rsp+8]
001ebd5acmp rax, rbx
001ebd5dje 0x1ebd6e
001ebd5fmov eax, 1
001ebd64mov rbx, [rsp+48]
001ebd69mov rdi, [rbx]
001ebd6ccall rdi
001ebd6e
001ebd6eloc_1ebd6e:
001ebd6emov rax, [rsp+16]
001ebd73cmp rax, 1
001ebd77jne 0x1ebd88
001ebd79mov eax, 1
001ebd7emov rbx, [rsp+48]
001ebd83mov rdi, [rbx]
001ebd86call rdi
001ebd88
001ebd88loc_1ebd88:
001ebd88mov rax, [rsp+16]
001ebd8dmov [rsp+8], rax
001ebd92mov rax, [rsp+56]
001ebd97mov rax, [rax+56]
001ebd9bmov rbx, [rsp+24]
001ebda0call Stdlib.Buffer.add_char
001ebda5mov rax, [rsp+8]
001ebdaaadd rax, -2
001ebdaemov rbx, [rsp+56]
001ebdb3mov [rbx+16], 1
001ebdbbmov [rsp+16], rax
001ebdc0mov rsi, [rsp+32]
001ebdc5mov rdi, rsi
001ebdc8add rsi, 2
001ebdccmov [rsp+32], rsi
001ebdd1mov rsi, [rsp+40]
001ebdd6cmp rdi, rsi
001ebdd9je 0x1ebde6
001ebddbcmp r15, [r14]
001ebddeja 0x1ebc22
001ebde4jmp 0x1ebdeb
001ebde6
001ebde6loc_1ebde6:
001ebde6add rsp, 64
001ebdearet
001ebdeb
001ebdebloc_1ebdeb:
001ebdebcall caml_call_gc
001ebdf0jmp 0x1ebc22
001ebdf5
001ebdf5loc_1ebdf5:
001ebdf5call caml_ml_array_bound_error
001ebdfa
001ebdfaloc_1ebdfa:
001ebdfapush 43
001ebdfccall caml_call_realloc_stack
001ebe01pop r10
001ebe03jmp 0x1ebbd2
001ebbc0
001ebbc0Stdlib.Scanf.check_case_insensitive_string:
001ebbc0lea r10, [rsp-400]
001ebbc8cmp r10, [r14+40]
001ebbccjb 0x1ebdfa
001ebbd2
001ebbd2loc_1ebbd2:
001ebbd2sub rsp, 64
001ebbd6mov rdx, [rsi-8]
001ebbdashr rdx, 10
001ebbdelea rdx, [8*rdx-1]
001ebbe6movzx rcx, [rsi+rdx]
001ebbebsub rdx, rcx
001ebbeelea rdx, [rdx+rdx+1]
001ebbf3mov ecx, 1
001ebbf8add rdx, -2
001ebbfccmp rcx, rdx
001ebbffjg 0x1ebde6
001ebc05mov [rsp+40], rdx
001ebc0amov [rsp+32], rcx
001ebc0fmov [rsp+16], rax
001ebc14mov [rsp], rsi
001ebc18mov [rsp+48], rdi
001ebc1dmov [rsp+56], rbx
001ebc22
001ebc22loc_1ebc22:
001ebc22mov rax, [rbx+16]
001ebc26cmp rax, 1
001ebc2aje 0x1ebc3c
001ebc2cmov rax, [rbx+8]
001ebc30mov [rsp+24], rax
001ebc35jmp 0x1ebcd5
001ebc3a
001ebc3a 66 90 f.
001ebc3c
001ebc3cloc_1ebc3c:
001ebc3clea r11, [rip+81]
001ebc43push r11
001ebc45push [r14+48]
001ebc49mov [r14+48], rsp
001ebc4dmov rbx, [rbx+48]
001ebc51mov eax, 1
001ebc56mov rdi, [rbx]
001ebc59call rdi
001ebc5bmov rdi, [rsp+72]
001ebc60mov [rdi+8], rax
001ebc64mov [rdi+16], 3
001ebc6cmov rbx, [rdi+24]
001ebc70add rbx, 2
001ebc74mov [rdi+24], rbx
001ebc78cmp rax, 21
001ebc7cjne 0x1ebc8a
001ebc7emov rbx, [rdi+32]
001ebc82add rbx, 2
001ebc86mov [rdi+32], rbx
001ebc8a
001ebc8aloc_1ebc8a:
001ebc8apop [r14+48]
001ebc8eadd rsp, 8
001ebc92jmp 0x1ebcd0
001ebc94lea rbx, [rip+0x14197d]
001ebc9bmov rbx, [rbx+88]
001ebc9fcmp rax, rbx
001ebca2jne 0x1ebcc8
001ebca4mov rax, [rsp+56]
001ebca9mov [rax+8], 1
001ebcb1mov [rax+16], 1
001ebcb9mov [rax], 3
001ebcc0mov eax, 1
001ebcc5jmp 0x1ebcd0
001ebcc7
001ebcc7 90 .
001ebcc8
001ebcc8loc_1ebcc8:
001ebcc8call caml_reraise_exn
001ebccdnop [rax]
001ebcd0
001ebcd0loc_1ebcd0:
001ebcd0mov [rsp+24], rax
001ebcd5
001ebcd5loc_1ebcd5:
001ebcd5mov rax, [rsp+32]
001ebcdasar rax, 1
001ebcddmov rsi, [rsp]
001ebce1mov rbx, [rsi-8]
001ebce5shr rbx, 10
001ebce9lea rbx, [8*rbx-1]
001ebcf1movzx rdi, [rsi+rbx]
001ebcf6sub rbx, rdi
001ebcf9cmp rbx, rax
001ebcfcjbe 0x1ebdf5
001ebd02movzx rax, [rsi+rax]
001ebd07lea rax, [rax+rax+1]
001ebd0cmov rbx, rax
001ebd0fadd rbx, -130
001ebd16cmp rbx, 51
001ebd1ajbe 0x1ebd24
001ebd1cmov [rsp+8], rax
001ebd21jmp 0x1ebd32
001ebd23
001ebd23 90 .
001ebd24
001ebd24loc_1ebd24:
001ebd24add rax, 64
001ebd28call camlStdlib.char_of_int_148
001ebd2dmov [rsp+8], rax
001ebd32
001ebd32loc_1ebd32:
001ebd32mov rax, [rsp+24]
001ebd37mov rbx, rax
001ebd3aadd rbx, -130
001ebd41cmp rbx, 51
001ebd45jbe 0x1ebd4c
001ebd47jmp 0x1ebd55
001ebd49
001ebd49 0f 1f 00 ...
001ebd4c
001ebd4cloc_1ebd4c:
001ebd4cadd rax, 64
001ebd50call camlStdlib.char_of_int_148
001ebd55
001ebd55loc_1ebd55:
001ebd55mov rbx, [rsp+8]
001ebd5acmp rax, rbx
001ebd5dje 0x1ebd6e
001ebd5fmov eax, 1
001ebd64mov rbx, [rsp+48]
001ebd69mov rdi, [rbx]
001ebd6ccall rdi
001ebd6e
001ebd6eloc_1ebd6e:
001ebd6emov rax, [rsp+16]
001ebd73cmp rax, 1
001ebd77jne 0x1ebd88
001ebd79mov eax, 1
001ebd7emov rbx, [rsp+48]
001ebd83mov rdi, [rbx]
001ebd86call rdi
001ebd88
001ebd88loc_1ebd88:
001ebd88mov rax, [rsp+16]
001ebd8dmov [rsp+8], rax
001ebd92mov rax, [rsp+56]
001ebd97mov rax, [rax+56]
001ebd9bmov rbx, [rsp+24]
001ebda0call Stdlib.Buffer.add_char
001ebda5mov rax, [rsp+8]
001ebdaaadd rax, -2
001ebdaemov rbx, [rsp+56]
001ebdb3mov [rbx+16], 1
001ebdbbmov [rsp+16], rax
001ebdc0mov rsi, [rsp+32]
001ebdc5mov rdi, rsi
001ebdc8add rsi, 2
001ebdccmov [rsp+32], rsi
001ebdd1mov rsi, [rsp+40]
001ebdd6cmp rdi, rsi
001ebdd9je 0x1ebde6
001ebddbcmp r15, [r14]
001ebddeja 0x1ebc22
001ebde4jmp 0x1ebdeb
001ebde6
001ebde6loc_1ebde6:
001ebde6add rsp, 64
001ebdearet
001ebdeb
001ebdebloc_1ebdeb:
001ebdebcall caml_call_gc
001ebdf0jmp 0x1ebc22
001ebdf5
001ebdf5loc_1ebdf5:
001ebdf5call caml_ml_array_bound_error
001ebdfa
001ebdfaloc_1ebdfa:
001ebdfapush 43
001ebdfccall caml_call_realloc_stack
001ebe01pop r10
001ebe03jmp 0x1ebbd2
001ebbc0
001ebe08
001ebe08 // align 0x10
001ebe08 // align 0x10
001ebe10
001ebe10Stdlib.Scanf.lowercase:
001ebe10mov rbx, rax
001ebe13add rbx, -130
001ebe1acmp rbx, 51
001ebe1ejbe 0x1ebe24
001ebe20ret
001ebe21
001ebe21 0f 1f 00 ...
001ebe24
001ebe24loc_1ebe24:
001ebe24add rax, 64
001ebe28jmp 0x195c60
001ebe10
001ebe10Stdlib.Scanf.lowercase:
001ebe10mov rbx, rax
001ebe13add rbx, -130
001ebe1acmp rbx, 51
001ebe1ejbe 0x1ebe24
001ebe20ret
001ebe21
001ebe21 0f 1f 00 ...
001ebe24
001ebe24loc_1ebe24:
001ebe24add rax, 64
001ebe28jmp 0x195c60
001ebe10
001ebe2d
001ebe2d // align 0x10
001ebe2d // align 0x10
001ebe30
001ebe30Stdlib.Scanf.scan_hex_float:
001ebe30lea r10, [rsp-368]
001ebe38cmp r10, [r14+40]
001ebe3cjb 0x1ecd89
001ebe42
001ebe42loc_1ebe42:
001ebe42sub rsp, 32
001ebe46cmp rax, 1
001ebe4aje 0x1ebf0c
001ebe50mov [rsp+8], rbx
001ebe55mov [rsp], rax
001ebe59mov rax, [rdi+16]
001ebe5dcmp rax, 1
001ebe61jne 0x1ebefc
001ebe67mov [rsp+24], rdi
001ebe6clea r11, [rip+81]
001ebe73push r11
001ebe75push [r14+48]
001ebe79mov [r14+48], rsp
001ebe7dmov rbx, [rdi+48]
001ebe81mov eax, 1
001ebe86mov rdi, [rbx]
001ebe89call rdi
001ebe8bmov rdi, [rsp+40]
001ebe90mov [rdi+8], rax
001ebe94mov [rdi+16], 3
001ebe9cmov rbx, [rdi+24]
001ebea0add rbx, 2
001ebea4mov [rdi+24], rbx
001ebea8cmp rax, 21
001ebeacjne 0x1ebeba
001ebeaemov rax, [rdi+32]
001ebeb2add rax, 2
001ebeb6mov [rdi+32], rax
001ebeba
001ebebaloc_1ebeba:
001ebebapop [r14+48]
001ebebeadd rsp, 8
001ebec2jmp 0x1ebefc
001ebec4lea rbx, [rip+0x14174d]
001ebecbmov rbx, [rbx+88]
001ebecfcmp rax, rbx
001ebed2jne 0x1ebef4
001ebed4mov rdi, [rsp+24]
001ebed9mov [rdi+8], 1
001ebee1mov [rdi+16], 1
001ebee9mov [rdi], 3
001ebef0jmp 0x1ebefc
001ebef2
001ebef2 66 90 f.
001ebef4
001ebef4loc_1ebef4:
001ebef4call caml_reraise_exn
001ebef9nop [rax]
001ebefc
001ebefcloc_1ebefc:
001ebefcmov rax, [rdi]
001ebeffcmp rax, 1
001ebf03jne 0x1ebf0c
001ebf05mov [rsp+24], rdi
001ebf0ajmp 0x1ebf44
001ebf0c
001ebf0cloc_1ebf0c:
001ebf0csub r15, 24
001ebf10cmp r15, [r14]
001ebf13jb 0x1ecd7f
001ebf19
001ebf19loc_1ebf19:
001ebf19lea rax, [r15+8]
001ebf1dmov [rax-8], 2048
001ebf25lea rbx, [rip+0x181254]
001ebf2cmov rbx, [rbx+8]
001ebf30mov [rax], rbx
001ebf33lea rbx, [rip+0x181e76]
001ebf3amov [rax+8], rbx
001ebf3ecall caml_raise_exn
001ebf43nop
001ebf44
001ebf44loc_1ebf44:
001ebf44mov rax, [rsp]
001ebf48mov rbx, rdi
001ebf4bcall Stdlib.Scanf.scan_sign
001ebf50cmp rax, 1
001ebf54je 0x1ec011
001ebf5amov [rsp], rax
001ebf5emov rdi, [rsp+24]
001ebf63mov rax, [rdi+16]
001ebf67cmp rax, 1
001ebf6bjne 0x1ec008
001ebf71mov [rsp+24], rdi
001ebf76lea r11, [rip+83]
001ebf7dpush r11
001ebf7fpush [r14+48]
001ebf83mov [r14+48], rsp
001ebf87mov rbx, [rdi+48]
001ebf8bmov eax, 1
001ebf90mov rdi, [rbx]
001ebf93call rdi
001ebf95mov rdi, [rsp+40]
001ebf9amov [rdi+8], rax
001ebf9emov [rdi+16], 3
001ebfa6mov rbx, [rdi+24]
001ebfaaadd rbx, 2
001ebfaemov [rdi+24], rbx
001ebfb2cmp rax, 21
001ebfb6jne 0x1ebfc4
001ebfb8mov rax, [rdi+32]
001ebfbcadd rax, 2
001ebfc0mov [rdi+32], rax
001ebfc4
001ebfc4loc_1ebfc4:
001ebfc4pop [r14+48]
001ebfc8add rsp, 8
001ebfccjmp 0x1ec008
001ebfce
001ebfce 66 90 f.
001ebfd0lea rbx, [rip+0x141641]
001ebfd7mov rbx, [rbx+88]
001ebfdbcmp rax, rbx
001ebfdejne 0x1ec000
001ebfe0mov rdi, [rsp+24]
001ebfe5mov [rdi+8], 1
001ebfedmov [rdi+16], 1
001ebff5mov [rdi], 3
001ebffcjmp 0x1ec008
001ebffe
001ebffe 66 90 f.
001ec000
001ec000loc_1ec000:
001ec000call caml_reraise_exn
001ec005nop [rax]
001ec008
001ec008loc_1ec008:
001ec008mov rax, [rdi]
001ec00bcmp rax, 1
001ec00fje 0x1ec048
001ec011
001ec011loc_1ec011:
001ec011sub r15, 24
001ec015cmp r15, [r14]
001ec018jb 0x1ecd75
001ec01e
001ec01eloc_1ec01e:
001ec01elea rax, [r15+8]
001ec022mov [rax-8], 2048
001ec02alea rbx, [rip+0x18114f]
001ec031mov rbx, [rbx+8]
001ec035mov [rax], rbx
001ec038lea rbx, [rip+0x181d71]
001ec03fmov [rax+8], rbx
001ec043call caml_raise_exn
001ec048
001ec048loc_1ec048:
001ec048mov rax, [rdi+16]
001ec04ccmp rax, 1
001ec050je 0x1ec05c
001ec052mov rbx, [rdi+8]
001ec056jmp 0x1ec0fb
001ec05b
001ec05b 90 .
001ec05c
001ec05cloc_1ec05c:
001ec05cmov [rsp+24], rdi
001ec061lea r11, [rip+84]
001ec068push r11
001ec06apush [r14+48]
001ec06emov [r14+48], rsp
001ec072mov rbx, [rdi+48]
001ec076mov eax, 1
001ec07bmov rdi, [rbx]
001ec07ecall rdi
001ec080mov rdi, [rsp+40]
001ec085mov [rdi+8], rax
001ec089mov [rdi+16], 3
001ec091mov rbx, [rdi+24]
001ec095add rbx, 2
001ec099mov [rdi+24], rbx
001ec09dcmp rax, 21
001ec0a1jne 0x1ec0af
001ec0a3mov rbx, [rdi+32]
001ec0a7add rbx, 2
001ec0abmov [rdi+32], rbx
001ec0af
001ec0afloc_1ec0af:
001ec0afpop [r14+48]
001ec0b3add rsp, 8
001ec0b7jmp 0x1ec0f8
001ec0b9
001ec0b9 0f 1f 00 ...
001ec0bclea rbx, [rip+0x141555]
001ec0c3mov rbx, [rbx+88]
001ec0c7cmp rax, rbx
001ec0cajne 0x1ec0f0
001ec0ccmov rdi, [rsp+24]
001ec0d1mov [rdi+8], 1
001ec0d9mov [rdi+16], 1
001ec0e1mov [rdi], 3
001ec0e8mov eax, 1
001ec0edjmp 0x1ec0f8
001ec0ef
001ec0ef 90 .
001ec0f0
001ec0f0loc_1ec0f0:
001ec0f0call caml_reraise_exn
001ec0f5nop [rax]
001ec0f8
001ec0f8loc_1ec0f8:
001ec0f8mov rbx, rax
001ec0fb
001ec0fbloc_1ec0fb:
001ec0fbcmp rbx, 157
001ec102jl 0x1ec274
001ec108mov rax, rbx
001ec10badd rax, -158
001ec111cmp rax, 61
001ec115jbe 0x1ec260
001ec11bcmp rax, 65
001ec11fjge 0x1ecbe4
001ec125mov [rsp+24], rdi
001ec12amov rax, [rdi+56]
001ec12ecall Stdlib.Buffer.add_char
001ec133mov rax, [rsp]
001ec137add rax, -2
001ec13bmov rbx, [rsp+24]
001ec140mov [rbx+16], 1
001ec148cmp rax, 1
001ec14cje 0x1ec205
001ec152mov [rsp], rax
001ec156mov rax, [rbx+16]
001ec15acmp rax, 1
001ec15ejne 0x1ec1fc
001ec164mov [rsp+24], rbx
001ec169lea r11, [rip+84]
001ec170push r11
001ec172push [r14+48]
001ec176mov [r14+48], rsp
001ec17amov rbx, [rbx+48]
001ec17emov eax, 1
001ec183mov rdi, [rbx]
001ec186call rdi
001ec188mov rbx, [rsp+40]
001ec18dmov [rbx+8], rax
001ec191mov [rbx+16], 3
001ec199mov rdi, [rbx+24]
001ec19dadd rdi, 2
001ec1a1mov [rbx+24], rdi
001ec1a5cmp rax, 21
001ec1a9jne 0x1ec1b7
001ec1abmov rax, [rbx+32]
001ec1afadd rax, 2
001ec1b3mov [rbx+32], rax
001ec1b7
001ec1b7loc_1ec1b7:
001ec1b7pop [r14+48]
001ec1bbadd rsp, 8
001ec1bfjmp 0x1ec1fc
001ec1c1
001ec1c1 0f 1f 00 ...
001ec1c4lea rbx, [rip+0x14144d]
001ec1cbmov rbx, [rbx+88]
001ec1cfcmp rax, rbx
001ec1d2jne 0x1ec1f4
001ec1d4mov rbx, [rsp+24]
001ec1d9mov [rbx+8], 1
001ec1e1mov [rbx+16], 1
001ec1e9mov [rbx], 3
001ec1f0jmp 0x1ec1fc
001ec1f2
001ec1f2 66 90 f.
001ec1f4
001ec1f4loc_1ec1f4:
001ec1f4call caml_reraise_exn
001ec1f9nop [rax]
001ec1fc
001ec1fcloc_1ec1fc:
001ec1fcmov rax, [rbx]
001ec1ffcmp rax, 1
001ec203je 0x1ec23c
001ec205
001ec205loc_1ec205:
001ec205sub r15, 24
001ec209cmp r15, [r14]
001ec20cjb 0x1ecd6b
001ec212
001ec212loc_1ec212:
001ec212lea rax, [r15+8]
001ec216mov [rax-8], 2048
001ec21elea rbx, [rip+0x180f5b]
001ec225mov rbx, [rbx+8]
001ec229mov [rax], rbx
001ec22clea rbx, [rip+0x181b7d]
001ec233mov [rax+8], rbx
001ec237call caml_raise_exn
001ec23c
001ec23cloc_1ec23c:
001ec23clea rsi, [rip+0x181705]
001ec243lea rax, [rip+0x180f36]
001ec24amov rdi, [rax+152]
001ec251mov rax, [rsp]
001ec255add rsp, 32
001ec259jmp 0x1ebbc0
001ec25e
001ec25e 66 90 f.
001ec260
001ec260loc_1ec260:
001ec260cmp rax, 53
001ec264jne 0x1ecbe4
001ec26amov [rsp+24], rdi
001ec26fjmp 0x1ecc1c
001ec274
001ec274loc_1ec274:
001ec274cmp rbx, 97
001ec278je 0x1ec294
001ec27acmp rbx, 147
001ec281jne 0x1ecbe4
001ec287mov [rsp+24], rdi
001ec28cjmp 0x1ecc1c
001ec291
001ec291 0f 1f 00 ...
001ec294
001ec294loc_1ec294:
001ec294mov [rsp+24], rdi
001ec299mov rax, [rdi+56]
001ec29dcall Stdlib.Buffer.add_char
001ec2a2mov rax, [rsp]
001ec2a6add rax, -2
001ec2aamov rbx, [rsp+24]
001ec2afmov [rbx+16], 1
001ec2b7cmp rax, 1
001ec2bbje 0x1ec378
001ec2c1mov [rsp], rax
001ec2c5mov rax, [rbx+16]
001ec2c9cmp rax, 1
001ec2cdjne 0x1ec368
001ec2d3mov [rsp+24], rbx
001ec2d8lea r11, [rip+81]
001ec2dfpush r11
001ec2e1push [r14+48]
001ec2e5mov [r14+48], rsp
001ec2e9mov rbx, [rbx+48]
001ec2edmov eax, 1
001ec2f2mov rdi, [rbx]
001ec2f5call rdi
001ec2f7mov rbx, [rsp+40]
001ec2fcmov [rbx+8], rax
001ec300mov [rbx+16], 3
001ec308mov rdi, [rbx+24]
001ec30cadd rdi, 2
001ec310mov [rbx+24], rdi
001ec314cmp rax, 21
001ec318jne 0x1ec326
001ec31amov rax, [rbx+32]
001ec31eadd rax, 2
001ec322mov [rbx+32], rax
001ec326
001ec326loc_1ec326:
001ec326pop [r14+48]
001ec32aadd rsp, 8
001ec32ejmp 0x1ec368
001ec330lea rbx, [rip+0x1412e1]
001ec337mov rbx, [rbx+88]
001ec33bcmp rax, rbx
001ec33ejne 0x1ec360
001ec340mov rbx, [rsp+24]
001ec345mov [rbx+8], 1
001ec34dmov [rbx+16], 1
001ec355mov [rbx], 3
001ec35cjmp 0x1ec368
001ec35e
001ec35e 66 90 f.
001ec360
001ec360loc_1ec360:
001ec360call caml_reraise_exn
001ec365nop [rax]
001ec368
001ec368loc_1ec368:
001ec368mov rax, [rbx]
001ec36bcmp rax, 1
001ec36fjne 0x1ec378
001ec371mov [rsp+24], rbx
001ec376jmp 0x1ec3b0
001ec378
001ec378loc_1ec378:
001ec378sub r15, 24
001ec37ccmp r15, [r14]
001ec37fjb 0x1ecd61
001ec385
001ec385loc_1ec385:
001ec385lea rax, [r15+8]
001ec389mov [rax-8], 2048
001ec391lea rbx, [rip+0x180de8]
001ec398mov rbx, [rbx+8]
001ec39cmov [rax], rbx
001ec39flea rbx, [rip+0x181a0a]
001ec3a6mov [rax+8], rbx
001ec3aacall caml_raise_exn
001ec3afnop
001ec3b0
001ec3b0loc_1ec3b0:
001ec3b0lea rsi, [rip+0x181581]
001ec3b7lea rax, [rip+0x180dc2]
001ec3bemov rdi, [rax+152]
001ec3c5mov rax, [rsp]
001ec3c9call Stdlib.Scanf.check_case_insensitive_string
001ec3cemov [rsp], rax
001ec3d2cmp rax, 1
001ec3d6je 0x1ecbd8
001ec3dcmov rsi, [rsp+24]
001ec3e1mov rax, [rsi+16]
001ec3e5cmp rax, 1
001ec3e9jne 0x1ec484
001ec3efmov [rsp+24], rsi
001ec3f4lea r11, [rip+81]
001ec3fbpush r11
001ec3fdpush [r14+48]
001ec401mov [r14+48], rsp
001ec405mov rbx, [rsi+48]
001ec409mov eax, 1
001ec40emov rdi, [rbx]
001ec411call rdi
001ec413mov rsi, [rsp+40]
001ec418mov [rsi+8], rax
001ec41cmov [rsi+16], 3
001ec424mov rbx, [rsi+24]
001ec428add rbx, 2
001ec42cmov [rsi+24], rbx
001ec430cmp rax, 21
001ec434jne 0x1ec442
001ec436mov rax, [rsi+32]
001ec43aadd rax, 2
001ec43emov [rsi+32], rax
001ec442
001ec442loc_1ec442:
001ec442pop [r14+48]
001ec446add rsp, 8
001ec44ajmp 0x1ec484
001ec44clea rbx, [rip+0x1411c5]
001ec453mov rbx, [rbx+88]
001ec457cmp rax, rbx
001ec45ajne 0x1ec47c
001ec45cmov rsi, [rsp+24]
001ec461mov [rsi+8], 1
001ec469mov [rsi+16], 1
001ec471mov [rsi], 3
001ec478jmp 0x1ec484
001ec47a
001ec47a 66 90 f.
001ec47c
001ec47cloc_1ec47c:
001ec47ccall caml_reraise_exn
001ec481nop [rax]
001ec484
001ec484loc_1ec484:
001ec484mov rax, [rsi]
001ec487cmp rax, 1
001ec48bjne 0x1ecbd8
001ec491mov [rsp+24], rsi
001ec496mov rax, [rsi+16]
001ec49acmp rax, 1
001ec49eje 0x1ec4ac
001ec4a0mov rax, [rsi+8]
001ec4a4jmp 0x1ec540
001ec4a9
001ec4a9 0f 1f 00 ...
001ec4ac
001ec4acloc_1ec4ac:
001ec4aclea r11, [rip+81]
001ec4b3push r11
001ec4b5push [r14+48]
001ec4b9mov [r14+48], rsp
001ec4bdmov rbx, [rsi+48]
001ec4c1mov eax, 1
001ec4c6mov rdi, [rbx]
001ec4c9call rdi
001ec4cbmov rsi, [rsp+40]
001ec4d0mov [rsi+8], rax
001ec4d4mov [rsi+16], 3
001ec4dcmov rbx, [rsi+24]
001ec4e0add rbx, 2
001ec4e4mov [rsi+24], rbx
001ec4e8cmp rax, 21
001ec4ecjne 0x1ec4fa
001ec4eemov rbx, [rsi+32]
001ec4f2add rbx, 2
001ec4f6mov [rsi+32], rbx
001ec4fa
001ec4faloc_1ec4fa:
001ec4fapop [r14+48]
001ec4feadd rsp, 8
001ec502jmp 0x1ec540
001ec504lea rbx, [rip+0x14110d]
001ec50bmov rbx, [rbx+88]
001ec50fcmp rax, rbx
001ec512jne 0x1ec538
001ec514mov rsi, [rsp+24]
001ec519mov [rsi+8], 1
001ec521mov [rsi+16], 1
001ec529mov [rsi], 3
001ec530mov eax, 1
001ec535jmp 0x1ec540
001ec537
001ec537 90 .
001ec538
001ec538loc_1ec538:
001ec538call caml_reraise_exn
001ec53dnop [rax]
001ec540
001ec540loc_1ec540:
001ec540add rax, -92
001ec544cmp rax, 69
001ec548jbe 0x1ec554
001ec54acmp rax, 133
001ec550je 0x1ec584
001ec552jmp 0x1ec55e
001ec554
001ec554loc_1ec554:
001ec554add rax, -2
001ec558cmp rax, 65
001ec55cja 0x1ec584
001ec55e
001ec55eloc_1ec55e:
001ec55elea rax, [rip+0x180c1b]
001ec565mov rax, [rax+360]
001ec56cmov rbx, [rax+32]
001ec570mov rax, [rax+24]
001ec574mov rdi, [rsp]
001ec578call Stdlib.Scanf.scan_digit_plus
001ec57dmov [rsp], rax
001ec581jmp 0x1ec58c
001ec583
001ec583 90 .
001ec584
001ec584loc_1ec584:
001ec584mov rax, [rsp]
001ec588mov [rsp], rax
001ec58c
001ec58cloc_1ec58c:
001ec58ccmp rax, 1
001ec590je 0x1ecbcc
001ec596mov rdi, [rsp+24]
001ec59bmov rax, [rdi+16]
001ec59fcmp rax, 1
001ec5a3jne 0x1ec640
001ec5a9mov [rsp+24], rdi
001ec5aelea r11, [rip+83]
001ec5b5push r11
001ec5b7push [r14+48]
001ec5bbmov [r14+48], rsp
001ec5bfmov rbx, [rdi+48]
001ec5c3mov eax, 1
001ec5c8mov rdi, [rbx]
001ec5cbcall rdi
001ec5cdmov rdi, [rsp+40]
001ec5d2mov [rdi+8], rax
001ec5d6mov [rdi+16], 3
001ec5demov rbx, [rdi+24]
001ec5e2add rbx, 2
001ec5e6mov [rdi+24], rbx
001ec5eacmp rax, 21
001ec5eejne 0x1ec5fc
001ec5f0mov rax, [rdi+32]
001ec5f4add rax, 2
001ec5f8mov [rdi+32], rax
001ec5fc
001ec5fcloc_1ec5fc:
001ec5fcpop [r14+48]
001ec600add rsp, 8
001ec604jmp 0x1ec640
001ec606
001ec606 66 90 f.
001ec608lea rbx, [rip+0x141009]
001ec60fmov rbx, [rbx+88]
001ec613cmp rax, rbx
001ec616jne 0x1ec638
001ec618mov rdi, [rsp+24]
001ec61dmov [rdi+8], 1
001ec625mov [rdi+16], 1
001ec62dmov [rdi], 3
001ec634jmp 0x1ec640
001ec636
001ec636 66 90 f.
001ec638
001ec638loc_1ec638:
001ec638call caml_reraise_exn
001ec63dnop [rax]
001ec640
001ec640loc_1ec640:
001ec640mov rax, [rdi]
001ec643cmp rax, 1
001ec647jne 0x1ecbcc
001ec64dmov [rsp+24], rdi
001ec652mov rax, [rdi+16]
001ec656cmp rax, 1
001ec65aje 0x1ec668
001ec65cmov rbx, [rdi+8]
001ec660jmp 0x1ec6ff
001ec665
001ec665 0f 1f 00 ...
001ec668
001ec668loc_1ec668:
001ec668lea r11, [rip+81]
001ec66fpush r11
001ec671push [r14+48]
001ec675mov [r14+48], rsp
001ec679mov rbx, [rdi+48]
001ec67dmov eax, 1
001ec682mov rdi, [rbx]
001ec685call rdi
001ec687mov rdi, [rsp+40]
001ec68cmov [rdi+8], rax
001ec690mov [rdi+16], 3
001ec698mov rbx, [rdi+24]
001ec69cadd rbx, 2
001ec6a0mov [rdi+24], rbx
001ec6a4cmp rax, 21
001ec6a8jne 0x1ec6b6
001ec6aamov rbx, [rdi+32]
001ec6aeadd rbx, 2
001ec6b2mov [rdi+32], rbx
001ec6b6
001ec6b6loc_1ec6b6:
001ec6b6pop [r14+48]
001ec6baadd rsp, 8
001ec6bejmp 0x1ec6fc
001ec6c0lea rbx, [rip+0x140f51]
001ec6c7mov rbx, [rbx+88]
001ec6cbcmp rax, rbx
001ec6cejne 0x1ec6f4
001ec6d0mov rdi, [rsp+24]
001ec6d5mov [rdi+8], 1
001ec6ddmov [rdi+16], 1
001ec6e5mov [rdi], 3
001ec6ecmov eax, 1
001ec6f1jmp 0x1ec6fc
001ec6f3
001ec6f3 90 .
001ec6f4
001ec6f4loc_1ec6f4:
001ec6f4call caml_reraise_exn
001ec6f9nop [rax]
001ec6fc
001ec6fcloc_1ec6fc:
001ec6fcmov rbx, rax
001ec6ff
001ec6ffloc_1ec6ff:
001ec6ffcmp rbx, 93
001ec703je 0x1ec714
001ec705mov rax, [rsp]
001ec709mov [rsp], rax
001ec70djmp 0x1ec901
001ec712
001ec712 66 90 f.
001ec714
001ec714loc_1ec714:
001ec714mov rax, [rdi+56]
001ec718call Stdlib.Buffer.add_char
001ec71dmov rax, [rsp]
001ec721add rax, -2
001ec725mov rsi, [rsp+24]
001ec72amov [rsi+16], 1
001ec732mov [rsp+16], rax
001ec737cmp rax, 1
001ec73bje 0x1ec8f8
001ec741mov rax, [rsi+16]
001ec745cmp rax, 1
001ec749jne 0x1ec7e0
001ec74flea r11, [rip+82]
001ec756push r11
001ec758push [r14+48]
001ec75cmov [r14+48], rsp
001ec760mov rbx, [rsi+48]
001ec764mov eax, 1
001ec769mov rdi, [rbx]
001ec76ccall rdi
001ec76emov rsi, [rsp+40]
001ec773mov [rsi+8], rax
001ec777mov [rsi+16], 3
001ec77fmov rbx, [rsi+24]
001ec783add rbx, 2
001ec787mov [rsi+24], rbx
001ec78bcmp rax, 21
001ec78fjne 0x1ec79d
001ec791mov rax, [rsi+32]
001ec795add rax, 2
001ec799mov [rsi+32], rax
001ec79d
001ec79dloc_1ec79d:
001ec79dpop [r14+48]
001ec7a1add rsp, 8
001ec7a5jmp 0x1ec7e0
001ec7a7
001ec7a7 90 .
001ec7a8lea rbx, [rip+0x140e69]
001ec7afmov rbx, [rbx+88]
001ec7b3cmp rax, rbx
001ec7b6jne 0x1ec7d8
001ec7b8mov rsi, [rsp+24]
001ec7bdmov [rsi+8], 1
001ec7c5mov [rsi+16], 1
001ec7cdmov [rsi], 3
001ec7d4jmp 0x1ec7e0
001ec7d6
001ec7d6 66 90 f.
001ec7d8
001ec7d8loc_1ec7d8:
001ec7d8call caml_reraise_exn
001ec7ddnop [rax]
001ec7e0
001ec7e0loc_1ec7e0:
001ec7e0mov rax, [rsi]
001ec7e3cmp rax, 1
001ec7e7jne 0x1ec8f8
001ec7edmov rax, [rsi+16]
001ec7f1cmp rax, 1
001ec7f5je 0x1ec800
001ec7f7mov rax, [rsi+8]
001ec7fbjmp 0x1ec894
001ec800
001ec800loc_1ec800:
001ec800lea r11, [rip+81]
001ec807push r11
001ec809push [r14+48]
001ec80dmov [r14+48], rsp
001ec811mov rbx, [rsi+48]
001ec815mov eax, 1
001ec81amov rdi, [rbx]
001ec81dcall rdi
001ec81fmov rsi, [rsp+40]
001ec824mov [rsi+8], rax
001ec828mov [rsi+16], 3
001ec830mov rbx, [rsi+24]
001ec834add rbx, 2
001ec838mov [rsi+24], rbx
001ec83ccmp rax, 21
001ec840jne 0x1ec84e
001ec842mov rbx, [rsi+32]
001ec846add rbx, 2
001ec84amov [rsi+32], rbx
001ec84e
001ec84eloc_1ec84e:
001ec84epop [r14+48]
001ec852add rsp, 8
001ec856jmp 0x1ec894
001ec858lea rbx, [rip+0x140db9]
001ec85fmov rbx, [rbx+88]
001ec863cmp rax, rbx
001ec866jne 0x1ec88c
001ec868mov rsi, [rsp+24]
001ec86dmov [rsi+8], 1
001ec875mov [rsi+16], 1
001ec87dmov [rsi], 3
001ec884mov eax, 1
001ec889jmp 0x1ec894
001ec88b
001ec88b 90 .
001ec88c
001ec88cloc_1ec88c:
001ec88ccall caml_reraise_exn
001ec891nop [rax]
001ec894
001ec894loc_1ec894:
001ec894cmp rax, 161
001ec89aje 0x1ec8f0
001ec89ccmp rax, 225
001ec8a2je 0x1ec8f0
001ec8a4mov rdi, [rsp+16]
001ec8a9mov rax, [rsp+8]
001ec8aecmp rdi, rax
001ec8b1jg 0x1ec8bc
001ec8b3mov [rsp], rdi
001ec8b7jmp 0x1ec8c3
001ec8b9
001ec8b9 0f 1f 00 ...
001ec8bc
001ec8bcloc_1ec8bc:
001ec8bcmov rdi, rax
001ec8bfmov [rsp], rdi
001ec8c3
001ec8c3loc_1ec8c3:
001ec8c3lea rax, [rip+0x1808b6]
001ec8camov rax, [rax+360]
001ec8d1mov rbx, [rax+32]
001ec8d5mov rax, [rax+24]
001ec8d9call Stdlib.Scanf.scan_digit_plus
001ec8demov rbx, [rsp]
001ec8e2sub rbx, rax
001ec8e5mov rax, [rsp+16]
001ec8easub rax, rbx
001ec8edjmp 0x1ec8fd
001ec8ef
001ec8ef 90 .
001ec8f0
001ec8f0loc_1ec8f0:
001ec8f0mov rax, [rsp+16]
001ec8f5jmp 0x1ec8fd
001ec8f7
001ec8f7 90 .
001ec8f8
001ec8f8loc_1ec8f8:
001ec8f8mov rax, [rsp+16]
001ec8fd
001ec8fdloc_1ec8fd:
001ec8fdmov [rsp], rax
001ec901
001ec901loc_1ec901:
001ec901cmp rax, 1
001ec905je 0x1ecbc0
001ec90bmov rdi, [rsp+24]
001ec910mov rax, [rdi+16]
001ec914cmp rax, 1
001ec918jne 0x1ec9b4
001ec91emov [rsp+24], rdi
001ec923lea r11, [rip+82]
001ec92apush r11
001ec92cpush [r14+48]
001ec930mov [r14+48], rsp
001ec934mov rbx, [rdi+48]
001ec938mov eax, 1
001ec93dmov rdi, [rbx]
001ec940call rdi
001ec942mov rdi, [rsp+40]
001ec947mov [rdi+8], rax
001ec94bmov [rdi+16], 3
001ec953mov rbx, [rdi+24]
001ec957add rbx, 2
001ec95bmov [rdi+24], rbx
001ec95fcmp rax, 21
001ec963jne 0x1ec971
001ec965mov rax, [rdi+32]
001ec969add rax, 2
001ec96dmov [rdi+32], rax
001ec971
001ec971loc_1ec971:
001ec971pop [r14+48]
001ec975add rsp, 8
001ec979jmp 0x1ec9b4
001ec97b
001ec97b 90 .
001ec97clea rbx, [rip+0x140c95]
001ec983mov rbx, [rbx+88]
001ec987cmp rax, rbx
001ec98ajne 0x1ec9ac
001ec98cmov rdi, [rsp+24]
001ec991mov [rdi+8], 1
001ec999mov [rdi+16], 1
001ec9a1mov [rdi], 3
001ec9a8jmp 0x1ec9b4
001ec9aa
001ec9aa 66 90 f.
001ec9ac
001ec9acloc_1ec9ac:
001ec9accall caml_reraise_exn
001ec9b1nop [rax]
001ec9b4
001ec9b4loc_1ec9b4:
001ec9b4mov rax, [rdi]
001ec9b7cmp rax, 1
001ec9bbjne 0x1ecbc0
001ec9c1mov rax, [rdi+16]
001ec9c5cmp rax, 1
001ec9c9je 0x1ec9d4
001ec9cbmov rbx, [rdi+8]
001ec9cfjmp 0x1eca73
001ec9d4
001ec9d4loc_1ec9d4:
001ec9d4mov [rsp+24], rdi
001ec9d9lea r11, [rip+84]
001ec9e0push r11
001ec9e2push [r14+48]
001ec9e6mov [r14+48], rsp
001ec9eamov rbx, [rdi+48]
001ec9eemov eax, 1
001ec9f3mov rdi, [rbx]
001ec9f6call rdi
001ec9f8mov rdi, [rsp+40]
001ec9fdmov [rdi+8], rax
001eca01mov [rdi+16], 3
001eca09mov rbx, [rdi+24]
001eca0dadd rbx, 2
001eca11mov [rdi+24], rbx
001eca15cmp rax, 21
001eca19jne 0x1eca27
001eca1bmov rbx, [rdi+32]
001eca1fadd rbx, 2
001eca23mov [rdi+32], rbx
001eca27
001eca27loc_1eca27:
001eca27pop [r14+48]
001eca2badd rsp, 8
001eca2fjmp 0x1eca70
001eca31
001eca31 0f 1f 00 ...
001eca34lea rbx, [rip+0x140bdd]
001eca3bmov rbx, [rbx+88]
001eca3fcmp rax, rbx
001eca42jne 0x1eca68
001eca44mov rdi, [rsp+24]
001eca49mov [rdi+8], 1
001eca51mov [rdi+16], 1
001eca59mov [rdi], 3
001eca60mov eax, 1
001eca65jmp 0x1eca70
001eca67
001eca67 90 .
001eca68
001eca68loc_1eca68:
001eca68call caml_reraise_exn
001eca6dnop [rax]
001eca70
001eca70loc_1eca70:
001eca70mov rbx, rax
001eca73
001eca73loc_1eca73:
001eca73cmp rbx, 161
001eca7aje 0x1eca98
001eca7ccmp rbx, 225
001eca83je 0x1eca90
001eca85mov rax, [rsp]
001eca89add rsp, 32
001eca8dret
001eca8e
001eca8e 66 90 f.
001eca90
001eca90loc_1eca90:
001eca90mov [rsp+24], rdi
001eca95jmp 0x1eca9d
001eca97
001eca97 90 .
001eca98
001eca98loc_1eca98:
001eca98mov [rsp+24], rdi
001eca9d
001eca9dloc_1eca9d:
001eca9dmov rax, [rdi+56]
001ecaa1call Stdlib.Buffer.add_char
001ecaa6mov rax, [rsp]
001ecaaaadd rax, -2
001ecaaemov rbx, [rsp+24]
001ecab3mov [rbx+16], 1
001ecabbmov [rsp], rax
001ecabfcmp rax, 1
001ecac3je 0x1ecb71
001ecac9mov rax, [rbx+16]
001ecacdcmp rax, 1
001ecad1jne 0x1ecb68
001ecad7lea r11, [rip+82]
001ecadepush r11
001ecae0push [r14+48]
001ecae4mov [r14+48], rsp
001ecae8mov rbx, [rbx+48]
001ecaecmov eax, 1
001ecaf1mov rdi, [rbx]
001ecaf4call rdi
001ecaf6mov rbx, [rsp+40]
001ecafbmov [rbx+8], rax
001ecaffmov [rbx+16], 3
001ecb07mov rdi, [rbx+24]
001ecb0badd rdi, 2
001ecb0fmov [rbx+24], rdi
001ecb13cmp rax, 21
001ecb17jne 0x1ecb25
001ecb19mov rax, [rbx+32]
001ecb1dadd rax, 2
001ecb21mov [rbx+32], rax
001ecb25
001ecb25loc_1ecb25:
001ecb25pop [r14+48]
001ecb29add rsp, 8
001ecb2djmp 0x1ecb68
001ecb2f
001ecb2f 90 .
001ecb30lea rbx, [rip+0x140ae1]
001ecb37mov rbx, [rbx+88]
001ecb3bcmp rax, rbx
001ecb3ejne 0x1ecb60
001ecb40mov rbx, [rsp+24]
001ecb45mov [rbx+8], 1
001ecb4dmov [rbx+16], 1
001ecb55mov [rbx], 3
001ecb5cjmp 0x1ecb68
001ecb5e
001ecb5e 66 90 f.
001ecb60
001ecb60loc_1ecb60:
001ecb60call caml_reraise_exn
001ecb65nop [rax]
001ecb68
001ecb68loc_1ecb68:
001ecb68mov rax, [rbx]
001ecb6bcmp rax, 1
001ecb6fje 0x1ecba8
001ecb71
001ecb71loc_1ecb71:
001ecb71sub r15, 24
001ecb75cmp r15, [r14]
001ecb78jb 0x1ecd57
001ecb7e
001ecb7eloc_1ecb7e:
001ecb7elea rax, [r15+8]
001ecb82mov [rax-8], 2048
001ecb8alea rbx, [rip+0x1805ef]
001ecb91mov rbx, [rbx+8]
001ecb95mov [rax], rbx
001ecb98lea rbx, [rip+0x181211]
001ecb9fmov [rax+8], rbx
001ecba3call caml_raise_exn
001ecba8
001ecba8loc_1ecba8:
001ecba8mov rax, [rsp]
001ecbaccall Stdlib.Scanf.scan_sign
001ecbb1mov rbx, [rsp+24]
001ecbb6add rsp, 32
001ecbbajmp 0x1ea9a0
001ecbbf
001ecbbf 90 .
001ecbc0
001ecbc0loc_1ecbc0:
001ecbc0mov rax, [rsp]
001ecbc4add rsp, 32
001ecbc8ret
001ecbc9
001ecbc9 0f 1f 00 ...
001ecbcc
001ecbccloc_1ecbcc:
001ecbccmov rax, [rsp]
001ecbd0add rsp, 32
001ecbd4ret
001ecbd5
001ecbd5 0f 1f 00 ...
001ecbd8
001ecbd8loc_1ecbd8:
001ecbd8mov rax, [rsp]
001ecbdcadd rsp, 32
001ecbe0ret
001ecbe1
001ecbe1 0f 1f 00 ...
001ecbe4
001ecbe4loc_1ecbe4:
001ecbe4sub r15, 24
001ecbe8cmp r15, [r14]
001ecbebjb 0x1ecd4d
001ecbf1
001ecbf1loc_1ecbf1:
001ecbf1lea rax, [r15+8]
001ecbf5mov [rax-8], 2048
001ecbfdlea rbx, [rip+0x18057c]
001ecc04mov rbx, [rbx+8]
001ecc08mov [rax], rbx
001ecc0blea rbx, [rip+0x18119e]
001ecc12mov [rax+8], rbx
001ecc16call caml_raise_exn
001ecc1bnop
001ecc1c
001ecc1cloc_1ecc1c:
001ecc1cmov rax, [rdi+56]
001ecc20call Stdlib.Buffer.add_char
001ecc25mov rax, [rsp]
001ecc29add rax, -2
001ecc2dmov rbx, [rsp+24]
001ecc32mov [rbx+16], 1
001ecc3amov [rsp], rax
001ecc3ecmp rax, 1
001ecc42je 0x1eccf1
001ecc48mov rax, [rbx+16]
001ecc4ccmp rax, 1
001ecc50jne 0x1ecce8
001ecc56lea r11, [rip+83]
001ecc5dpush r11
001ecc5fpush [r14+48]
001ecc63mov [r14+48], rsp
001ecc67mov rbx, [rbx+48]
001ecc6bmov eax, 1
001ecc70mov rdi, [rbx]
001ecc73call rdi
001ecc75mov rbx, [rsp+40]
001ecc7amov [rbx+8], rax
001ecc7emov [rbx+16], 3
001ecc86mov rdi, [rbx+24]
001ecc8aadd rdi, 2
001ecc8emov [rbx+24], rdi
001ecc92cmp rax, 21
001ecc96jne 0x1ecca4
001ecc98mov rax, [rbx+32]
001ecc9cadd rax, 2
001ecca0mov [rbx+32], rax
001ecca4
001ecca4loc_1ecca4:
001ecca4pop [r14+48]
001ecca8add rsp, 8
001eccacjmp 0x1ecce8
001eccae
001eccae 66 90 f.
001eccb0lea rbx, [rip+0x140961]
001eccb7mov rbx, [rbx+88]
001eccbbcmp rax, rbx
001eccbejne 0x1ecce0
001eccc0mov rbx, [rsp+24]
001eccc5mov [rbx+8], 1
001ecccdmov [rbx+16], 1
001eccd5mov [rbx], 3
001eccdcjmp 0x1ecce8
001eccde
001eccde 66 90 f.
001ecce0
001ecce0loc_1ecce0:
001ecce0call caml_reraise_exn
001ecce5nop [rax]
001ecce8
001ecce8loc_1ecce8:
001ecce8mov rax, [rbx]
001eccebcmp rax, 1
001eccefje 0x1ecd24
001eccf1
001eccf1loc_1eccf1:
001eccf1sub r15, 24
001eccf5cmp r15, [r14]
001eccf8jb 0x1ecd46
001eccfa
001eccfaloc_1eccfa:
001eccfalea rax, [r15+8]
001eccfemov [rax-8], 2048
001ecd06lea rbx, [rip+0x180473]
001ecd0dmov rbx, [rbx+8]
001ecd11mov [rax], rbx
001ecd14lea rbx, [rip+0x181095]
001ecd1bmov [rax+8], rbx
001ecd1fcall caml_raise_exn
001ecd24
001ecd24loc_1ecd24:
001ecd24lea rsi, [rip+0x180bfd]
001ecd2blea rax, [rip+0x18044e]
001ecd32mov rdi, [rax+152]
001ecd39mov rax, [rsp]
001ecd3dadd rsp, 32
001ecd41jmp 0x1ebbc0
001ecd46
001ecd46loc_1ecd46:
001ecd46call caml_call_gc
001ecd4bjmp 0x1eccfa
001ecd4d
001ecd4dloc_1ecd4d:
001ecd4dcall caml_call_gc
001ecd52jmp 0x1ecbf1
001ecd57
001ecd57loc_1ecd57:
001ecd57call caml_call_gc
001ecd5cjmp 0x1ecb7e
001ecd61
001ecd61loc_1ecd61:
001ecd61call caml_call_gc
001ecd66jmp 0x1ec385
001ecd6b
001ecd6bloc_1ecd6b:
001ecd6bcall caml_call_gc
001ecd70jmp 0x1ec212
001ecd75
001ecd75loc_1ecd75:
001ecd75call caml_call_gc
001ecd7ajmp 0x1ec01e
001ecd7f
001ecd7floc_1ecd7f:
001ecd7fcall caml_call_gc
001ecd84jmp 0x1ebf19
001ecd89
001ecd89loc_1ecd89:
001ecd89push 39
001ecd8bcall caml_call_realloc_stack
001ecd90pop r10
001ecd92jmp 0x1ebe42
001ebe30
001ebe30Stdlib.Scanf.scan_hex_float:
001ebe30lea r10, [rsp-368]
001ebe38cmp r10, [r14+40]
001ebe3cjb 0x1ecd89
001ebe42
001ebe42loc_1ebe42:
001ebe42sub rsp, 32
001ebe46cmp rax, 1
001ebe4aje 0x1ebf0c
001ebe50mov [rsp+8], rbx
001ebe55mov [rsp], rax
001ebe59mov rax, [rdi+16]
001ebe5dcmp rax, 1
001ebe61jne 0x1ebefc
001ebe67mov [rsp+24], rdi
001ebe6clea r11, [rip+81]
001ebe73push r11
001ebe75push [r14+48]
001ebe79mov [r14+48], rsp
001ebe7dmov rbx, [rdi+48]
001ebe81mov eax, 1
001ebe86mov rdi, [rbx]
001ebe89call rdi
001ebe8bmov rdi, [rsp+40]
001ebe90mov [rdi+8], rax
001ebe94mov [rdi+16], 3
001ebe9cmov rbx, [rdi+24]
001ebea0add rbx, 2
001ebea4mov [rdi+24], rbx
001ebea8cmp rax, 21
001ebeacjne 0x1ebeba
001ebeaemov rax, [rdi+32]
001ebeb2add rax, 2
001ebeb6mov [rdi+32], rax
001ebeba
001ebebaloc_1ebeba:
001ebebapop [r14+48]
001ebebeadd rsp, 8
001ebec2jmp 0x1ebefc
001ebec4lea rbx, [rip+0x14174d]
001ebecbmov rbx, [rbx+88]
001ebecfcmp rax, rbx
001ebed2jne 0x1ebef4
001ebed4mov rdi, [rsp+24]
001ebed9mov [rdi+8], 1
001ebee1mov [rdi+16], 1
001ebee9mov [rdi], 3
001ebef0jmp 0x1ebefc
001ebef2
001ebef2 66 90 f.
001ebef4
001ebef4loc_1ebef4:
001ebef4call caml_reraise_exn
001ebef9nop [rax]
001ebefc
001ebefcloc_1ebefc:
001ebefcmov rax, [rdi]
001ebeffcmp rax, 1
001ebf03jne 0x1ebf0c
001ebf05mov [rsp+24], rdi
001ebf0ajmp 0x1ebf44
001ebf0c
001ebf0cloc_1ebf0c:
001ebf0csub r15, 24
001ebf10cmp r15, [r14]
001ebf13jb 0x1ecd7f
001ebf19
001ebf19loc_1ebf19:
001ebf19lea rax, [r15+8]
001ebf1dmov [rax-8], 2048
001ebf25lea rbx, [rip+0x181254]
001ebf2cmov rbx, [rbx+8]
001ebf30mov [rax], rbx
001ebf33lea rbx, [rip+0x181e76]
001ebf3amov [rax+8], rbx
001ebf3ecall caml_raise_exn
001ebf43nop
001ebf44
001ebf44loc_1ebf44:
001ebf44mov rax, [rsp]
001ebf48mov rbx, rdi
001ebf4bcall Stdlib.Scanf.scan_sign
001ebf50cmp rax, 1
001ebf54je 0x1ec011
001ebf5amov [rsp], rax
001ebf5emov rdi, [rsp+24]
001ebf63mov rax, [rdi+16]
001ebf67cmp rax, 1
001ebf6bjne 0x1ec008
001ebf71mov [rsp+24], rdi
001ebf76lea r11, [rip+83]
001ebf7dpush r11
001ebf7fpush [r14+48]
001ebf83mov [r14+48], rsp
001ebf87mov rbx, [rdi+48]
001ebf8bmov eax, 1
001ebf90mov rdi, [rbx]
001ebf93call rdi
001ebf95mov rdi, [rsp+40]
001ebf9amov [rdi+8], rax
001ebf9emov [rdi+16], 3
001ebfa6mov rbx, [rdi+24]
001ebfaaadd rbx, 2
001ebfaemov [rdi+24], rbx
001ebfb2cmp rax, 21
001ebfb6jne 0x1ebfc4
001ebfb8mov rax, [rdi+32]
001ebfbcadd rax, 2
001ebfc0mov [rdi+32], rax
001ebfc4
001ebfc4loc_1ebfc4:
001ebfc4pop [r14+48]
001ebfc8add rsp, 8
001ebfccjmp 0x1ec008
001ebfce
001ebfce 66 90 f.
001ebfd0lea rbx, [rip+0x141641]
001ebfd7mov rbx, [rbx+88]
001ebfdbcmp rax, rbx
001ebfdejne 0x1ec000
001ebfe0mov rdi, [rsp+24]
001ebfe5mov [rdi+8], 1
001ebfedmov [rdi+16], 1
001ebff5mov [rdi], 3
001ebffcjmp 0x1ec008
001ebffe
001ebffe 66 90 f.
001ec000
001ec000loc_1ec000:
001ec000call caml_reraise_exn
001ec005nop [rax]
001ec008
001ec008loc_1ec008:
001ec008mov rax, [rdi]
001ec00bcmp rax, 1
001ec00fje 0x1ec048
001ec011
001ec011loc_1ec011:
001ec011sub r15, 24
001ec015cmp r15, [r14]
001ec018jb 0x1ecd75
001ec01e
001ec01eloc_1ec01e:
001ec01elea rax, [r15+8]
001ec022mov [rax-8], 2048
001ec02alea rbx, [rip+0x18114f]
001ec031mov rbx, [rbx+8]
001ec035mov [rax], rbx
001ec038lea rbx, [rip+0x181d71]
001ec03fmov [rax+8], rbx
001ec043call caml_raise_exn
001ec048
001ec048loc_1ec048:
001ec048mov rax, [rdi+16]
001ec04ccmp rax, 1
001ec050je 0x1ec05c
001ec052mov rbx, [rdi+8]
001ec056jmp 0x1ec0fb
001ec05b
001ec05b 90 .
001ec05c
001ec05cloc_1ec05c:
001ec05cmov [rsp+24], rdi
001ec061lea r11, [rip+84]
001ec068push r11
001ec06apush [r14+48]
001ec06emov [r14+48], rsp
001ec072mov rbx, [rdi+48]
001ec076mov eax, 1
001ec07bmov rdi, [rbx]
001ec07ecall rdi
001ec080mov rdi, [rsp+40]
001ec085mov [rdi+8], rax
001ec089mov [rdi+16], 3
001ec091mov rbx, [rdi+24]
001ec095add rbx, 2
001ec099mov [rdi+24], rbx
001ec09dcmp rax, 21
001ec0a1jne 0x1ec0af
001ec0a3mov rbx, [rdi+32]
001ec0a7add rbx, 2
001ec0abmov [rdi+32], rbx
001ec0af
001ec0afloc_1ec0af:
001ec0afpop [r14+48]
001ec0b3add rsp, 8
001ec0b7jmp 0x1ec0f8
001ec0b9
001ec0b9 0f 1f 00 ...
001ec0bclea rbx, [rip+0x141555]
001ec0c3mov rbx, [rbx+88]
001ec0c7cmp rax, rbx
001ec0cajne 0x1ec0f0
001ec0ccmov rdi, [rsp+24]
001ec0d1mov [rdi+8], 1
001ec0d9mov [rdi+16], 1
001ec0e1mov [rdi], 3
001ec0e8mov eax, 1
001ec0edjmp 0x1ec0f8
001ec0ef
001ec0ef 90 .
001ec0f0
001ec0f0loc_1ec0f0:
001ec0f0call caml_reraise_exn
001ec0f5nop [rax]
001ec0f8
001ec0f8loc_1ec0f8:
001ec0f8mov rbx, rax
001ec0fb
001ec0fbloc_1ec0fb:
001ec0fbcmp rbx, 157
001ec102jl 0x1ec274
001ec108mov rax, rbx
001ec10badd rax, -158
001ec111cmp rax, 61
001ec115jbe 0x1ec260
001ec11bcmp rax, 65
001ec11fjge 0x1ecbe4
001ec125mov [rsp+24], rdi
001ec12amov rax, [rdi+56]
001ec12ecall Stdlib.Buffer.add_char
001ec133mov rax, [rsp]
001ec137add rax, -2
001ec13bmov rbx, [rsp+24]
001ec140mov [rbx+16], 1
001ec148cmp rax, 1
001ec14cje 0x1ec205
001ec152mov [rsp], rax
001ec156mov rax, [rbx+16]
001ec15acmp rax, 1
001ec15ejne 0x1ec1fc
001ec164mov [rsp+24], rbx
001ec169lea r11, [rip+84]
001ec170push r11
001ec172push [r14+48]
001ec176mov [r14+48], rsp
001ec17amov rbx, [rbx+48]
001ec17emov eax, 1
001ec183mov rdi, [rbx]
001ec186call rdi
001ec188mov rbx, [rsp+40]
001ec18dmov [rbx+8], rax
001ec191mov [rbx+16], 3
001ec199mov rdi, [rbx+24]
001ec19dadd rdi, 2
001ec1a1mov [rbx+24], rdi
001ec1a5cmp rax, 21
001ec1a9jne 0x1ec1b7
001ec1abmov rax, [rbx+32]
001ec1afadd rax, 2
001ec1b3mov [rbx+32], rax
001ec1b7
001ec1b7loc_1ec1b7:
001ec1b7pop [r14+48]
001ec1bbadd rsp, 8
001ec1bfjmp 0x1ec1fc
001ec1c1
001ec1c1 0f 1f 00 ...
001ec1c4lea rbx, [rip+0x14144d]
001ec1cbmov rbx, [rbx+88]
001ec1cfcmp rax, rbx
001ec1d2jne 0x1ec1f4
001ec1d4mov rbx, [rsp+24]
001ec1d9mov [rbx+8], 1
001ec1e1mov [rbx+16], 1
001ec1e9mov [rbx], 3
001ec1f0jmp 0x1ec1fc
001ec1f2
001ec1f2 66 90 f.
001ec1f4
001ec1f4loc_1ec1f4:
001ec1f4call caml_reraise_exn
001ec1f9nop [rax]
001ec1fc
001ec1fcloc_1ec1fc:
001ec1fcmov rax, [rbx]
001ec1ffcmp rax, 1
001ec203je 0x1ec23c
001ec205
001ec205loc_1ec205:
001ec205sub r15, 24
001ec209cmp r15, [r14]
001ec20cjb 0x1ecd6b
001ec212
001ec212loc_1ec212:
001ec212lea rax, [r15+8]
001ec216mov [rax-8], 2048
001ec21elea rbx, [rip+0x180f5b]
001ec225mov rbx, [rbx+8]
001ec229mov [rax], rbx
001ec22clea rbx, [rip+0x181b7d]
001ec233mov [rax+8], rbx
001ec237call caml_raise_exn
001ec23c
001ec23cloc_1ec23c:
001ec23clea rsi, [rip+0x181705]
001ec243lea rax, [rip+0x180f36]
001ec24amov rdi, [rax+152]
001ec251mov rax, [rsp]
001ec255add rsp, 32
001ec259jmp 0x1ebbc0
001ec25e
001ec25e 66 90 f.
001ec260
001ec260loc_1ec260:
001ec260cmp rax, 53
001ec264jne 0x1ecbe4
001ec26amov [rsp+24], rdi
001ec26fjmp 0x1ecc1c
001ec274
001ec274loc_1ec274:
001ec274cmp rbx, 97
001ec278je 0x1ec294
001ec27acmp rbx, 147
001ec281jne 0x1ecbe4
001ec287mov [rsp+24], rdi
001ec28cjmp 0x1ecc1c
001ec291
001ec291 0f 1f 00 ...
001ec294
001ec294loc_1ec294:
001ec294mov [rsp+24], rdi
001ec299mov rax, [rdi+56]
001ec29dcall Stdlib.Buffer.add_char
001ec2a2mov rax, [rsp]
001ec2a6add rax, -2
001ec2aamov rbx, [rsp+24]
001ec2afmov [rbx+16], 1
001ec2b7cmp rax, 1
001ec2bbje 0x1ec378
001ec2c1mov [rsp], rax
001ec2c5mov rax, [rbx+16]
001ec2c9cmp rax, 1
001ec2cdjne 0x1ec368
001ec2d3mov [rsp+24], rbx
001ec2d8lea r11, [rip+81]
001ec2dfpush r11
001ec2e1push [r14+48]
001ec2e5mov [r14+48], rsp
001ec2e9mov rbx, [rbx+48]
001ec2edmov eax, 1
001ec2f2mov rdi, [rbx]
001ec2f5call rdi
001ec2f7mov rbx, [rsp+40]
001ec2fcmov [rbx+8], rax
001ec300mov [rbx+16], 3
001ec308mov rdi, [rbx+24]
001ec30cadd rdi, 2
001ec310mov [rbx+24], rdi
001ec314cmp rax, 21
001ec318jne 0x1ec326
001ec31amov rax, [rbx+32]
001ec31eadd rax, 2
001ec322mov [rbx+32], rax
001ec326
001ec326loc_1ec326:
001ec326pop [r14+48]
001ec32aadd rsp, 8
001ec32ejmp 0x1ec368
001ec330lea rbx, [rip+0x1412e1]
001ec337mov rbx, [rbx+88]
001ec33bcmp rax, rbx
001ec33ejne 0x1ec360
001ec340mov rbx, [rsp+24]
001ec345mov [rbx+8], 1
001ec34dmov [rbx+16], 1
001ec355mov [rbx], 3
001ec35cjmp 0x1ec368
001ec35e
001ec35e 66 90 f.
001ec360
001ec360loc_1ec360:
001ec360call caml_reraise_exn
001ec365nop [rax]
001ec368
001ec368loc_1ec368:
001ec368mov rax, [rbx]
001ec36bcmp rax, 1
001ec36fjne 0x1ec378
001ec371mov [rsp+24], rbx
001ec376jmp 0x1ec3b0
001ec378
001ec378loc_1ec378:
001ec378sub r15, 24
001ec37ccmp r15, [r14]
001ec37fjb 0x1ecd61
001ec385
001ec385loc_1ec385:
001ec385lea rax, [r15+8]
001ec389mov [rax-8], 2048
001ec391lea rbx, [rip+0x180de8]
001ec398mov rbx, [rbx+8]
001ec39cmov [rax], rbx
001ec39flea rbx, [rip+0x181a0a]
001ec3a6mov [rax+8], rbx
001ec3aacall caml_raise_exn
001ec3afnop
001ec3b0
001ec3b0loc_1ec3b0:
001ec3b0lea rsi, [rip+0x181581]
001ec3b7lea rax, [rip+0x180dc2]
001ec3bemov rdi, [rax+152]
001ec3c5mov rax, [rsp]
001ec3c9call Stdlib.Scanf.check_case_insensitive_string
001ec3cemov [rsp], rax
001ec3d2cmp rax, 1
001ec3d6je 0x1ecbd8
001ec3dcmov rsi, [rsp+24]
001ec3e1mov rax, [rsi+16]
001ec3e5cmp rax, 1
001ec3e9jne 0x1ec484
001ec3efmov [rsp+24], rsi
001ec3f4lea r11, [rip+81]
001ec3fbpush r11
001ec3fdpush [r14+48]
001ec401mov [r14+48], rsp
001ec405mov rbx, [rsi+48]
001ec409mov eax, 1
001ec40emov rdi, [rbx]
001ec411call rdi
001ec413mov rsi, [rsp+40]
001ec418mov [rsi+8], rax
001ec41cmov [rsi+16], 3
001ec424mov rbx, [rsi+24]
001ec428add rbx, 2
001ec42cmov [rsi+24], rbx
001ec430cmp rax, 21
001ec434jne 0x1ec442
001ec436mov rax, [rsi+32]
001ec43aadd rax, 2
001ec43emov [rsi+32], rax
001ec442
001ec442loc_1ec442:
001ec442pop [r14+48]
001ec446add rsp, 8
001ec44ajmp 0x1ec484
001ec44clea rbx, [rip+0x1411c5]
001ec453mov rbx, [rbx+88]
001ec457cmp rax, rbx
001ec45ajne 0x1ec47c
001ec45cmov rsi, [rsp+24]
001ec461mov [rsi+8], 1
001ec469mov [rsi+16], 1
001ec471mov [rsi], 3
001ec478jmp 0x1ec484
001ec47a
001ec47a 66 90 f.
001ec47c
001ec47cloc_1ec47c:
001ec47ccall caml_reraise_exn
001ec481nop [rax]
001ec484
001ec484loc_1ec484:
001ec484mov rax, [rsi]
001ec487cmp rax, 1
001ec48bjne 0x1ecbd8
001ec491mov [rsp+24], rsi
001ec496mov rax, [rsi+16]
001ec49acmp rax, 1
001ec49eje 0x1ec4ac
001ec4a0mov rax, [rsi+8]
001ec4a4jmp 0x1ec540
001ec4a9
001ec4a9 0f 1f 00 ...
001ec4ac
001ec4acloc_1ec4ac:
001ec4aclea r11, [rip+81]
001ec4b3push r11
001ec4b5push [r14+48]
001ec4b9mov [r14+48], rsp
001ec4bdmov rbx, [rsi+48]
001ec4c1mov eax, 1
001ec4c6mov rdi, [rbx]
001ec4c9call rdi
001ec4cbmov rsi, [rsp+40]
001ec4d0mov [rsi+8], rax
001ec4d4mov [rsi+16], 3
001ec4dcmov rbx, [rsi+24]
001ec4e0add rbx, 2
001ec4e4mov [rsi+24], rbx
001ec4e8cmp rax, 21
001ec4ecjne 0x1ec4fa
001ec4eemov rbx, [rsi+32]
001ec4f2add rbx, 2
001ec4f6mov [rsi+32], rbx
001ec4fa
001ec4faloc_1ec4fa:
001ec4fapop [r14+48]
001ec4feadd rsp, 8
001ec502jmp 0x1ec540
001ec504lea rbx, [rip+0x14110d]
001ec50bmov rbx, [rbx+88]
001ec50fcmp rax, rbx
001ec512jne 0x1ec538
001ec514mov rsi, [rsp+24]
001ec519mov [rsi+8], 1
001ec521mov [rsi+16], 1
001ec529mov [rsi], 3
001ec530mov eax, 1
001ec535jmp 0x1ec540
001ec537
001ec537 90 .
001ec538
001ec538loc_1ec538:
001ec538call caml_reraise_exn
001ec53dnop [rax]
001ec540
001ec540loc_1ec540:
001ec540add rax, -92
001ec544cmp rax, 69
001ec548jbe 0x1ec554
001ec54acmp rax, 133
001ec550je 0x1ec584
001ec552jmp 0x1ec55e
001ec554
001ec554loc_1ec554:
001ec554add rax, -2
001ec558cmp rax, 65
001ec55cja 0x1ec584
001ec55e
001ec55eloc_1ec55e:
001ec55elea rax, [rip+0x180c1b]
001ec565mov rax, [rax+360]
001ec56cmov rbx, [rax+32]
001ec570mov rax, [rax+24]
001ec574mov rdi, [rsp]
001ec578call Stdlib.Scanf.scan_digit_plus
001ec57dmov [rsp], rax
001ec581jmp 0x1ec58c
001ec583
001ec583 90 .
001ec584
001ec584loc_1ec584:
001ec584mov rax, [rsp]
001ec588mov [rsp], rax
001ec58c
001ec58cloc_1ec58c:
001ec58ccmp rax, 1
001ec590je 0x1ecbcc
001ec596mov rdi, [rsp+24]
001ec59bmov rax, [rdi+16]
001ec59fcmp rax, 1
001ec5a3jne 0x1ec640
001ec5a9mov [rsp+24], rdi
001ec5aelea r11, [rip+83]
001ec5b5push r11
001ec5b7push [r14+48]
001ec5bbmov [r14+48], rsp
001ec5bfmov rbx, [rdi+48]
001ec5c3mov eax, 1
001ec5c8mov rdi, [rbx]
001ec5cbcall rdi
001ec5cdmov rdi, [rsp+40]
001ec5d2mov [rdi+8], rax
001ec5d6mov [rdi+16], 3
001ec5demov rbx, [rdi+24]
001ec5e2add rbx, 2
001ec5e6mov [rdi+24], rbx
001ec5eacmp rax, 21
001ec5eejne 0x1ec5fc
001ec5f0mov rax, [rdi+32]
001ec5f4add rax, 2
001ec5f8mov [rdi+32], rax
001ec5fc
001ec5fcloc_1ec5fc:
001ec5fcpop [r14+48]
001ec600add rsp, 8
001ec604jmp 0x1ec640
001ec606
001ec606 66 90 f.
001ec608lea rbx, [rip+0x141009]
001ec60fmov rbx, [rbx+88]
001ec613cmp rax, rbx
001ec616jne 0x1ec638
001ec618mov rdi, [rsp+24]
001ec61dmov [rdi+8], 1
001ec625mov [rdi+16], 1
001ec62dmov [rdi], 3
001ec634jmp 0x1ec640
001ec636
001ec636 66 90 f.
001ec638
001ec638loc_1ec638:
001ec638call caml_reraise_exn
001ec63dnop [rax]
001ec640
001ec640loc_1ec640:
001ec640mov rax, [rdi]
001ec643cmp rax, 1
001ec647jne 0x1ecbcc
001ec64dmov [rsp+24], rdi
001ec652mov rax, [rdi+16]
001ec656cmp rax, 1
001ec65aje 0x1ec668
001ec65cmov rbx, [rdi+8]
001ec660jmp 0x1ec6ff
001ec665
001ec665 0f 1f 00 ...
001ec668
001ec668loc_1ec668:
001ec668lea r11, [rip+81]
001ec66fpush r11
001ec671push [r14+48]
001ec675mov [r14+48], rsp
001ec679mov rbx, [rdi+48]
001ec67dmov eax, 1
001ec682mov rdi, [rbx]
001ec685call rdi
001ec687mov rdi, [rsp+40]
001ec68cmov [rdi+8], rax
001ec690mov [rdi+16], 3
001ec698mov rbx, [rdi+24]
001ec69cadd rbx, 2
001ec6a0mov [rdi+24], rbx
001ec6a4cmp rax, 21
001ec6a8jne 0x1ec6b6
001ec6aamov rbx, [rdi+32]
001ec6aeadd rbx, 2
001ec6b2mov [rdi+32], rbx
001ec6b6
001ec6b6loc_1ec6b6:
001ec6b6pop [r14+48]
001ec6baadd rsp, 8
001ec6bejmp 0x1ec6fc
001ec6c0lea rbx, [rip+0x140f51]
001ec6c7mov rbx, [rbx+88]
001ec6cbcmp rax, rbx
001ec6cejne 0x1ec6f4
001ec6d0mov rdi, [rsp+24]
001ec6d5mov [rdi+8], 1
001ec6ddmov [rdi+16], 1
001ec6e5mov [rdi], 3
001ec6ecmov eax, 1
001ec6f1jmp 0x1ec6fc
001ec6f3
001ec6f3 90 .
001ec6f4
001ec6f4loc_1ec6f4:
001ec6f4call caml_reraise_exn
001ec6f9nop [rax]
001ec6fc
001ec6fcloc_1ec6fc:
001ec6fcmov rbx, rax
001ec6ff
001ec6ffloc_1ec6ff:
001ec6ffcmp rbx, 93
001ec703je 0x1ec714
001ec705mov rax, [rsp]
001ec709mov [rsp], rax
001ec70djmp 0x1ec901
001ec712
001ec712 66 90 f.
001ec714
001ec714loc_1ec714:
001ec714mov rax, [rdi+56]
001ec718call Stdlib.Buffer.add_char
001ec71dmov rax, [rsp]
001ec721add rax, -2
001ec725mov rsi, [rsp+24]
001ec72amov [rsi+16], 1
001ec732mov [rsp+16], rax
001ec737cmp rax, 1
001ec73bje 0x1ec8f8
001ec741mov rax, [rsi+16]
001ec745cmp rax, 1
001ec749jne 0x1ec7e0
001ec74flea r11, [rip+82]
001ec756push r11
001ec758push [r14+48]
001ec75cmov [r14+48], rsp
001ec760mov rbx, [rsi+48]
001ec764mov eax, 1
001ec769mov rdi, [rbx]
001ec76ccall rdi
001ec76emov rsi, [rsp+40]
001ec773mov [rsi+8], rax
001ec777mov [rsi+16], 3
001ec77fmov rbx, [rsi+24]
001ec783add rbx, 2
001ec787mov [rsi+24], rbx
001ec78bcmp rax, 21
001ec78fjne 0x1ec79d
001ec791mov rax, [rsi+32]
001ec795add rax, 2
001ec799mov [rsi+32], rax
001ec79d
001ec79dloc_1ec79d:
001ec79dpop [r14+48]
001ec7a1add rsp, 8
001ec7a5jmp 0x1ec7e0
001ec7a7
001ec7a7 90 .
001ec7a8lea rbx, [rip+0x140e69]
001ec7afmov rbx, [rbx+88]
001ec7b3cmp rax, rbx
001ec7b6jne 0x1ec7d8
001ec7b8mov rsi, [rsp+24]
001ec7bdmov [rsi+8], 1
001ec7c5mov [rsi+16], 1
001ec7cdmov [rsi], 3
001ec7d4jmp 0x1ec7e0
001ec7d6
001ec7d6 66 90 f.
001ec7d8
001ec7d8loc_1ec7d8:
001ec7d8call caml_reraise_exn
001ec7ddnop [rax]
001ec7e0
001ec7e0loc_1ec7e0:
001ec7e0mov rax, [rsi]
001ec7e3cmp rax, 1
001ec7e7jne 0x1ec8f8
001ec7edmov rax, [rsi+16]
001ec7f1cmp rax, 1
001ec7f5je 0x1ec800
001ec7f7mov rax, [rsi+8]
001ec7fbjmp 0x1ec894
001ec800
001ec800loc_1ec800:
001ec800lea r11, [rip+81]
001ec807push r11
001ec809push [r14+48]
001ec80dmov [r14+48], rsp
001ec811mov rbx, [rsi+48]
001ec815mov eax, 1
001ec81amov rdi, [rbx]
001ec81dcall rdi
001ec81fmov rsi, [rsp+40]
001ec824mov [rsi+8], rax
001ec828mov [rsi+16], 3
001ec830mov rbx, [rsi+24]
001ec834add rbx, 2
001ec838mov [rsi+24], rbx
001ec83ccmp rax, 21
001ec840jne 0x1ec84e
001ec842mov rbx, [rsi+32]
001ec846add rbx, 2
001ec84amov [rsi+32], rbx
001ec84e
001ec84eloc_1ec84e:
001ec84epop [r14+48]
001ec852add rsp, 8
001ec856jmp 0x1ec894
001ec858lea rbx, [rip+0x140db9]
001ec85fmov rbx, [rbx+88]
001ec863cmp rax, rbx
001ec866jne 0x1ec88c
001ec868mov rsi, [rsp+24]
001ec86dmov [rsi+8], 1
001ec875mov [rsi+16], 1
001ec87dmov [rsi], 3
001ec884mov eax, 1
001ec889jmp 0x1ec894
001ec88b
001ec88b 90 .
001ec88c
001ec88cloc_1ec88c:
001ec88ccall caml_reraise_exn
001ec891nop [rax]
001ec894
001ec894loc_1ec894:
001ec894cmp rax, 161
001ec89aje 0x1ec8f0
001ec89ccmp rax, 225
001ec8a2je 0x1ec8f0
001ec8a4mov rdi, [rsp+16]
001ec8a9mov rax, [rsp+8]
001ec8aecmp rdi, rax
001ec8b1jg 0x1ec8bc
001ec8b3mov [rsp], rdi
001ec8b7jmp 0x1ec8c3
001ec8b9
001ec8b9 0f 1f 00 ...
001ec8bc
001ec8bcloc_1ec8bc:
001ec8bcmov rdi, rax
001ec8bfmov [rsp], rdi
001ec8c3
001ec8c3loc_1ec8c3:
001ec8c3lea rax, [rip+0x1808b6]
001ec8camov rax, [rax+360]
001ec8d1mov rbx, [rax+32]
001ec8d5mov rax, [rax+24]
001ec8d9call Stdlib.Scanf.scan_digit_plus
001ec8demov rbx, [rsp]
001ec8e2sub rbx, rax
001ec8e5mov rax, [rsp+16]
001ec8easub rax, rbx
001ec8edjmp 0x1ec8fd
001ec8ef
001ec8ef 90 .
001ec8f0
001ec8f0loc_1ec8f0:
001ec8f0mov rax, [rsp+16]
001ec8f5jmp 0x1ec8fd
001ec8f7
001ec8f7 90 .
001ec8f8
001ec8f8loc_1ec8f8:
001ec8f8mov rax, [rsp+16]
001ec8fd
001ec8fdloc_1ec8fd:
001ec8fdmov [rsp], rax
001ec901
001ec901loc_1ec901:
001ec901cmp rax, 1
001ec905je 0x1ecbc0
001ec90bmov rdi, [rsp+24]
001ec910mov rax, [rdi+16]
001ec914cmp rax, 1
001ec918jne 0x1ec9b4
001ec91emov [rsp+24], rdi
001ec923lea r11, [rip+82]
001ec92apush r11
001ec92cpush [r14+48]
001ec930mov [r14+48], rsp
001ec934mov rbx, [rdi+48]
001ec938mov eax, 1
001ec93dmov rdi, [rbx]
001ec940call rdi
001ec942mov rdi, [rsp+40]
001ec947mov [rdi+8], rax
001ec94bmov [rdi+16], 3
001ec953mov rbx, [rdi+24]
001ec957add rbx, 2
001ec95bmov [rdi+24], rbx
001ec95fcmp rax, 21
001ec963jne 0x1ec971
001ec965mov rax, [rdi+32]
001ec969add rax, 2
001ec96dmov [rdi+32], rax
001ec971
001ec971loc_1ec971:
001ec971pop [r14+48]
001ec975add rsp, 8
001ec979jmp 0x1ec9b4
001ec97b
001ec97b 90 .
001ec97clea rbx, [rip+0x140c95]
001ec983mov rbx, [rbx+88]
001ec987cmp rax, rbx
001ec98ajne 0x1ec9ac
001ec98cmov rdi, [rsp+24]
001ec991mov [rdi+8], 1
001ec999mov [rdi+16], 1
001ec9a1mov [rdi], 3
001ec9a8jmp 0x1ec9b4
001ec9aa
001ec9aa 66 90 f.
001ec9ac
001ec9acloc_1ec9ac:
001ec9accall caml_reraise_exn
001ec9b1nop [rax]
001ec9b4
001ec9b4loc_1ec9b4:
001ec9b4mov rax, [rdi]
001ec9b7cmp rax, 1
001ec9bbjne 0x1ecbc0
001ec9c1mov rax, [rdi+16]
001ec9c5cmp rax, 1
001ec9c9je 0x1ec9d4
001ec9cbmov rbx, [rdi+8]
001ec9cfjmp 0x1eca73
001ec9d4
001ec9d4loc_1ec9d4:
001ec9d4mov [rsp+24], rdi
001ec9d9lea r11, [rip+84]
001ec9e0push r11
001ec9e2push [r14+48]
001ec9e6mov [r14+48], rsp
001ec9eamov rbx, [rdi+48]
001ec9eemov eax, 1
001ec9f3mov rdi, [rbx]
001ec9f6call rdi
001ec9f8mov rdi, [rsp+40]
001ec9fdmov [rdi+8], rax
001eca01mov [rdi+16], 3
001eca09mov rbx, [rdi+24]
001eca0dadd rbx, 2
001eca11mov [rdi+24], rbx
001eca15cmp rax, 21
001eca19jne 0x1eca27
001eca1bmov rbx, [rdi+32]
001eca1fadd rbx, 2
001eca23mov [rdi+32], rbx
001eca27
001eca27loc_1eca27:
001eca27pop [r14+48]
001eca2badd rsp, 8
001eca2fjmp 0x1eca70
001eca31
001eca31 0f 1f 00 ...
001eca34lea rbx, [rip+0x140bdd]
001eca3bmov rbx, [rbx+88]
001eca3fcmp rax, rbx
001eca42jne 0x1eca68
001eca44mov rdi, [rsp+24]
001eca49mov [rdi+8], 1
001eca51mov [rdi+16], 1
001eca59mov [rdi], 3
001eca60mov eax, 1
001eca65jmp 0x1eca70
001eca67
001eca67 90 .
001eca68
001eca68loc_1eca68:
001eca68call caml_reraise_exn
001eca6dnop [rax]
001eca70
001eca70loc_1eca70:
001eca70mov rbx, rax
001eca73
001eca73loc_1eca73:
001eca73cmp rbx, 161
001eca7aje 0x1eca98
001eca7ccmp rbx, 225
001eca83je 0x1eca90
001eca85mov rax, [rsp]
001eca89add rsp, 32
001eca8dret
001eca8e
001eca8e 66 90 f.
001eca90
001eca90loc_1eca90:
001eca90mov [rsp+24], rdi
001eca95jmp 0x1eca9d
001eca97
001eca97 90 .
001eca98
001eca98loc_1eca98:
001eca98mov [rsp+24], rdi
001eca9d
001eca9dloc_1eca9d:
001eca9dmov rax, [rdi+56]
001ecaa1call Stdlib.Buffer.add_char
001ecaa6mov rax, [rsp]
001ecaaaadd rax, -2
001ecaaemov rbx, [rsp+24]
001ecab3mov [rbx+16], 1
001ecabbmov [rsp], rax
001ecabfcmp rax, 1
001ecac3je 0x1ecb71
001ecac9mov rax, [rbx+16]
001ecacdcmp rax, 1
001ecad1jne 0x1ecb68
001ecad7lea r11, [rip+82]
001ecadepush r11
001ecae0push [r14+48]
001ecae4mov [r14+48], rsp
001ecae8mov rbx, [rbx+48]
001ecaecmov eax, 1
001ecaf1mov rdi, [rbx]
001ecaf4call rdi
001ecaf6mov rbx, [rsp+40]
001ecafbmov [rbx+8], rax
001ecaffmov [rbx+16], 3
001ecb07mov rdi, [rbx+24]
001ecb0badd rdi, 2
001ecb0fmov [rbx+24], rdi
001ecb13cmp rax, 21
001ecb17jne 0x1ecb25
001ecb19mov rax, [rbx+32]
001ecb1dadd rax, 2
001ecb21mov [rbx+32], rax
001ecb25
001ecb25loc_1ecb25:
001ecb25pop [r14+48]
001ecb29add rsp, 8
001ecb2djmp 0x1ecb68
001ecb2f
001ecb2f 90 .
001ecb30lea rbx, [rip+0x140ae1]
001ecb37mov rbx, [rbx+88]
001ecb3bcmp rax, rbx
001ecb3ejne 0x1ecb60
001ecb40mov rbx, [rsp+24]
001ecb45mov [rbx+8], 1
001ecb4dmov [rbx+16], 1
001ecb55mov [rbx], 3
001ecb5cjmp 0x1ecb68
001ecb5e
001ecb5e 66 90 f.
001ecb60
001ecb60loc_1ecb60:
001ecb60call caml_reraise_exn
001ecb65nop [rax]
001ecb68
001ecb68loc_1ecb68:
001ecb68mov rax, [rbx]
001ecb6bcmp rax, 1
001ecb6fje 0x1ecba8
001ecb71
001ecb71loc_1ecb71:
001ecb71sub r15, 24
001ecb75cmp r15, [r14]
001ecb78jb 0x1ecd57
001ecb7e
001ecb7eloc_1ecb7e:
001ecb7elea rax, [r15+8]
001ecb82mov [rax-8], 2048
001ecb8alea rbx, [rip+0x1805ef]
001ecb91mov rbx, [rbx+8]
001ecb95mov [rax], rbx
001ecb98lea rbx, [rip+0x181211]
001ecb9fmov [rax+8], rbx
001ecba3call caml_raise_exn
001ecba8
001ecba8loc_1ecba8:
001ecba8mov rax, [rsp]
001ecbaccall Stdlib.Scanf.scan_sign
001ecbb1mov rbx, [rsp+24]
001ecbb6add rsp, 32
001ecbbajmp 0x1ea9a0
001ecbbf
001ecbbf 90 .
001ecbc0
001ecbc0loc_1ecbc0:
001ecbc0mov rax, [rsp]
001ecbc4add rsp, 32
001ecbc8ret
001ecbc9
001ecbc9 0f 1f 00 ...
001ecbcc
001ecbccloc_1ecbcc:
001ecbccmov rax, [rsp]
001ecbd0add rsp, 32
001ecbd4ret
001ecbd5
001ecbd5 0f 1f 00 ...
001ecbd8
001ecbd8loc_1ecbd8:
001ecbd8mov rax, [rsp]
001ecbdcadd rsp, 32
001ecbe0ret
001ecbe1
001ecbe1 0f 1f 00 ...
001ecbe4
001ecbe4loc_1ecbe4:
001ecbe4sub r15, 24
001ecbe8cmp r15, [r14]
001ecbebjb 0x1ecd4d
001ecbf1
001ecbf1loc_1ecbf1:
001ecbf1lea rax, [r15+8]
001ecbf5mov [rax-8], 2048
001ecbfdlea rbx, [rip+0x18057c]
001ecc04mov rbx, [rbx+8]
001ecc08mov [rax], rbx
001ecc0blea rbx, [rip+0x18119e]
001ecc12mov [rax+8], rbx
001ecc16call caml_raise_exn
001ecc1bnop
001ecc1c
001ecc1cloc_1ecc1c:
001ecc1cmov rax, [rdi+56]
001ecc20call Stdlib.Buffer.add_char
001ecc25mov rax, [rsp]
001ecc29add rax, -2
001ecc2dmov rbx, [rsp+24]
001ecc32mov [rbx+16], 1
001ecc3amov [rsp], rax
001ecc3ecmp rax, 1
001ecc42je 0x1eccf1
001ecc48mov rax, [rbx+16]
001ecc4ccmp rax, 1
001ecc50jne 0x1ecce8
001ecc56lea r11, [rip+83]
001ecc5dpush r11
001ecc5fpush [r14+48]
001ecc63mov [r14+48], rsp
001ecc67mov rbx, [rbx+48]
001ecc6bmov eax, 1
001ecc70mov rdi, [rbx]
001ecc73call rdi
001ecc75mov rbx, [rsp+40]
001ecc7amov [rbx+8], rax
001ecc7emov [rbx+16], 3
001ecc86mov rdi, [rbx+24]
001ecc8aadd rdi, 2
001ecc8emov [rbx+24], rdi
001ecc92cmp rax, 21
001ecc96jne 0x1ecca4
001ecc98mov rax, [rbx+32]
001ecc9cadd rax, 2
001ecca0mov [rbx+32], rax
001ecca4
001ecca4loc_1ecca4:
001ecca4pop [r14+48]
001ecca8add rsp, 8
001eccacjmp 0x1ecce8
001eccae
001eccae 66 90 f.
001eccb0lea rbx, [rip+0x140961]
001eccb7mov rbx, [rbx+88]
001eccbbcmp rax, rbx
001eccbejne 0x1ecce0
001eccc0mov rbx, [rsp+24]
001eccc5mov [rbx+8], 1
001ecccdmov [rbx+16], 1
001eccd5mov [rbx], 3
001eccdcjmp 0x1ecce8
001eccde
001eccde 66 90 f.
001ecce0
001ecce0loc_1ecce0:
001ecce0call caml_reraise_exn
001ecce5nop [rax]
001ecce8
001ecce8loc_1ecce8:
001ecce8mov rax, [rbx]
001eccebcmp rax, 1
001eccefje 0x1ecd24
001eccf1
001eccf1loc_1eccf1:
001eccf1sub r15, 24
001eccf5cmp r15, [r14]
001eccf8jb 0x1ecd46
001eccfa
001eccfaloc_1eccfa:
001eccfalea rax, [r15+8]
001eccfemov [rax-8], 2048
001ecd06lea rbx, [rip+0x180473]
001ecd0dmov rbx, [rbx+8]
001ecd11mov [rax], rbx
001ecd14lea rbx, [rip+0x181095]
001ecd1bmov [rax+8], rbx
001ecd1fcall caml_raise_exn
001ecd24
001ecd24loc_1ecd24:
001ecd24lea rsi, [rip+0x180bfd]
001ecd2blea rax, [rip+0x18044e]
001ecd32mov rdi, [rax+152]
001ecd39mov rax, [rsp]
001ecd3dadd rsp, 32
001ecd41jmp 0x1ebbc0
001ecd46
001ecd46loc_1ecd46:
001ecd46call caml_call_gc
001ecd4bjmp 0x1eccfa
001ecd4d
001ecd4dloc_1ecd4d:
001ecd4dcall caml_call_gc
001ecd52jmp 0x1ecbf1
001ecd57
001ecd57loc_1ecd57:
001ecd57call caml_call_gc
001ecd5cjmp 0x1ecb7e
001ecd61
001ecd61loc_1ecd61:
001ecd61call caml_call_gc
001ecd66jmp 0x1ec385
001ecd6b
001ecd6bloc_1ecd6b:
001ecd6bcall caml_call_gc
001ecd70jmp 0x1ec212
001ecd75
001ecd75loc_1ecd75:
001ecd75call caml_call_gc
001ecd7ajmp 0x1ec01e
001ecd7f
001ecd7floc_1ecd7f:
001ecd7fcall caml_call_gc
001ecd84jmp 0x1ebf19
001ecd89
001ecd89loc_1ecd89:
001ecd89push 39
001ecd8bcall caml_call_realloc_stack
001ecd90pop r10
001ecd92jmp 0x1ebe42
001ebe30
Loading..