// File: /workspace/github_cpp_makefile_star2_O3/karel-brinda[P]ococo/ext/htslib/cram/cram_encode.c
// Function: cram_encode_slice_header
cram_block *cram_encode_slice_header(cram_fd *fd, cram_slice *s) {
    char *buf;
    char *cp;
    cram_block *b = cram_new_block(MAPPED_SLICE, 0);
    int j;

    if (!b)
	return NULL;

    if (NULL == (cp = buf = malloc(16+5*(8+s->hdr->num_blocks)))) {
	cram_free_block(b);
	return NULL;
    }

    cp += itf8_put(cp, s->hdr->ref_seq_id);
    cp += itf8_put(cp, s->hdr->ref_seq_start);
    cp += itf8_put(cp, s->hdr->ref_seq_span);
    cp += itf8_put(cp, s->hdr->num_records);
    if (CRAM_MAJOR_VERS(fd->version) == 2)
	cp += itf8_put(cp, s->hdr->record_counter);
    else if (CRAM_MAJOR_VERS(fd->version) >= 3)
	cp += ltf8_put(cp, s->hdr->record_counter);
    cp += itf8_put(cp, s->hdr->num_blocks);
    cp += itf8_put(cp, s->hdr->num_content_ids);
    for (j = 0; j < s->hdr->num_content_ids; j++) {
	cp += itf8_put(cp, s->hdr->block_content_ids[j]);
    }
    if (s->hdr->content_type == MAPPED_SLICE)
	cp += itf8_put(cp, s->hdr->ref_base_id);

    if (CRAM_MAJOR_VERS(fd->version) != 1) {
	memcpy(cp, s->hdr->md5, 16); cp += 16;
    }
    
    assert(cp-buf <= 16+5*(8+s->hdr->num_blocks));

    b->data = (unsigned char *)buf;
    b->comp_size = b->uncomp_size = cp-buf;

    return b;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %r12
movl $0x2, %edi
xorl %esi, %esi
callq 0x31a6d
testq %rax, %rax
je 0x26f59
movq %rax, %rbx
movq (%r14), %rbp
movl 0x20(%rbp), %eax
leal (%rax,%rax,4), %eax
addl $0x38, %eax
movslq %eax, %rdi
callq 0x4700
testq %rax, %rax
je 0x26f51
movq %rax, %r15
movl 0x4(%rbp), %eax
cmpl $0x7f, %eax
ja 0x26f60
movb %al, (%r15)
movl $0x1, %r13d
jmp 0x27007
movq %rbx, %rdi
callq 0x321b4
xorl %ebx, %ebx
jmp 0x2771d
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x26f81
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r15)
movb 0x4(%rbp), %al
movb %al, 0x1(%r15)
movl $0x2, %r13d
jmp 0x27007
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x26fa6
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r15)
movb 0x5(%rbp), %al
movb %al, 0x1(%r15)
movb 0x4(%rbp), %al
movb %al, 0x2(%r15)
movl $0x3, %r13d
jmp 0x27007
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x26fd2
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r15)
movb 0x6(%rbp), %al
movb %al, 0x1(%r15)
movb 0x5(%rbp), %al
movb %al, 0x2(%r15)
movb 0x4(%rbp), %al
movb %al, 0x3(%r15)
movl $0x4, %r13d
jmp 0x27007
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r15)
movl 0x4(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r15)
movl 0x4(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r15)
movl 0x4(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r15)
movb 0x4(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r15)
movl $0x5, %r13d
addq %r15, %r13
movl 0x8(%rbp), %eax
cmpl $0x7f, %eax
ja 0x27020
movb %al, (%r13)
movl $0x1, %eax
jmp 0x270c7
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x27041
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movb 0x8(%rbp), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x270c7
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x27066
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movb 0x9(%rbp), %al
movb %al, 0x1(%r13)
movb 0x8(%rbp), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x270c7
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x27092
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movb 0xa(%rbp), %al
movb %al, 0x1(%r13)
movb 0x9(%rbp), %al
movb %al, 0x2(%r13)
movb 0x8(%rbp), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x270c7
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movl 0x8(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movl 0x8(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movl 0x8(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movb 0x8(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
movl 0xc(%rbp), %eax
cmpl $0x7f, %eax
ja 0x270e0
movb %al, (%r13)
movl $0x1, %eax
jmp 0x27187
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x27101
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movb 0xc(%rbp), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x27187
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x27126
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movb 0xd(%rbp), %al
movb %al, 0x1(%r13)
movb 0xc(%rbp), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x27187
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x27152
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movb 0xe(%rbp), %al
movb %al, 0x1(%r13)
movb 0xd(%rbp), %al
movb %al, 0x2(%r13)
movb 0xc(%rbp), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x27187
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movl 0xc(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movl 0xc(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movl 0xc(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movb 0xc(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
movl 0x10(%rbp), %eax
cmpl $0x7f, %eax
ja 0x271a0
movb %al, (%r13)
movl $0x1, %eax
jmp 0x27247
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x271c1
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movb 0x10(%rbp), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x27247
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x271e6
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movb 0x11(%rbp), %al
movb %al, 0x1(%r13)
movb 0x10(%rbp), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x27247
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x27212
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movb 0x12(%rbp), %al
movb %al, 0x1(%r13)
movb 0x11(%rbp), %al
movb %al, 0x2(%r13)
movb 0x10(%rbp), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x27247
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movl 0x10(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movl 0x10(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movl 0x10(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movb 0x10(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
movl 0xc(%r12), %eax
sarl $0x8, %eax
cmpl $0x2, %eax
jne 0x2726f
movq 0x18(%rbp), %rax
cmpq $0x7f, %rax
ja 0x2728e
movb %al, (%r13)
movl $0x1, %eax
jmp 0x27338
jle 0x2733b
movq 0x18(%rbp), %rsi
movq %r13, %rdi
callq 0x30141
cltq
addq %rax, %r13
movq (%r14), %rbp
jmp 0x2733b
cmpq $0x3fff, %rax           # imm = 0x3FFF
ja 0x272b0
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movb 0x18(%rbp), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x27338
cmpq $0x1fffff, %rax         # imm = 0x1FFFFF
ja 0x272d6
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movb 0x19(%rbp), %al
movb %al, 0x1(%r13)
movb 0x18(%rbp), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x27338
cmpq $0xfffffff, %rax        # imm = 0xFFFFFFF
ja 0x27303
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movb 0x1a(%rbp), %al
movb %al, 0x1(%r13)
movb 0x19(%rbp), %al
movb %al, 0x2(%r13)
movb 0x18(%rbp), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x27338
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movl 0x18(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movl 0x18(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movl 0x18(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movb 0x18(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
movl 0x20(%rbp), %eax
cmpl $0x7f, %eax
ja 0x27351
movb %al, (%r13)
movl $0x1, %eax
jmp 0x273f8
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x27372
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movb 0x20(%rbp), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x273f8
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x27397
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movb 0x21(%rbp), %al
movb %al, 0x1(%r13)
movb 0x20(%rbp), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x273f8
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x273c3
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movb 0x22(%rbp), %al
movb %al, 0x1(%r13)
movb 0x21(%rbp), %al
movb %al, 0x2(%r13)
movb 0x20(%rbp), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x273f8
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movl 0x20(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movl 0x20(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movl 0x20(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movb 0x20(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
movl 0x24(%rbp), %eax
cmpl $0x7f, %eax
ja 0x27411
movb %al, (%r13)
movl $0x1, %eax
jmp 0x274b8
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x27432
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movb 0x24(%rbp), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x274b8
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x27457
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movb 0x25(%rbp), %al
movb %al, 0x1(%r13)
movb 0x24(%rbp), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x274b8
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x27483
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movb 0x26(%rbp), %al
movb %al, 0x1(%r13)
movb 0x25(%rbp), %al
movb %al, 0x2(%r13)
movb 0x24(%rbp), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x274b8
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movl 0x24(%rbp), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movl 0x24(%rbp), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movl 0x24(%rbp), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movb 0x24(%rbp), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
cmpl $0x0, 0x24(%rbp)
jle 0x275f2
xorl %eax, %eax
movq 0x28(%rbp), %rcx
movl (%rcx,%rax,4), %ecx
cmpl $0x7f, %ecx
ja 0x274e1
movb %cl, (%r13)
movl $0x1, %ecx
jmp 0x275dc
cmpl $0x3fff, %ecx           # imm = 0x3FFF
ja 0x2750b
shrl $0x8, %ecx
orb $-0x80, %cl
movb %cl, (%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb (%rcx,%rax,4), %cl
movb %cl, 0x1(%r13)
movl $0x2, %ecx
jmp 0x275dc
cmpl $0x1fffff, %ecx         # imm = 0x1FFFFF
ja 0x27544
shrl $0x10, %ecx
orb $-0x40, %cl
movb %cl, (%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb 0x1(%rcx,%rax,4), %cl
movb %cl, 0x1(%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb (%rcx,%rax,4), %cl
movb %cl, 0x2(%r13)
movl $0x3, %ecx
jmp 0x275dc
cmpl $0xfffffff, %ecx        # imm = 0xFFFFFFF
ja 0x27589
shrl $0x18, %ecx
orb $-0x20, %cl
movb %cl, (%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb 0x2(%rcx,%rax,4), %cl
movb %cl, 0x1(%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb 0x1(%rcx,%rax,4), %cl
movb %cl, 0x2(%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb (%rcx,%rax,4), %cl
movb %cl, 0x3(%r13)
movl $0x4, %ecx
jmp 0x275dc
shrl $0x1c, %ecx
orb $-0x10, %cl
movb %cl, (%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movl (%rcx,%rax,4), %ecx
shrl $0x14, %ecx
movb %cl, 0x1(%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movl (%rcx,%rax,4), %ecx
shrl $0xc, %ecx
movb %cl, 0x2(%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movl (%rcx,%rax,4), %ecx
shrl $0x4, %ecx
movb %cl, 0x3(%r13)
movq (%r14), %rcx
movq 0x28(%rcx), %rcx
movb (%rcx,%rax,4), %cl
andb $0xf, %cl
movb %cl, 0x4(%r13)
movl $0x5, %ecx
addq %rcx, %r13
incq %rax
movq (%r14), %rbp
movslq 0x24(%rbp), %rcx
cmpq %rcx, %rax
jl 0x274c7
cmpl $0x2, (%rbp)
jne 0x276dd
movl 0x30(%rbp), %eax
cmpl $0x7f, %eax
ja 0x27612
movb %al, (%r13)
movl $0x1, %eax
jmp 0x276d7
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x27636
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%r13)
movq (%r14), %rax
movb 0x30(%rax), %al
movb %al, 0x1(%r13)
movl $0x2, %eax
jmp 0x276d7
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x27661
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%r13)
movq (%r14), %rax
movb 0x31(%rax), %al
movb %al, 0x1(%r13)
movq (%r14), %rax
movb 0x30(%rax), %al
movb %al, 0x2(%r13)
movl $0x3, %eax
jmp 0x276d7
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x27696
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%r13)
movq (%r14), %rax
movb 0x32(%rax), %al
movb %al, 0x1(%r13)
movq (%r14), %rax
movb 0x31(%rax), %al
movb %al, 0x2(%r13)
movq (%r14), %rax
movb 0x30(%rax), %al
movb %al, 0x3(%r13)
movl $0x4, %eax
jmp 0x276d7
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%r13)
movq (%r14), %rax
movl 0x30(%rax), %eax
shrl $0x14, %eax
movb %al, 0x1(%r13)
movq (%r14), %rax
movl 0x30(%rax), %eax
shrl $0xc, %eax
movb %al, 0x2(%r13)
movq (%r14), %rax
movl 0x30(%rax), %eax
shrl $0x4, %eax
movb %al, 0x3(%r13)
movq (%r14), %rax
movb 0x30(%rax), %al
andb $0xf, %al
movb %al, 0x4(%r13)
movl $0x5, %eax
addq %rax, %r13
movq (%r14), %rbp
movl $0xffffff00, %eax       # imm = 0xFFFFFF00
andl 0xc(%r12), %eax
cmpl $0x100, %eax            # imm = 0x100
je 0x276fe
movups 0x34(%rbp), %xmm0
movups %xmm0, (%r13)
addq $0x10, %r13
movq (%r14), %rbp
subq %r15, %r13
movl 0x20(%rbp), %eax
leal (%rax,%rax,4), %eax
addl $0x38, %eax
cltq
cmpq %rax, %r13
jg 0x2772f
movq %r15, 0x20(%rbx)
movl %r13d, 0x14(%rbx)
movl %r13d, 0x10(%rbx)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2abb3(%rip), %rdi     # 0x522e9
leaq 0x2abd2(%rip), %rsi     # 0x5230f
leaq 0x2abde(%rip), %rcx     # 0x52322
movl $0x2c3, %edx            # imm = 0x2C3
callq 0x4350