// File: karel-brinda[P]ococo/ext/htslib/cram/cram_codecs.c
// Function: cram_byte_array_stop_encode_store
int cram_byte_array_stop_encode_store(cram_codec *c, cram_block *b,
				      char *prefix, int version) {
    int len = 0;
    char buf[20], *cp = buf;

    if (prefix) {
	size_t l = strlen(prefix);
	BLOCK_APPEND(b, prefix, l);
	len += l;
    }

    cp += itf8_put(cp, c->codec);

    if (CRAM_MAJOR_VERS(version) == 1) {
	cp += itf8_put(cp, 5);
	*cp++ = c->e_byte_array_stop.stop;
	*cp++ = (c->e_byte_array_stop.content_id >>  0) & 0xff;
	*cp++ = (c->e_byte_array_stop.content_id >>  8) & 0xff;
	*cp++ = (c->e_byte_array_stop.content_id >> 16) & 0xff;
	*cp++ = (c->e_byte_array_stop.content_id >> 24) & 0xff;
    } else {
	cp += itf8_put(cp, 1 + itf8_size(c->e_byte_array_stop.content_id));
	*cp++ = c->e_byte_array_stop.stop;
	cp += itf8_put(cp, c->e_byte_array_stop.content_id);
    }

    BLOCK_APPEND(b, buf, cp-buf);
    len += cp-buf;

    return len;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x180, %rsp            # imm = 0x180
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl $0x0, -0x20(%rbp)
leaq -0x40(%rbp), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x7437f
movq -0x18(%rbp), %rdi
callq 0x4230
movq %rax, -0x50(%rbp)
jmp 0x74273
jmp 0x74275
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x30(%rcx), %rcx
addq -0x50(%rbp), %rcx
cmpq %rcx, %rax
ja 0x74342
movq -0x10(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x742db
movq -0x10(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x6833(%rip), %xmm1     # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x6837(%rip), %xmm1     # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x7808(%rip), %xmm1     # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x58(%rbp)
jmp 0x742ea
movsd 0x77ed(%rip), %xmm0     # 0x7bad0
movsd %xmm0, -0x58(%rbp)
jmp 0x742ea
movsd -0x58(%rbp), %xmm0
movsd 0x67c9(%rip), %xmm2     # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0x74275
jmp 0x74344
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rdi
movq -0x18(%rbp), %rsi
movq -0x50(%rbp), %rdx
callq 0x4460
movq -0x50(%rbp), %rcx
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x50(%rbp), %rcx
movslq -0x20(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x743a8
movq -0x8(%rbp), %rax
movl (%rax), %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movl $0x1, %eax
movl %eax, -0x5c(%rbp)
jmp 0x7454b
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x743ef
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x8, %eax
orl $0x80, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movl $0x2, %eax
movl %eax, -0x60(%rbp)
jmp 0x74545
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x7444d
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x10, %eax
orl $0xc0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movl $0x3, %eax
movl %eax, -0x64(%rbp)
jmp 0x7453f
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
jne 0x744bf
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x18, %eax
orl $0xe0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x10, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x3(%rax)
movl $0x4, %eax
movl %eax, -0x68(%rbp)
jmp 0x74539
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x1c, %eax
andl $0xff, %eax
orl $0xf0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x14, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0xc, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
shrl $0x4, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x3(%rax)
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0xf, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x4(%rax)
movl $0x5, %eax
movl %eax, -0x68(%rbp)
movl -0x68(%rbp), %eax
movl %eax, -0x64(%rbp)
movl -0x64(%rbp), %eax
movl %eax, -0x60(%rbp)
movl -0x60(%rbp), %eax
movl %eax, -0x5c(%rbp)
movl -0x5c(%rbp), %ecx
movq -0x48(%rbp), %rax
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x48(%rbp)
movl -0x1c(%rbp), %eax
sarl $0x8, %eax
cmpl $0x1, %eax
jne 0x74623
movq -0x48(%rbp), %rax
movb $0x5, (%rax)
movq -0x48(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movb 0x30(%rax), %cl
movq -0x48(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x48(%rbp)
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x0, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x48(%rbp)
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x48(%rbp)
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x10, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x48(%rbp)
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x18, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x48(%rbp)
movb %cl, (%rax)
jmp 0x755ea
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x7463c
movl $0x1, %eax
movl %eax, -0x6c(%rbp)
jmp 0x746a6
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74657
movl $0x2, %eax
movl %eax, -0x70(%rbp)
jmp 0x746a0
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74672
movl $0x3, %eax
movl %eax, -0x74(%rbp)
jmp 0x7469a
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x74(%rbp)
movl -0x74(%rbp), %eax
movl %eax, -0x70(%rbp)
movl -0x70(%rbp), %eax
movl %eax, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
addl $0x1, %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74759
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x746d1
movl $0x1, %eax
movl %eax, -0x78(%rbp)
jmp 0x7473b
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x746ec
movl $0x2, %eax
movl %eax, -0x7c(%rbp)
jmp 0x74735
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74707
movl $0x3, %eax
movl %eax, -0x80(%rbp)
jmp 0x7472f
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x80(%rbp)
movl -0x80(%rbp), %eax
movl %eax, -0x7c(%rbp)
movl -0x7c(%rbp), %eax
movl %eax, -0x78(%rbp)
movl -0x78(%rbp), %eax
addl $0x1, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movl $0x1, %eax
movl %eax, -0x84(%rbp)
jmp 0x753a7
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74775
movl $0x1, %eax
movl %eax, -0x88(%rbp)
jmp 0x747f4
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74793
movl $0x2, %eax
movl %eax, -0x8c(%rbp)
jmp 0x747e8
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x747b1
movl $0x3, %eax
movl %eax, -0x90(%rbp)
jmp 0x747dc
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x90(%rbp)
movl -0x90(%rbp), %eax
movl %eax, -0x8c(%rbp)
movl -0x8c(%rbp), %eax
movl %eax, -0x88(%rbp)
movl -0x88(%rbp), %eax
addl $0x1, %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74981
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74827
movl $0x1, %eax
movl %eax, -0x94(%rbp)
jmp 0x748a6
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74845
movl $0x2, %eax
movl %eax, -0x98(%rbp)
jmp 0x7489a
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74863
movl $0x3, %eax
movl %eax, -0x9c(%rbp)
jmp 0x7488e
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x9c(%rbp)
movl -0x9c(%rbp), %eax
movl %eax, -0x98(%rbp)
movl -0x98(%rbp), %eax
movl %eax, -0x94(%rbp)
movl -0x94(%rbp), %eax
addl $0x1, %eax
sarl $0x8, %eax
orl $0x80, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x748db
movl $0x1, %eax
movl %eax, -0xa0(%rbp)
jmp 0x7495a
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x748f9
movl $0x2, %eax
movl %eax, -0xa4(%rbp)
jmp 0x7494e
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74917
movl $0x3, %eax
movl %eax, -0xa8(%rbp)
jmp 0x74942
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xa8(%rbp)
movl -0xa8(%rbp), %eax
movl %eax, -0xa4(%rbp)
movl -0xa4(%rbp), %eax
movl %eax, -0xa0(%rbp)
movl -0xa0(%rbp), %eax
addl $0x1, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movl $0x2, %eax
movl %eax, -0xac(%rbp)
jmp 0x7539b
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x7499d
movl $0x1, %eax
movl %eax, -0xb0(%rbp)
jmp 0x74a1c
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x749bb
movl $0x2, %eax
movl %eax, -0xb4(%rbp)
jmp 0x74a10
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x749d9
movl $0x3, %eax
movl %eax, -0xb8(%rbp)
jmp 0x74a04
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xb8(%rbp)
movl -0xb8(%rbp), %eax
movl %eax, -0xb4(%rbp)
movl -0xb4(%rbp), %eax
movl %eax, -0xb0(%rbp)
movl -0xb0(%rbp), %eax
addl $0x1, %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74c5e
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74a4f
movl $0x1, %eax
movl %eax, -0xbc(%rbp)
jmp 0x74ace
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74a6d
movl $0x2, %eax
movl %eax, -0xc0(%rbp)
jmp 0x74ac2
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74a8b
movl $0x3, %eax
movl %eax, -0xc4(%rbp)
jmp 0x74ab6
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xc4(%rbp)
movl -0xc4(%rbp), %eax
movl %eax, -0xc0(%rbp)
movl -0xc0(%rbp), %eax
movl %eax, -0xbc(%rbp)
movl -0xbc(%rbp), %eax
addl $0x1, %eax
sarl $0x10, %eax
orl $0xc0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74b03
movl $0x1, %eax
movl %eax, -0xc8(%rbp)
jmp 0x74b82
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74b21
movl $0x2, %eax
movl %eax, -0xcc(%rbp)
jmp 0x74b76
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74b3f
movl $0x3, %eax
movl %eax, -0xd0(%rbp)
jmp 0x74b6a
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xd0(%rbp)
movl -0xd0(%rbp), %eax
movl %eax, -0xcc(%rbp)
movl -0xcc(%rbp), %eax
movl %eax, -0xc8(%rbp)
movl -0xc8(%rbp), %eax
addl $0x1, %eax
sarl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74bb8
movl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0x74c37
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74bd6
movl $0x2, %eax
movl %eax, -0xd8(%rbp)
jmp 0x74c2b
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74bf4
movl $0x3, %eax
movl %eax, -0xdc(%rbp)
jmp 0x74c1f
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xdc(%rbp)
movl -0xdc(%rbp), %eax
movl %eax, -0xd8(%rbp)
movl -0xd8(%rbp), %eax
movl %eax, -0xd4(%rbp)
movl -0xd4(%rbp), %eax
addl $0x1, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movl $0x3, %eax
movl %eax, -0xe0(%rbp)
jmp 0x7538f
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74c7a
movl $0x1, %eax
movl %eax, -0xe4(%rbp)
jmp 0x74cf9
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74c98
movl $0x2, %eax
movl %eax, -0xe8(%rbp)
jmp 0x74ced
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74cb6
movl $0x3, %eax
movl %eax, -0xec(%rbp)
jmp 0x74ce1
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xec(%rbp)
movl -0xec(%rbp), %eax
movl %eax, -0xe8(%rbp)
movl -0xe8(%rbp), %eax
movl %eax, -0xe4(%rbp)
movl -0xe4(%rbp), %eax
addl $0x1, %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
jne 0x74ff0
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74d2c
movl $0x1, %eax
movl %eax, -0xf0(%rbp)
jmp 0x74dab
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74d4a
movl $0x2, %eax
movl %eax, -0xf4(%rbp)
jmp 0x74d9f
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74d68
movl $0x3, %eax
movl %eax, -0xf8(%rbp)
jmp 0x74d93
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0xf8(%rbp)
movl -0xf8(%rbp), %eax
movl %eax, -0xf4(%rbp)
movl -0xf4(%rbp), %eax
movl %eax, -0xf0(%rbp)
movl -0xf0(%rbp), %eax
addl $0x1, %eax
sarl $0x18, %eax
orl $0xe0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74de0
movl $0x1, %eax
movl %eax, -0xfc(%rbp)
jmp 0x74e5f
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74dfe
movl $0x2, %eax
movl %eax, -0x100(%rbp)
jmp 0x74e53
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74e1c
movl $0x3, %eax
movl %eax, -0x104(%rbp)
jmp 0x74e47
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x104(%rbp)
movl -0x104(%rbp), %eax
movl %eax, -0x100(%rbp)
movl -0x100(%rbp), %eax
movl %eax, -0xfc(%rbp)
movl -0xfc(%rbp), %eax
addl $0x1, %eax
sarl $0x10, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74e95
movl $0x1, %eax
movl %eax, -0x108(%rbp)
jmp 0x74f14
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74eb3
movl $0x2, %eax
movl %eax, -0x10c(%rbp)
jmp 0x74f08
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74ed1
movl $0x3, %eax
movl %eax, -0x110(%rbp)
jmp 0x74efc
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x110(%rbp)
movl -0x110(%rbp), %eax
movl %eax, -0x10c(%rbp)
movl -0x10c(%rbp), %eax
movl %eax, -0x108(%rbp)
movl -0x108(%rbp), %eax
addl $0x1, %eax
sarl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x74f4a
movl $0x1, %eax
movl %eax, -0x114(%rbp)
jmp 0x74fc9
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x74f68
movl $0x2, %eax
movl %eax, -0x118(%rbp)
jmp 0x74fbd
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x74f86
movl $0x3, %eax
movl %eax, -0x11c(%rbp)
jmp 0x74fb1
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x11c(%rbp)
movl -0x11c(%rbp), %eax
movl %eax, -0x118(%rbp)
movl -0x118(%rbp), %eax
movl %eax, -0x114(%rbp)
movl -0x114(%rbp), %eax
addl $0x1, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x3(%rax)
movl $0x4, %eax
movl %eax, -0x120(%rbp)
jmp 0x75383
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x7500c
movl $0x1, %eax
movl %eax, -0x124(%rbp)
jmp 0x7508b
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x7502a
movl $0x2, %eax
movl %eax, -0x128(%rbp)
jmp 0x7507f
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x75048
movl $0x3, %eax
movl %eax, -0x12c(%rbp)
jmp 0x75073
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x12c(%rbp)
movl -0x12c(%rbp), %eax
movl %eax, -0x128(%rbp)
movl -0x128(%rbp), %eax
movl %eax, -0x124(%rbp)
movl -0x124(%rbp), %eax
addl $0x1, %eax
sarl $0x1c, %eax
andl $0xff, %eax
orl $0xf0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x750c5
movl $0x1, %eax
movl %eax, -0x130(%rbp)
jmp 0x75144
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x750e3
movl $0x2, %eax
movl %eax, -0x134(%rbp)
jmp 0x75138
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x75101
movl $0x3, %eax
movl %eax, -0x138(%rbp)
jmp 0x7512c
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x138(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x134(%rbp), %eax
movl %eax, -0x130(%rbp)
movl -0x130(%rbp), %eax
addl $0x1, %eax
sarl $0x14, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x7517a
movl $0x1, %eax
movl %eax, -0x13c(%rbp)
jmp 0x751f9
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x75198
movl $0x2, %eax
movl %eax, -0x140(%rbp)
jmp 0x751ed
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x751b6
movl $0x3, %eax
movl %eax, -0x144(%rbp)
jmp 0x751e1
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x144(%rbp)
movl -0x144(%rbp), %eax
movl %eax, -0x140(%rbp)
movl -0x140(%rbp), %eax
movl %eax, -0x13c(%rbp)
movl -0x13c(%rbp), %eax
addl $0x1, %eax
sarl $0xc, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x7522f
movl $0x1, %eax
movl %eax, -0x148(%rbp)
jmp 0x752ae
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x7524d
movl $0x2, %eax
movl %eax, -0x14c(%rbp)
jmp 0x752a2
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x7526b
movl $0x3, %eax
movl %eax, -0x150(%rbp)
jmp 0x75296
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x150(%rbp)
movl -0x150(%rbp), %eax
movl %eax, -0x14c(%rbp)
movl -0x14c(%rbp), %eax
movl %eax, -0x148(%rbp)
movl -0x148(%rbp), %eax
addl $0x1, %eax
sarl $0x4, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x3(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x752e4
movl $0x1, %eax
movl %eax, -0x154(%rbp)
jmp 0x75363
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x75302
movl $0x2, %eax
movl %eax, -0x158(%rbp)
jmp 0x75357
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x75320
movl $0x3, %eax
movl %eax, -0x15c(%rbp)
jmp 0x7534b
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
setne %dl
xorb $-0x1, %dl
movl $0x5, %eax
movl $0x4, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, -0x15c(%rbp)
movl -0x15c(%rbp), %eax
movl %eax, -0x158(%rbp)
movl -0x158(%rbp), %eax
movl %eax, -0x154(%rbp)
movl -0x154(%rbp), %eax
addl $0x1, %eax
andl $0xf, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x4(%rax)
movl $0x5, %eax
movl %eax, -0x120(%rbp)
movl -0x120(%rbp), %eax
movl %eax, -0xe0(%rbp)
movl -0xe0(%rbp), %eax
movl %eax, -0xac(%rbp)
movl -0xac(%rbp), %eax
movl %eax, -0x84(%rbp)
movl -0x84(%rbp), %ecx
movq -0x48(%rbp), %rax
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movb 0x30(%rax), %cl
movq -0x48(%rbp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x48(%rbp)
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $-0x80, %eax
cmpl $0x0, %eax
jne 0x75401
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movl $0x1, %eax
movl %eax, -0x160(%rbp)
jmp 0x755d6
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffffc000, %eax       # imm = 0xFFFFC000
cmpl $0x0, %eax
jne 0x7544e
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x8, %eax
orl $0x80, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movl $0x2, %eax
movl %eax, -0x164(%rbp)
jmp 0x755ca
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xffe00000, %eax       # imm = 0xFFE00000
cmpl $0x0, %eax
jne 0x754b3
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x10, %eax
orl $0xc0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movl $0x3, %eax
movl %eax, -0x168(%rbp)
jmp 0x755be
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf0000000, %eax       # imm = 0xF0000000
cmpl $0x0, %eax
jne 0x75530
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x18, %eax
orl $0xe0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x10, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x8, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x3(%rax)
movl $0x4, %eax
movl %eax, -0x16c(%rbp)
jmp 0x755b2
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x1c, %eax
andl $0xff, %eax
orl $0xf0, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, (%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x14, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x1(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0xc, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x2(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
sarl $0x4, %eax
andl $0xff, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x3(%rax)
movq -0x8(%rbp), %rax
movl 0x34(%rax), %eax
andl $0xf, %eax
movb %al, %cl
movq -0x48(%rbp), %rax
movb %cl, 0x4(%rax)
movl $0x5, %eax
movl %eax, -0x16c(%rbp)
movl -0x16c(%rbp), %eax
movl %eax, -0x168(%rbp)
movl -0x168(%rbp), %eax
movl %eax, -0x164(%rbp)
movl -0x164(%rbp), %eax
movl %eax, -0x160(%rbp)
movl -0x160(%rbp), %ecx
movq -0x48(%rbp), %rax
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x48(%rbp)
jmp 0x755ec
jmp 0x755ee
jmp 0x755f0
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x30(%rcx), %rcx
movq -0x48(%rbp), %rdx
leaq -0x40(%rbp), %rsi
subq %rsi, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
ja 0x756d0
movq -0x10(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x75663
movq -0x10(%rbp), %rax
movq 0x28(%rax), %xmm0
movaps 0x54ae(%rip), %xmm1     # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x54b2(%rip), %xmm1     # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x6483(%rip), %xmm1     # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x178(%rbp)
jmp 0x75675
movsd 0x6465(%rip), %xmm0     # 0x7bad0
movsd %xmm0, -0x178(%rbp)
jmp 0x75675
movsd -0x178(%rbp), %xmm0
movsd 0x543b(%rip), %xmm2     # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x20(%rax)
jmp 0x755f0
jmp 0x756d2
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rdi
leaq -0x40(%rbp), %rsi
movq -0x48(%rbp), %rdx
leaq -0x40(%rbp), %rax
subq %rax, %rdx
callq 0x4460
movq -0x48(%rbp), %rcx
leaq -0x40(%rbp), %rax
subq %rax, %rcx
movq -0x10(%rbp), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
movq -0x48(%rbp), %rcx
leaq -0x40(%rbp), %rax
subq %rax, %rcx
movslq -0x20(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
addq $0x180, %rsp            # imm = 0x180
popq %rbp
retq
nop