// File: /workspace/github_c_makefile_star2_O0/samtools[P]htslib/htscodecs/htscodecs/tokenise_name3.c
// Function: tok3_decode_names
uint8_t *tok3_decode_names(uint8_t *in, uint32_t sz, uint32_t *out_len) {
    if (sz < 9)
        return NULL;

    int i, o = 9;
    //int ulen   = *(uint32_t *)in;
    int ulen   = (in[0]<<0) | (in[1]<<8) | (in[2]<<16) |
        (((uint32_t)in[3])<<24);

    if (ulen < 0 || ulen >= INT_MAX-1024)
        return NULL;

#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
    // Speed up fuzzing by blocking excessive sizes
    if (ulen > 100000)
        return NULL;
#endif

    //int nreads = *(uint32_t *)(in+4);
    int nreads = (in[4]<<0) | (in[5]<<8) | (in[6]<<16) | (((uint32_t)in[7])<<24);
    int use_arith = in[8];
    name_context *ctx = create_context(nreads);
    if (!ctx)
        return NULL;

    // Unpack descriptors
    int tnum = -1;
    while (o < sz) {
        uint8_t ttype = in[o++];
        if (ttype & 64) {
            if (o+2 > sz) goto err;
            int j = in[o++]<<4;
            j += in[o++];
            if (ttype & 128) {
                tnum++;
                if (tnum >= MAX_TOKENS)
                    goto err;
                ctx->max_tok = tnum+1;
                memset(&ctx->desc[tnum<<4], 0, 16*sizeof(ctx->desc[tnum]));
            }

            if ((ttype & 15) != 0 && (ttype & 128)) {
                if (tnum < 0) goto err;
                ctx->desc[tnum<<4].buf = malloc(nreads);
                if (!ctx->desc[tnum<<4].buf)
                    goto err;

                ctx->desc[tnum<<4].buf_l = 0;
                ctx->desc[tnum<<4].buf_a = nreads;
                ctx->desc[tnum<<4].buf[0] = ttype&15;
                memset(&ctx->desc[tnum<<4].buf[1], N_MATCH, nreads-1);
            }

            if (tnum < 0) goto err;
            i = (tnum<<4) | (ttype&15);
            if (j >= i)
                goto err;
            if (!ctx->desc[j].buf)
                goto err; // Attempt to copy a non-existent stream

            ctx->desc[i].buf_l = 0;
            ctx->desc[i].buf_a = ctx->desc[j].buf_a;
            if (ctx->desc[i].buf) free(ctx->desc[i].buf);
            ctx->desc[i].buf = malloc(ctx->desc[i].buf_a);
            if (!ctx->desc[i].buf)
                goto err;

            memcpy(ctx->desc[i].buf, ctx->desc[j].buf, ctx->desc[i].buf_a);
            //fprintf(stderr, "Copy ttype %d, i=%d,j=%d, size %d\n", ttype, i, j, (int)ctx->desc[i].buf_a);
            continue;
        }

        //if (ttype == 0)
        if (ttype & 128) {
            tnum++;
            if (tnum >= MAX_TOKENS)
                goto err;
            ctx->max_tok = tnum+1;
            memset(&ctx->desc[tnum<<4], 0, 16*sizeof(ctx->desc[tnum]));
        }

        if ((ttype & 15) != 0 && (ttype & 128)) {
            if (tnum < 0) goto err;
            if (ctx->desc[tnum<<4].buf) free(ctx->desc[tnum<<4].buf);
            ctx->desc[tnum<<4].buf = malloc(nreads);
            if (!ctx->desc[tnum<<4].buf)
                goto err;
            ctx->desc[tnum<<4].buf_l = 0;
            ctx->desc[tnum<<4].buf_a = nreads;
            ctx->desc[tnum<<4].buf[0] = ttype&15;
            memset(&ctx->desc[tnum<<4].buf[1], N_MATCH, nreads-1);
        }

        //fprintf(stderr, "Read %02x\n", c);

        // Load compressed block
        int64_t clen, ulen = uncompressed_size(&in[o], sz-o);
        if (ulen < 0 || ulen >= INT_MAX)
            goto err;
        if (tnum < 0) goto err;
        i = (tnum<<4) | (ttype&15);

        if (i >= MAX_TBLOCKS || i < 0)
            goto err;

        ctx->desc[i].buf_l = 0;
        if (ctx->desc[i].buf) free(ctx->desc[i].buf);
        ctx->desc[i].buf = malloc(ulen);
        if (!ctx->desc[i].buf)
            goto err;

        ctx->desc[i].buf_a = ulen;
        uint64_t usz = ctx->desc[i].buf_a; // convert from size_t for 32-bit sys
        clen = uncompress(use_arith, &in[o], sz-o, ctx->desc[i].buf, &usz);
        ctx->desc[i].buf_a = usz;
        if (clen < 0 || ctx->desc[i].buf_a != ulen)
            goto err;

        // fprintf(stderr, "%d: Decode tnum %d type %d clen %d ulen %d via %d\n",
        //      o, tnum, ttype, (int)clen, (int)ctx->desc[i].buf_a, ctx->desc[i].buf[0]);

        o += clen;

        // Encode tnum 0 type 0 ulen 100000 clen 12530 via 2
        // Encode tnum 0 type 6 ulen 196800 clen 43928 via 3
        // Encode tnum 0 type 7 ulen 203200 clen 17531 via 3
        // Encode tnum 1 type 0 ulen 50800 clen 10 via 1
        // Encode tnum 1 type 1 ulen 3 clen 5 via 0
        // Encode tnum 2 type 0 ulen 50800 clen 10 via 1
        //      
    }

    int ret;
    ulen += 1024; // for easy coding in decode_name.
    uint8_t *out = malloc(ulen);
    if (!out)
        goto err;

    size_t out_sz = 0;
    while ((ret = decode_name(ctx, (char *)out+out_sz, ulen)) > 0) {
        out_sz += ret;
        ulen -= ret;
    }

    if (ret < 0)
        free(out);

    free_context(ctx);

    *out_len = out_sz;
    return ret == 0 ? out : NULL;

 err:
    free_context(ctx);
    return NULL;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movq %rdx, -0x20(%rbp)
cmpl $0x9, -0x14(%rbp)
jae 0xcabe9
movq $0x0, -0x8(%rbp)
jmp 0xcb413
movl $0x9, -0x28(%rbp)
movq -0x10(%rbp), %rax
movzbl (%rax), %eax
shll $0x0, %eax
movq -0x10(%rbp), %rcx
movzbl 0x1(%rcx), %ecx
shll $0x8, %ecx
orl %ecx, %eax
movq -0x10(%rbp), %rcx
movzbl 0x2(%rcx), %ecx
shll $0x10, %ecx
orl %ecx, %eax
movq -0x10(%rbp), %rcx
movzbl 0x3(%rcx), %ecx
shll $0x18, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
cmpl $0x0, -0x2c(%rbp)
jl 0xcac33
cmpl $0x7ffffbff, -0x2c(%rbp) # imm = 0x7FFFFBFF
jl 0xcac40
movq $0x0, -0x8(%rbp)
jmp 0xcb413
movq -0x10(%rbp), %rax
movzbl 0x4(%rax), %eax
shll $0x0, %eax
movq -0x10(%rbp), %rcx
movzbl 0x5(%rcx), %ecx
shll $0x8, %ecx
orl %ecx, %eax
movq -0x10(%rbp), %rcx
movzbl 0x6(%rcx), %ecx
shll $0x10, %ecx
orl %ecx, %eax
movq -0x10(%rbp), %rcx
movzbl 0x7(%rcx), %ecx
shll $0x18, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movq -0x10(%rbp), %rax
movzbl 0x8(%rax), %eax
movl %eax, -0x34(%rbp)
movl -0x30(%rbp), %edi
callq 0xc91b0
movq %rax, -0x40(%rbp)
cmpq $0x0, -0x40(%rbp)
jne 0xcaca0
movq $0x0, -0x8(%rbp)
jmp 0xcb413
movl $0xffffffff, -0x44(%rbp) # imm = 0xFFFFFFFF
movl -0x28(%rbp), %eax
cmpl -0x14(%rbp), %eax
jae 0xcb352
movq -0x10(%rbp), %rax
movl -0x28(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0x28(%rbp)
movslq %ecx, %rcx
movb (%rax,%rcx), %al
movb %al, -0x45(%rbp)
movzbl -0x45(%rbp), %eax
andl $0x40, %eax
cmpl $0x0, %eax
je 0xcafef
movl -0x28(%rbp), %eax
addl $0x2, %eax
cmpl -0x14(%rbp), %eax
jbe 0xcaceb
jmp 0xcb402
movq -0x10(%rbp), %rax
movl -0x28(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0x28(%rbp)
movslq %ecx, %rcx
movzbl (%rax,%rcx), %eax
shll $0x4, %eax
movl %eax, -0x4c(%rbp)
movq -0x10(%rbp), %rax
movl -0x28(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0x28(%rbp)
movslq %ecx, %rcx
movzbl (%rax,%rcx), %eax
addl -0x4c(%rbp), %eax
movl %eax, -0x4c(%rbp)
movzbl -0x45(%rbp), %eax
andl $0x80, %eax
cmpl $0x0, %eax
je 0xcad7b
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
cmpl $0x80, -0x44(%rbp)
jl 0xcad48
jmp 0xcb402
movl -0x44(%rbp), %ecx
addl $0x1, %ecx
movq -0x40(%rbp), %rax
movl %ecx, 0x14420(%rax)
movq -0x40(%rbp), %rdi
addq $0x20, %rdi
movl -0x44(%rbp), %eax
shll $0x4, %eax
cltq
imulq $0x28, %rax, %rax
addq %rax, %rdi
xorl %esi, %esi
movl $0x280, %edx            # imm = 0x280
callq 0x4250
movzbl -0x45(%rbp), %eax
andl $0xf, %eax
cmpl $0x0, %eax
je 0xcae8a
movzbl -0x45(%rbp), %eax
andl $0x80, %eax
cmpl $0x0, %eax
je 0xcae8a
cmpl $0x0, -0x44(%rbp)
jge 0xcada8
jmp 0xcb402
movslq -0x30(%rbp), %rdi
callq 0x4650
movq %rax, %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %edx
shll $0x4, %edx
movslq %edx, %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0xcadf2
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq $0x0, 0x10(%rax)
movslq -0x30(%rbp), %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %edx
shll $0x4, %edx
movslq %edx, %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, 0x8(%rax)
movzbl -0x45(%rbp), %eax
andl $0xf, %eax
movb %al, %cl
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %edx
shll $0x4, %edx
movslq %edx, %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq (%rax), %rax
movb %cl, (%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rdi
addq $0x1, %rdi
movl -0x30(%rbp), %eax
subl $0x1, %eax
movslq %eax, %rdx
movl $0xa, %esi
callq 0x4250
cmpl $0x0, -0x44(%rbp)
jge 0xcae95
jmp 0xcb402
movl -0x44(%rbp), %eax
shll $0x4, %eax
movzbl -0x45(%rbp), %ecx
andl $0xf, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x4c(%rbp), %eax
cmpl -0x24(%rbp), %eax
jl 0xcaeb4
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x4c(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0xcaed2
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq $0x0, 0x10(%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x4c(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, 0x8(%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
je 0xcaf4f
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rdi
callq 0x45a0
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rdi
callq 0x4650
movq %rax, %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0xcafa2
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rdi
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x4c(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rsi
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rdx
callq 0x43b0
jmp 0xcaca7
movzbl -0x45(%rbp), %eax
andl $0x80, %eax
cmpl $0x0, %eax
je 0xcb047
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
cmpl $0x80, -0x44(%rbp)
jl 0xcb014
jmp 0xcb402
movl -0x44(%rbp), %ecx
addl $0x1, %ecx
movq -0x40(%rbp), %rax
movl %ecx, 0x14420(%rax)
movq -0x40(%rbp), %rdi
addq $0x20, %rdi
movl -0x44(%rbp), %eax
shll $0x4, %eax
cltq
imulq $0x28, %rax, %rax
addq %rax, %rdi
xorl %esi, %esi
movl $0x280, %edx            # imm = 0x280
callq 0x4250
movzbl -0x45(%rbp), %eax
andl $0xf, %eax
cmpl $0x0, %eax
je 0xcb194
movzbl -0x45(%rbp), %eax
andl $0x80, %eax
cmpl $0x0, %eax
je 0xcb194
cmpl $0x0, -0x44(%rbp)
jge 0xcb074
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
je 0xcb0b2
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rdi
callq 0x45a0
movslq -0x30(%rbp), %rdi
callq 0x4650
movq %rax, %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %edx
shll $0x4, %edx
movslq %edx, %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0xcb0fc
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq $0x0, 0x10(%rax)
movslq -0x30(%rbp), %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %edx
shll $0x4, %edx
movslq %edx, %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, 0x8(%rax)
movzbl -0x45(%rbp), %eax
andl $0xf, %eax
movb %al, %cl
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %edx
shll $0x4, %edx
movslq %edx, %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq (%rax), %rax
movb %cl, (%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movl -0x44(%rbp), %ecx
shll $0x4, %ecx
movslq %ecx, %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rdi
addq $0x1, %rdi
movl -0x30(%rbp), %eax
subl $0x1, %eax
movslq %eax, %rdx
movl $0xa, %esi
callq 0x4250
movq -0x10(%rbp), %rdi
movslq -0x28(%rbp), %rax
addq %rax, %rdi
movl -0x14(%rbp), %eax
subl -0x28(%rbp), %eax
movl %eax, %eax
movl %eax, %esi
callq 0xcb420
movq %rax, -0x60(%rbp)
cmpq $0x0, -0x60(%rbp)
jl 0xcb1c3
cmpq $0x7fffffff, -0x60(%rbp) # imm = 0x7FFFFFFF
jl 0xcb1c8
jmp 0xcb402
cmpl $0x0, -0x44(%rbp)
jge 0xcb1d3
jmp 0xcb402
movl -0x44(%rbp), %eax
shll $0x4, %eax
movzbl -0x45(%rbp), %ecx
andl $0xf, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
cmpl $0x800, -0x24(%rbp)     # imm = 0x800
jge 0xcb1f4
cmpl $0x0, -0x24(%rbp)
jge 0xcb1f9
jmp 0xcb402
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq $0x0, 0x10(%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
je 0xcb248
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rdi
callq 0x45a0
movq -0x60(%rbp), %rdi
callq 0x4650
movq %rax, %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
cmpq $0x0, (%rax)
jne 0xcb288
jmp 0xcb402
movq -0x60(%rbp), %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, 0x8(%rax)
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rax
movq %rax, -0x68(%rbp)
movl -0x34(%rbp), %edi
movq -0x10(%rbp), %rsi
movslq -0x28(%rbp), %rax
addq %rax, %rsi
movl -0x14(%rbp), %eax
subl -0x28(%rbp), %eax
movl %eax, %eax
movl %eax, %edx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq (%rax), %rcx
leaq -0x68(%rbp), %r8
callq 0xcb480
cltq
movq %rax, -0x58(%rbp)
movq -0x68(%rbp), %rcx
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rdx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movq %rcx, 0x8(%rax)
cmpq $0x0, -0x58(%rbp)
jl 0xcb33a
movq -0x40(%rbp), %rax
addq $0x20, %rax
movslq -0x24(%rbp), %rcx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rax
cmpq -0x60(%rbp), %rax
je 0xcb33f
jmp 0xcb402
movq -0x58(%rbp), %rcx
movslq -0x28(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x28(%rbp)
jmp 0xcaca7
movl -0x2c(%rbp), %eax
addl $0x400, %eax            # imm = 0x400
movl %eax, -0x2c(%rbp)
movslq -0x2c(%rbp), %rdi
callq 0x4650
movq %rax, -0x78(%rbp)
cmpq $0x0, -0x78(%rbp)
jne 0xcb376
jmp 0xcb402
movq $0x0, -0x80(%rbp)
movq -0x40(%rbp), %rdi
movq -0x78(%rbp), %rsi
addq -0x80(%rbp), %rsi
movl -0x2c(%rbp), %edx
callq 0xcb500
movl %eax, -0x6c(%rbp)
cmpl $0x0, %eax
jle 0xcb3b3
movslq -0x6c(%rbp), %rax
addq -0x80(%rbp), %rax
movq %rax, -0x80(%rbp)
movl -0x6c(%rbp), %ecx
movl -0x2c(%rbp), %eax
subl %ecx, %eax
movl %eax, -0x2c(%rbp)
jmp 0xcb37e
cmpl $0x0, -0x6c(%rbp)
jge 0xcb3c2
movq -0x78(%rbp), %rdi
callq 0x45a0
movq -0x40(%rbp), %rdi
callq 0xc9590
movq -0x80(%rbp), %rax
movl %eax, %ecx
movq -0x20(%rbp), %rax
movl %ecx, (%rax)
cmpl $0x0, -0x6c(%rbp)
jne 0xcb3ea
movq -0x78(%rbp), %rax
movq %rax, -0x88(%rbp)
jmp 0xcb3f5
xorl %eax, %eax
movq %rax, -0x88(%rbp)
jmp 0xcb3f5
movq -0x88(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0xcb413
movq -0x40(%rbp), %rdi
callq 0xc9590
movq $0x0, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x90, %rsp
popq %rbp
retq