File havoc_demon_9b6047883014e32c66300962e067762ee768a7a3f981ca51b1ce60ae7452421b.exe
Function:
    140002f20
    140002f20__pformat_int.isra.0:
    140002f20push rbp
    140002f21push r15
    140002f23push r14
    140002f25push r13
    140002f27push r12
    140002f29push rdi
    140002f2apush rsi
    140002f2bpush rbx
    140002f2csub rsp, 40
    140002f30lea rbp, [rsp+32]
    140002f35xor eax, eax
    140002f37mov r14l, [rdx+16]
    140002f3bmov r12l, [rdx+8]
    140002f3ftest r14l, r14l
    140002f42cmovns eax, r14l
    140002f46mov rbx, rdx
    140002f49add eax, 23
    140002f4ctest r12l, 4096
    140002f53je 0x140002f60
    140002f55cmp [rdx+32], 0
    140002f5ajne 0x1400031a8
    140002f60
    140002f60loc_140002f60:
    140002f60mov esi, [rbx+12]
    140002f63cmp esi, eax
    140002f65cmovge eax, esi
    140002f68cdqe
    140002f6aadd rax, 15
    140002f6eand rax, -16
    140002f72call ___chkstk_ms
    140002f77sub rsp, rax
    140002f7alea r13, [rsp+32]
    140002f7ftest r12b, 128
    140002f83je 0x140002f96
    140002f85test rcx, rcx
    140002f88js 0x140003200
    140002f8eand r12b, 127
    140002f92mov [rbx+8], r12l
    140002f96
    140002f96loc_140002f96:
    140002f96mov rdi, r13
    140002f99test rcx, rcx
    140002f9cje 0x140003030
    140002fa2
    140002fa2loc_140002fa2:
    140002fa2mov r9, 0xcccccccccccccccd
    140002facmov r10l, r12l
    140002fafmov r8, r13
    140002fb2mov r11, 0x8000000000000003
    140002fbcand r10l, 4096
    140002fc3nop [rax+rax]
    140002fc8
    140002fc8loc_140002fc8:
    140002fc8mov rax, rcx
    140002fcblea rdi, [r8+1]
    140002fcfmul r9
    140002fd2mov rax, rcx
    140002fd5shr rdx, 3
    140002fd9lea r15, [rdx+4*rdx]
    140002fddadd r15, r15
    140002fe0sub rax, r15
    140002fe3add eax, 48
    140002fe6mov [r8], al
    140002fe9cmp rcx, 9
    140002fedjbe 0x140003030
    140002fefcmp r13, rdi
    140002ff2je 0x140003020
    140002ff4test r10l, r10l
    140002ff7je 0x140003020
    140002ff9cmp [rbx+32], 0
    140002ffeje 0x140003020
    140003000mov rax, rdi
    140003003sub rax, r13
    140003006and rax, r11
    140003009cmp rax, 3
    14000300djne 0x140003020
    14000300fmov [rdi], 44
    140003012lea rdi, [r8+2]
    140003016nop [rax+rax]
    140003020
    140003020loc_140003020:
    140003020mov rcx, rdx
    140003023mov r8, rdi
    140003026jmp 0x140002fc8
    140003028
    140003028 0f 1f 84 00 00 00 00 00 ........
    140003030
    140003030loc_140003030:
    140003030test r14l, r14l
    140003033jle 0x140003060
    140003035mov rax, rdi
    140003038mov r8l, r14l
    14000303bsub rax, r13
    14000303esub r8l, eax
    140003041test r8l, r8l
    140003044jle 0x1400031e0
    14000304amovsxd r15, r8l
    14000304dmov rcx, rdi
    140003050mov edx, 48
    140003055mov r8, r15
    140003058add rdi, r15
    14000305bcall memset
    140003060
    140003060loc_140003060:
    140003060cmp r13, rdi
    140003063jne 0x140003071
    140003065mov rax, rdi
    140003068test r14l, r14l
    14000306bjne 0x1400031ec
    140003071
    140003071loc_140003071:
    140003071test esi, esi
    140003073jle 0x1400030b0
    140003075mov rax, rdi
    140003078sub rax, r13
    14000307bsub esi, eax
    14000307dmov [rbx+12], esi
    140003080test esi, esi
    140003082jle 0x1400030b0
    140003084test r12l, 448
    14000308bjne 0x140003210
    140003091test r14l, r14l
    140003094js 0x14000321f
    14000309a
    14000309aloc_14000309a:
    14000309atest r12l, 1024
    1400030a1je 0x140003268
    1400030a7nop [rax+rax]
    1400030b0
    1400030b0loc_1400030b0:
    1400030b0test r12b, 128
    1400030b4je 0x140003190
    1400030bamov [rdi], 45
    1400030bdlea rsi, [rdi+1]
    1400030c1
    1400030c1loc_1400030c1:
    1400030c1cmp r13, rsi
    1400030c4jb 0x1400030e9
    1400030c6jmp 0x140003120
    1400030c8
    1400030c8 0f 1f 84 00 00 00 00 00 ........
    1400030d0
    1400030d0loc_1400030d0:
    1400030d0movsxd rax, [rbx+36]
    1400030d4mov [rdx+rax], cl
    1400030d7mov eax, [rbx+36]
    1400030da
    1400030daloc_1400030da:
    1400030daadd eax, 1
    1400030ddmov [rbx+36], eax
    1400030e0cmp r13, rsi
    1400030e3je 0x140003120
    1400030e5
    1400030e5loc_1400030e5:
    1400030e5mov r12l, [rbx+8]
    1400030e9
    1400030e9loc_1400030e9:
    1400030e9sub rsi, 1
    1400030edtest r12l, 16384
    1400030f4jne 0x1400030fe
    1400030f6mov eax, [rbx+36]
    1400030f9cmp [rbx+40], eax
    1400030fcjle 0x1400030da
    1400030fe
    1400030feloc_1400030fe:
    1400030feand r12l, 8192
    140003105movsx ecx, [rsi]
    140003108mov rdx, [rbx]
    14000310bje 0x1400030d0
    14000310dcall fputc
    140003112mov eax, [rbx+36]
    140003115add eax, 1
    140003118mov [rbx+36], eax
    14000311bcmp r13, rsi
    14000311ejne 0x1400030e5
    140003120
    140003120loc_140003120:
    140003120mov eax, [rbx+12]
    140003123jmp 0x14000313c
    140003125
    140003125 0f 1f 00 ...
    140003128
    140003128loc_140003128:
    140003128movsxd rax, [rbx+36]
    14000312cmov [rdx+rax], 32
    140003130mov edx, [rbx+36]
    140003133mov eax, [rbx+12]
    140003136
    140003136loc_140003136:
    140003136add edx, 1
    140003139mov [rbx+36], edx
    14000313c
    14000313cloc_14000313c:
    14000313cmov edx, eax
    14000313esub eax, 1
    140003141mov [rbx+12], eax
    140003144test edx, edx
    140003146jle 0x140003178
    140003148mov ecx, [rbx+8]
    14000314btest ch, 64
    14000314ejne 0x140003158
    140003150mov edx, [rbx+36]
    140003153cmp [rbx+40], edx
    140003156jle 0x140003136
    140003158
    140003158loc_140003158:
    140003158mov rdx, [rbx]
    14000315band ch, 32
    14000315eje 0x140003128
    140003160mov ecx, 32
    140003165call fputc
    14000316amov edx, [rbx+36]
    14000316dmov eax, [rbx+12]
    140003170jmp 0x140003136
    140003172
    140003172 66 0f 1f 44 00 00 f..D..
    140003178
    140003178loc_140003178:
    140003178lea rsp, [rbp+8]
    14000317cpop rbx
    14000317dpop rsi
    14000317epop rdi
    14000317fpop r12
    140003181pop r13
    140003183pop r14
    140003185pop r15
    140003187pop rbp
    140003188ret
    140003189
    140003189 0f 1f 80 00 00 00 00 .......
    140003190
    140003190loc_140003190:
    140003190test r12l, 256
    140003197je 0x1400031c0
    140003199mov [rdi], 43
    14000319clea rsi, [rdi+1]
    1400031a0jmp 0x1400030c1
    1400031a5
    1400031a5 0f 1f 00 ...
    1400031a8
    1400031a8loc_1400031a8:
    1400031a8mov edx, eax
    1400031aamov r8l, 0xffffffffaaaaaaab
    1400031b0imul rdx, r8
    1400031b4shr rdx, 33
    1400031b8add eax, edx
    1400031bajmp 0x140002f60
    1400031bf
    1400031bf 90 .
    1400031c0
    1400031c0loc_1400031c0:
    1400031c0mov rsi, rdi
    1400031c3test r12b, 64
    1400031c7je 0x1400030c1
    1400031cdmov [rdi], 32
    1400031d0add rsi, 1
    1400031d4jmp 0x1400030c1
    1400031d9
    1400031d9 0f 1f 80 00 00 00 00 .......
    1400031e0
    1400031e0loc_1400031e0:
    1400031e0cmp r13, rdi
    1400031e3jne 0x140003071
    1400031e9mov rax, r13
    1400031ec
    1400031ecloc_1400031ec:
    1400031ecmov [rax], 48
    1400031eflea rdi, [rax+1]
    1400031f3jmp 0x140003071
    1400031f8
    1400031f8 0f 1f 84 00 00 00 00 00 ........
    140003200
    140003200loc_140003200:
    140003200neg rcx
    140003203jmp 0x140002fa2
    140003208
    140003208 0f 1f 84 00 00 00 00 00 ........
    140003210
    140003210loc_140003210:
    140003210sub esi, 1
    140003213mov [rbx+12], esi
    140003216test r14l, r14l
    140003219jns 0x14000309a
    14000321f
    14000321floc_14000321f:
    14000321fmov eax, r12l
    140003222and eax, 1536
    140003227cmp eax, 512
    14000322cjne 0x14000309a
    140003232mov eax, [rbx+12]
    140003235lea edx, [rax-1]
    140003238mov [rbx+12], edx
    14000323btest eax, eax
    14000323djle 0x1400030b0
    140003243movsxd rsi, eax
    140003246mov rcx, rdi
    140003249mov edx, 48
    14000324emov r8, rsi
    140003251add rdi, rsi
    140003254call memset
    140003259mov [rbx+12], -1
    140003260jmp 0x1400030b0
    140003265
    140003265 0f 1f 00 ...
    140003268
    140003268loc_140003268:
    140003268mov eax, [rbx+12]
    14000326blea edx, [rax-1]
    14000326emov [rbx+12], edx
    140003271test eax, eax
    140003273jle 0x1400030b0
    140003279nop [rax]
    140003280
    140003280loc_140003280:
    140003280mov rdx, rbx
    140003283mov ecx, 32
    140003288call __pformat_putc
    14000328dmov eax, [rbx+12]
    140003290lea edx, [rax-1]
    140003293mov [rbx+12], edx
    140003296test eax, eax
    140003298jg 0x140003280
    14000329amov r12l, [rbx+8]
    14000329ejmp 0x1400030b0
    140002f20
    1400032a3
    1400032a3 // align 0x10
    1400032b0
    1400032b0__pformat_emit_radix_point:
    1400032b0push rbp
    1400032b1push r12
    1400032b3push rdi
    1400032b4push rsi
    1400032b5push rbx
    1400032b6sub rsp, 48
    1400032balea rbp, [rsp+48]
    1400032bfcmp [rcx+20], -3
    1400032c3mov rbx, rcx
    1400032c6je 0x1400033a0
    1400032ccmovzx edx, [rcx+24]
    1400032d0
    1400032d0loc_1400032d0:
    1400032d0test dx, dx
    1400032d3je 0x140003380
    1400032d9movsxd rax, [rbx+20]
    1400032ddmov rdi, rsp
    1400032e0add rax, 15
    1400032e4and rax, -16
    1400032e8call ___chkstk_ms
    1400032edsub rsp, rax
    1400032f0mov [rbp-8], 0
    1400032f8lea r8, [rbp-8]
    1400032fclea rsi, [rsp+32]
    140003301mov rcx, rsi
    140003304call wcrtomb
    140003309test eax, eax
    14000330bjle 0x1400033e0
    140003311sub eax, 1
    140003314lea r12, [rsi+rax+1]
    140003319jmp 0x140003335
    14000331b
    14000331b 0f 1f 44 00 00 ..D..
    140003320
    140003320loc_140003320:
    140003320movsxd rdx, [rbx+36]
    140003324mov [rax+rdx], cl
    140003327mov eax, [rbx+36]
    14000332a
    14000332aloc_14000332a:
    14000332aadd eax, 1
    14000332dmov [rbx+36], eax
    140003330cmp r12, rsi
    140003333je 0x14000336b
    140003335
    140003335loc_140003335:
    140003335mov edx, [rbx+8]
    140003338add rsi, 1
    14000333ctest dh, 64
    14000333fjne 0x140003349
    140003341mov eax, [rbx+36]
    140003344cmp [rbx+40], eax
    140003347jle 0x14000332a
    140003349
    140003349loc_140003349:
    140003349movsx ecx, [rsi-1]
    14000334dmov rax, [rbx]
    140003350and dh, 32
    140003353je 0x140003320
    140003355mov rdx, rax
    140003358call fputc
    14000335dmov eax, [rbx+36]
    140003360add eax, 1
    140003363mov [rbx+36], eax
    140003366cmp r12, rsi
    140003369jne 0x140003335
    14000336b
    14000336bloc_14000336b:
    14000336bmov rsp, rdi
    14000336e
    14000336eloc_14000336e:
    14000336emov rsp, rbp
    140003371pop rbx
    140003372pop rsi
    140003373pop rdi
    140003374pop r12
    140003376pop rbp
    140003377ret
    140003378
    140003378 0f 1f 84 00 00 00 00 00 ........
    140003380
    140003380loc_140003380:
    140003380mov rdx, rbx
    140003383mov ecx, 46
    140003388call __pformat_putc
    14000338dnop
    14000338emov rsp, rbp
    140003391pop rbx
    140003392pop rsi
    140003393pop rdi
    140003394pop r12
    140003396pop rbp
    140003397ret
    140003398
    140003398 0f 1f 84 00 00 00 00 00 ........
    1400033a0
    1400033a0loc_1400033a0:
    1400033a0mov [rbp-8], 0
    1400033a8lea rsi, [rbp-8]
    1400033accall localeconv
    1400033b1lea rcx, [rbp-10]
    1400033b5mov r9, rsi
    1400033b8mov r8l, 16
    1400033bemov rdx, [rax]
    1400033c1call mbrtowc
    1400033c6test eax, eax
    1400033c8jle 0x1400033f8
    1400033camovzx edx, [rbp-10]
    1400033cemov [rbx+24], dx
    1400033d2
    1400033d2loc_1400033d2:
    1400033d2mov [rbx+20], eax
    1400033d5jmp 0x1400032d0
    1400033da
    1400033da 66 0f 1f 44 00 00 f..D..
    1400033e0
    1400033e0loc_1400033e0:
    1400033e0mov rdx, rbx
    1400033e3mov ecx, 46
    1400033e8call __pformat_putc
    1400033edmov rsp, rdi
    1400033f0jmp 0x14000336e
    1400033f5
    1400033f5 0f 1f 00 ...
    1400033f8
    1400033f8loc_1400033f8:
    1400033f8movzx edx, [rbx+24]
    1400033fcjmp 0x1400033d2
    1400032b0
    1400033fe
    1400033fe // align 0x10
    140003400
    140003400__pformat_emit_float:
    140003400push rbp
    140003401push rdi
    140003402push rsi
    140003403push rbx
    140003404sub rsp, 40
    140003408mov ebp, ecx
    14000340amov rdi, rdx
    14000340dmov ecx, [r9+12]
    140003411mov esi, r8l
    140003414mov rbx, r9
    140003417test r8l, r8l
    14000341ajle 0x140003550
    140003420cmp r8l, ecx
    140003423jg 0x140003488
    140003425mov eax, [r9+16]
    140003429sub ecx, r8l
    14000342ccmp ecx, eax
    14000342ejle 0x140003770
    140003434
    140003434loc_140003434:
    140003434sub ecx, eax
    140003436mov [rbx+12], ecx
    140003439test eax, eax
    14000343bjle 0x140003688
    140003441
    140003441loc_140003441:
    140003441sub ecx, 1
    140003444mov [rbx+12], ecx
    140003447test esi, esi
    140003449jle 0x140003455
    14000344btest [rbx+9], 16
    14000344fjne 0x1400036a5
    140003455
    140003455loc_140003455:
    140003455test ecx, ecx
    140003457jle 0x14000349b
    140003459
    140003459loc_140003459:
    140003459test ebp, ebp
    14000345bjne 0x140003628
    140003461mov eax, [rbx+8]
    140003464test eax, 448
    140003469je 0x140003758
    14000346flea edx, [rcx-1]
    140003472mov [rbx+12], edx
    140003475test edx, edx
    140003477je 0x1400034a6
    140003479test ah, 6
    14000347cjne 0x1400034a6
    14000347ejmp 0x140003643
    140003483
    140003483 0f 1f 44 00 00 ..D..
    140003488
    140003488loc_140003488:
    140003488mov [r9+12], -1
    140003490test [r9+9], 16
    140003495jne 0x140003700
    14000349b
    14000349bloc_14000349b:
    14000349btest ebp, ebp
    14000349djne 0x140003580
    1400034a3
    1400034a3loc_1400034a3:
    1400034a3mov eax, [rbx+8]
    1400034a6
    1400034a6loc_1400034a6:
    1400034a6test ah, 1
    1400034a9jne 0x1400036b8
    1400034aftest al, 64
    1400034b1jne 0x1400037b0
    1400034b7
    1400034b7loc_1400034b7:
    1400034b7mov eax, [rbx+12]
    1400034batest eax, eax
    1400034bcjle 0x1400034d3
    1400034bemov edx, [rbx+8]
    1400034c1and edx, 1536
    1400034c7cmp edx, 512
    1400034cdje 0x1400036d0
    1400034d3
    1400034d3loc_1400034d3:
    1400034d3test esi, esi
    1400034d5jle 0x1400035e0
    1400034dbnop [rax+rax]
    1400034e0
    1400034e0loc_1400034e0:
    1400034e0movzx eax, [rdi]
    1400034e3mov ecx, 48
    1400034e8test al, al
    1400034eaje 0x1400034f3
    1400034ecadd rdi, 1
    1400034f0movsx ecx, al
    1400034f3
    1400034f3loc_1400034f3:
    1400034f3mov rdx, rbx
    1400034f6call __pformat_putc
    1400034fbsub esi, 1
    1400034feje 0x140003530
    140003500test [rbx+9], 16
    140003504je 0x1400034e0
    140003506cmp [rbx+32], 0
    14000350bje 0x1400034e0
    14000350dimul eax, esi, 0xffffffffaaaaaaab
    140003513cmp eax, 0x55555555
    140003518ja 0x1400034e0
    14000351alea rcx, [rbx+32]
    14000351emov r8, rbx
    140003521mov edx, 1
    140003526call __pformat_wputchars
    14000352bjmp 0x1400034e0
    14000352d
    14000352d 0f 1f 00 ...
    140003530
    140003530loc_140003530:
    140003530mov eax, [rbx+16]
    140003533test eax, eax
    140003535jg 0x140003598
    140003537test [rbx+9], 8
    14000353bjne 0x1400035f8
    140003541
    140003541loc_140003541:
    140003541sub eax, 1
    140003544mov [rbx+16], eax
    140003547add rsp, 40
    14000354bpop rbx
    14000354cpop rsi
    14000354dpop rdi
    14000354epop rbp
    14000354fret
    140003550
    140003550loc_140003550:
    140003550test ecx, ecx
    140003552jle 0x140003670
    140003558mov eax, [r9+16]
    14000355csub ecx, 1
    14000355fcmp ecx, eax
    140003561jg 0x140003434
    140003567
    140003567loc_140003567:
    140003567mov [rbx+12], -1
    14000356etest ebp, ebp
    140003570je 0x1400034a3
    140003576nop [rax+rax]
    140003580
    140003580loc_140003580:
    140003580mov rdx, rbx
    140003583mov ecx, 45
    140003588call __pformat_putc
    14000358djmp 0x1400034b7
    140003592
    140003592 66 0f 1f 44 00 00 f..D..
    140003598
    140003598loc_140003598:
    140003598mov rcx, rbx
    14000359bcall __pformat_emit_radix_point
    1400035a0jmp 0x1400035c3
    1400035a2
    1400035a2 66 0f 1f 44 00 00 f..D..
    1400035a8
    1400035a8loc_1400035a8:
    1400035a8movzx eax, [rdi]
    1400035abmov ecx, 48
    1400035b0test al, al
    1400035b2je 0x1400035bb
    1400035b4add rdi, 1
    1400035b8movsx ecx, al
    1400035bb
    1400035bbloc_1400035bb:
    1400035bbmov rdx, rbx
    1400035becall __pformat_putc
    1400035c3
    1400035c3loc_1400035c3:
    1400035c3mov eax, [rbx+16]
    1400035c6lea edx, [rax-1]
    1400035c9mov [rbx+16], edx
    1400035cctest eax, eax
    1400035cejg 0x1400035a8
    1400035d0add rsp, 40
    1400035d4pop rbx
    1400035d5pop rsi
    1400035d6pop rdi
    1400035d7pop rbp
    1400035d8ret
    1400035d9
    1400035d9 0f 1f 80 00 00 00 00 .......
    1400035e0
    1400035e0loc_1400035e0:
    1400035e0mov rdx, rbx
    1400035e3mov ecx, 48
    1400035e8call __pformat_putc
    1400035edmov eax, [rbx+16]
    1400035f0test eax, eax
    1400035f2jle 0x1400037c2
    1400035f8
    1400035f8loc_1400035f8:
    1400035f8mov rcx, rbx
    1400035fbcall __pformat_emit_radix_point
    140003600test esi, esi
    140003602je 0x1400035c3
    140003604mov eax, [rbx+16]
    140003607
    140003607loc_140003607:
    140003607add eax, esi
    140003609mov [rbx+16], eax
    14000360cnop [rax]
    140003610
    140003610loc_140003610:
    140003610mov rdx, rbx
    140003613mov ecx, 48
    140003618call __pformat_putc
    14000361dadd esi, 1
    140003620jne 0x140003610
    140003622jmp 0x1400035c3
    140003624
    140003624 0f 1f 40 00 ..@.
    140003628
    140003628loc_140003628:
    140003628lea eax, [rcx-1]
    14000362bmov [rbx+12], eax
    14000362etest eax, eax
    140003630je 0x140003580
    140003636test [rbx+8], 1536
    14000363djne 0x140003580
    140003643
    140003643loc_140003643:
    140003643sub ecx, 2
    140003646
    140003646loc_140003646:
    140003646mov [rbx+12], ecx
    140003649nop [rax]
    140003650
    140003650loc_140003650:
    140003650mov rdx, rbx
    140003653mov ecx, 32
    140003658call __pformat_putc
    14000365dmov eax, [rbx+12]
    140003660lea edx, [rax-1]
    140003663mov [rbx+12], edx
    140003666test eax, eax
    140003668jg 0x140003650
    14000366ajmp 0x14000349b
    14000366f
    14000366f 90 .
    140003670
    140003670loc_140003670:
    140003670jne 0x140003567
    140003676mov ecx, [r9+16]
    14000367atest ecx, ecx
    14000367cjns 0x140003567
    140003682neg ecx
    140003684mov [r9+12], ecx
    140003688
    140003688loc_140003688:
    140003688mov eax, [rbx+8]
    14000368btest ah, 8
    14000368ejne 0x140003441
    140003694test esi, esi
    140003696jle 0x140003459
    14000369ctest ah, 16
    14000369fje 0x140003459
    1400036a5
    1400036a5loc_1400036a5:
    1400036a5cmp [rbx+32], 0
    1400036aaje 0x140003455
    1400036b0jmp 0x140003792
    1400036b5
    1400036b5 0f 1f 00 ...
    1400036b8
    1400036b8loc_1400036b8:
    1400036b8mov rdx, rbx
    1400036bbmov ecx, 43
    1400036c0call __pformat_putc
    1400036c5jmp 0x1400034b7
    1400036ca
    1400036ca 66 0f 1f 44 00 00 f..D..
    1400036d0
    1400036d0loc_1400036d0:
    1400036d0sub eax, 1
    1400036d3mov [rbx+12], eax
    1400036d6nop [rax+rax]
    1400036e0
    1400036e0loc_1400036e0:
    1400036e0mov rdx, rbx
    1400036e3mov ecx, 48
    1400036e8call __pformat_putc
    1400036edmov eax, [rbx+12]
    1400036f0lea edx, [rax-1]
    1400036f3mov [rbx+12], edx
    1400036f6test eax, eax
    1400036f8jg 0x1400036e0
    1400036fajmp 0x1400034d3
    1400036ff
    1400036ff 90 .
    140003700
    140003700loc_140003700:
    140003700cmp [r9+32], 0
    140003706je 0x14000349b
    14000370clea eax, [r8+2]
    140003710mov edx, 0xffffffffaaaaaaab
    140003715mov ecx, -1
    14000371aimul rax, rdx
    14000371eshr rax, 33
    140003722cmp eax, 1
    140003725je 0x14000349b
    14000372b
    14000372bloc_14000372b:
    14000372bsub eax, 1
    14000372esub eax, ecx
    140003730jmp 0x140003748
    140003732
    140003732 66 0f 1f 44 00 00 f..D..
    140003738
    140003738loc_140003738:
    140003738sub ecx, 1
    14000373bmov edx, eax
    14000373dadd edx, ecx
    14000373fmov [rbx+12], ecx
    140003742je 0x140003455
    140003748
    140003748loc_140003748:
    140003748test ecx, ecx
    14000374ajg 0x140003738
    14000374cjmp 0x14000349b
    140003751
    140003751 0f 1f 80 00 00 00 00 .......
    140003758
    140003758loc_140003758:
    140003758sub ecx, 1
    14000375btest ah, 6
    14000375eje 0x140003646
    140003764jmp 0x1400034a6
    140003769
    140003769 0f 1f 80 00 00 00 00 .......
    140003770
    140003770loc_140003770:
    140003770mov [r9+12], -1
    140003778test [r9+9], 16
    14000377dje 0x14000349b
    140003783cmp [r9+32], 0
    140003789je 0x14000349b
    14000378for ecx, -1
    140003792
    140003792loc_140003792:
    140003792lea eax, [rsi+2]
    140003795mov r8l, 3
    14000379bcdq
    14000379cidiv r8l
    14000379fcmp eax, 1
    1400037a2jne 0x14000372b
    1400037a4jmp 0x140003455
    1400037a9
    1400037a9 0f 1f 80 00 00 00 00 .......
    1400037b0
    1400037b0loc_1400037b0:
    1400037b0mov rdx, rbx
    1400037b3mov ecx, 32
    1400037b8call __pformat_putc
    1400037bdjmp 0x1400034b7
    1400037c2
    1400037c2loc_1400037c2:
    1400037c2test [rbx+9], 8
    1400037c6jne 0x1400035f8
    1400037cctest esi, esi
    1400037cejne 0x140003607
    1400037d4jmp 0x140003541
    140003400
    1400037d9
    1400037d9 // align 0x10
    1400037e0
    1400037e0__pformat_emit_efloat:
    1400037e0push rdi
    1400037e1push rsi
    1400037e2push rbx
    1400037e3sub rsp, 32
    1400037e7mov r10l, 1
    1400037edsub r8l, 1
    1400037f1mov r11l, ecx
    1400037f4mov rbx, r9
    1400037f7movsxd rsi, r8l
    1400037fasar r8l, 31
    1400037feimul rcx, rsi, 0x66666667
    140003805sar rcx, 34
    140003809sub ecx, r8l
    14000380cje 0x14000382b
    14000380enop
    140003810
    140003810loc_140003810:
    140003810movsxd rax, ecx
    140003813sar ecx, 31
    140003816add r10l, 1
    14000381aimul rax, rax, 0x66666667
    140003821sar rax, 34
    140003825sub eax, ecx
    140003827mov ecx, eax
    140003829jne 0x140003810
    14000382b
    14000382bloc_14000382b:
    14000382bmov eax, [rbx+44]
    14000382ecmp eax, -1
    140003831jne 0x14000383f
    140003833mov [rbx+44], 2
    14000383amov eax, 2
    14000383f
    14000383floc_14000383f:
    14000383fcmp eax, r10l
    140003842mov edi, r10l
    140003845mov r8l, [rbx+12]
    140003849mov r9, rbx
    14000384ccmovge edi, eax
    14000384fmov eax, r8l
    140003852lea ecx, [rdi+2]
    140003855sub eax, ecx
    140003857cmp r8l, ecx
    14000385amov ecx, -1
    14000385fmov r8l, 1
    140003865cmovle eax, ecx
    140003868mov ecx, r11l
    14000386bmov [rbx+12], eax
    14000386ecall __pformat_emit_float
    140003873mov ecx, [rbx+8]
    140003876mov eax, [rbx+44]
    140003879mov rdx, rbx
    14000387cmov [rbx+16], eax
    14000387fmov eax, ecx
    140003881and ecx, 32
    140003884or eax, 448
    140003889or ecx, 69
    14000388cmov [rbx+8], eax
    14000388fcall __pformat_putc
    140003894lea eax, [rdi+1]
    140003897add [rbx+12], eax
    14000389amov rdx, rbx
    14000389dmov rcx, rsi
    1400038a0add rsp, 32
    1400038a4pop rbx
    1400038a5pop rsi
    1400038a6pop rdi
    1400038a7jmp 0x140002f20
    1400037e0
    1400038ac
    1400038ac // align 0x10
    1400038b0
    1400038b0__pformat_efloat:
    1400038b0push rsi
    1400038b1push rbx
    1400038b2sub rsp, 88
    1400038b6mov r8l, [rdx+16]
    1400038bafld [rcx]
    1400038bcmov rbx, rdx
    1400038bftest r8l, r8l
    1400038c2js 0x140003920
    1400038c4add r8l, 1
    1400038c8
    1400038c8loc_1400038c8:
    1400038c8lea rax, [rsp+72]
    1400038cdlea rdx, [rsp+48]
    1400038d2mov ecx, 2
    1400038d7fstp [rsp+48]
    1400038dblea r9, [rsp+76]
    1400038e0mov [rsp+32], rax
    1400038e5call __pformat_cvt
    1400038eamov r8l, [rsp+76]
    1400038efmov rsi, rax
    1400038f2cmp r8l, -32768
    1400038f9je 0x140003930
    1400038fbmov ecx, [rsp+72]
    1400038ffmov r9, rbx
    140003902mov rdx, rax
    140003905call __pformat_emit_efloat
    14000390amov rcx, rsi
    14000390dcall __freedtoa
    140003912nop
    140003913add rsp, 88
    140003917pop rbx
    140003918pop rsi
    140003919ret
    14000391a
    14000391a 66 0f 1f 44 00 00 f..D..
    140003920
    140003920loc_140003920:
    140003920mov [rdx+16], 6
    140003927mov r8l, 7
    14000392djmp 0x1400038c8
    14000392f
    14000392f 90 .
    140003930
    140003930loc_140003930:
    140003930mov ecx, [rsp+72]
    140003934mov r8, rbx
    140003937mov rdx, rax
    14000393acall __pformat_emit_inf_or_nan
    14000393fmov rcx, rsi
    140003942call __freedtoa
    140003947nop
    140003948add rsp, 88
    14000394cpop rbx
    14000394dpop rsi
    14000394eret
    1400038b0
    14000394f
    14000394f // align 0x10
    140003950
    140003950__pformat_float:
    140003950push rsi
    140003951push rbx
    140003952sub rsp, 88
    140003956mov r8l, [rdx+16]
    14000395afld [rcx]
    14000395cmov rbx, rdx
    14000395ftest r8l, r8l
    140003962jns 0x140003971
    140003964mov [rdx+16], 6
    14000396bmov r8l, 6
    140003971
    140003971loc_140003971:
    140003971lea rax, [rsp+72]
    140003976lea rdx, [rsp+48]
    14000397bmov ecx, 3
    140003980fstp [rsp+48]
    140003984lea r9, [rsp+76]
    140003989mov [rsp+32], rax
    14000398ecall __pformat_cvt
    140003993mov r8l, [rsp+76]
    140003998mov rsi, rax
    14000399bcmp r8l, -32768
    1400039a2je 0x140003a10
    1400039a4mov ecx, [rsp+72]
    1400039a8mov rdx, rax
    1400039abmov r9, rbx
    1400039aecall __pformat_emit_float
    1400039b3mov eax, [rbx+12]
    1400039b6jmp 0x1400039d4
    1400039b8
    1400039b8 0f 1f 84 00 00 00 00 00 ........
    1400039c0
    1400039c0loc_1400039c0:
    1400039c0movsxd rax, [rbx+36]
    1400039c4mov [rdx+rax], 32
    1400039c8mov edx, [rbx+36]
    1400039cbmov eax, [rbx+12]
    1400039ce
    1400039celoc_1400039ce:
    1400039ceadd edx, 1
    1400039d1mov [rbx+36], edx
    1400039d4
    1400039d4loc_1400039d4:
    1400039d4mov edx, eax
    1400039d6sub eax, 1
    1400039d9mov [rbx+12], eax
    1400039dctest edx, edx
    1400039dejle 0x140003a1f
    1400039e0mov ecx, [rbx+8]
    1400039e3test ch, 64
    1400039e6jne 0x1400039f0
    1400039e8mov edx, [rbx+36]
    1400039ebcmp [rbx+40], edx
    1400039eejle 0x1400039ce
    1400039f0
    1400039f0loc_1400039f0:
    1400039f0mov rdx, [rbx]
    1400039f3and ch, 32
    1400039f6je 0x1400039c0
    1400039f8mov ecx, 32
    1400039fdcall fputc
    140003a02mov edx, [rbx+36]
    140003a05mov eax, [rbx+12]
    140003a08jmp 0x1400039ce
    140003a0a
    140003a0a 66 0f 1f 44 00 00 f..D..
    140003a10
    140003a10loc_140003a10:
    140003a10mov ecx, [rsp+72]
    140003a14mov r8, rbx
    140003a17mov rdx, rax
    140003a1acall __pformat_emit_inf_or_nan
    140003a1f
    140003a1floc_140003a1f:
    140003a1fmov rcx, rsi
    140003a22call __freedtoa
    140003a27nop
    140003a28add rsp, 88
    140003a2cpop rbx
    140003a2dpop rsi
    140003a2eret
    140003950
    140003a2f
    140003a2f // align 0x10
    140003a30
    140003a30__pformat_gfloat:
    140003a30push rdi
    140003a31push rsi
    140003a32push rbx
    140003a33sub rsp, 80
    140003a37mov r8l, [rdx+16]
    140003a3bfld [rcx]
    140003a3dmov rbx, rdx
    140003a40test r8l, r8l
    140003a43js 0x140003b48
    140003a49je 0x140003b30
    140003a4f
    140003a4floc_140003a4f:
    140003a4flea rax, [rsp+72]
    140003a54lea rdx, [rsp+48]
    140003a59mov ecx, 2
    140003a5efstp [rsp+48]
    140003a62lea r9, [rsp+76]
    140003a67mov [rsp+32], rax
    140003a6ccall __pformat_cvt
    140003a71mov edi, [rsp+76]
    140003a75mov rsi, rax
    140003a78cmp edi, -32768
    140003a7eje 0x140003b60
    140003a84mov eax, [rbx+8]
    140003a87and eax, 2048
    140003a8ccmp edi, -3
    140003a8fjl 0x140003af0
    140003a91mov edx, [rbx+16]
    140003a94cmp edi, edx
    140003a96jg 0x140003af0
    140003a98test eax, eax
    140003a9aje 0x140003b80
    140003aa0sub edx, edi
    140003aa2mov [rbx+16], edx
    140003aa5
    140003aa5loc_140003aa5:
    140003aa5mov ecx, [rsp+72]
    140003aa9mov r9, rbx
    140003aacmov r8l, edi
    140003aafmov rdx, rsi
    140003ab2call __pformat_emit_float
    140003ab7jmp 0x140003acd
    140003ab9
    140003ab9 0f 1f 80 00 00 00 00 .......
    140003ac0
    140003ac0loc_140003ac0:
    140003ac0mov rdx, rbx
    140003ac3mov ecx, 32
    140003ac8call __pformat_putc
    140003acd
    140003acdloc_140003acd:
    140003acdmov eax, [rbx+12]
    140003ad0lea edx, [rax-1]
    140003ad3mov [rbx+12], edx
    140003ad6test eax, eax
    140003ad8jg 0x140003ac0
    140003adamov rcx, rsi
    140003addcall __freedtoa
    140003ae2nop
    140003ae3add rsp, 80
    140003ae7pop rbx
    140003ae8pop rsi
    140003ae9pop rdi
    140003aearet
    140003aeb
    140003aeb 0f 1f 44 00 00 ..D..
    140003af0
    140003af0loc_140003af0:
    140003af0test eax, eax
    140003af2jne 0x140003b28
    140003af4mov rcx, rsi
    140003af7call strlen
    140003afcsub eax, 1
    140003aff
    140003affloc_140003aff:
    140003affmov [rbx+16], eax
    140003b02mov ecx, [rsp+72]
    140003b06mov r9, rbx
    140003b09mov r8l, edi
    140003b0cmov rdx, rsi
    140003b0fcall __pformat_emit_efloat
    140003b14mov rcx, rsi
    140003b17call __freedtoa
    140003b1cnop
    140003b1dadd rsp, 80
    140003b21pop rbx
    140003b22pop rsi
    140003b23pop rdi
    140003b24ret
    140003b25
    140003b25 0f 1f 00 ...
    140003b28
    140003b28loc_140003b28:
    140003b28mov eax, [rbx+16]
    140003b2bsub eax, 1
    140003b2ejmp 0x140003aff
    140003b30
    140003b30loc_140003b30:
    140003b30mov [rdx+16], 1
    140003b37mov r8l, 1
    140003b3djmp 0x140003a4f
    140003b42
    140003b42 66 0f 1f 44 00 00 f..D..
    140003b48
    140003b48loc_140003b48:
    140003b48mov [rdx+16], 6
    140003b4fmov r8l, 6
    140003b55jmp 0x140003a4f
    140003b5a
    140003b5a 66 0f 1f 44 00 00 f..D..
    140003b60
    140003b60loc_140003b60:
    140003b60mov ecx, [rsp+72]
    140003b64mov r8, rbx
    140003b67mov rdx, rax
    140003b6acall __pformat_emit_inf_or_nan
    140003b6fmov rcx, rsi
    140003b72call __freedtoa
    140003b77nop
    140003b78add rsp, 80
    140003b7cpop rbx
    140003b7dpop rsi
    140003b7epop rdi
    140003b7fret
    140003b80
    140003b80loc_140003b80:
    140003b80mov rcx, rsi
    140003b83call strlen
    140003b88sub eax, edi
    140003b8amov [rbx+16], eax
    140003b8djns 0x140003aa5
    140003b93mov edx, [rbx+12]
    140003b96test edx, edx
    140003b98jle 0x140003aa5
    140003b9eadd eax, edx
    140003ba0mov [rbx+12], eax
    140003ba3jmp 0x140003aa5
    140003a30
    140003ba8
    140003ba8 // align 0x10
    140003bb0
    140003bb0__pformat_emit_xfloat.isra.0:
    140003bb0push r13
    140003bb2push r12
    140003bb4push rbp
    140003bb5push rdi
    140003bb6push rsi
    140003bb7push rbx
    140003bb8sub rsp, 88
    140003bbcmov r10l, [r8+16]
    140003bc0mov r9, rcx
    140003bc3mov rbx, r8
    140003bc6test dx, dx
    140003bc9jne 0x140003bd4
    140003bcbtest rcx, rcx
    140003bceje 0x140003c78
    140003bd4
    140003bd4loc_140003bd4:
    140003bd4lea r8l, [rdx-3]
    140003bd8cmp r10l, 14
    140003bdcjbe 0x140003c85
    140003be2movsx rbp, r8w
    140003be6mov edx, 16
    140003bebtest r9, r9
    140003beeje 0x140003fe0
    140003bf4
    140003bf4loc_140003bf4:
    140003bf4mov ecx, [rbx+8]
    140003bf7lea rdi, [rsp+48]
    140003bfcmov rsi, rdi
    140003bffmov r11l, ecx
    140003c02mov r12l, ecx
    140003c05and r11l, 32
    140003c09and r12l, 2048
    140003c10jmp 0x140003c3f
    140003c12
    140003c12 66 0f 1f 44 00 00 f..D..
    140003c18
    140003c18loc_140003c18:
    140003c18cmp rdi, r10
    140003c1bjb 0x140003c28
    140003c1dmov esi, [rbx+16]
    140003c20test esi, esi
    140003c22js 0x140003f90
    140003c28
    140003c28loc_140003c28:
    140003c28add eax, 48
    140003c2b
    140003c2bloc_140003c2b:
    140003c2bmov [r10], al
    140003c2elea rsi, [r10+1]
    140003c32
    140003c32loc_140003c32:
    140003c32shr r9, 4
    140003c36sub edx, 1
    140003c39je 0x140003e20
    140003c3f
    140003c3floc_140003c3f:
    140003c3fmov eax, r9l
    140003c42and eax, 15
    140003c45cmp edx, 1
    140003c48je 0x140003de0
    140003c4emov r10l, [rbx+16]
    140003c52test r10l, r10l
    140003c55jle 0x140003c5f
    140003c57sub r10l, 1
    140003c5bmov [rbx+16], r10l
    140003c5f
    140003c5floc_140003c5f:
    140003c5fmov r10, rsi
    140003c62
    140003c62loc_140003c62:
    140003c62test eax, eax
    140003c64je 0x140003c18
    140003c66
    140003c66loc_140003c66:
    140003c66cmp eax, 9
    140003c69jbe 0x140003c28
    140003c6badd eax, 55
    140003c6eor eax, r11l
    140003c71jmp 0x140003c2b
    140003c73
    140003c73 0f 1f 44 00 00 ..D..
    140003c78
    140003c78loc_140003c78:
    140003c78cmp r10l, 14
    140003c7cja 0x140003fc8
    140003c82xor r8l, r8l
    140003c85
    140003c85loc_140003c85:
    140003c85mov ecx, 14
    140003c8amov eax, 4
    140003c8fshr r9, 1
    140003c92sub ecx, r10l
    140003c95shl ecx, 2
    140003c98shl rax, cl
    140003c9bmov ecx, 15
    140003ca0sub ecx, r10l
    140003ca3shl ecx, 2
    140003ca6add rax, r9
    140003ca9js 0x140003dc0
    140003cafadd rax, rax
    140003cb2shr rax, cl
    140003cb5mov r9, rax
    140003cb8test rax, rax
    140003cbbjne 0x140003dce
    140003cc1test r10l, r10l
    140003cc4jne 0x140003dce
    140003ccamov ecx, [rbx+8]
    140003ccdmovsx rbp, r8w
    140003cd1lea rdi, [rsp+48]
    140003cd6
    140003cd6loc_140003cd6:
    140003cd6mov rax, rdi
    140003cd9test ch, 8
    140003cdcje 0x140003ce8
    140003cde
    140003cdeloc_140003cde:
    140003cdemov [rsp+48], 46
    140003ce3lea rax, [rsp+49]
    140003ce8
    140003ce8loc_140003ce8:
    140003ce8mov r10l, [rbx+12]
    140003cecmov [rax], 48
    140003ceflea rsi, [rax+1]
    140003cf3mov r12l, 2
    140003cf9test r10l, r10l
    140003cfcjg 0x140003e3c
    140003d02
    140003d02loc_140003d02:
    140003d02test cl, 128
    140003d05jne 0x140003f00
    140003d0b
    140003d0bloc_140003d0b:
    140003d0btest ch, 1
    140003d0ejne 0x140003fb0
    140003d14and ecx, 64
    140003d17jne 0x140004000
    140003d1d
    140003d1dloc_140003d1d:
    140003d1dmov rdx, rbx
    140003d20mov ecx, 48
    140003d25call __pformat_putc
    140003d2amov ecx, [rbx+8]
    140003d2dmov rdx, rbx
    140003d30and ecx, 32
    140003d33or ecx, 88
    140003d36call __pformat_putc
    140003d3bmov eax, [rbx+12]
    140003d3etest eax, eax
    140003d40jle 0x140003d6a
    140003d42test [rbx+9], 2
    140003d46je 0x140003d6a
    140003d48sub eax, 1
    140003d4bmov [rbx+12], eax
    140003d4enop
    140003d50
    140003d50loc_140003d50:
    140003d50mov rdx, rbx
    140003d53mov ecx, 48
    140003d58call __pformat_putc
    140003d5dmov eax, [rbx+12]
    140003d60lea edx, [rax-1]
    140003d63mov [rbx+12], edx
    140003d66test eax, eax
    140003d68jg 0x140003d50
    140003d6a
    140003d6aloc_140003d6a:
    140003d6alea r13, [rsp+46]
    140003d6fcmp rdi, rsi
    140003d72jb 0x140003d9b
    140003d74jmp 0x140003f25
    140003d79
    140003d79 0f 1f 80 00 00 00 00 .......
    140003d80
    140003d80loc_140003d80:
    140003d80movzx eax, [rbx+32]
    140003d84mov [rsp+46], ax
    140003d89test ax, ax
    140003d8cjne 0x140003f78
    140003d92
    140003d92loc_140003d92:
    140003d92cmp rsi, rdi
    140003d95je 0x140003f25
    140003d9b
    140003d9bloc_140003d9b:
    140003d9bmovsx ecx, [rsi-1]
    140003d9fsub rsi, 1
    140003da3cmp ecx, 46
    140003da6je 0x140003f68
    140003daccmp ecx, 44
    140003dafje 0x140003d80
    140003db1mov rdx, rbx
    140003db4call __pformat_putc
    140003db9jmp 0x140003d92
    140003dbb
    140003dbb 0f 1f 44 00 00 ..D..
    140003dc0
    140003dc0loc_140003dc0:
    140003dc0shr rax, 3
    140003dc4add r8l, 4
    140003dc8shr rax, cl
    140003dcbmov r9, rax
    140003dce
    140003dceloc_140003dce:
    140003dcelea edx, [r10+1]
    140003dd2movsx rbp, r8w
    140003dd6jmp 0x140003bf4
    140003ddb
    140003ddb 0f 1f 44 00 00 ..D..
    140003de0
    140003de0loc_140003de0:
    140003de0cmp rdi, rsi
    140003de3jb 0x140003df8
    140003de5test r12l, r12l
    140003de8jne 0x140003df8
    140003deamov r10l, [rbx+16]
    140003deetest r10l, r10l
    140003df1jle 0x140003e08
    140003df3nop [rax+rax]
    140003df8
    140003df8loc_140003df8:
    140003df8mov [rsi], 46
    140003dfblea r10, [rsi+1]
    140003dffjmp 0x140003c62
    140003e04
    140003e04 0f 1f 40 00 ..@.
    140003e08
    140003e08loc_140003e08:
    140003e08test eax, eax
    140003e0ajne 0x140004030
    140003e10test r10l, r10l
    140003e13jne 0x140003e20
    140003e15mov [rsi], 48
    140003e18add rsi, 1
    140003e1cnop [rax]
    140003e20
    140003e20loc_140003e20:
    140003e20cmp rsi, rdi
    140003e23je 0x140004018
    140003e29mov r10l, [rbx+12]
    140003e2dmov r12l, 2
    140003e33test r10l, r10l
    140003e36jle 0x140003d02
    140003e3c
    140003e3cloc_140003e3c:
    140003e3cmov edx, [rbx+16]
    140003e3fmov r9, rsi
    140003e42movsx eax, r8w
    140003e46sub r9, rdi
    140003e49lea r11l, [rdx+r9]
    140003e4dtest edx, edx
    140003e4fmov edx, ecx
    140003e51cmovg r9l, r11l
    140003e55and edx, 448
    140003e5bcmp edx, 1
    140003e5emovsx rdx, r8w
    140003e62sbb r9l, -6
    140003e66imul rdx, rdx, 0x66666667
    140003e6dsar eax, 31
    140003e70mov r11l, r9l
    140003e73sar rdx, 34
    140003e77sub edx, eax
    140003e79je 0x140003ea9
    140003e7bnop [rax+rax]
    140003e80
    140003e80loc_140003e80:
    140003e80movsxd rax, edx
    140003e83sar edx, 31
    140003e86add r11l, 1
    140003e8aimul rax, rax, 0x66666667
    140003e91sar rax, 34
    140003e95sub eax, edx
    140003e97mov edx, eax
    140003e99jne 0x140003e80
    140003e9bmov r12l, r11l
    140003e9esub r12l, r9l
    140003ea1add r12l, 2
    140003ea5movsx r12l, r12w
    140003ea9
    140003ea9loc_140003ea9:
    140003ea9cmp r10l, r11l
    140003eacjle 0x140003fa0
    140003eb2sub r10l, r11l
    140003eb5test ch, 6
    140003eb8jne 0x140003fa6
    140003ebesub r10l, 1
    140003ec2mov [rbx+12], r10l
    140003ec6nop [rax+rax]
    140003ed0
    140003ed0loc_140003ed0:
    140003ed0mov rdx, rbx
    140003ed3mov ecx, 32
    140003ed8call __pformat_putc
    140003eddmov eax, [rbx+12]
    140003ee0lea edx, [rax-1]
    140003ee3mov [rbx+12], edx
    140003ee6test eax, eax
    140003ee8jg 0x140003ed0
    140003eeamov ecx, [rbx+8]
    140003eedtest cl, 128
    140003ef0je 0x140003d0b
    140003ef6nop [rax+rax]
    140003f00
    140003f00loc_140003f00:
    140003f00mov rdx, rbx
    140003f03mov ecx, 45
    140003f08call __pformat_putc
    140003f0djmp 0x140003d1d
    140003f12
    140003f12 66 0f 1f 44 00 00 f..D..
    140003f18
    140003f18loc_140003f18:
    140003f18mov rdx, rbx
    140003f1bmov ecx, 48
    140003f20call __pformat_putc
    140003f25
    140003f25loc_140003f25:
    140003f25mov eax, [rbx+16]
    140003f28lea edx, [rax-1]
    140003f2bmov [rbx+16], edx
    140003f2etest eax, eax
    140003f30jg 0x140003f18
    140003f32mov ecx, [rbx+8]
    140003f35mov rdx, rbx
    140003f38and ecx, 32
    140003f3bor ecx, 80
    140003f3ecall __pformat_putc
    140003f43add [rbx+12], r12l
    140003f47mov rdx, rbx
    140003f4amov rcx, rbp
    140003f4dor [rbx+8], 448
    140003f54add rsp, 88
    140003f58pop rbx
    140003f59pop rsi
    140003f5apop rdi
    140003f5bpop rbp
    140003f5cpop r12
    140003f5epop r13
    140003f60jmp 0x140002f20
    140003f65
    140003f65 0f 1f 00 ...
    140003f68
    140003f68loc_140003f68:
    140003f68mov rcx, rbx
    140003f6bcall __pformat_emit_radix_point
    140003f70jmp 0x140003d92
    140003f75
    140003f75 0f 1f 00 ...
    140003f78
    140003f78loc_140003f78:
    140003f78mov r8, rbx
    140003f7bmov edx, 1
    140003f80mov rcx, r13
    140003f83call __pformat_wputchars
    140003f88jmp 0x140003d92
    140003f8d
    140003f8d 0f 1f 00 ...
    140003f90
    140003f90loc_140003f90:
    140003f90mov rsi, r10
    140003f93jmp 0x140003c32
    140003f98
    140003f98 0f 1f 84 00 00 00 00 00 ........
    140003fa0
    140003fa0loc_140003fa0:
    140003fa0mov r10l, -1
    140003fa6
    140003fa6loc_140003fa6:
    140003fa6mov [rbx+12], r10l
    140003faajmp 0x140003d02
    140003faf
    140003faf 90 .
    140003fb0
    140003fb0loc_140003fb0:
    140003fb0mov rdx, rbx
    140003fb3mov ecx, 43
    140003fb8call __pformat_putc
    140003fbdjmp 0x140003d1d
    140003fc2
    140003fc2 66 0f 1f 44 00 00 f..D..
    140003fc8
    140003fc8loc_140003fc8:
    140003fc8test r10l, r10l
    140003fcbjle 0x140004038
    140003fcdxor ebp, ebp
    140003fcfxor r8l, r8l
    140003fd2mov edx, 16
    140003fd7xor r9l, r9l
    140003fdajmp 0x140003bf4
    140003fdf
    140003fdf 90 .
    140003fe0
    140003fe0loc_140003fe0:
    140003fe0test r10l, r10l
    140003fe3jg 0x140003bf4
    140003fe9mov ecx, [rbx+8]
    140003feclea rdi, [rsp+48]
    140003ff1jmp 0x140003cd6
    140003ff6
    140003ff6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    140004000
    140004000loc_140004000:
    140004000mov rdx, rbx
    140004003mov ecx, 32
    140004008call __pformat_putc
    14000400djmp 0x140003d1d
    140004012
    140004012 66 0f 1f 44 00 00 f..D..
    140004018
    140004018loc_140004018:
    140004018mov eax, [rbx+16]
    14000401btest eax, eax
    14000401djg 0x140003cde
    140004023jmp 0x140003cd6
    140004028
    140004028 0f 1f 84 00 00 00 00 00 ........
    140004030
    140004030loc_140004030:
    140004030mov r10, rsi
    140004033jmp 0x140003c66
    140004038
    140004038loc_140004038:
    140004038mov ecx, [r8+8]
    14000403cxor ebp, ebp
    14000403exor r8l, r8l
    140004041lea rdi, [rsp+48]
    140004046jmp 0x140003cd6
    140003bb0
    14000404b
    14000404b // align 0x10
    140004050
    140004050__mingw_pformat:
    140004050push r15
    140004052push r14
    140004054push r13
    140004056push r12
    140004058push rbp
    140004059push rdi
    14000405apush rsi
    14000405bpush rbx
    14000405csub rsp, 168
    140004063mov r13, [rsp+272]
    14000406bmov edi, ecx
    14000406dmov rbp, rdx
    140004070mov ebx, r8l
    140004073mov rsi, r9
    140004076call _errno
    14000407bmovsx ecx, [rsi]
    14000407eand edi, 24576
    140004084xor edx, edx
    140004086mov eax, [rax]
    140004088mov [rsp+152], ebx
    14000408flea rbx, [rsi+1]
    140004093mov [rsp+112], rbp
    140004098mov [rsp+48], eax
    14000409cmov rax, 0xfffffffdffffffff
    1400040a6mov [rsp+128], rax
    1400040aexor eax, eax
    1400040b0mov [rsp+136], ax
    1400040b8mov eax, ecx
    1400040bamov [rsp+120], edi
    1400040bemov [rsp+124], -1
    1400040c6mov [rsp+140], 0
    1400040d1mov [rsp+144], dx
    1400040d9mov [rsp+148], 0
    1400040e4mov [rsp+156], -1
    1400040eftest ecx, ecx
    1400040f1je 0x140004207
    1400040f7lea r15, [rsp+124]
    1400040fclea r12, [rip+0x27eed]
    140004103jmp 0x14000414e
    140004105nop [rax]
    140004108
    140004108loc_140004108:
    140004108mov edx, [rsp+120]
    14000410cmov esi, [rsp+148]
    140004113test dh, 64
    140004116jne 0x140004121
    140004118cmp [rsp+152], esi
    14000411fjle 0x140004132
    140004121
    140004121loc_140004121:
    140004121mov r8, [rsp+112]
    140004126and dh, 32
    140004129jne 0x140004198
    14000412bmovsxd rdx, esi
    14000412emov [r8+rdx], al
    140004132
    140004132loc_140004132:
    140004132add esi, 1
    140004135mov [rsp+148], esi
    14000413c
    14000413cloc_14000413c:
    14000413cmovzx eax, [rbx]
    14000413fadd rbx, 1
    140004143movsx ecx, al
    140004146test ecx, ecx
    140004148je 0x140004200
    14000414e
    14000414eloc_14000414e:
    14000414ecmp ecx, 37
    140004151jne 0x140004108
    140004153movzx eax, [rbx]
    140004156mov [rsp+120], edi
    14000415amov [rsp+124], -1
    140004163test al, al
    140004165je 0x140004200
    14000416bmov rsi, rbx
    14000416emov r11, r15
    140004171xor r10l, r10l
    140004174xor r14l, r14l
    140004177
    140004177loc_140004177:
    140004177lea edx, [rax-32]
    14000417alea rbp, [rsi+1]
    14000417emovsx ecx, al
    140004181cmp dl, 90
    140004184ja 0x1400041a8
    140004186movzx edx, dl
    140004189movsxd rdx, [r12+4*rdx]
    14000418dadd rdx, r12
    140004190jmp rdx
    140004192nop [rax+rax]
    140004198
    140004198loc_140004198:
    140004198mov rdx, r8
    14000419bcall fputc
    1400041a0jmp 0x140004132
    1400041a2nop [rax+rax]
    1400041a8
    1400041a8loc_1400041a8:
    1400041a8sub eax, 48
    1400041abcmp al, 9
    1400041adja 0x1400043c7
    1400041b3cmp r14l, 3
    1400041b7ja 0x1400043c7
    1400041bdtest r14l, r14l
    1400041c0jne 0x140004909
    1400041c6mov r14l, 1
    1400041cc
    1400041ccloc_1400041cc:
    1400041cctest r11, r11
    1400041cfje 0x1400041f0
    1400041d1mov eax, [r11]
    1400041d4test eax, eax
    1400041d6js 0x1400049c2
    1400041dclea eax, [rax+4*rax]
    1400041dflea eax, [rcx+2*rax-48]
    1400041e3mov [r11], eax
    1400041e6nop [rax+rax]
    1400041f0
    1400041f0loc_1400041f0:
    1400041f0movzx eax, [rsi+1]
    1400041f4mov rsi, rbp
    1400041f7
    1400041f7loc_1400041f7:
    1400041f7test al, al
    1400041f9jne 0x140004177
    1400041ffnop
    140004200
    140004200loc_140004200:
    140004200mov ecx, [rsp+148]
    140004207
    140004207loc_140004207:
    140004207mov eax, ecx
    140004209add rsp, 168
    140004210pop rbx
    140004211pop rsi
    140004212pop rdi
    140004213pop rbp
    140004214pop r12
    140004216pop r13
    140004218pop r14
    14000421apop r15
    14000421cret
    14000421dnop [rax]
    140004220and [rsp+120], -257
    140004228cmp r10l, 3
    14000422cje 0x140004a02
    140004232cmp r10l, 2
    140004236je 0x140004a95
    14000423cmov eax, [r13]
    140004240cmp r10l, 1
    140004244je 0x1400049b2
    14000424amov edx, eax
    14000424ccmp r10l, 5
    140004250movzx eax, al
    140004253cmovne rax, rdx
    140004257
    140004257loc_140004257:
    140004257mov [rsp+96], rax
    14000425ccmp ecx, 117
    14000425fje 0x140004a83
    140004265lea r8, [rsp+112]
    14000426amov rdx, rax
    14000426dcall __pformat_xint.isra.0
    140004272jmp 0x140004520
    140004277nop [rax+rax]
    140004280movzx eax, [rsi+1]
    140004284mov r10l, 3
    14000428amov rsi, rbp
    14000428dmov r14l, 4
    140004293jmp 0x1400041f7
    140004298or [rsp+120], 128
    1400042a0lea rbx, [r13+8]
    1400042a4cmp r10l, 3
    1400042a8je 0x1400049f9
    1400042aemovsxd rcx, [r13]
    1400042b2cmp r10l, 2
    1400042b6je 0x1400042ce
    1400042b8cmp r10l, 1
    1400042bcje 0x1400049a9
    1400042c2movsx rax, cl
    1400042c6cmp r10l, 5
    1400042cacmove rcx, rax
    1400042ce
    1400042celoc_1400042ce:
    1400042celea rdx, [rsp+112]
    1400042d3mov r13, rbx
    1400042d6mov rbx, rbp
    1400042d9call __pformat_int.isra.0
    1400042dejmp 0x14000413c
    1400042e3test r14l, r14l
    1400042e6jne 0x1400042f2
    1400042e8cmp [rsp+120], edi
    1400042ecje 0x140004977
    1400042f2
    1400042f2loc_1400042f2:
    1400042f2mov rdx, [r13]
    1400042f6lea rbx, [r13+8]
    1400042falea r8, [rsp+112]
    1400042ffmov ecx, 120
    140004304mov r13, rbx
    140004307mov rbx, rbp
    14000430acall __pformat_xint.isra.0
    14000430fjmp 0x14000413c
    140004314movzx eax, [rsi+1]
    140004318cmp al, 104
    14000431aje 0x140004a51
    140004320mov rsi, rbp
    140004323mov r10l, 1
    140004329mov r14l, 4
    14000432fjmp 0x1400041f7
    140004334mov ecx, [rsp+48]
    140004338mov rbx, rbp
    14000433bcall strerror
    140004340lea rdx, [rsp+112]
    140004345mov rcx, rax
    140004348call __pformat_puts
    14000434djmp 0x14000413c
    140004352mov rdx, [r13]
    140004356movsxd rax, [rsp+148]
    14000435ecmp r10l, 5
    140004362je 0x140004a4a
    140004368cmp r10l, 1
    14000436cje 0x140004a9e
    140004372cmp r10l, 2
    140004376je 0x140004382
    140004378cmp r10l, 3
    14000437cje 0x1400049ba
    140004382
    140004382loc_140004382:
    140004382mov [rdx], eax
    140004384jmp 0x140004520
    140004389movzx eax, [rsi+1]
    14000438dcmp al, 108
    14000438fje 0x140004a6a
    140004395mov rsi, rbp
    140004398mov r10l, 2
    14000439emov r14l, 4
    1400043a4jmp 0x1400041f7
    1400043a9movzx eax, [rsi+1]
    1400043adcmp al, 54
    1400043afje 0x140004a27
    1400043b5cmp al, 51
    1400043b7jne 0x140004958
    1400043bdcmp [rsi+2], 50
    1400043c1je 0x140004abc
    1400043c7
    1400043c7loc_1400043c7:
    1400043c7lea rdx, [rsp+112]
    1400043ccmov ecx, 37
    1400043d1call __pformat_putc
    1400043d6jmp 0x14000413c
    1400043dbnop [rax+rax]
    1400043e0movzx eax, [rsi+1]
    1400043e4or [rsp+120], 4
    1400043e9mov rsi, rbp
    1400043ecmov r14l, 4
    1400043f2jmp 0x1400041f7
    1400043f7mov eax, [rsp+120]
    1400043fbmov rcx, [r13]
    1400043ffor eax, 32
    140004402mov [rsp+120], eax
    140004406test al, 4
    140004408je 0x140004608
    14000440e
    14000440eloc_14000440e:
    14000440emov ebx, [rcx+8]
    140004411mov rcx, [rcx]
    140004414mov r9, rcx
    140004417movsx r10l, bx
    14000441bmov rdx, rbx
    14000441eshr r9, 32
    140004422lea r11l, [r10+r10]
    140004426and r9l, 0x7fffffff
    14000442dmovzx r11l, r11w
    140004431or r9l, ecx
    140004434mov r8l, r9l
    140004437neg r8l
    14000443aor r8l, r9l
    14000443dshr r8l, 31
    140004441or r8l, r11l
    140004444mov r11l, 65534
    14000444asub r11l, r8l
    14000444dshr r11l, 16
    140004451jne 0x14000491b
    140004457test bx, bx
    14000445ajs 0x14000496c
    140004460
    140004460loc_140004460:
    140004460and dx, 32767
    140004465je 0x140004948
    14000446bcmp dx, 32767
    140004470jne 0x14000447b
    140004472test r9l, r9l
    140004475je 0x140004af8
    14000447b
    14000447bloc_14000447b:
    14000447bsub dx, 16383
    140004480jmp 0x1400048a7
    140004485sub r10l, 2
    140004489mov eax, [r13]
    14000448dlea rbx, [r13+8]
    140004491mov [rsp+128], -1
    14000449ccmp r10l, 1
    1400044a0jbe 0x1400046af
    1400044a6lea rcx, [rsp+96]
    1400044ablea r8, [rsp+112]
    1400044b0mov [rsp+96], al
    1400044b4mov r13, rbx
    1400044b7mov edx, 1
    1400044bcmov rbx, rbp
    1400044bfcall __pformat_putchars
    1400044c4jmp 0x14000413c
    1400044c9sub r10l, 2
    1400044cdmov rcx, [r13]
    1400044d1lea rbx, [r13+8]
    1400044d5cmp r10l, 1
    1400044d9jbe 0x1400048ba
    1400044dflea rdx, [rsp+112]
    1400044e4call __pformat_puts
    1400044e9
    1400044e9loc_1400044e9:
    1400044e9mov r13, rbx
    1400044ecmov rbx, rbp
    1400044efjmp 0x14000413c
    1400044f4mov eax, [rsp+120]
    1400044f8mov rdx, [r13]
    1400044fcor eax, 32
    1400044ffmov [rsp+120], eax
    140004503test al, 4
    140004505je 0x140004749
    14000450b
    14000450bloc_14000450b:
    14000450bfld [rdx]
    14000450dlea rcx, [rsp+64]
    140004512lea rdx, [rsp+112]
    140004517fstp [rsp+64]
    14000451bcall __pformat_gfloat
    140004520
    140004520loc_140004520:
    140004520add r13, 8
    140004524mov rbx, rbp
    140004527jmp 0x14000413c
    14000452cmov eax, [rsp+120]
    140004530mov rdx, [r13]
    140004534or eax, 32
    140004537mov [rsp+120], eax
    14000453btest al, 4
    14000453dje 0x140004718
    140004543
    140004543loc_140004543:
    140004543fld [rdx]
    140004545lea rcx, [rsp+64]
    14000454alea rdx, [rsp+112]
    14000454ffstp [rsp+64]
    140004553call __pformat_float
    140004558jmp 0x140004520
    14000455amov eax, [rsp+120]
    14000455emov rdx, [r13]
    140004562or eax, 32
    140004565mov [rsp+120], eax
    140004569test al, 4
    14000456bje 0x1400046e7
    140004571
    140004571loc_140004571:
    140004571fld [rdx]
    140004573lea rcx, [rsp+64]
    140004578lea rdx, [rsp+112]
    14000457dfstp [rsp+64]
    140004581call __pformat_efloat
    140004586jmp 0x140004520
    140004588test r14l, r14l
    14000458bjne 0x1400041f0
    140004591movzx eax, [rsi+1]
    140004595or [rsp+120], 64
    14000459amov rsi, rbp
    14000459djmp 0x1400041f7
    1400045a2test r14l, r14l
    1400045a5jne 0x1400041f0
    1400045abmovzx eax, [rsi+1]
    1400045afor [rsp+120], 1024
    1400045b7mov rsi, rbp
    1400045bajmp 0x1400041f7
    1400045bfcmp r14l, 1
    1400045c3jbe 0x1400049d4
    1400045c9
    1400045c9loc_1400045c9:
    1400045c9movzx eax, [rsi+1]
    1400045cdmov r14l, 4
    1400045d3mov rsi, rbp
    1400045d6jmp 0x1400041f7
    1400045dbtest r14l, r14l
    1400045dejne 0x1400048fa
    1400045e4movzx eax, [rsi+1]
    1400045e8or [rsp+120], 512
    1400045f0mov rsi, rbp
    1400045f3jmp 0x1400041f7
    1400045f8mov eax, [rsp+120]
    1400045fcmov rcx, [r13]
    140004600test al, 4
    140004602jne 0x14000440e
    140004608
    140004608loc_140004608:
    140004608mov r8, rcx
    14000460bmov edx, ecx
    14000460dshr r8, 32
    140004611neg edx
    140004613mov r9l, r8l
    140004616or edx, ecx
    140004618and r9l, 0x7fffffff
    14000461fshr edx, 31
    140004622or edx, r9l
    140004625mov r9l, 0x7ff00000
    14000462bcmp r9l, edx
    14000462ejs 0x14000491b
    140004634mov [rsp+32], rcx
    140004639fld [rsp+32]
    14000463dfstp [rsp+32]
    140004641mov rdx, [rsp+40]
    140004646test dx, dx
    140004649jns 0x140004651
    14000464bor al, 128
    14000464dmov [rsp+120], eax
    140004651
    140004651loc_140004651:
    140004651mov eax, r8l
    140004654and r8l, 0x7ff00000
    14000465band eax, 0xfffff
    140004660or eax, ecx
    140004662setne cl
    140004665cmp r8l, 0x7ff00000
    14000466csetne r9b
    140004670or cl, r9b
    140004673jne 0x14000486f
    140004679or eax, r8l
    14000467cje 0x14000486f
    140004682mov ecx, edx
    140004684lea r8, [rsp+112]
    140004689lea rdx, [rip+0x2795a]
    140004690and ecx, 32768
    140004696call __pformat_emit_inf_or_nan
    14000469bjmp 0x140004520
    1400046a0mov [rsp+128], -1
    1400046ablea rbx, [r13+8]
    1400046af
    1400046afloc_1400046af:
    1400046afmov eax, [r13]
    1400046b3lea rcx, [rsp+96]
    1400046b8lea r8, [rsp+112]
    1400046bdmov r13, rbx
    1400046c0mov edx, 1
    1400046c5mov rbx, rbp
    1400046c8mov [rsp+96], ax
    1400046cdcall __pformat_wputchars
    1400046d2jmp 0x14000413c
    1400046d7mov eax, [rsp+120]
    1400046dbmov rdx, [r13]
    1400046dftest al, 4
    1400046e1jne 0x140004571
    1400046e7
    1400046e7loc_1400046e7:
    1400046e7mov [rsp+32], rdx
    1400046ecfld [rsp+32]
    1400046f0lea rdx, [rsp+112]
    1400046f5lea rcx, [rsp+64]
    1400046fafstp [rsp+64]
    1400046fecall __pformat_efloat
    140004703jmp 0x140004520
    140004708mov eax, [rsp+120]
    14000470cmov rdx, [r13]
    140004710test al, 4
    140004712jne 0x140004543
    140004718
    140004718loc_140004718:
    140004718mov [rsp+32], rdx
    14000471dfld [rsp+32]
    140004721lea rdx, [rsp+112]
    140004726lea rcx, [rsp+64]
    14000472bfstp [rsp+64]
    14000472fcall __pformat_float
    140004734jmp 0x140004520
    140004739mov eax, [rsp+120]
    14000473dmov rdx, [r13]
    140004741test al, 4
    140004743jne 0x14000450b
    140004749
    140004749loc_140004749:
    140004749mov [rsp+32], rdx
    14000474efld [rsp+32]
    140004752lea rdx, [rsp+112]
    140004757lea rcx, [rsp+64]
    14000475cfstp [rsp+64]
    140004760call __pformat_gfloat
    140004765jmp 0x140004520
    14000476alea rdx, [rsp+112]
    14000476fmov ecx, 37
    140004774mov rbx, rbp
    140004777call __pformat_putc
    14000477cjmp 0x14000413c
    140004781test r14l, r14l
    140004784jne 0x1400041f0
    14000478alea r9, [rsp+96]
    14000478fmov [rsp+56], r11
    140004794mov [rsp+52], r10l
    140004799or [rsp+120], 4096
    1400047a1mov [rsp+32], r9
    1400047a6mov [rsp+96], 0
    1400047aecall localeconv
    1400047b3mov r9, [rsp+32]
    1400047b8lea rcx, [rsp+94]
    1400047bdmov r8l, 16
    1400047c3mov rdx, [rax+8]
    1400047c7call mbrtowc
    1400047ccmov r10l, [rsp+52]
    1400047d1mov r11, [rsp+56]
    1400047d6test eax, eax
    1400047d8jle 0x1400047e7
    1400047damovzx edx, [rsp+94]
    1400047dfmov [rsp+144], dx
    1400047e7
    1400047e7loc_1400047e7:
    1400047e7mov [rsp+140], eax
    1400047eemovzx eax, [rsi+1]
    1400047f2mov rsi, rbp
    1400047f5jmp 0x1400041f7
    1400047fatest r11, r11
    1400047fdje 0x1400045c9
    140004803test r14l, -3
    14000480ajne 0x140004933
    140004810mov eax, [r13]
    140004814lea rdx, [r13+8]
    140004818mov [r11], eax
    14000481btest eax, eax
    14000481djs 0x140004aa6
    140004823
    140004823loc_140004823:
    140004823movzx eax, [rsi+1]
    140004827mov r13, rdx
    14000482amov rsi, rbp
    14000482dxor r11l, r11l
    140004830jmp 0x1400041f7
    140004835test r14l, r14l
    140004838jne 0x1400041f0
    14000483emovzx eax, [rsi+1]
    140004842or [rsp+120], 256
    14000484amov rsi, rbp
    14000484djmp 0x1400041f7
    140004852test r14l, r14l
    140004855jne 0x1400041f0
    14000485bmovzx eax, [rsi+1]
    14000485for [rsp+120], 2048
    140004867mov rsi, rbp
    14000486ajmp 0x1400041f7
    14000486f
    14000486floc_14000486f:
    14000486fmov rax, [rsp+32]
    140004874and dx, 32767
    140004879je 0x140004999
    14000487fcmp dx, 15360
    140004884jg 0x140004990
    14000488amovsx r8l, dx
    14000488emov ecx, 15361
    140004893sub ecx, r8l
    140004896shr rax, cl
    140004899add edx, ecx
    14000489b
    14000489bloc_14000489b:
    14000489bsub dx, 16380
    1400048a0
    1400048a0loc_1400048a0:
    1400048a0shr rax, 3
    1400048a4mov rcx, rax
    1400048a7
    1400048a7loc_1400048a7:
    1400048a7lea r8, [rsp+112]
    1400048accall __pformat_emit_xfloat.isra.0
    1400048b1jmp 0x140004520
    1400048b6lea rbx, [r13+8]
    1400048ba
    1400048baloc_1400048ba:
    1400048bamov rsi, [r13]
    1400048belea rax, [rip+0x27713]
    1400048c5test rsi, rsi
    1400048c8cmove rsi, rax
    1400048ccmov eax, [rsp+128]
    1400048d3test eax, eax
    1400048d5js 0x140004a0b
    1400048dbmov rcx, rsi
    1400048demovsxd rdx, eax
    1400048e1call wcsnlen
    1400048e6lea r8, [rsp+112]
    1400048ebmov rcx, rsi
    1400048eemov edx, eax
    1400048f0call __pformat_wputchars
    1400048f5jmp 0x1400044e9
    1400048fa
    1400048faloc_1400048fa:
    1400048facmp r14l, 4
    1400048feje 0x1400043c7
    140004904mov ecx, 48
    140004909
    140004909loc_140004909:
    140004909cmp r14l, 2
    14000490dmov eax, 3
    140004912cmove r14l, eax
    140004916jmp 0x1400041cc
    14000491b
    14000491bloc_14000491b:
    14000491blea r8, [rsp+112]
    140004920lea rdx, [rip+0x276bf]
    140004927xor ecx, ecx
    140004929call __pformat_emit_inf_or_nan
    14000492ejmp 0x140004520
    140004933
    140004933loc_140004933:
    140004933movzx eax, [rsi+1]
    140004937xor r11l, r11l
    14000493amov rsi, rbp
    14000493dmov r14l, 4
    140004943jmp 0x1400041f7
    140004948
    140004948loc_140004948:
    140004948test rcx, rcx
    14000494bmov eax, -16382
    140004950cmovne edx, eax
    140004953jmp 0x1400048a7
    140004958
    140004958loc_140004958:
    140004958mov rsi, rbp
    14000495bmov r10l, 3
    140004961mov r14l, 4
    140004967jmp 0x1400041f7
    14000496c
    14000496cloc_14000496c:
    14000496cor al, 128
    14000496emov [rsp+120], eax
    140004972jmp 0x140004460
    140004977
    140004977loc_140004977:
    140004977mov [rsp+128], 16
    140004982mov eax, edi
    140004984or ah, 2
    140004987mov [rsp+120], eax
    14000498bjmp 0x1400042f2
    140004990
    140004990loc_140004990:
    140004990test dx, dx
    140004993jne 0x14000489b
    140004999
    140004999loc_140004999:
    140004999test rax, rax
    14000499cmov ecx, -1019
    1400049a1cmovne edx, ecx
    1400049a4jmp 0x1400048a0
    1400049a9
    1400049a9loc_1400049a9:
    1400049a9movsx rcx, cx
    1400049adjmp 0x1400042ce
    1400049b2
    1400049b2loc_1400049b2:
    1400049b2movzx eax, ax
    1400049b5jmp 0x140004257
    1400049ba
    1400049baloc_1400049ba:
    1400049bamov [rdx], rax
    1400049bdjmp 0x140004520
    1400049c2
    1400049c2loc_1400049c2:
    1400049c2sub ecx, 48
    1400049c5movzx eax, [rsi+1]
    1400049c9mov rsi, rbp
    1400049ccmov [r11], ecx
    1400049cfjmp 0x1400041f7
    1400049d4
    1400049d4loc_1400049d4:
    1400049d4movzx eax, [rsi+1]
    1400049d8mov r14l, 2
    1400049demov rsi, rbp
    1400049e1mov [rsp+128], 0
    1400049eclea r11, [rsp+128]
    1400049f4jmp 0x1400041f7
    1400049f9
    1400049f9loc_1400049f9:
    1400049f9mov rcx, [r13]
    1400049fdjmp 0x1400042ce
    140004a02
    140004a02loc_140004a02:
    140004a02mov rax, [r13]
    140004a06jmp 0x140004257
    140004a0b
    140004a0bloc_140004a0b:
    140004a0bmov rcx, rsi
    140004a0ecall wcslen
    140004a13lea r8, [rsp+112]
    140004a18mov rcx, rsi
    140004a1bmov edx, eax
    140004a1dcall __pformat_wputchars
    140004a22jmp 0x1400044e9
    140004a27
    140004a27loc_140004a27:
    140004a27cmp [rsi+2], 52
    140004a2bjne 0x1400043c7
    140004a31movzx eax, [rsi+3]
    140004a35mov r10l, 3
    140004a3badd rsi, 3
    140004a3fmov r14l, 4
    140004a45jmp 0x1400041f7
    140004a4a
    140004a4aloc_140004a4a:
    140004a4amov [rdx], al
    140004a4cjmp 0x140004520
    140004a51
    140004a51loc_140004a51:
    140004a51movzx eax, [rsi+2]
    140004a55mov r10l, 5
    140004a5badd rsi, 2
    140004a5fmov r14l, 4
    140004a65jmp 0x1400041f7
    140004a6a
    140004a6aloc_140004a6a:
    140004a6amovzx eax, [rsi+2]
    140004a6emov r10l, 3
    140004a74add rsi, 2
    140004a78mov r14l, 4
    140004a7ejmp 0x1400041f7
    140004a83
    140004a83loc_140004a83:
    140004a83lea rdx, [rsp+112]
    140004a88mov rcx, rax
    140004a8bcall __pformat_int.isra.0
    140004a90jmp 0x140004520
    140004a95
    140004a95loc_140004a95:
    140004a95mov eax, [r13]
    140004a99jmp 0x140004257
    140004a9e
    140004a9eloc_140004a9e:
    140004a9emov [rdx], ax
    140004aa1jmp 0x140004520
    140004aa6
    140004aa6loc_140004aa6:
    140004aa6test r14l, r14l
    140004aa9jne 0x140004ad5
    140004aabor [rsp+120], 1024
    140004ab3neg [rsp+124]
    140004ab7jmp 0x140004823
    140004abc
    140004abcloc_140004abc:
    140004abcmovzx eax, [rsi+3]
    140004ac0mov r10l, 2
    140004ac6add rsi, 3
    140004acamov r14l, 4
    140004ad0jmp 0x1400041f7
    140004ad5
    140004ad5loc_140004ad5:
    140004ad5movzx eax, [rsi+1]
    140004ad9mov r13, rdx
    140004adcmov rsi, rbp
    140004adfxor r11l, r11l
    140004ae2mov [rsp+128], -1
    140004aedmov r14l, 2
    140004af3jmp 0x1400041f7
    140004af8
    140004af8loc_140004af8:
    140004af8mov ecx, r10l
    140004afblea r8, [rsp+112]
    140004b00lea rdx, [rip+0x274e3]
    140004b07and ecx, 32768
    140004b0dcall __pformat_emit_inf_or_nan
    140004b12jmp 0x140004520
    140004050
    140004b17
    140004b17 // align 0x10
    140004b20
    140004b20__rv_alloc_D2A:
    140004b20push rbx
    140004b21sub rsp, 32
    140004b25xor ebx, ebx
    140004b27cmp ecx, 27
    140004b2ajle 0x140004b44
    140004b2cmov eax, 4
    140004b31nop [rax]
    140004b38
    140004b38loc_140004b38:
    140004b38add eax, eax
    140004b3aadd ebx, 1
    140004b3dlea edx, [rax+23]
    140004b40cmp edx, ecx
    140004b42jl 0x140004b38
    140004b44
    140004b44loc_140004b44:
    140004b44mov ecx, ebx
    140004b46call __Balloc_D2A
    140004b4bmov [rax], ebx
    140004b4dadd rax, 4
    140004b51add rsp, 32
    140004b55pop rbx
    140004b56ret
    140004b20
    140004b57
    140004b57 // align 0x10
    140004b60
    140004b60__nrv_alloc_D2A:
    140004b60push rdi
    140004b61push rsi
    140004b62push rbx
    140004b63sub rsp, 32
    140004b67mov rsi, rcx
    140004b6amov rdi, rdx
    140004b6dcmp r8l, 27
    140004b71jle 0x140004bd8
    140004b73mov eax, 4
    140004b78xor ebx, ebx
    140004b7anop [rax+rax]
    140004b80
    140004b80loc_140004b80:
    140004b80add eax, eax
    140004b82add ebx, 1
    140004b85lea edx, [rax+23]
    140004b88cmp r8l, edx
    140004b8bjg 0x140004b80
    140004b8d
    140004b8dloc_140004b8d:
    140004b8dmov ecx, ebx
    140004b8fcall __Balloc_D2A
    140004b94lea rdx, [rsi+1]
    140004b98mov [rax], ebx
    140004b9amovzx ecx, [rsi]
    140004b9dlea r8, [rax+4]
    140004ba1mov [rax+4], cl
    140004ba4mov rax, r8
    140004ba7test cl, cl
    140004ba9je 0x140004bc1
    140004babnop [rax+rax]
    140004bb0
    140004bb0loc_140004bb0:
    140004bb0movzx ecx, [rdx]
    140004bb3add rax, 1
    140004bb7add rdx, 1
    140004bbbmov [rax], cl
    140004bbdtest cl, cl
    140004bbfjne 0x140004bb0
    140004bc1
    140004bc1loc_140004bc1:
    140004bc1test rdi, rdi
    140004bc4je 0x140004bc9
    140004bc6mov [rdi], rax
    140004bc9
    140004bc9loc_140004bc9:
    140004bc9mov rax, r8
    140004bccadd rsp, 32
    140004bd0pop rbx
    140004bd1pop rsi
    140004bd2pop rdi
    140004bd3ret
    140004bd4
    140004bd4 0f 1f 40 00 ..@.
    140004bd8
    140004bd8loc_140004bd8:
    140004bd8xor ebx, ebx
    140004bdajmp 0x140004b8d
    140004b60
    140004bdc
    140004bdc // align 0x10
    140004be0
    140004be0__freedtoa:
    140004be0mov edx, 1
    140004be5mov rax, rcx
    140004be8mov ecx, [rcx-4]
    140004bebshl edx, cl
    140004bedmovd x0, ecx
    140004bf1lea rcx, [rax-4]
    140004bf5movd x1, edx
    140004bf9punpckldq x0, x1
    140004bfdmovq [rax+4], x0
    140004c02jmp 0x1400068d0
    140004be0
    140004c07
    140004c07 // align 0x10
    140004c10
    140004c10__quorem_D2A:
    140004c10push r15
    140004c12push r14
    140004c14push r13
    140004c16push r12
    140004c18push rbp
    140004c19push rdi
    140004c1apush rsi
    140004c1bpush rbx
    140004c1csub rsp, 56
    140004c20xor eax, eax
    140004c22mov esi, [rdx+20]
    140004c25mov r12, rcx
    140004c28mov r11, rdx
    140004c2bcmp [rcx+20], esi
    140004c2ejl 0x140004d24
    140004c34sub esi, 1
    140004c37lea rbx, [rdx+24]
    140004c3blea rbp, [rcx+24]
    140004c3fxor edx, edx
    140004c41movsxd r10, esi
    140004c44shl r10, 2
    140004c48lea rdi, [rbx+r10]
    140004c4cadd r10, rbp
    140004c4fmov eax, [rdi]
    140004c51mov r8l, [r10]
    140004c54lea ecx, [rax+1]
    140004c57mov eax, r8l
    140004c5adiv ecx
    140004c5cmov [rsp+44], eax
    140004c60mov r13l, eax
    140004c63cmp r8l, ecx
    140004c66jb 0x140004cc6
    140004c68mov r15l, eax
    140004c6bmov r9, rbx
    140004c6emov r8, rbp
    140004c71xor r14l, r14l
    140004c74xor ecx, ecx
    140004c76nop [rax+rax]
    140004c80
    140004c80loc_140004c80:
    140004c80mov eax, [r9]
    140004c83mov edx, [r8]
    140004c86add r9, 4
    140004c8aadd r8, 4
    140004c8eimul rax, r15
    140004c92add rax, r14
    140004c95mov r14, rax
    140004c98mov eax, eax
    140004c9asub rdx, rax
    140004c9dshr r14, 32
    140004ca1mov rax, rdx
    140004ca4sub rax, rcx
    140004ca7mov rcx, rax
    140004caamov [r8-4], eax
    140004caeshr rcx, 32
    140004cb2and ecx, 1
    140004cb5cmp rdi, r9
    140004cb8jae 0x140004c80
    140004cbamov r9l, [r10]
    140004cbdtest r9l, r9l
    140004cc0je 0x140004d6b
    140004cc6
    140004cc6loc_140004cc6:
    140004cc6mov rdx, r11
    140004cc9mov rcx, r12
    140004ccccall __cmp_D2A
    140004cd1test eax, eax
    140004cd3js 0x140004d20
    140004cd5
    140004cd5loc_140004cd5:
    140004cd5mov rcx, rbp
    140004cd8xor edx, edx
    140004cdanop [rax+rax]
    140004ce0
    140004ce0loc_140004ce0:
    140004ce0mov eax, [rcx]
    140004ce2mov r8l, [rbx]
    140004ce5add rbx, 4
    140004ce9add rcx, 4
    140004cedsub rax, r8
    140004cf0sub rax, rdx
    140004cf3mov rdx, rax
    140004cf6mov [rcx-4], eax
    140004cf9shr rdx, 32
    140004cfdand edx, 1
    140004d00cmp rdi, rbx
    140004d03jae 0x140004ce0
    140004d05movsxd rax, esi
    140004d08lea rax, [rbp+4*rax]
    140004d0dmov ecx, [rax]
    140004d0ftest ecx, ecx
    140004d11je 0x140004d41
    140004d13lea eax, [r13+1]
    140004d17mov [rsp+44], eax
    140004d1bnop [rax+rax]
    140004d20
    140004d20loc_140004d20:
    140004d20mov eax, [rsp+44]
    140004d24
    140004d24loc_140004d24:
    140004d24add rsp, 56
    140004d28pop rbx
    140004d29pop rsi
    140004d2apop rdi
    140004d2bpop rbp
    140004d2cpop r12
    140004d2epop r13
    140004d30pop r14
    140004d32pop r15
    140004d34ret
    140004d35
    140004d35 0f 1f 00 ...
    140004d38
    140004d38loc_140004d38:
    140004d38mov edx, [rax]
    140004d3atest edx, edx
    140004d3cjne 0x140004d4a
    140004d3esub esi, 1
    140004d41
    140004d41loc_140004d41:
    140004d41sub rax, 4
    140004d45cmp rbp, rax
    140004d48jb 0x140004d38
    140004d4a
    140004d4aloc_140004d4a:
    140004d4alea eax, [r13+1]
    140004d4emov [r12+20], esi
    140004d53mov [rsp+44], eax
    140004d57jmp 0x140004d20
    140004d59
    140004d59 0f 1f 80 00 00 00 00 .......
    140004d60
    140004d60loc_140004d60:
    140004d60mov r8l, [r10]
    140004d63test r8l, r8l
    140004d66jne 0x140004d74
    140004d68sub esi, 1
    140004d6b
    140004d6bloc_140004d6b:
    140004d6bsub r10, 4
    140004d6fcmp rbp, r10
    140004d72jb 0x140004d60
    140004d74
    140004d74loc_140004d74:
    140004d74mov [r12+20], esi
    140004d79mov rdx, r11
    140004d7cmov rcx, r12
    140004d7fcall __cmp_D2A
    140004d84test eax, eax
    140004d86jns 0x140004cd5
    140004d8cjmp 0x140004d20
    140004c10
    140004d8e
    140004d8e // align 0x10
    140004d90
    140004d90__gdtoa:
    140004d90push r15
    140004d92push r14
    140004d94push r13
    140004d96push r12
    140004d98push rbp
    140004d99push rdi
    140004d9apush rsi
    140004d9bpush rbx
    140004d9csub rsp, 184
    140004da3mov eax, [rsp+296]
    140004daamov ebp, [r9]
    140004dadmov edi, [rsp+288]
    140004db4mov [rsp+56], eax
    140004db8mov rax, [rsp+304]
    140004dc0mov r13, rcx
    140004dc3mov rsi, r8
    140004dc6mov [rsp+48], edx
    140004dcamov [rsp+32], rax
    140004dcfmov rax, [rsp+312]
    140004dd7mov [rsp+64], r9
    140004ddcmov [rsp+40], rax
    140004de1mov eax, ebp
    140004de3and eax, -49
    140004de6mov [r9], eax
    140004de9mov eax, ebp
    140004deband eax, 7
    140004deecmp eax, 3
    140004df1je 0x1400050d8
    140004df7mov ebx, ebp
    140004df9and ebx, 4
    140004dfcmov [rsp+72], ebx
    140004e00jne 0x140005050
    140004e06test eax, eax
    140004e08je 0x140005098
    140004e0emov r12l, [rcx]
    140004e11mov eax, 32
    140004e16xor ecx, ecx
    140004e18cmp r12l, 32
    140004e1cjle 0x140004e28
    140004e1e
    140004e1eloc_140004e1e:
    140004e1eadd eax, eax
    140004e20add ecx, 1
    140004e23cmp r12l, eax
    140004e26jg 0x140004e1e
    140004e28
    140004e28loc_140004e28:
    140004e28call __Balloc_D2A
    140004e2dlea r8l, [r12-1]
    140004e32sar r8l, 5
    140004e36mov rbx, rax
    140004e39lea rdx, [rax+24]
    140004e3dmov rax, rsi
    140004e40movsxd r8, r8l
    140004e43lea rcx, [rsi+4*r8]
    140004e47nop [rax+rax]
    140004e50
    140004e50loc_140004e50:
    140004e50mov r9l, [rax]
    140004e53add rax, 4
    140004e57add rdx, 4
    140004e5bmov [rdx-4], r9l
    140004e5fcmp rcx, rax
    140004e62jae 0x140004e50
    140004e64lea rdx, [rsi+1]
    140004e68add rcx, 1
    140004e6clea rax, [4*r8+4]
    140004e74cmp rcx, rdx
    140004e77mov edx, 4
    140004e7ccmovb rax, rdx
    140004e80sar rax, 2
    140004e84mov r14l, eax
    140004e87lea rax, [rbx+4*rax]
    140004e8bjmp 0x140004e9d
    140004e8d
    140004e8d 0f 1f 00 ...
    140004e90
    140004e90loc_140004e90:
    140004e90sub rax, 4
    140004e94test r14l, r14l
    140004e97je 0x140005100
    140004e9d
    140004e9dloc_140004e9d:
    140004e9dmov r15l, [rax+20]
    140004ea1mov edx, r14l
    140004ea4sub r14l, 1
    140004ea8test r15l, r15l
    140004eabje 0x140004e90
    140004eadmovsxd r14, r14l
    140004eb0mov [rbx+20], edx
    140004eb3shl edx, 5
    140004eb6bsr eax, [rbx+4*r14+24]
    140004ebcxor eax, 31
    140004ebfsub edx, eax
    140004ec1mov r14l, edx
    140004ec4
    140004ec4loc_140004ec4:
    140004ec4mov rcx, rbx
    140004ec7call __trailz_D2A
    140004eccmov ecx, [rsp+48]
    140004ed0mov [rsp+172], eax
    140004ed7mov [rsp+96], ecx
    140004edbtest eax, eax
    140004eddjne 0x140005110
    140004ee3
    140004ee3loc_140004ee3:
    140004ee3mov r11l, [rbx+20]
    140004ee7test r11l, r11l
    140004eeaje 0x140005090
    140004ef0lea rdx, [rsp+172]
    140004ef8mov rcx, rbx
    140004efbcall __b2d_D2A
    140004f00mov eax, [rsp+96]
    140004f04pxor x1, x1
    140004f08movq r9, x0
    140004f0dmov rdx, r9
    140004f10lea r8l, [rax+r14]
    140004f14mov eax, r9l
    140004f17shr rdx, 32
    140004f1blea ecx, [r8-1]
    140004f1fand edx, 0xfffff
    140004f25cvtsi2sd x1, ecx
    140004f29mulsd x1, [rip+0x27257]
    140004f31or edx, 0x3ff00000
    140004f37mov r10, rdx
    140004f3ashl r10, 32
    140004f3eor rax, r10
    140004f41mov r10l, 1
    140004f47sub r10l, r8l
    140004f4amovq x0, rax
    140004f4ftest ecx, ecx
    140004f51subsd x0, [rip+0x27217]
    140004f59mulsd x0, [rip+0x27217]
    140004f61cmovns r10l, ecx
    140004f65addsd x0, [rip+0x27213]
    140004f6dsub r10l, 1077
    140004f74addsd x0, x1
    140004f78test r10l, r10l
    140004f7bjle 0x140004f92
    140004f7dpxor x1, x1
    140004f81cvtsi2sd x1, r10l
    140004f86mulsd x1, [rip+0x27202]
    140004f8eaddsd x0, x1
    140004f92
    140004f92loc_140004f92:
    140004f92pxor x1, x1
    140004f96cvttsd2si r11l, x0
    140004f9bcomisd x1, x0
    140004f9fja 0x140005490
    140004fa5
    140004fa5loc_140004fa5:
    140004fa5mov r10l, ecx
    140004fa8mov eax, eax
    140004faashl r10l, 20
    140004faeadd edx, r10l
    140004fb1mov edx, edx
    140004fb3shl rdx, 32
    140004fb7or rax, rdx
    140004fbamov [rsp+144], rax
    140004fc2mov r15, rax
    140004fc5mov r9, rax
    140004fc8mov eax, r14l
    140004fcbsub eax, ecx
    140004fcdlea edx, [rax-1]
    140004fd0mov [rsp+92], edx
    140004fd4cmp r11l, 22
    140004fd8ja 0x140005138
    140004fdemov rdx, [rip+0x274cb]
    140004fe5movsxd rcx, r11l
    140004fe8movq x5, r15
    140004fedmovsd_xmm x0, [rdx+8*rcx]
    140004ff2comisd x0, x5
    140004ff6ja 0x140005510
    140004ffcmov [rsp+132], 0
    140005007mov [rsp+112], 0
    14000500ftest eax, eax
    140005011jg 0x140005030
    140005013mov edx, 1
    140005018mov [rsp+92], 0
    140005020sub edx, eax
    140005022mov [rsp+112], edx
    140005026nop [rax+rax]
    140005030
    140005030loc_140005030:
    140005030add [rsp+92], r11l
    140005035mov [rsp+120], r11l
    14000503amov [rsp+128], 0
    140005045jmp 0x14000518a
    14000504a
    14000504a 66 0f 1f 44 00 00 f..D..
    140005050
    140005050loc_140005050:
    140005050xor esi, esi
    140005052cmp eax, 4
    140005055jne 0x1400050bd
    140005057mov rax, [rsp+32]
    14000505cmov rdx, [rsp+40]
    140005061mov r8l, 3
    140005067lea rcx, [rip+0x270fb]
    14000506emov [rax], -32768
    140005074
    140005074loc_140005074:
    140005074add rsp, 184
    14000507bpop rbx
    14000507cpop rsi
    14000507dpop rdi
    14000507epop rbp
    14000507fpop r12
    140005081pop r13
    140005083pop r14
    140005085pop r15
    140005087jmp 0x140004b60
    14000508c
    14000508c 0f 1f 40 00 ..@.
    140005090
    140005090loc_140005090:
    140005090mov rcx, rbx
    140005093call __Bfree_D2A
    140005098
    140005098loc_140005098:
    140005098mov rax, [rsp+32]
    14000509dmov rdx, [rsp+40]
    1400050a2mov r8l, 1
    1400050a8lea rcx, [rip+0x270be]
    1400050afmov [rax], 1
    1400050b5call __nrv_alloc_D2A
    1400050bamov rsi, rax
    1400050bd
    1400050bdloc_1400050bd:
    1400050bdmov rax, rsi
    1400050c0add rsp, 184
    1400050c7pop rbx
    1400050c8pop rsi
    1400050c9pop rdi
    1400050capop rbp
    1400050cbpop r12
    1400050cdpop r13
    1400050cfpop r14
    1400050d1pop r15
    1400050d3ret
    1400050d4
    1400050d4 0f 1f 40 00 ..@.
    1400050d8
    1400050d8loc_1400050d8:
    1400050d8mov rax, [rsp+32]
    1400050ddmov rdx, [rsp+40]
    1400050e2mov r8l, 8
    1400050e8lea rcx, [rip+0x27071]
    1400050efmov [rax], -32768
    1400050f5jmp 0x140005074
    1400050fa
    1400050fa 66 0f 1f 44 00 00 f..D..
    140005100
    140005100loc_140005100:
    140005100mov [rbx+20], 0
    140005107jmp 0x140004ec4
    14000510c
    14000510c 0f 1f 40 00 ..@.
    140005110
    140005110loc_140005110:
    140005110mov edx, eax
    140005112mov rcx, rbx
    140005115call __rshift_D2A
    14000511amov eax, [rsp+172]
    140005121mov ecx, [rsp+48]
    140005125add ecx, eax
    140005127sub r14l, eax
    14000512amov [rsp+96], ecx
    14000512ejmp 0x140004ee3
    140005133
    140005133 0f 1f 44 00 00 ..D..
    140005138
    140005138loc_140005138:
    140005138mov [rsp+132], 1
    140005143
    140005143loc_140005143:
    140005143mov r10l, [rsp+92]
    140005148mov [rsp+112], 0
    140005150test r10l, r10l
    140005153jns 0x140005168
    140005155mov edx, 1
    14000515amov [rsp+92], 0
    140005162sub edx, eax
    140005164mov [rsp+112], edx
    140005168
    140005168loc_140005168:
    140005168test r11l, r11l
    14000516bjns 0x140005030
    140005171mov eax, r11l
    140005174sub [rsp+112], r11l
    140005179neg eax
    14000517bmov [rsp+120], r11l
    140005180xor r11l, r11l
    140005183mov [rsp+128], eax
    14000518a
    14000518aloc_14000518a:
    14000518acmp edi, 9
    14000518dja 0x140005400
    140005193cmp edi, 5
    140005196jg 0x1400054b0
    14000519cadd r8l, 1021
    1400051a3xor eax, eax
    1400051a5cmp r8l, 2039
    1400051acsetbe al
    1400051afmov r15l, eax
    1400051b2cmp edi, 4
    1400051b5je 0x140005f04
    1400051bbcmp edi, 5
    1400051beje 0x140005d68
    1400051c4cmp edi, 2
    1400051c7jne 0x1400058c0
    1400051cdmov [rsp+124], 0
    1400051d5
    1400051d5loc_1400051d5:
    1400051d5mov eax, [rsp+56]
    1400051d9mov ecx, 1
    1400051detest eax, eax
    1400051e0cmovg ecx, eax
    1400051e3mov [rsp+156], ecx
    1400051eamov eax, ecx
    1400051ecmov [rsp+80], ecx
    1400051f0mov [rsp+56], ecx
    1400051f4
    1400051f4loc_1400051f4:
    1400051f4mov [rsp+136], r9
    1400051fcmov [rsp+152], r11l
    140005204mov [rsp+172], eax
    14000520bcall __rv_alloc_D2A
    140005210mov r11l, [rsp+152]
    140005218mov r9, [rsp+136]
    140005220mov [rsp+104], rax
    140005225mov eax, [r13+12]
    140005229sub eax, 1
    14000522cmov [rsp+88], eax
    140005230je 0x14000525a
    140005232
    140005232loc_140005232:
    140005232mov ecx, [rsp+88]
    140005236mov eax, 2
    14000523btest ecx, ecx
    14000523dcmovns eax, ecx
    140005240and ebp, 8
    140005243mov [rsp+88], eax
    140005247mov ecx, eax
    140005249je 0x140005680
    14000524fmov eax, 3
    140005254sub eax, ecx
    140005256mov [rsp+88], eax
    14000525a
    14000525aloc_14000525a:
    14000525amov edx, [rsp+80]
    14000525emov r10l, r15l
    140005261cmp edx, 14
    140005264setbe al
    140005267and r10b, al
    14000526aje 0x140005680
    140005270mov eax, [rsp+120]
    140005274or eax, [rsp+88]
    140005278jne 0x140005680
    14000527emovsd_xmm x0, [rsp+144]
    140005287mov ecx, [rsp+132]
    14000528emov [rsp+172], 0
    140005299test ecx, ecx
    14000529bje 0x1400052af
    14000529dmovsd_xmm x4, [rip+0x26efb]
    1400052a5comisd x4, x0
    1400052a9ja 0x14000617a
    1400052af
    1400052afloc_1400052af:
    1400052afmovupd x1, x0
    1400052b3addsd x1, x0
    1400052b7addsd x1, [rip+0x26ef9]
    1400052bfmovq rax, x1
    1400052c4mov rdx, rax
    1400052c7mov eax, eax
    1400052c9shr rdx, 32
    1400052cdsub edx, 0x3400000
    1400052d3shl rdx, 32
    1400052d7or rax, rdx
    1400052damov edx, [rsp+80]
    1400052detest edx, edx
    1400052e0je 0x140005645
    1400052e6mov ebp, [rsp+80]
    1400052eaxor r15l, r15l
    1400052ed
    1400052edloc_1400052ed:
    1400052edmov rdx, [rip+0x271bc]
    1400052f4movq x2, rax
    1400052f9lea eax, [rbp-1]
    1400052fccdqe
    1400052femovsd_xmm x3, [rdx+8*rax]
    140005303mov eax, [rsp+124]
    140005307test eax, eax
    140005309je 0x1400058f5
    14000530fmovsd_xmm x1, [rip+0x26ec9]
    140005317cvttsd2si eax, x0
    14000531bmov rcx, [rsp+104]
    140005320divsd x1, x3
    140005324lea rdx, [rcx+1]
    140005328subsd x1, x2
    14000532cpxor x2, x2
    140005330cvtsi2sd x2, eax
    140005334add eax, 48
    140005337mov [rcx], al
    140005339subsd x0, x2
    14000533dcomisd x1, x0
    140005341ja 0x1400063a8
    140005347movsd_xmm x4, [rip+0x26e51]
    14000534fmovsd_xmm x3, [rip+0x26e51]
    140005357jmp 0x1400053a5
    140005359
    140005359 0f 1f 80 00 00 00 00 .......
    140005360
    140005360loc_140005360:
    140005360mov eax, [rsp+172]
    140005367add eax, 1
    14000536amov [rsp+172], eax
    140005371cmp eax, ebp
    140005373jge 0x14000566e
    140005379mulsd x0, x3
    14000537dpxor x2, x2
    140005381add rdx, 1
    140005385mulsd x1, x3
    140005389cvttsd2si eax, x0
    14000538dcvtsi2sd x2, eax
    140005391add eax, 48
    140005394mov [rdx-1], al
    140005397subsd x0, x2
    14000539bcomisd x1, x0
    14000539fja 0x1400063a8
    1400053a5
    1400053a5loc_1400053a5:
    1400053a5movupd x2, x4
    1400053a9subsd x2, x0
    1400053adcomisd x1, x2
    1400053b1jbe 0x140005360
    1400053b3movzx r8l, [rdx-1]
    1400053b8mov rsi, [rsp+104]
    1400053bdjmp 0x1400053d1
    1400053bf
    1400053bf 90 .
    1400053c0
    1400053c0loc_1400053c0:
    1400053c0cmp rsi, rax
    1400053c3je 0x14000627b
    1400053c9movzx r8l, [rax-1]
    1400053cemov rdx, rax
    1400053d1
    1400053d1loc_1400053d1:
    1400053d1lea rax, [rdx-1]
    1400053d5cmp r8b, 57
    1400053d9je 0x1400053c0
    1400053dbmov [rsp+104], rdx
    1400053e0add r8l, 1
    1400053e4
    1400053e4loc_1400053e4:
    1400053e4mov [rax], r8b
    1400053e7add r15l, 1
    1400053ebmov [rsp+72], 32
    1400053f3jmp 0x1400055e5
    1400053f8
    1400053f8 0f 1f 84 00 00 00 00 00 ........
    140005400
    140005400loc_140005400:
    140005400add r8l, 1021
    140005407xor eax, eax
    140005409cmp r8l, 2039
    140005410setbe al
    140005413xor edi, edi
    140005415mov r15l, eax
    140005418
    140005418loc_140005418:
    140005418pxor x0, x0
    14000541cmov [rsp+80], r9
    140005421cvtsi2sd x0, r12l
    140005426mulsd x0, [rip+0x26d6a]
    14000542emov [rsp+56], r11l
    140005433cvttsd2si ecx, x0
    140005437add ecx, 3
    14000543amov [rsp+172], ecx
    140005441call __rv_alloc_D2A
    140005446mov r11l, [rsp+56]
    14000544bmov r9, [rsp+80]
    140005450mov [rsp+104], rax
    140005455mov eax, [r13+12]
    140005459sub eax, 1
    14000545cmov [rsp+88], eax
    140005460je 0x140005524
    140005466mov [rsp+56], 0
    14000546emov [rsp+124], 1
    140005476mov [rsp+156], -1
    140005481mov [rsp+80], -1
    140005489jmp 0x140005232
    14000548e
    14000548e 66 90 f.
    140005490
    140005490loc_140005490:
    140005490pxor x1, x1
    140005494cvtsi2sd x1, r11l
    140005499ucomisd x1, x0
    14000549djp 0x1400054a5
    14000549fje 0x140004fa5
    1400054a5
    1400054a5loc_1400054a5:
    1400054a5sub r11l, 1
    1400054a9jmp 0x140004fa5
    1400054ae
    1400054ae 66 90 f.
    1400054b0
    1400054b0loc_1400054b0:
    1400054b0sub edi, 4
    1400054b3xor r15l, r15l
    1400054b6cmp edi, 4
    1400054b9je 0x140005f04
    1400054bfcmp edi, 5
    1400054c2je 0x140005d68
    1400054c8mov [rsp+124], 0
    1400054d0cmp edi, 2
    1400054d3je 0x1400051d5
    1400054d9mov edi, 3
    1400054denop
    1400054e0
    1400054e0loc_1400054e0:
    1400054e0mov ecx, [rsp+56]
    1400054e4mov eax, [rsp+120]
    1400054e8add eax, ecx
    1400054ealea edx, [rax+1]
    1400054edmov [rsp+156], eax
    1400054f4mov eax, 1
    1400054f9test edx, edx
    1400054fbmov [rsp+80], edx
    1400054ffcmovg eax, edx
    140005502mov ecx, eax
    140005504jmp 0x1400051f4
    140005509
    140005509 0f 1f 80 00 00 00 00 .......
    140005510
    140005510loc_140005510:
    140005510mov [rsp+132], 0
    14000551bsub r11l, 1
    14000551fjmp 0x140005143
    140005524
    140005524loc_140005524:
    140005524mov eax, [rsp+96]
    140005528mov [rsp+56], 0
    140005530mov [rsp+80], -1
    140005538test eax, eax
    14000553ajs 0x140006324
    140005540mov [rsp+124], 1
    140005548mov [rsp+156], -1
    140005553nop [rax+rax]
    140005558
    140005558loc_140005558:
    140005558mov eax, [rsp+120]
    14000555ccmp eax, [r13+20]
    140005560jg 0x14000568e
    140005566mov rdx, [rip+0x26f43]
    14000556d
    14000556dloc_14000556d:
    14000556dmovsxd rax, [rsp+120]
    140005572mov ecx, [rsp+56]
    140005576movsd_xmm x2, [rdx+8*rax]
    14000557bmov rsi, rax
    14000557etest ecx, ecx
    140005580jns 0x140005e1c
    140005586mov eax, [rsp+80]
    14000558atest eax, eax
    14000558cjg 0x140005e1c
    140005592jne 0x1400058d6
    140005598mulsd x2, [rip+0x26c20]
    1400055a0comisd x2, [rsp+144]
    1400055a9jae 0x1400058d6
    1400055afadd esi, 2
    1400055b2xor r10l, r10l
    1400055b5xor ebp, ebp
    1400055b7mov r15l, esi
    1400055bamov rsi, [rsp+104]
    1400055bf
    1400055bfloc_1400055bf:
    1400055bfadd [rsp+104], 1
    1400055c5mov [rsi], 49
    1400055c8mov [rsp+72], 32
    1400055d0
    1400055d0loc_1400055d0:
    1400055d0mov rcx, r10
    1400055d3call __Bfree_D2A
    1400055d8test rbp, rbp
    1400055dbje 0x1400055e5
    1400055dd
    1400055ddloc_1400055dd:
    1400055ddmov rcx, rbp
    1400055e0call __Bfree_D2A
    1400055e5
    1400055e5loc_1400055e5:
    1400055e5mov rcx, rbx
    1400055e8call __Bfree_D2A
    1400055edmov rdi, [rsp+32]
    1400055f2mov rax, [rsp+104]
    1400055f7mov [rax], 0
    1400055famov [rdi], r15l
    1400055fdmov rdi, [rsp+40]
    140005602test rdi, rdi
    140005605je 0x14000560a
    140005607mov [rdi], rax
    14000560a
    14000560aloc_14000560a:
    14000560amov rax, [rsp+64]
    14000560fmov edi, [rsp+72]
    140005613or [rax], edi
    140005615jmp 0x1400050bd
    14000561a
    14000561aloc_14000561a:
    14000561amovupd x1, x0
    14000561eaddsd x1, x0
    140005622addsd x1, [rip+0x26b8e]
    14000562amovq rax, x1
    14000562fmov rdx, rax
    140005632mov eax, eax
    140005634shr rdx, 32
    140005638sub edx, 0x3400000
    14000563eshl rdx, 32
    140005642or rax, rdx
    140005645
    140005645loc_140005645:
    140005645subsd x0, [rip+0x26b73]
    14000564dmovq x1, rax
    140005652comisd x0, x1
    140005656ja 0x14000621b
    14000565cxorpd x1, [rip+0x26b6c]
    140005664comisd x1, x0
    140005668ja 0x1400058d6
    14000566e
    14000566eloc_14000566e:
    14000566emov [rsp+88], 0
    140005676nop [rax+rax]
    140005680
    140005680loc_140005680:
    140005680mov r8l, [rsp+96]
    140005685test r8l, r8l
    140005688jns 0x140005558
    14000568e
    14000568eloc_14000568e:
    14000568emov edx, [rsp+124]
    140005692test edx, edx
    140005694je 0x1400059b8
    14000569a
    14000569aloc_14000569a:
    14000569amov r15l, [rsp+96]
    14000569fsub r12l, r14l
    1400056a2mov edx, [r13+4]
    1400056a6lea eax, [r12+1]
    1400056abmov ecx, r15l
    1400056aemov [rsp+172], eax
    1400056b5sub ecx, r12l
    1400056b8cmp ecx, edx
    1400056bajge 0x140005df8
    1400056c0lea eax, [rdi-3]
    1400056c3and eax, -3
    1400056c6je 0x140005db0
    1400056ccmov eax, r15l
    1400056cfmov r15l, [rsp+80]
    1400056d4sub eax, edx
    1400056d6add eax, 1
    1400056d9cmp edi, 1
    1400056dcsetg cl
    1400056dftest r15l, r15l
    1400056e2mov [rsp+172], eax
    1400056e9setg dl
    1400056ectest cl, dl
    1400056eeje 0x1400056f9
    1400056f0cmp eax, r15l
    1400056f3jg 0x14000649a
    1400056f9
    1400056f9loc_1400056f9:
    1400056f9mov edx, [rsp+112]
    1400056fdadd [rsp+92], eax
    140005701mov r12l, [rsp+128]
    140005709add eax, edx
    14000570bmov [rsp+96], edx
    14000570fmov [rsp+112], eax
    140005713
    140005713loc_140005713:
    140005713mov ecx, 1
    140005718mov [rsp+152], r11l
    140005720call __i2b_D2A
    140005725mov [rsp+124], 1
    14000572dmov r11l, [rsp+152]
    140005735mov rbp, rax
    140005738
    140005738loc_140005738:
    140005738mov ecx, [rsp+96]
    14000573ctest ecx, ecx
    14000573ejle 0x140005766
    140005740mov edx, [rsp+92]
    140005744test edx, edx
    140005746jle 0x140005766
    140005748cmp ecx, edx
    14000574amov eax, edx
    14000574ccmovle eax, ecx
    14000574fsub [rsp+112], eax
    140005753sub ecx, eax
    140005755sub edx, eax
    140005757mov [rsp+172], eax
    14000575emov [rsp+96], ecx
    140005762mov [rsp+92], edx
    140005766
    140005766loc_140005766:
    140005766mov eax, [rsp+128]
    14000576dtest eax, eax
    14000576fje 0x1400057a4
    140005771mov eax, [rsp+124]
    140005775test eax, eax
    140005777je 0x140005782
    140005779test r12l, r12l
    14000577cjne 0x140005fe9
    140005782
    140005782loc_140005782:
    140005782mov edx, [rsp+128]
    140005789mov rcx, rbx
    14000578cmov [rsp+152], r11l
    140005794call __pow5mult_D2A
    140005799mov r11l, [rsp+152]
    1400057a1mov rbx, rax
    1400057a4
    1400057a4loc_1400057a4:
    1400057a4mov ecx, 1
    1400057a9mov [rsp+128], r11l
    1400057b1call __i2b_D2A
    1400057b6mov r11l, [rsp+128]
    1400057bemov r10, rax
    1400057c1test r11l, r11l
    1400057c4jne 0x140005d30
    1400057cacmp edi, 1
    1400057cdjle 0x140005d78
    1400057d3
    1400057d3loc_1400057d3:
    1400057d3mov r12l, 31
    1400057d9
    1400057d9loc_1400057d9:
    1400057d9mov eax, [rsp+92]
    1400057ddsub r12l, eax
    1400057e0mov eax, [rsp+112]
    1400057e4sub r12l, 4
    1400057e8and r12l, 31
    1400057ecadd eax, r12l
    1400057efmov [rsp+172], r12l
    1400057f7mov edx, r12l
    1400057fatest eax, eax
    1400057fcjle 0x140005826
    1400057femov edx, eax
    140005800mov rcx, rbx
    140005803mov [rsp+112], r10
    140005808mov [rsp+48], r11l
    14000580dcall __lshift_D2A
    140005812mov r10, [rsp+112]
    140005817mov r11l, [rsp+48]
    14000581cmov edx, [rsp+172]
    140005823mov rbx, rax
    140005826
    140005826loc_140005826:
    140005826mov eax, [rsp+92]
    14000582aadd eax, edx
    14000582cmov edx, eax
    14000582etest eax, eax
    140005830jle 0x140005847
    140005832mov rcx, r10
    140005835mov [rsp+48], r11l
    14000583acall __lshift_D2A
    14000583fmov r11l, [rsp+48]
    140005844mov r10, rax
    140005847
    140005847loc_140005847:
    140005847mov eax, [rsp+132]
    14000584ecmp edi, 2
    140005851setg r13b
    140005855test eax, eax
    140005857jne 0x140005bf0
    14000585d
    14000585dloc_14000585d:
    14000585dmov r15l, [rsp+80]
    140005862test r15l, r15l
    140005865jg 0x1400059d0
    14000586btest r13b, r13b
    14000586eje 0x1400059d0
    140005874
    140005874loc_140005874:
    140005874mov r14l, [rsp+80]
    140005879test r14l, r14l
    14000587cjne 0x1400058db
    14000587emov rcx, r10
    140005881xor r8l, r8l
    140005884mov edx, 5
    140005889call __multadd_D2A
    14000588emov rcx, rbx
    140005891mov rdx, rax
    140005894mov [rsp+48], rax
    140005899call __cmp_D2A
    14000589emov r10, [rsp+48]
    1400058a3test eax, eax
    1400058a5jle 0x1400058db
    1400058a7mov r15l, [rsp+120]
    1400058acmov rsi, [rsp+104]
    1400058b1add r15l, 2
    1400058b5jmp 0x1400055bf
    1400058ba
    1400058ba 66 0f 1f 44 00 00 f..D..
    1400058c0
    1400058c0loc_1400058c0:
    1400058c0cmp edi, 3
    1400058c3jne 0x140005418
    1400058c9mov [rsp+124], 0
    1400058d1jmp 0x1400054e0
    1400058d6
    1400058d6loc_1400058d6:
    1400058d6xor r10l, r10l
    1400058d9xor ebp, ebp
    1400058db
    1400058dbloc_1400058db:
    1400058dbmov r15l, [rsp+56]
    1400058e0mov [rsp+72], 16
    1400058e8mov rsi, [rsp+104]
    1400058edneg r15l
    1400058f0jmp 0x1400055d0
    1400058f5
    1400058f5loc_1400058f5:
    1400058f5mulsd x3, x2
    1400058f9movq x2, r9
    1400058femov [rsp+172], 1
    140005909mov rcx, [rsp+104]
    14000590emovsd_xmm x1, [rip+0x26892]
    140005916movupd x0, x2
    14000591axor r9l, r9l
    14000591djmp 0x140005931
    14000591f
    14000591f 90 .
    140005920
    140005920loc_140005920:
    140005920mulsd x0, x1
    140005924add eax, 1
    140005927mov r9l, r10l
    14000592amov [rsp+172], eax
    140005931
    140005931loc_140005931:
    140005931cvttsd2si eax, x0
    140005935test eax, eax
    140005937je 0x140005948
    140005939pxor x4, x4
    14000593dmov r9l, r10l
    140005940cvtsi2sd x4, eax
    140005944subsd x0, x4
    140005948
    140005948loc_140005948:
    140005948lea r8l, [rax+48]
    14000594cadd rcx, 1
    140005950mov [rcx-1], r8b
    140005954mov eax, [rsp+172]
    14000595bcmp eax, ebp
    14000595djne 0x140005920
    14000595ftest r9b, r9b
    140005962je 0x1400063d7
    140005968
    140005968loc_140005968:
    140005968movsd_xmm x1, [rip+0x26870]
    140005970movupd x2, x3
    140005974addsd x2, x1
    140005978comisd x0, x2
    14000597cja 0x14000639b
    140005982subsd x1, x3
    140005986comisd x1, x0
    14000598aja 0x14000643b
    140005990mov r10l, [rsp+96]
    140005995test r10l, r10l
    140005998js 0x1400064d5
    14000599emov r9l, [r13+20]
    1400059a2mov [rsp+88], 0
    1400059aatest r9l, r9l
    1400059adjns 0x14000556d
    1400059b3nop [rax+rax]
    1400059b8
    1400059b8loc_1400059b8:
    1400059b8mov eax, [rsp+112]
    1400059bcmov r12l, [rsp+128]
    1400059c4xor ebp, ebp
    1400059c6mov [rsp+96], eax
    1400059cajmp 0x140005738
    1400059cf
    1400059cf 90 .
    1400059d0
    1400059d0loc_1400059d0:
    1400059d0mov r15l, [rsp+120]
    1400059d5mov r13l, [rsp+124]
    1400059daadd r15l, 1
    1400059detest r13l, r13l
    1400059e1je 0x140005c78
    1400059e7
    1400059e7loc_1400059e7:
    1400059e7mov edx, [rsp+96]
    1400059ebadd edx, r12l
    1400059eetest edx, edx
    1400059f0jle 0x140005a11
    1400059f2mov rcx, rbp
    1400059f5mov [rsp+56], r10
    1400059famov [rsp+48], r11l
    1400059ffcall __lshift_D2A
    140005a04mov r10, [rsp+56]
    140005a09mov r11l, [rsp+48]
    140005a0emov rbp, rax
    140005a11
    140005a11loc_140005a11:
    140005a11mov r13, rbp
    140005a14test r11l, r11l
    140005a17jne 0x1400061d8
    140005a1d
    140005a1dloc_140005a1d:
    140005a1dmov r11, [rsp+104]
    140005a22mov [rsp+112], r15l
    140005a27mov eax, 1
    140005a2cmov r15, rsi
    140005a2fmov [rsp+56], edi
    140005a33mov [rsp+48], r10
    140005a38mov rdi, r11
    140005a3bjmp 0x140005ae2
    140005a40
    140005a40loc_140005a40:
    140005a40mov rcx, rax
    140005a43call __Bfree_D2A
    140005a48mov edx, 1
    140005a4d
    140005a4dloc_140005a4d:
    140005a4dtest r12l, r12l
    140005a50js 0x1400060a8
    140005a56or r12l, [rsp+56]
    140005a5bjne 0x140005a67
    140005a5dtest [r15], 1
    140005a61je 0x1400060a8
    140005a67
    140005a67loc_140005a67:
    140005a67lea r12, [rdi+1]
    140005a6bmov r14, r12
    140005a6etest edx, edx
    140005a70jle 0x140005a7d
    140005a72cmp [rsp+88], 2
    140005a77jne 0x140006230
    140005a7d
    140005a7dloc_140005a7d:
    140005a7dmov [r12-1], sil
    140005a82mov eax, [rsp+80]
    140005a86cmp [rsp+172], eax
    140005a8dje 0x140006263
    140005a93mov rcx, rbx
    140005a96xor r8l, r8l
    140005a99mov edx, 10
    140005a9ecall __multadd_D2A
    140005aa3xor r8l, r8l
    140005aa6mov edx, 10
    140005aabmov rcx, rbp
    140005aaemov rbx, rax
    140005ab1cmp rbp, r13
    140005ab4je 0x140005bd8
    140005abacall __multadd_D2A
    140005abfmov rcx, r13
    140005ac2xor r8l, r8l
    140005ac5mov edx, 10
    140005acamov rbp, rax
    140005acdcall __multadd_D2A
    140005ad2mov r13, rax
    140005ad5
    140005ad5loc_140005ad5:
    140005ad5mov eax, [rsp+172]
    140005adcmov rdi, r12
    140005adfadd eax, 1
    140005ae2
    140005ae2loc_140005ae2:
    140005ae2mov rdx, [rsp+48]
    140005ae7mov rcx, rbx
    140005aeamov [rsp+172], eax
    140005af1call __quorem_D2A
    140005af6mov rdx, rbp
    140005af9mov rcx, rbx
    140005afcmov r14l, eax
    140005afflea esi, [rax+48]
    140005b02call __cmp_D2A
    140005b07mov rcx, [rsp+48]
    140005b0cmov rdx, r13
    140005b0fmov r12l, eax
    140005b12call __diff_D2A
    140005b17mov r10l, [rax+16]
    140005b1bmov rdx, rax
    140005b1etest r10l, r10l
    140005b21jne 0x140005a40
    140005b27mov rcx, rbx
    140005b2amov [rsp+96], rax
    140005b2fcall __cmp_D2A
    140005b34mov rcx, [rsp+96]
    140005b39mov [rsp+92], eax
    140005b3dcall __Bfree_D2A
    140005b42mov edx, [rsp+92]
    140005b46mov eax, [rsp+56]
    140005b4aor edx, eax
    140005b4cjne 0x140005efb
    140005b52mov eax, [r15]
    140005b55and eax, 1
    140005b58or eax, [rsp+88]
    140005b5cjne 0x140005a4d
    140005b62mov r10, [rsp+48]
    140005b67mov r15l, [rsp+112]
    140005b6cmov r8l, esi
    140005b6fmov r11, rdi
    140005b72cmp esi, 57
    140005b75je 0x140006309
    140005b7btest r12l, r12l
    140005b7ejle 0x140006541
    140005b84mov [rsp+72], 32
    140005b8clea r8l, [r14+49]
    140005b90
    140005b90loc_140005b90:
    140005b90mov [r11], r8b
    140005b93mov rsi, rbp
    140005b96lea r12, [r11+1]
    140005b9amov rbp, r13
    140005b9dnop [rax]
    140005ba0
    140005ba0loc_140005ba0:
    140005ba0mov rcx, r10
    140005ba3call __Bfree_D2A
    140005ba8test rbp, rbp
    140005babje 0x140005f4d
    140005bb1test rsi, rsi
    140005bb4je 0x140005bc3
    140005bb6cmp rsi, rbp
    140005bb9je 0x140005bc3
    140005bbbmov rcx, rsi
    140005bbecall __Bfree_D2A
    140005bc3
    140005bc3loc_140005bc3:
    140005bc3mov rsi, [rsp+104]
    140005bc8mov [rsp+104], r12
    140005bcdjmp 0x1400055dd
    140005bd2
    140005bd2 66 0f 1f 44 00 00 f..D..
    140005bd8
    140005bd8loc_140005bd8:
    140005bd8call __multadd_D2A
    140005bddmov rbp, rax
    140005be0mov r13, rax
    140005be3jmp 0x140005ad5
    140005be8
    140005be8 0f 1f 84 00 00 00 00 00 ........
    140005bf0
    140005bf0loc_140005bf0:
    140005bf0mov rdx, r10
    140005bf3mov rcx, rbx
    140005bf6mov [rsp+92], r11l
    140005bfbmov [rsp+48], r10
    140005c00call __cmp_D2A
    140005c05mov r10, [rsp+48]
    140005c0amov r11l, [rsp+92]
    140005c0ftest eax, eax
    140005c11jns 0x14000585d
    140005c17mov eax, [rsp+120]
    140005c1bxor r8l, r8l
    140005c1emov rcx, rbx
    140005c21mov edx, 10
    140005c26mov [rsp+80], r10
    140005c2bmov [rsp+48], r11l
    140005c30lea r14l, [rax-1]
    140005c34call __multadd_D2A
    140005c39mov r10, [rsp+80]
    140005c3emov rbx, rax
    140005c41mov eax, [rsp+156]
    140005c48test eax, eax
    140005c4asetle al
    140005c4dand r13l, eax
    140005c50mov eax, [rsp+124]
    140005c54test eax, eax
    140005c56jne 0x140006400
    140005c5ctest r13b, r13b
    140005c5fjne 0x140006334
    140005c65mov eax, [rsp+156]
    140005c6cmov r15l, [rsp+120]
    140005c71mov [rsp+80], eax
    140005c75nop [rax]
    140005c78
    140005c78loc_140005c78:
    140005c78mov r14, [rsp+104]
    140005c7dmov edi, [rsp+80]
    140005c81mov eax, 1
    140005c86mov rsi, r10
    140005c89jmp 0x140005cad
    140005c8b
    140005c8b 0f 1f 44 00 00 ..D..
    140005c90
    140005c90loc_140005c90:
    140005c90mov rcx, rbx
    140005c93xor r8l, r8l
    140005c96mov edx, 10
    140005c9bcall __multadd_D2A
    140005ca0mov rbx, rax
    140005ca3mov eax, [rsp+172]
    140005caaadd eax, 1
    140005cad
    140005cadloc_140005cad:
    140005cadmov rdx, rsi
    140005cb0mov rcx, rbx
    140005cb3mov [rsp+172], eax
    140005cbaadd r14, 1
    140005cbecall __quorem_D2A
    140005cc3lea r8l, [rax+48]
    140005cc7mov [r14-1], r8b
    140005ccbcmp [rsp+172], edi
    140005cd2jl 0x140005c90
    140005cd4mov r10, rsi
    140005cd7xor esi, esi
    140005cd9
    140005cd9loc_140005cd9:
    140005cd9mov edi, [rsp+88]
    140005cddtest edi, edi
    140005cdfje 0x140006042
    140005ce5mov eax, [rbx+20]
    140005ce8cmp edi, 2
    140005cebje 0x140006087
    140005cf1cmp eax, 1
    140005cf4jg 0x140005f11
    140005cfamov eax, [rbx+24]
    140005cfdtest eax, eax
    140005cffjne 0x140005f11
    140005d05
    140005d05loc_140005d05:
    140005d05test eax, eax
    140005d07setne al
    140005d0amovzx eax, al
    140005d0dshl eax, 4
    140005d10mov [rsp+72], eax
    140005d14nop [rax]
    140005d18
    140005d18loc_140005d18:
    140005d18mov r12, r14
    140005d1bsub r14, 1
    140005d1fcmp [r14], 48
    140005d23je 0x140005d18
    140005d25jmp 0x140005ba0
    140005d2a
    140005d2a 66 0f 1f 44 00 00 f..D..
    140005d30
    140005d30loc_140005d30:
    140005d30mov edx, r11l
    140005d33mov rcx, rax
    140005d36call __pow5mult_D2A
    140005d3bmov r10, rax
    140005d3ecmp edi, 1
    140005d41jle 0x140005f96
    140005d47
    140005d47loc_140005d47:
    140005d47xor r11l, r11l
    140005d4a
    140005d4aloc_140005d4a:
    140005d4amov eax, [r10+20]
    140005d4esub eax, 1
    140005d51cdqe
    140005d53bsr r12l, [r10+4*rax+24]
    140005d59xor r12l, 31
    140005d5djmp 0x1400057d9
    140005d62
    140005d62 66 0f 1f 44 00 00 f..D..
    140005d68
    140005d68loc_140005d68:
    140005d68mov [rsp+124], 1
    140005d70jmp 0x1400054e0
    140005d75
    140005d75 0f 1f 00 ...
    140005d78
    140005d78loc_140005d78:
    140005d78cmp r14l, 1
    140005d7cjne 0x1400057d3
    140005d82mov eax, [r13+4]
    140005d86add eax, 1
    140005d89cmp [rsp+48], eax
    140005d8djle 0x1400057d3
    140005d93add [rsp+112], 1
    140005d98mov r11l, 1
    140005d9eadd [rsp+92], 1
    140005da3jmp 0x1400057d3
    140005da8
    140005da8 0f 1f 84 00 00 00 00 00 ........
    140005db0
    140005db0loc_140005db0:
    140005db0mov ecx, [rsp+80]
    140005db4mov edx, [rsp+128]
    140005dbblea eax, [rcx-1]
    140005dbecmp edx, eax
    140005dc0jl 0x140005f5c
    140005dc6mov r12l, edx
    140005dc9sub r12l, eax
    140005dcctest ecx, ecx
    140005dcejns 0x1400063e0
    140005dd4mov eax, [rsp+112]
    140005dd8mov edx, [rsp+80]
    140005ddcmov [rsp+172], 0
    140005de7sub eax, edx
    140005de9mov [rsp+96], eax
    140005dedjmp 0x140005713
    140005df2
    140005df2 66 0f 1f 44 00 00 f..D..
    140005df8
    140005df8loc_140005df8:
    140005df8cmp edi, 1
    140005dfbjg 0x140005db0
    140005dfdmov ecx, [rsp+112]
    140005e01add [rsp+92], eax
    140005e05mov r12l, [rsp+128]
    140005e0dadd eax, ecx
    140005e0fmov [rsp+96], ecx
    140005e13mov [rsp+112], eax
    140005e17jmp 0x140005713
    140005e1c
    140005e1cloc_140005e1c:
    140005e1cmovsd_xmm x0, [rsp+144]
    140005e25mov rsi, [rsp+104]
    140005e2amov [rsp+172], 1
    140005e35mov edi, [rsp+120]
    140005e39movupd x1, x0
    140005e3dlea rcx, [rsi+1]
    140005e41divsd x1, x2
    140005e45lea r15l, [rdi+1]
    140005e49cvttsd2si eax, x1
    140005e4dpxor x1, x1
    140005e51cvtsi2sd x1, eax
    140005e55lea edx, [rax+48]
    140005e58mov [rsi], dl
    140005e5amulsd x1, x2
    140005e5esubsd x0, x1
    140005e62pxor x1, x1
    140005e66ucomisd x0, x1
    140005e6ajp 0x140005e72
    140005e6cje 0x140006033
    140005e72
    140005e72loc_140005e72:
    140005e72movsd_xmm x4, [rip+0x2632e]
    140005e7apxor x3, x3
    140005e7ejmp 0x140005ec0
    140005e80
    140005e80loc_140005e80:
    140005e80mulsd x0, x4
    140005e84add edx, 1
    140005e87add rcx, 1
    140005e8bmov [rsp+172], edx
    140005e92movupd x1, x0
    140005e96divsd x1, x2
    140005e9acvttsd2si eax, x1
    140005e9epxor x1, x1
    140005ea2cvtsi2sd x1, eax
    140005ea6lea edx, [rax+48]
    140005ea9mov [rcx-1], dl
    140005eacmulsd x1, x2
    140005eb0subsd x0, x1
    140005eb4ucomisd x0, x3
    140005eb8jp 0x140005ec0
    140005ebaje 0x140006033
    140005ec0
    140005ec0loc_140005ec0:
    140005ec0mov edx, [rsp+172]
    140005ec7mov edi, [rsp+80]
    140005ecbcmp edx, edi
    140005ecdjne 0x140005e80
    140005ecfmov edi, [rsp+88]
    140005ed3test edi, edi
    140005ed5je 0x140006349
    140005edbcmp edi, 1
    140005edeje 0x140006461
    140005ee4mov rsi, [rsp+104]
    140005ee9mov [rsp+72], 16
    140005ef1mov [rsp+104], rcx
    140005ef6jmp 0x1400055e5
    140005efb
    140005efbloc_140005efb:
    140005efbmov edx, [rsp+92]
    140005effjmp 0x140005a4d
    140005f04
    140005f04loc_140005f04:
    140005f04mov [rsp+124], 1
    140005f0cjmp 0x1400051d5
    140005f11
    140005f11loc_140005f11:
    140005f11mov rdx, [rsp+104]
    140005f16jmp 0x140005f29
    140005f18
    140005f18 0f 1f 84 00 00 00 00 00 ........
    140005f20
    140005f20loc_140005f20:
    140005f20cmp rdx, r14
    140005f23je 0x140005fd0
    140005f29
    140005f29loc_140005f29:
    140005f29mov r12, r14
    140005f2clea r14, [r14-1]
    140005f30movzx eax, [r12-1]
    140005f36cmp al, 57
    140005f38je 0x140005f20
    140005f3aadd eax, 1
    140005f3dmov [rsp+72], 32
    140005f45mov [r14], al
    140005f48jmp 0x140005ba0
    140005f4d
    140005f4dloc_140005f4d:
    140005f4dmov rsi, [rsp+104]
    140005f52mov [rsp+104], r12
    140005f57jmp 0x1400055e5
    140005f5c
    140005f5cloc_140005f5c:
    140005f5cmov ecx, [rsp+128]
    140005f63mov edx, eax
    140005f65mov [rsp+128], eax
    140005f6cxor r12l, r12l
    140005f6fsub edx, ecx
    140005f71mov ecx, [rsp+112]
    140005f75add r11l, edx
    140005f78mov edx, [rsp+80]
    140005f7cadd [rsp+92], edx
    140005f80mov [rsp+96], ecx
    140005f84mov [rsp+172], edx
    140005f8badd edx, ecx
    140005f8dmov [rsp+112], edx
    140005f91jmp 0x140005713
    140005f96
    140005f96loc_140005f96:
    140005f96cmp r14l, 1
    140005f9ajne 0x140005d47
    140005fa0mov eax, [r13+4]
    140005fa4add eax, 1
    140005fa7cmp [rsp+48], eax
    140005fabjle 0x140005d47
    140005fb1add [rsp+112], 1
    140005fb6mov r11l, 1
    140005fbcadd [rsp+92], 1
    140005fc1jmp 0x140005d4a
    140005fc6
    140005fc6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    140005fd0
    140005fd0loc_140005fd0:
    140005fd0mov rax, [rsp+104]
    140005fd5mov [rsp+72], 32
    140005fddadd r15l, 1
    140005fe1mov [rax], 49
    140005fe4jmp 0x140005ba0
    140005fe9
    140005fe9loc_140005fe9:
    140005fe9mov rcx, rbp
    140005fecmov edx, r12l
    140005fefmov [rsp+152], r11l
    140005ff7call __pow5mult_D2A
    140005ffcmov rdx, rbx
    140005fffmov rcx, rax
    140006002mov rbp, rax
    140006005call __mult_D2A
    14000600amov rcx, rbx
    14000600dmov r15, rax
    140006010call __Bfree_D2A
    140006015sub [rsp+128], r12l
    14000601dmov rbx, r15
    140006020mov r11l, [rsp+152]
    140006028je 0x1400057a4
    14000602ejmp 0x140005782
    140006033
    140006033loc_140006033:
    140006033mov rsi, [rsp+104]
    140006038mov [rsp+104], rcx
    14000603djmp 0x1400055e5
    140006042
    140006042loc_140006042:
    140006042mov rcx, rbx
    140006045mov edx, 1
    14000604amov [rsp+48], r10
    14000604fmov [rsp+56], r8l
    140006054call __lshift_D2A
    140006059mov rdx, [rsp+48]
    14000605emov rcx, rax
    140006061mov rbx, rax
    140006064call __cmp_D2A
    140006069mov r10, [rsp+48]
    14000606etest eax, eax
    140006070jg 0x140005f11
    140006076jne 0x140006087
    140006078mov r8l, [rsp+56]
    14000607dand r8l, 1
    140006081jne 0x140005f11
    140006087
    140006087loc_140006087:
    140006087cmp [rbx+20], 1
    14000608bmov [rsp+72], 16
    140006093jg 0x140005d18
    140006099mov eax, [rbx+24]
    14000609cjmp 0x140005d05
    1400060a1
    1400060a1 0f 1f 80 00 00 00 00 .......
    1400060a8
    1400060a8loc_1400060a8:
    1400060a8mov r9l, [rsp+88]
    1400060admov r10, [rsp+48]
    1400060b2mov r8l, esi
    1400060b5mov r11, rdi
    1400060b8mov r15l, [rsp+112]
    1400060bdtest r9l, r9l
    1400060c0je 0x14000628f
    1400060c6cmp [rbx+20], 1
    1400060cajle 0x140006478
    1400060d0
    1400060d0loc_1400060d0:
    1400060d0cmp [rsp+88], 2
    1400060d5je 0x1400062f2
    1400060dbmov [rsp+48], r15l
    1400060e0mov edi, r8l
    1400060e3mov r14, r10
    1400060e6mov r15, r11
    1400060e9jmp 0x140006136
    1400060eb
    1400060eb 0f 1f 44 00 00 ..D..
    1400060f0
    1400060f0loc_1400060f0:
    1400060f0mov [r12-1], dil
    1400060f5xor r8l, r8l
    1400060f8mov rcx, r13
    1400060fbmov edx, 10
    140006100mov r15, r12
    140006103call __multadd_D2A
    140006108cmp rbp, r13
    14000610bmov rcx, rbx
    14000610emov edx, 10
    140006113cmove rbp, rax
    140006117xor r8l, r8l
    14000611amov rsi, rax
    14000611dcall __multadd_D2A
    140006122mov rdx, r14
    140006125mov r13, rsi
    140006128mov rcx, rax
    14000612bmov rbx, rax
    14000612ecall __quorem_D2A
    140006133lea edi, [rax+48]
    140006136
    140006136loc_140006136:
    140006136mov rdx, r13
    140006139mov rcx, r14
    14000613clea r12, [r15+1]
    140006140call __cmp_D2A
    140006145test eax, eax
    140006147jg 0x1400060f0
    140006149mov r11, r15
    14000614cmov r8l, edi
    14000614fmov r15l, [rsp+48]
    140006154mov r10, r14
    140006157cmp edi, 57
    14000615aje 0x14000630d
    140006160mov [rsp+72], 32
    140006168mov rsi, rbp
    14000616badd r8l, 1
    14000616fmov rbp, r13
    140006172
    140006172loc_140006172:
    140006172mov [r11], r8b
    140006175jmp 0x140005ba0
    14000617a
    14000617aloc_14000617a:
    14000617atest edx, edx
    14000617cje 0x14000561a
    140006182mov ebp, [rsp+156]
    140006189test ebp, ebp
    14000618bjle 0x14000566e
    140006191mulsd x0, [rip+0x2600f]
    140006199movsd_xmm x1, [rip+0x2600f]
    1400061a1mov r15l, -1
    1400061a7mulsd x1, x0
    1400061abmovq r9, x0
    1400061b0addsd x1, [rip+0x26000]
    1400061b8movq rax, x1
    1400061bdmov rdx, rax
    1400061c0mov eax, eax
    1400061c2shr rdx, 32
    1400061c6sub edx, 0x3400000
    1400061ccshl rdx, 32
    1400061d0or rax, rdx
    1400061d3jmp 0x1400052ed
    1400061d8
    1400061d8loc_1400061d8:
    1400061d8mov ecx, [rbp+8]
    1400061dbmov [rsp+48], r10
    1400061e0call __Balloc_D2A
    1400061e5lea rdx, [rbp+16]
    1400061e9lea rcx, [rax+16]
    1400061edmov r12, rax
    1400061f0movsxd rax, [rbp+20]
    1400061f4lea r8, [4*rax+8]
    1400061fccall memcpy
    140006201mov edx, 1
    140006206mov rcx, r12
    140006209call __lshift_D2A
    14000620emov r10, [rsp+48]
    140006213mov r13, rax
    140006216jmp 0x140005a1d
    14000621b
    14000621bloc_14000621b:
    14000621bmov rsi, [rsp+104]
    140006220mov r15l, 2
    140006226xor r10l, r10l
    140006229xor ebp, ebp
    14000622bjmp 0x1400055bf
    140006230
    140006230loc_140006230:
    140006230mov r10, [rsp+48]
    140006235mov r15l, [rsp+112]
    14000623amov r8l, esi
    14000623dmov r11, rdi
    140006240cmp esi, 57
    140006243je 0x14000630d
    140006249add r8l, 1
    14000624dmov rsi, rbp
    140006250mov [rsp+72], 32
    140006258mov rbp, r13
    14000625bmov [rdi], r8b
    14000625ejmp 0x140005ba0
    140006263
    140006263loc_140006263:
    140006263mov r8l, esi
    140006266mov r10, [rsp+48]
    14000626bmov rsi, rbp
    14000626emov r15l, [rsp+112]
    140006273mov rbp, r13
    140006276jmp 0x140005cd9
    14000627b
    14000627bloc_14000627b:
    14000627bmov [rsp+104], rdx
    140006280add r15l, 1
    140006284mov r8l, 49
    14000628ajmp 0x1400053e4
    14000628f
    14000628floc_14000628f:
    14000628ftest edx, edx
    140006291jle 0x1400062e8
    140006293
    140006293loc_140006293:
    140006293mov rcx, rbx
    140006296mov edx, 1
    14000629bmov [rsp+48], r10
    1400062a0mov [rsp+72], r11
    1400062a5mov [rsp+56], r8l
    1400062aacall __lshift_D2A
    1400062afmov rdx, [rsp+48]
    1400062b4mov rcx, rax
    1400062b7mov rbx, rax
    1400062bacall __cmp_D2A
    1400062bfmov r10, [rsp+48]
    1400062c4mov r8l, [rsp+56]
    1400062c9test eax, eax
    1400062cbmov r11, [rsp+72]
    1400062d0jle 0x140006528
    1400062d6
    1400062d6loc_1400062d6:
    1400062d6cmp r8l, 57
    1400062daje 0x140006309
    1400062dcmov [rsp+88], 32
    1400062e4lea r8l, [r14+49]
    1400062e8
    1400062e8loc_1400062e8:
    1400062e8cmp [rbx+20], 1
    1400062ecjle 0x140006506
    1400062f2
    1400062f2loc_1400062f2:
    1400062f2mov rsi, rbp
    1400062f5mov rbp, r13
    1400062f8
    1400062f8loc_1400062f8:
    1400062f8mov [rsp+72], 16
    140006300lea r12, [r11+1]
    140006304jmp 0x140006172
    140006309
    140006309loc_140006309:
    140006309lea r12, [r11+1]
    14000630d
    14000630dloc_14000630d:
    14000630dmov rsi, rbp
    140006310mov [r11], 57
    140006314mov rdx, [rsp+104]
    140006319mov r14, r12
    14000631cmov rbp, r13
    14000631fjmp 0x140005f29
    140006324
    140006324loc_140006324:
    140006324mov [rsp+156], -1
    14000632fjmp 0x14000569a
    140006334
    140006334loc_140006334:
    140006334mov eax, [rsp+156]
    14000633bmov [rsp+120], r14l
    140006340mov [rsp+80], eax
    140006344jmp 0x140005874
    140006349
    140006349loc_140006349:
    140006349addsd x0, x0
    14000634dmovzx r8l, [rcx-1]
    140006352comisd x0, x2
    140006356ja 0x1400064f4
    14000635cucomisd x0, x2
    140006360mov rsi, [rsp+104]
    140006365mov r15l, [rsp+120]
    14000636ajp 0x140006372
    14000636cjne 0x140006372
    14000636etest al, 1
    140006370jne 0x1400063a0
    140006372
    140006372loc_140006372:
    140006372mov [rsp+72], 16
    14000637anop [rax+rax]
    140006380
    140006380loc_140006380:
    140006380mov rax, rcx
    140006383lea rcx, [rcx-1]
    140006387cmp [rax-1], 48
    14000638bje 0x140006380
    14000638dmov [rsp+104], rax
    140006392add r15l, 1
    140006396jmp 0x1400055e5
    14000639b
    14000639bloc_14000639b:
    14000639bmov rsi, [rsp+104]
    1400063a0
    1400063a0loc_1400063a0:
    1400063a0mov rdx, rcx
    1400063a3jmp 0x1400053d1
    1400063a8
    1400063a8loc_1400063a8:
    1400063a8pxor x1, x1
    1400063acxor eax, eax
    1400063aemov ecx, 1
    1400063b3mov rsi, [rsp+104]
    1400063b8ucomisd x0, x1
    1400063bcmov [rsp+104], rdx
    1400063c1setp al
    1400063c4cmovne eax, ecx
    1400063c7add r15l, 1
    1400063cbshl eax, 4
    1400063cemov [rsp+72], eax
    1400063d2jmp 0x1400055e5
    1400063d7
    1400063d7loc_1400063d7:
    1400063d7movupd x0, x2
    1400063dbjmp 0x140005968
    1400063e0
    1400063e0loc_1400063e0:
    1400063e0mov edx, [rsp+112]
    1400063e4mov eax, ecx
    1400063e6add [rsp+92], ecx
    1400063eamov [rsp+172], ecx
    1400063f1add eax, edx
    1400063f3mov [rsp+96], edx
    1400063f7mov [rsp+112], eax
    1400063fbjmp 0x140005713
    140006400
    140006400loc_140006400:
    140006400xor r8l, r8l
    140006403mov rcx, rbp
    140006406mov edx, 10
    14000640bcall __multadd_D2A
    140006410test r13b, r13b
    140006413mov r10, [rsp+80]
    140006418mov rbp, rax
    14000641bjne 0x140006334
    140006421mov eax, [rsp+156]
    140006428mov r15l, [rsp+120]
    14000642dmov r11l, [rsp+48]
    140006432mov [rsp+80], eax
    140006436jmp 0x1400059e7
    14000643b
    14000643bloc_14000643b:
    14000643bpxor x1, x1
    14000643fxor eax, eax
    140006441mov edx, 1
    140006446mov rsi, [rsp+104]
    14000644bucomisd x0, x1
    14000644fsetp al
    140006452cmovne eax, edx
    140006455shl eax, 4
    140006458mov [rsp+72], eax
    14000645cjmp 0x140006380
    140006461
    140006461loc_140006461:
    140006461movzx r8l, [rcx-1]
    140006466mov rsi, [rsp+104]
    14000646bmov rdx, rcx
    14000646emov r15l, [rsp+120]
    140006473jmp 0x1400053d1
    140006478
    140006478loc_140006478:
    140006478mov ecx, [rbx+24]
    14000647btest ecx, ecx
    14000647djne 0x1400060d0
    140006483test edx, edx
    140006485jg 0x140006293
    14000648bmov rsi, rbp
    14000648elea r12, [rdi+1]
    140006492mov rbp, r13
    140006495jmp 0x140006172
    14000649a
    14000649aloc_14000649a:
    14000649amov ecx, [rsp+80]
    14000649emov edx, [rsp+128]
    1400064a5lea eax, [rcx-1]
    1400064a8cmp edx, eax
    1400064aajl 0x140005f5c
    1400064b0sub edx, eax
    1400064b2add [rsp+92], ecx
    1400064b6mov eax, ecx
    1400064b8mov [rsp+172], ecx
    1400064bfmov ecx, [rsp+112]
    1400064c3mov r12l, edx
    1400064c6add eax, ecx
    1400064c8mov [rsp+96], ecx
    1400064ccmov [rsp+112], eax
    1400064d0jmp 0x140005713
    1400064d5
    1400064d5loc_1400064d5:
    1400064d5mov eax, [rsp+112]
    1400064d9mov [rsp+88], 0
    1400064e1xor ebp, ebp
    1400064e3mov r12l, [rsp+128]
    1400064ebmov [rsp+96], eax
    1400064efjmp 0x140005738
    1400064f4
    1400064f4loc_1400064f4:
    1400064f4mov rsi, [rsp+104]
    1400064f9mov r15l, [rsp+120]
    1400064femov rdx, rcx
    140006501jmp 0x1400053d1
    140006506
    140006506loc_140006506:
    140006506mov edx, [rbx+24]
    140006509mov rsi, rbp
    14000650cmov rbp, r13
    14000650ftest edx, edx
    140006511jne 0x1400062f8
    140006517mov eax, [rsp+88]
    14000651blea r12, [r11+1]
    14000651fmov [rsp+72], eax
    140006523jmp 0x140006172
    140006528
    140006528loc_140006528:
    140006528jne 0x140006534
    14000652atest r8b, 1
    14000652ejne 0x1400062d6
    140006534
    140006534loc_140006534:
    140006534mov [rsp+88], 32
    14000653cjmp 0x1400062e8
    140006541
    140006541loc_140006541:
    140006541cmp [rbx+20], 1
    140006545mov [rsp+72], 16
    14000654djg 0x140005b90
    140006553xor eax, eax
    140006555cmp [rbx+24], 0
    140006559setne al
    14000655cshl eax, 4
    14000655fmov [rsp+72], eax
    140006563jmp 0x140005b90
    140004d90