// File: /workspace/github_cpp_makefile_star2_O3/statgen[P]statgen/lib/samtools-0.1.7a-hybrid/bam.c
// Function: bam_format1_core
char *bam_format1_core(const bam_header_t *header, const bam1_t *b, int of)
{
	uint8_t *s = bam1_seq(b), *t = bam1_qual(b);
	int i;
	const bam1_core_t *c = &b->core;
	kstring_t str;
	str.l = str.m = 0; str.s = 0;

	ksprintf(&str, "%s\t", bam1_qname(b));
	if (of == BAM_OFDEC) ksprintf(&str, "%d\t", c->flag);
	else if (of == BAM_OFHEX) ksprintf(&str, "0x%x\t", c->flag);
	else { // BAM_OFSTR
		for (i = 0; i < 16; ++i)
			if ((c->flag & 1<<i) && bam_flag2char_table[i])
				kputc(bam_flag2char_table[i], &str);
		kputc('\t', &str);
	}
	if (c->tid < 0) kputs("*\t", &str);
	else ksprintf(&str, "%s\t", header->target_name[c->tid]);
	ksprintf(&str, "%d\t%d\t", c->pos + 1, c->qual);
	if (c->n_cigar == 0) kputc('*', &str);
	else {
		for (i = 0; i < c->n_cigar; ++i)
			ksprintf(&str, "%d%c", bam1_cigar(b)[i]>>BAM_CIGAR_SHIFT, "MIDNSHP"[bam1_cigar(b)[i]&BAM_CIGAR_MASK]);
	}
	kputc('\t', &str);
	if (c->mtid < 0) kputs("*\t", &str);
	else if (c->mtid == c->tid) kputs("=\t", &str);
	else ksprintf(&str, "%s\t", header->target_name[c->mtid]);
	ksprintf(&str, "%d\t%d\t", c->mpos + 1, c->isize);
	if (c->l_qseq) {
		for (i = 0; i < c->l_qseq; ++i) kputc(bam_nt16_rev_table[bam1_seqi(s, i)], &str);
		kputc('\t', &str);
		if (t[0] == 0xff) kputc('*', &str);
		else for (i = 0; i < c->l_qseq; ++i) kputc(t[i] + 33, &str);
	} else ksprintf(&str, "*\t*");
	s = bam1_aux(b);
	while (s < b->data + b->data_len) {
		uint8_t type, key[2];
		key[0] = s[0]; key[1] = s[1];
		s += 2; type = *s; ++s;
		ksprintf(&str, "\t%c%c:", key[0], key[1]);
		if (type == 'A') { ksprintf(&str, "A:%c", *s); ++s; }
		else if (type == 'C') { ksprintf(&str, "i:%u", *s); ++s; }
		else if (type == 'c') { ksprintf(&str, "i:%d", *s); ++s; }
		else if (type == 'S') { ksprintf(&str, "i:%u", *(uint16_t*)s); s += 2; }
		else if (type == 's') { ksprintf(&str, "i:%d", *(int16_t*)s); s += 2; }
		else if (type == 'I') { ksprintf(&str, "i:%u", *(uint32_t*)s); s += 4; }
		else if (type == 'i') { ksprintf(&str, "i:%d", *(int32_t*)s); s += 4; }
		else if (type == 'f') { ksprintf(&str, "f:%g", *(float*)s); s += 4; }
		else if (type == 'd') { ksprintf(&str, "d:%lg", *(double*)s); s += 8; }
		else if (type == 'Z' || type == 'H') { ksprintf(&str, "%c:", type); while (*s) kputc(*s++, &str); ++s; }
	}
	return str.s;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl %edx, %ebp
movq %rsi, %rbx
movq %rdi, %r15
movq 0x30(%rsi), %rdx
movq 0x8(%rsi), %r14
movl 0x10(%rsi), %r12d
leal 0x1(%r12), %r13d
shrl $0x1f, %r13d
xorps %xmm0, %xmm0
movq %rsp, %rdi
movaps %xmm0, (%rdi)
movq $0x0, 0x10(%rdi)
leaq 0x137ce(%rip), %rsi     # 0x262b7
movq %rdx, 0x30(%rsp)
xorl %eax, %eax
callq 0x10fc0
testl %ebp, %ebp
je 0x12b0b
cmpl $0x1, %ebp
jne 0x12b25
movzwl 0xc(%rbx), %edx
leaq 0x129e3(%rip), %rsi     # 0x254ec
jmp 0x12b16
movzwl 0xc(%rbx), %edx
leaq 0x1118e(%rip), %rsi     # 0x23ca4
movq %rsp, %rdi
xorl %eax, %eax
callq 0x10fc0
jmp 0x12c52
movq %r14, 0x18(%rsp)
xorl %r14d, %r14d
movl 0xc(%rbx), %eax
btl %r14d, %eax
jae 0x12bc5
movq 0x1c08f(%rip), %rax     # 0x2ebd0
movb (%rax,%r14), %bpl
testb %bpl, %bpl
je 0x12bc5
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x12b60
movq 0x10(%rsp), %rax
jmp 0x12bb0
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq %rcx, (%rsp)
movb %bpl, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
incq %r14
cmpq $0x10, %r14
jne 0x12b2d
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x12be8
movq 0x10(%rsp), %rax
jmp 0x12c38
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq 0x18(%rsp), %r14
movq %rcx, (%rsp)
movb $0x9, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
movslq (%rbx), %rax
testq %rax, %rax
js 0x12c75
movq 0x8(%r15), %rcx
movq (%rcx,%rax,8), %rdx
leaq 0x1364e(%rip), %rsi     # 0x262b7
movq %rsp, %rdi
xorl %eax, %eax
callq 0x10fc0
jmp 0x12cf3
movq (%rsp), %rcx
leaq 0x3(%rcx), %rax
cmpq 0x8(%rsp), %rax
jae 0x12c8b
movq 0x10(%rsp), %rax
jmp 0x12cd7
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rsi
shrq $0x10, %rsi
orq %rax, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rcx
movw $0x92a, (%rax,%rcx)     # imm = 0x92A
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
leaq 0x2(%rax), %rdx
movq %rdx, (%rsp)
movb $0x0, 0x2(%rcx,%rax)
movq %r14, %rax
shrq $0x30, %r14
shrl $0x18, %eax
movq %rax, 0x18(%rsp)
leal (%r12,%r13), %ebp
incl %ebp
movl 0x4(%rbx), %edx
incl %edx
movzbl 0xa(%rbx), %ecx
leaq 0x10f89(%rip), %rsi     # 0x23ca1
movq %rsp, %rdi
xorl %eax, %eax
callq 0x10fc0
movq 0x8(%rbx), %rax
movq %rax, %rcx
shrq $0x30, %rcx
movq %r15, 0x28(%rsp)
movl %ebp, 0x24(%rsp)
jne 0x12d51
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x12d9d
movq 0x10(%rsp), %rax
jmp 0x12ded
leaq 0x1279f(%rip), %r15     # 0x254f7
leaq 0x12793(%rip), %r12     # 0x254f2
movq %rsp, %r13
xorl %ebp, %ebp
shrl $0x18, %eax
addq 0x30(%rbx), %rax
movl (%rax,%rbp,4), %eax
movl %eax, %edx
shrl $0x4, %edx
andl $0xf, %eax
movsbl (%rax,%r15), %ecx
movq %r13, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x10fc0
incq %rbp
movq 0x8(%rbx), %rax
movq %rax, %rcx
shrq $0x30, %rcx
cmpq %rcx, %rbp
jb 0x12d64
jmp 0x12e02
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq %rcx, (%rsp)
movb $0x2a, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
movq 0x30(%rsp), %rax
leaq (%rax,%r14,4), %r15
movl 0x24(%rsp), %ebp
sarl %ebp
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x12e27
movq 0x10(%rsp), %rax
jmp 0x12e77
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq 0x18(%rsp), %rsi
addq %rsi, %r15
movslq %ebp, %r14
movq %rcx, (%rsp)
movb $0x9, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
movslq 0x14(%rbx), %rax
testq %rax, %rax
js 0x12ec1
cmpl (%rbx), %eax
jne 0x12ed7
movq (%rsp), %rcx
leaq 0x3(%rcx), %rax
cmpq 0x8(%rsp), %rax
jae 0x12f4e
movq 0x10(%rsp), %rax
jmp 0x12f9a
movq (%rsp), %rcx
leaq 0x3(%rcx), %rax
cmpq 0x8(%rsp), %rax
jae 0x12efa
movq 0x10(%rsp), %rax
jmp 0x12f46
movq 0x28(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq (%rcx,%rax,8), %rdx
leaq 0x133cc(%rip), %rsi     # 0x262b7
movq %rsp, %rdi
xorl %eax, %eax
callq 0x10fc0
jmp 0x12fb6
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rsi
shrq $0x10, %rsi
orq %rax, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rcx
movw $0x92a, (%rax,%rcx)     # imm = 0x92A
jmp 0x12fa0
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rsi
shrq $0x10, %rsi
orq %rax, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rcx
movw $0x93d, (%rax,%rcx)     # imm = 0x93D
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
leaq 0x2(%rax), %rdx
movq %rdx, (%rsp)
movb $0x0, 0x2(%rcx,%rax)
addq %r15, %r14
movl 0x18(%rbx), %edx
movl 0x1c(%rbx), %ecx
incl %edx
leaq 0x10cd9(%rip), %rsi     # 0x23ca1
movq %rsp, %rdi
xorl %eax, %eax
callq 0x10fc0
cmpl $0x0, 0x10(%rbx)
je 0x130b2
movq %r14, 0x18(%rsp)
jle 0x1309c
xorl %ebp, %ebp
leaq 0x1bef0(%rip), %r12     # 0x2eee0
xorl %r13d, %r13d
movl %r13d, %eax
shrl %eax
movzbl (%r15,%rax), %eax
movl %ebp, %ecx
notb %cl
andb $0x4, %cl
shrl %cl, %eax
movq (%r12), %rcx
andl $0xf, %eax
movb (%rcx,%rax), %r14b
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x13027
movq 0x10(%rsp), %rax
jmp 0x13077
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq %rcx, (%rsp)
movb %r14b, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
incl %r13d
addl $0x4, %ebp
cmpl 0x10(%rbx), %r13d
jl 0x12ff3
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x130c8
movq 0x10(%rsp), %rax
jmp 0x13118
leaq 0x12446(%rip), %rsi     # 0x254ff
movq %rsp, %rdi
xorl %eax, %eax
callq 0x10fc0
jmp 0x13259
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq 0x18(%rsp), %r14
movq %rcx, (%rsp)
movb $0x9, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
cmpb $-0x1, (%r14)
je 0x131de
cmpl $0x0, 0x10(%rbx)
jle 0x13259
xorl %r15d, %r15d
movb (%r14,%r15), %bpl
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x13163
movq 0x10(%rsp), %rax
jmp 0x131b3
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
addb $0x21, %bpl
movq %rcx, (%rsp)
movb %bpl, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
incq %r15
movslq 0x10(%rbx), %rax
cmpq %rax, %r15
jl 0x13149
jmp 0x13259
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x131f4
movq 0x10(%rsp), %rax
jmp 0x13244
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq %rcx, (%rsp)
movb $0x2a, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
movq 0x8(%rbx), %rax
movq 0x30(%rbx), %rcx
movq %rax, %rdx
shrq $0x30, %rdx
leaq (%rcx,%rdx,4), %rdx
shrl $0x18, %eax
movslq 0x10(%rbx), %rsi
addq %rsi, %rax
addq %rdx, %rax
leal 0x1(%rsi), %edx
shrl $0x1f, %edx
addl %esi, %edx
incl %edx
sarl %edx
movslq %edx, %r13
addq %rax, %r13
movslq 0x24(%rbx), %rax
addq %rcx, %rax
cmpq %rax, %r13
jae 0x134ad
leaq 0x12261(%rip), %r14     # 0x25503
movq %rsp, %r15
movzbl (%r13), %edx
movzbl 0x1(%r13), %ecx
movzbl 0x2(%r13), %ebp
leaq 0x3(%r13), %r12
movq %r15, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x10fc0
cmpl $0x59, %ebp
jle 0x132f6
leal -0x63(%rbp), %eax
cmpl $0x6, %eax
ja 0x13326
leaq 0x12177(%rip), %rcx     # 0x25450
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movzbl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x12223(%rip), %rsi     # 0x25514
jmp 0x13437
leal -0x41(%rbp), %eax
cmpl $0x8, %eax
ja 0x133f3
leaq 0x12123(%rip), %rcx     # 0x2542c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movzbl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x121e9(%rip), %rsi     # 0x2550a
jmp 0x13437
cmpl $0x5a, %ebp
je 0x13348
cmpl $0x73, %ebp
jne 0x13499
movswl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x121d1(%rip), %rsi     # 0x25514
jmp 0x1340b
movq %r15, %rdi
leaq 0x121b4(%rip), %rsi     # 0x25506
movl %ebp, %edx
xorl %eax, %eax
callq 0x10fc0
movb (%r12), %bpl
testb %bpl, %bpl
je 0x133eb
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
cmpq 0x8(%rsp), %rcx
jae 0x1337e
movq 0x10(%rsp), %rax
jmp 0x133ce
movq %rcx, %rax
shrq %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x10, %rsi
orq %rcx, %rsi
incq %rsi
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
callq 0x3610
movq %rax, 0x10(%rsp)
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
incq %r12
movq %rcx, (%rsp)
movb %bpl, (%rax,%rdx)
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rcx,%rax)
jmp 0x1335b
incq %r12
jmp 0x13499
cmpl $0x53, %ebp
jne 0x13499
movzwl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x12104(%rip), %rsi     # 0x2550f
xorl %eax, %eax
callq 0x10fc0
addq $0x5, %r13
jmp 0x13496
movl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x120e9(%rip), %rsi     # 0x2550f
jmp 0x13452
movzbl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x120d8(%rip), %rsi     # 0x2550f
xorl %eax, %eax
callq 0x10fc0
addq $0x4, %r13
jmp 0x13496
movl 0x3(%r13), %edx
movq %r15, %rdi
leaq 0x120c2(%rip), %rsi     # 0x25514
xorl %eax, %eax
callq 0x10fc0
jmp 0x13492
movsd 0x3(%r13), %xmm0
movq %r15, %rdi
leaq 0x120b3(%rip), %rsi     # 0x2551e
movb $0x1, %al
callq 0x10fc0
addq $0xb, %r13
jmp 0x13496
xorps %xmm0, %xmm0
cvtss2sd 0x3(%r13), %xmm0
movq %r15, %rdi
leaq 0x1208e(%rip), %rsi     # 0x25519
movb $0x1, %al
callq 0x10fc0
addq $0x7, %r13
movq %r13, %r12
movslq 0x24(%rbx), %rax
addq 0x30(%rbx), %rax
movq %r12, %r13
cmpq %rax, %r12
jb 0x132a5
movq 0x10(%rsp), %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq