// File: /workspace/github_c_makefile_star2_O3/samtools[P]htslib/htscodecs/htscodecs/rANS_static32x16pr.c
// Function: rans_uncompress_O0_32x16
unsigned char *rans_uncompress_O0_32x16(unsigned char *in,
                                        unsigned int in_size,
                                        unsigned char *out,
                                        unsigned int out_sz) {
    if (in_size < 16) // 4-states at least
        return NULL;

    if (out_sz >= INT_MAX)
        return NULL; // protect against some overflow cases

#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
    if (out_sz > 100000)
        return NULL;
#endif

    /* Load in the static tables */
    unsigned char *cp = in, *out_free = NULL;
    unsigned char *cp_end = in + in_size;
    int i;
    uint32_t s3[TOTFREQ]; // For TF_SHIFT <= 12

    if (!out)
        out_free = out = malloc(out_sz);
    if (!out)
        return NULL;

    // Precompute reverse lookup of frequency.
    uint32_t F[256] = {0}, fsum;
    int fsz = decode_freq(cp, cp_end, F, &fsum);
    if (!fsz)
        goto err;
    cp += fsz;

    normalise_freq_shift(F, fsum, TOTFREQ);

    // Build symbols; fixme, do as part of decode, see the _d variant
    if (rans_F_to_s3(F, TF_SHIFT, s3))
        goto err;

    if (cp_end - cp < NX * 4)
        goto err;

    int z;
    RansState R[NX];
    for (z = 0; z < NX; z++) {
        RansDecInit(&R[z], &cp);
        if (R[z] < RANS_BYTE_L)
            goto err;
    }

    int out_end = (out_sz&~(NX-1));
    const uint32_t mask = (1u << TF_SHIFT)-1;
    cp_end -= NX*2; // worst case for renorm bytes

    // assume NX is divisible by 4
    assert(NX%4==0);

    // Unsafe loop with no ptr overflow checking within loop itself
    for (i=0; likely(i < out_end && cp < cp_end); i+=NX) {
        for (z = 0; z < NX; z+=4) {
            uint32_t S[4];
            S[0] = s3[R[z+0] & mask];
            S[1] = s3[R[z+1] & mask];
            S[2] = s3[R[z+2] & mask];
            S[3] = s3[R[z+3] & mask];

            R[z+0] = (S[0]>>(TF_SHIFT+8)) * (R[z+0] >> TF_SHIFT)
                + ((S[0]>>8) & mask);
            R[z+1] = (S[1]>>(TF_SHIFT+8)) * (R[z+1] >> TF_SHIFT)
                + ((S[1]>>8) & mask);
            R[z+2] = (S[2]>>(TF_SHIFT+8)) * (R[z+2] >> TF_SHIFT)
                + ((S[2]>>8) & mask);
            R[z+3] = (S[3]>>(TF_SHIFT+8)) * (R[z+3] >> TF_SHIFT)
                + ((S[3]>>8) & mask);

            out[i+z+0] = S[0];
            out[i+z+1] = S[1];
            out[i+z+2] = S[2];
            out[i+z+3] = S[3];

            RansDecRenorm(&R[z+0], &cp);
            RansDecRenorm(&R[z+1], &cp);
            RansDecRenorm(&R[z+2], &cp);
            RansDecRenorm(&R[z+3], &cp);

            if (NX%8==0) {
                z += 4;
                S[0] = s3[R[z+0] & mask];
                S[1] = s3[R[z+1] & mask];
                S[2] = s3[R[z+2] & mask];
                S[3] = s3[R[z+3] & mask];

                R[z+0] = (S[0]>>(TF_SHIFT+8)) * (R[z+0] >> TF_SHIFT)
                    + ((S[0]>>8) & mask);
                R[z+1] = (S[1]>>(TF_SHIFT+8)) * (R[z+1] >> TF_SHIFT)
                    + ((S[1]>>8) & mask);
                R[z+2] = (S[2]>>(TF_SHIFT+8)) * (R[z+2] >> TF_SHIFT)
                    + ((S[2]>>8) & mask);
                R[z+3] = (S[3]>>(TF_SHIFT+8)) * (R[z+3] >> TF_SHIFT)
                    + ((S[3]>>8) & mask);

                out[i+z+0] = S[0];
                out[i+z+1] = S[1];
                out[i+z+2] = S[2];
                out[i+z+3] = S[3];

                RansDecRenorm(&R[z+0], &cp);
                RansDecRenorm(&R[z+1], &cp);
                RansDecRenorm(&R[z+2], &cp);
                RansDecRenorm(&R[z+3], &cp);
            }
        }
    }

    // Safe loop
    for (; i < out_end; i+=NX) {
        for (z = 0; z < NX; z+=4) {
            uint32_t S[4];
            S[0] = s3[R[z+0] & mask];
            S[1] = s3[R[z+1] & mask];
            S[2] = s3[R[z+2] & mask];
            S[3] = s3[R[z+3] & mask];

            R[z+0] = (S[0]>>(TF_SHIFT+8)) * (R[z+0] >> TF_SHIFT)
                + ((S[0]>>8) & mask);
            R[z+1] = (S[1]>>(TF_SHIFT+8)) * (R[z+1] >> TF_SHIFT)
                + ((S[1]>>8) & mask);
            R[z+2] = (S[2]>>(TF_SHIFT+8)) * (R[z+2] >> TF_SHIFT)
                + ((S[2]>>8) & mask);
            R[z+3] = (S[3]>>(TF_SHIFT+8)) * (R[z+3] >> TF_SHIFT)
                + ((S[3]>>8) & mask);

            out[i+z+0] = S[0];
            out[i+z+1] = S[1];
            out[i+z+2] = S[2];
            out[i+z+3] = S[3];

            RansDecRenormSafe(&R[z+0], &cp, cp_end+NX*2);
            RansDecRenormSafe(&R[z+1], &cp, cp_end+NX*2);
            RansDecRenormSafe(&R[z+2], &cp, cp_end+NX*2);
            RansDecRenormSafe(&R[z+3], &cp, cp_end+NX*2);
        }
    }

    for (z = out_sz & (NX-1); z-- > 0; )
        out[out_end + z] = s3[R[z] & mask];

    //fprintf(stderr, "    0 Decoded %d bytes\n", (int)(cp-in)); //c-size

    return out;

 err:
    free(out_free);
    return NULL;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x44b8, %rsp           # imm = 0x44B8
movl %ecx, %ebx
cmpl $0x10, %esi
setb %al
cmpl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
setae %cl
orb %al, %cl
jne 0x764b5
movq %rdx, %r13
movl %esi, %ebp
movq %rdi, %r15
xorl %r12d, %r12d
testq %rdx, %rdx
je 0x75d36
xorl %eax, %eax
jmp 0x75d49
movl %ebx, %edi
callq 0x4680
movq %rax, %r13
testq %rax, %rax
je 0x764b5
movq %rax, 0x8(%rsp)
movl %ebp, %ebp
leaq (%r15,%rbp), %r14
leaq 0xb0(%rsp), %rdi
movl $0x400, %edx            # imm = 0x400
xorl %esi, %esi
callq 0x4260
leaq 0x1(%r15), %rax
movzbl (%r15), %ecx
xorl %edx, %edx
movl %ecx, %esi
movl $0x1, 0xb0(%rsp,%rsi,4)
testl %edx, %edx
je 0x75d95
cmpl $0xfe, %ecx
jg 0x75e19
decl %edx
incl %ecx
jmp 0x75daf
incl %ecx
movzbl (%rax), %esi
cmpl %esi, %ecx
jne 0x75da8
movzbl 0x1(%rax), %edx
addq $0x2, %rax
jmp 0x75daf
incq %rax
xorl %edx, %edx
movl %esi, %ecx
testl %ecx, %ecx
je 0x75dbc
leaq 0x2(%rax), %rsi
cmpq %r14, %rsi
jb 0x75d72
testl %ecx, %ecx
je 0x75e13
xorl %r12d, %r12d
movl %ecx, %esi
movl $0x1, 0xb0(%rsp,%rsi,4)
cmpq %r14, %rax
jae 0x75e19
testl %edx, %edx
je 0x75de7
cmpl $0xfe, %ecx
jg 0x75e19
decl %edx
incl %ecx
jmp 0x75e0a
incl %ecx
movzbl (%rax), %esi
leaq 0x1(%rax), %rdi
xorl %edx, %edx
cmpl %esi, %ecx
jne 0x75e05
cmpq %r14, %rdi
jae 0x75e19
movzbl 0x1(%rax), %edx
addq $0x2, %rax
jmp 0x75e0a
movq %rdi, %rax
movl %esi, %ecx
testl %ecx, %ecx
je 0x75e13
cmpq %r14, %rax
jb 0x75dc3
subl %r15d, %eax
movslq %eax, %r12
addq %r15, %r12
xorl %ecx, %ecx
xorl %eax, %eax
cmpl $0x0, 0xb0(%rsp,%rcx,4)
je 0x75e9f
movq %r14, %rdx
subq %r12, %rdx
cmpq $0x6, %rdx
jl 0x75e6f
xorl %edi, %edi
xorl %edx, %edx
movzbl (%r12,%rdi), %r8d
movl %edx, %esi
shll $0x7, %esi
movl %r8d, %edx
andl $0x7f, %edx
orl %esi, %edx
leaq 0x1(%rdi), %rsi
testb %r8b, %r8b
jns 0x75e5d
cmpl $0x5, %edi
movq %rsi, %rdi
jne 0x75e3a
addq %r12, %rsi
movl %edx, 0xb0(%rsp,%rcx,4)
subl %r12d, %esi
movslq %esi, %rsi
jmp 0x75e9a
cmpq %r14, %r12
jae 0x75e8b
movsbl (%r12), %edx
testl %edx, %edx
js 0x75eb1
movl %edx, 0xb0(%rsp,%rcx,4)
movl $0x1, %esi
jmp 0x75e9a
movl $0x0, 0xb0(%rsp,%rcx,4)
xorl %edx, %edx
xorl %esi, %esi
addq %rsi, %r12
addl %edx, %eax
incq %rcx
cmpq $0x100, %rcx            # imm = 0x100
jne 0x75e20
jmp 0x75ed7
xorl %edx, %edx
movq %r12, %rsi
movzbl (%rsi), %edi
incq %rsi
movl %edx, %r8d
shll $0x7, %r8d
movl %edi, %edx
andl $0x7f, %edx
orl %r8d, %edx
testb %dil, %dil
jns 0x75e60
cmpq %r14, %rsi
jb 0x75eb6
jmp 0x75e60
subq %r15, %r12
testl %r12d, %r12d
je 0x764ab
movslq %r12d, %rcx
testl $0xffffefff, %eax       # imm = 0xFFFFEFFF
je 0x75f35
xorl %edx, %edx
cmpl $0xfff, %eax            # imm = 0xFFF
ja 0x75f06
xorl %edx, %edx
leal (%rax,%rax), %esi
incl %edx
cmpl $0x800, %eax            # imm = 0x800
movl %esi, %eax
jb 0x75ef8
movd %edx, %xmm1
xorl %eax, %eax
xorps %xmm0, %xmm0
movss %xmm1, %xmm0            # xmm0 = xmm1[0],xmm0[1,2,3]
movdqa 0xb0(%rsp,%rax,4), %xmm1
pslld %xmm0, %xmm1
movdqa %xmm1, 0xb0(%rsp,%rax,4)
addq $0x4, %rax
cmpq $0x100, %rax            # imm = 0x100
jne 0x75f13
addq %rcx, %r15
xorl %eax, %eax
xorl %edx, %edx
movl 0xb0(%rsp,%rax,4), %esi
movl $0x1000, %edi           # imm = 0x1000
subl %edx, %edi
leal -0x1(%rsi), %r8d
cmpl %edi, %r8d
jae 0x75f70
movl %esi, %edi
shll $0x14, %edi
addl %eax, %edi
movslq %edx, %rdx
movl %edi, 0x4b0(%rsp,%rdx,4)
incl %edx
addl $0x100, %edi            # imm = 0x100
decl %esi
jne 0x75f5a
incq %rax
cmpq $0x100, %rax            # imm = 0x100
jne 0x75f3c
cmpl $0x1000, %edx           # imm = 0x1000
jne 0x764ab
subq %rcx, %rbp
cmpq $0x80, %rbp
jl 0x764ab
xorl %eax, %eax
movl (%r15,%rax), %ecx
movl %ecx, 0x30(%rsp,%rax)
cmpl $0x8000, %ecx           # imm = 0x8000
jb 0x764ab
addq $0x4, %rax
cmpq $0x80, %rax
jne 0x75f99
movl %ebx, %ecx
andl $0x7fffffe0, %ecx       # imm = 0x7FFFFFE0
addq %rax, %r15
xorl %edi, %edi
movl %ecx, %eax
movq %rax, 0x8(%rsp)
testl %ecx, %ecx
movq %r14, 0x18(%rsp)
movq %rbx, 0x28(%rsp)
movq %rcx, 0x10(%rsp)
je 0x762bb
leaq -0x40(%r14), %r8
cmpq %r8, %r15
jae 0x762bb
movq %r13, 0x20(%rsp)
leaq 0x7(%r13), %r9
xorl %edi, %edi
movl $0xfff, %r10d           # imm = 0xFFF
movq $-0x8, %r11
movl 0x50(%rsp,%r11,4), %r14d
movl 0x54(%rsp,%r11,4), %r12d
movl %r14d, %eax
andl %r10d, %eax
movl 0x4b0(%rsp,%rax,4), %esi
movl %r12d, %eax
andl %r10d, %eax
movl 0x4b0(%rsp,%rax,4), %r13d
movl 0x58(%rsp,%r11,4), %edx
movl %edx, %eax
andl %r10d, %eax
movl 0x4b0(%rsp,%rax,4), %ebx
movl 0x5c(%rsp,%r11,4), %eax
movl %eax, %ecx
andl %r10d, %ecx
movl 0x4b0(%rsp,%rcx,4), %ecx
movl %esi, %ebp
movb %sil, 0x1(%r9,%r11)
shrl $0x14, %esi
shrl $0xc, %r14d
imull %esi, %r14d
shrl $0x8, %ebp
andl %r10d, %ebp
addl %r14d, %ebp
movl %r13d, %esi
movb %r13b, 0x2(%r9,%r11)
shrl $0x14, %r13d
shrl $0xc, %r12d
imull %r13d, %r12d
shrl $0x8, %esi
andl %r10d, %esi
addl %r12d, %esi
movl %ebx, %r14d
movb %bl, 0x3(%r9,%r11)
shrl $0x14, %ebx
shrl $0xc, %edx
imull %ebx, %edx
shrl $0x8, %r14d
andl %r10d, %r14d
addl %edx, %r14d
movl %ecx, %ebx
movb %cl, 0x4(%r9,%r11)
shrl $0x14, %ecx
shrl $0xc, %eax
imull %ecx, %eax
shrl $0x8, %ebx
andl %r10d, %ebx
addl %eax, %ebx
movzwl (%r15), %eax
movl %ebp, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %ebp           # imm = 0x8000
cmovbl %edx, %ebp
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %ebp, 0x50(%rsp,%r11,4)
movzwl (%r15), %eax
movl %esi, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %esi           # imm = 0x8000
cmovbl %edx, %esi
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %esi, 0x54(%rsp,%r11,4)
movzwl (%r15), %eax
movl %r14d, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %r14d          # imm = 0x8000
cmovbl %edx, %r14d
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %r14d, 0x58(%rsp,%r11,4)
movzwl (%r15), %eax
movl %ebx, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %ebx           # imm = 0x8000
cmovbl %edx, %ebx
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %ebx, 0x5c(%rsp,%r11,4)
movl 0x60(%rsp,%r11,4), %r14d
movl 0x64(%rsp,%r11,4), %r12d
movl %r14d, %eax
andl %r10d, %eax
movl 0x4b0(%rsp,%rax,4), %esi
movl %r12d, %eax
andl %r10d, %eax
movl 0x4b0(%rsp,%rax,4), %r13d
movl 0x68(%rsp,%r11,4), %edx
movl %edx, %eax
andl %r10d, %eax
movl 0x4b0(%rsp,%rax,4), %ebx
movl 0x6c(%rsp,%r11,4), %eax
movl %eax, %ecx
andl %r10d, %ecx
movl 0x4b0(%rsp,%rcx,4), %ecx
movl %esi, %ebp
movb %sil, 0x5(%r9,%r11)
shrl $0x14, %esi
shrl $0xc, %r14d
imull %esi, %r14d
shrl $0x8, %ebp
andl %r10d, %ebp
addl %r14d, %ebp
movl %r13d, %esi
movb %r13b, 0x6(%r9,%r11)
shrl $0x14, %r13d
shrl $0xc, %r12d
imull %r13d, %r12d
shrl $0x8, %esi
andl %r10d, %esi
addl %r12d, %esi
movl %ebx, %r14d
movb %bl, 0x7(%r9,%r11)
shrl $0x14, %ebx
shrl $0xc, %edx
imull %ebx, %edx
shrl $0x8, %r14d
andl %r10d, %r14d
addl %edx, %r14d
movl %ecx, %ebx
movb %cl, 0x8(%r9,%r11)
shrl $0x14, %ecx
shrl $0xc, %eax
imull %ecx, %eax
shrl $0x8, %ebx
andl %r10d, %ebx
addl %eax, %ebx
movzwl (%r15), %eax
movl %ebp, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %ebp           # imm = 0x8000
cmovbl %edx, %ebp
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %ebp, 0x60(%rsp,%r11,4)
movzwl (%r15), %eax
movl %esi, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %esi           # imm = 0x8000
cmovbl %edx, %esi
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %esi, 0x64(%rsp,%r11,4)
movzwl (%r15), %eax
movl %r14d, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %r14d          # imm = 0x8000
cmovbl %edx, %r14d
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %r14d, 0x68(%rsp,%r11,4)
movzwl (%r15), %eax
movl %ebx, %edx
shll $0x10, %edx
orl %eax, %edx
xorl %eax, %eax
cmpl $0x8000, %ebx           # imm = 0x8000
cmovbl %edx, %ebx
leaq 0x2(%r15), %rax
cmovbq %rax, %r15
movl %ebx, 0x6c(%rsp,%r11,4)
addq $0x8, %r11
cmpq $0x18, %r11
jb 0x76009
addq $0x20, %rdi
cmpq 0x8(%rsp), %rdi
jae 0x762b1
addq $0x20, %r9
cmpq %r8, %r15
jb 0x76002
movq 0x20(%rsp), %r13
movq 0x10(%rsp), %rcx
cmpl %ecx, %edi
jae 0x76472
movl %edi, %eax
leaq (%rax,%r13), %rdx
addq $0x3, %rdx
movl $0xfff, %edi            # imm = 0xFFF
movq $-0x4, %r8
movl 0x40(%rsp,%r8,4), %ecx
movl 0x44(%rsp,%r8,4), %r10d
movl %ecx, %esi
andl %edi, %esi
movl 0x4b0(%rsp,%rsi,4), %ebx
movl %r10d, %esi
andl %edi, %esi
movl 0x4b0(%rsp,%rsi,4), %ebp
movl 0x48(%rsp,%r8,4), %r9d
movl %r9d, %esi
andl %edi, %esi
movl 0x4b0(%rsp,%rsi,4), %esi
movl 0x4c(%rsp,%r8,4), %r12d
movl %r12d, %r11d
andl %edi, %r11d
movl 0x4b0(%rsp,%r11,4), %r14d
movl %ebx, %r11d
shrl $0x14, %r11d
shrl $0xc, %ecx
imull %r11d, %ecx
movl %ebx, %r11d
shrl $0x8, %r11d
andl %edi, %r11d
addl %ecx, %r11d
movl %r11d, 0x40(%rsp,%r8,4)
movl %ebp, %ecx
shrl $0x14, %ecx
shrl $0xc, %r10d
imull %ecx, %r10d
movl %ebp, %ecx
shrl $0x8, %ecx
andl %edi, %ecx
addl %r10d, %ecx
movl %ecx, 0x44(%rsp,%r8,4)
movl %esi, %r10d
shrl $0x14, %r10d
shrl $0xc, %r9d
imull %r10d, %r9d
movl %esi, %r10d
shrl $0x8, %r10d
andl %edi, %r10d
addl %r9d, %r10d
movl %r10d, 0x48(%rsp,%r8,4)
movl %r14d, %r9d
shrl $0x14, %r9d
shrl $0xc, %r12d
imull %r9d, %r12d
movl %r14d, %r9d
shrl $0x8, %r9d
andl %edi, %r9d
addl %r12d, %r9d
movl %r9d, 0x4c(%rsp,%r8,4)
movb %bl, 0x1(%rdx,%r8)
movb %bpl, 0x2(%rdx,%r8)
movb %sil, 0x3(%rdx,%r8)
movb %r14b, 0x4(%rdx,%r8)
cmpl $0x7fff, %r11d          # imm = 0x7FFF
ja 0x763dd
leaq 0x1(%r15), %rsi
movq 0x18(%rsp), %rbx
cmpq %rbx, %rsi
jae 0x763e2
movzwl (%r15), %esi
shll $0x10, %r11d
orl %esi, %r11d
addq $0x2, %r15
movl %r11d, 0x40(%rsp,%r8,4)
jmp 0x763e2
movq 0x18(%rsp), %rbx
cmpl $0x7fff, %ecx           # imm = 0x7FFF
ja 0x76405
leaq 0x1(%r15), %rsi
cmpq %rbx, %rsi
jae 0x76405
movzwl (%r15), %esi
shll $0x10, %ecx
orl %esi, %ecx
addq $0x2, %r15
movl %ecx, 0x44(%rsp,%r8,4)
cmpl $0x7fff, %r10d          # imm = 0x7FFF
ja 0x7642b
leaq 0x1(%r15), %rcx
cmpq %rbx, %rcx
jae 0x7642b
movzwl (%r15), %ecx
shll $0x10, %r10d
orl %ecx, %r10d
addq $0x2, %r15
movl %r10d, 0x48(%rsp,%r8,4)
cmpl $0x7fff, %r9d           # imm = 0x7FFF
ja 0x76451
leaq 0x1(%r15), %rcx
cmpq %rbx, %rcx
jae 0x76451
movzwl (%r15), %ecx
shll $0x10, %r9d
orl %ecx, %r9d
addq $0x2, %r15
movl %r9d, 0x4c(%rsp,%r8,4)
addq $0x4, %r8
cmpq $0x1c, %r8
jb 0x762d9
addq $0x20, %rax
addq $0x20, %rdx
cmpq 0x8(%rsp), %rax
jb 0x762d2
movq 0x28(%rsp), %rdx
testb $0x1f, %dl
je 0x764b8
andl $0x1f, %edx
incq %rdx
movq 0x10(%rsp), %rsi
addq %r13, %rsi
movl $0xfff, %eax            # imm = 0xFFF
movl 0x28(%rsp,%rdx,4), %ecx
andl %eax, %ecx
movb 0x4b0(%rsp,%rcx,4), %cl
movb %cl, -0x2(%rsi,%rdx)
decq %rdx
cmpq $0x1, %rdx
ja 0x7648f
jmp 0x764b8
movq 0x8(%rsp), %rdi
callq 0x45c0
xorl %r13d, %r13d
movq %r13, %rax
addq $0x44b8, %rsp           # imm = 0x44B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq