// File: /workspace/github_cpp_makefile_star2_O1/karel-brinda[P]ococo/ext/htslib/cram/cram_io.c
// Function: cram_write_container
int cram_write_container(cram_fd *fd, cram_container *c) {
    char buf_a[1024], *buf = buf_a, *cp;
    int i;

    if (55 + c->num_landmarks * 5 >= 1024)
	buf = malloc(55 + c->num_landmarks * 5);
    cp = buf;

    if (CRAM_MAJOR_VERS(fd->version) == 1) {
	cp += itf8_put(cp, c->length);
    } else {
	*(int32_t *)cp = le_int4(c->length);
	cp += 4;
    }
    if (c->multi_seq) {
	cp += itf8_put(cp, -2);
	cp += itf8_put(cp, 0);
	cp += itf8_put(cp, 0);
    } else {
	cp += itf8_put(cp, c->ref_seq_id);
	cp += itf8_put(cp, c->ref_seq_start);
	cp += itf8_put(cp, c->ref_seq_span);
    }
    cp += itf8_put(cp, c->num_records);
    if (CRAM_MAJOR_VERS(fd->version) == 2) {
	cp += itf8_put(cp, c->record_counter);
	cp += ltf8_put(cp, c->num_bases);
    } else if (CRAM_MAJOR_VERS(fd->version) >= 3) {
	cp += ltf8_put(cp, c->record_counter);
	cp += ltf8_put(cp, c->num_bases);
    }

    cp += itf8_put(cp, c->num_blocks);
    cp += itf8_put(cp, c->num_landmarks);
    for (i = 0; i < c->num_landmarks; i++)
	cp += itf8_put(cp, c->landmark[i]);

    if (CRAM_MAJOR_VERS(fd->version) >= 3) {
	c->crc32 = crc32(0L, (uc *)buf, cp-buf);
	cp[0] =  c->crc32        & 0xff;
	cp[1] = (c->crc32 >>  8) & 0xff;
	cp[2] = (c->crc32 >> 16) & 0xff;
	cp[3] = (c->crc32 >> 24) & 0xff;
	cp += 4;
    }

    if (cp-buf != hwrite(fd->fp, buf, cp-buf)) {
	if (buf != buf_a)
	    free(buf);
	return -1;
    }

    if (buf != buf_a)
	free(buf);

    return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x400, %rsp            # imm = 0x400
movq %rsi, %r15
movq %rdi, %r14
movl 0x28(%rsi), %eax
cmpl $0xc2, %eax
jl 0x36cea
leaq (%rax,%rax,4), %rdi
addq $0x37, %rdi
callq 0x4700
movq %rax, %rbx
jmp 0x36ced
movq %rsp, %rbx
movl $0xffffff00, %ecx       # imm = 0xFFFFFF00
andl 0xc(%r14), %ecx
movl (%r15), %eax
cmpl $0x100, %ecx            # imm = 0x100
jne 0x36d0f
cmpl $0x7f, %eax
ja 0x36d53
movb %al, (%rbx)
movl $0x1, %ebp
jmp 0x36d16
movl %eax, (%rbx)
movl $0x4, %ebp
addq %rbx, %rbp
cmpl $0x0, 0x94(%r15)
je 0x36d3d
movl $0xffffffff, (%rbp)     # imm = 0xFFFFFFFF
movw $0xe, 0x4(%rbp)
movb $0x0, 0x6(%rbp)
addq $0x7, %rbp
jmp 0x36fe3
movl 0x4(%r15), %eax
cmpl $0x7f, %eax
ja 0x36d6e
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x36e7a
movl %eax, %ecx
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x36d8d
shrl $0x8, %ecx
orb $-0x80, %cl
movb %cl, (%rbx)
movb %al, 0x1(%rbx)
movl $0x2, %ebp
jmp 0x36d16
movl %eax, %ecx
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x36dac
shrl $0x8, %ecx
orb $-0x80, %cl
movb %cl, (%rbp)
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x36e7a
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x36dd0
shrl $0x10, %ecx
orb $-0x40, %cl
movb %cl, (%rbx)
movb %ah, 0x1(%rbx)
movb %al, 0x2(%rbx)
movl $0x3, %ebp
jmp 0x36d16
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x36df2
shrl $0x10, %ecx
orb $-0x40, %cl
movb %cl, (%rbp)
movb %ah, 0x1(%rbp)
movb 0x4(%r15), %al
movb %al, 0x2(%rbp)
movl $0x3, %eax
jmp 0x36e7a
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x36e1c
shrl $0x18, %ecx
orb $-0x20, %cl
movb %cl, (%rbx)
movl %eax, %ecx
shrl $0x10, %ecx
movb %cl, 0x1(%rbx)
movb %ah, 0x2(%rbx)
movb %al, 0x3(%rbx)
jmp 0x36d11
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x36e4b
shrl $0x18, %ecx
orb $-0x20, %cl
movb %cl, (%rbp)
shrl $0x10, %eax
movb %al, 0x1(%rbp)
movzwl 0x4(%r15), %eax
rolw $0x8, %ax
movw %ax, 0x2(%rbp)
movl $0x4, %eax
jmp 0x36e7a
shrl $0x1c, %ecx
orb $-0x10, %cl
movb %cl, (%rbx)
movl %eax, %ecx
shrl $0x14, %ecx
movb %cl, 0x1(%rbx)
movl %eax, %ecx
shrl $0xc, %ecx
movb %cl, 0x2(%rbx)
movl %eax, %ecx
shrl $0x4, %ecx
movb %cl, 0x3(%rbx)
andb $0xf, %al
movb %al, 0x4(%rbx)
movl $0x5, %ebp
jmp 0x36d16
shrl $0x1c, %ecx
orb $-0x10, %cl
movb %cl, (%rbp)
shrl $0x14, %eax
movb %al, 0x1(%rbp)
movl 0x4(%r15), %eax
movl %eax, %ecx
shrl $0xc, %ecx
movb %cl, 0x2(%rbp)
shrl $0x4, %eax
movb %al, 0x3(%rbp)
movb 0x4(%r15), %al
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
movl 0x8(%r15), %eax
cmpl $0x7f, %eax
ja 0x36e93
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x36f2d
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x36eb0
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%rbp)
movb 0x8(%r15), %al
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x36f2d
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x36ed3
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%rbp)
movzwl 0x8(%r15), %eax
rolw $0x8, %ax
movw %ax, 0x1(%rbp)
movl $0x3, %eax
jmp 0x36f2d
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x36efd
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%rbp)
movzwl 0x9(%r15), %eax
rolw $0x8, %ax
movw %ax, 0x1(%rbp)
movb 0x8(%r15), %al
movb %al, 0x3(%rbp)
movl $0x4, %eax
jmp 0x36f2d
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%rbp)
movl 0x8(%r15), %eax
movl %eax, %ecx
shrl $0x14, %ecx
movb %cl, 0x1(%rbp)
shrl $0xc, %eax
movb %al, 0x2(%rbp)
movl 0x8(%r15), %eax
movl %eax, %ecx
shrl $0x4, %ecx
movb %cl, 0x3(%rbp)
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
movl 0xc(%r15), %eax
cmpl $0x7f, %eax
ja 0x36f46
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x36fe0
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x36f63
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%rbp)
movb 0xc(%r15), %al
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x36fe0
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x36f86
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%rbp)
movzwl 0xc(%r15), %eax
rolw $0x8, %ax
movw %ax, 0x1(%rbp)
movl $0x3, %eax
jmp 0x36fe0
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x36fb0
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%rbp)
movzwl 0xd(%r15), %eax
rolw $0x8, %ax
movw %ax, 0x1(%rbp)
movb 0xc(%r15), %al
movb %al, 0x3(%rbp)
movl $0x4, %eax
jmp 0x36fe0
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%rbp)
movl 0xc(%r15), %eax
movl %eax, %ecx
shrl $0x14, %ecx
movb %cl, 0x1(%rbp)
shrl $0xc, %eax
movb %al, 0x2(%rbp)
movl 0xc(%r15), %eax
movl %eax, %ecx
shrl $0x4, %ecx
movb %cl, 0x3(%rbp)
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
movl 0x20(%r15), %eax
cmpl $0x7f, %eax
ja 0x36ff9
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x3709c
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x37019
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%rbp)
movb 0x20(%r15), %al
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x3709c
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x3703d
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%rbp)
movb 0x21(%r15), %al
movb %al, 0x1(%rbp)
movb 0x20(%r15), %al
movb %al, 0x2(%rbp)
movl $0x3, %eax
jmp 0x3709c
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x37068
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%rbp)
movb 0x22(%r15), %al
movb %al, 0x1(%rbp)
movb 0x21(%r15), %al
movb %al, 0x2(%rbp)
movb 0x20(%r15), %al
movb %al, 0x3(%rbp)
movl $0x4, %eax
jmp 0x3709c
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%rbp)
movl 0x20(%r15), %eax
shrl $0x14, %eax
movb %al, 0x1(%rbp)
movl 0x20(%r15), %eax
shrl $0xc, %eax
movb %al, 0x2(%rbp)
movl 0x20(%r15), %eax
shrl $0x4, %eax
movb %al, 0x3(%rbp)
movb 0x20(%r15), %al
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
movl 0xc(%r14), %eax
sarl $0x8, %eax
cmpl $0x2, %eax
jne 0x370c2
movq 0x10(%r15), %rax
cmpq $0x7f, %rax
ja 0x370db
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x37181
jle 0x37195
movq 0x10(%r15), %rsi
movq %rbp, %rdi
callq 0x30d61
movl %eax, %eax
jmp 0x37181
cmpq $0x3fff, %rax           # imm = 0x3FFF
ja 0x370fc
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%rbp)
movb 0x10(%r15), %al
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x37181
cmpq $0x1fffff, %rax         # imm = 0x1FFFFF
ja 0x37121
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%rbp)
movb 0x11(%r15), %al
movb %al, 0x1(%rbp)
movb 0x10(%r15), %al
movb %al, 0x2(%rbp)
movl $0x3, %eax
jmp 0x37181
cmpq $0xfffffff, %rax        # imm = 0xFFFFFFF
ja 0x3714d
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%rbp)
movb 0x12(%r15), %al
movb %al, 0x1(%rbp)
movb 0x11(%r15), %al
movb %al, 0x2(%rbp)
movb 0x10(%r15), %al
movb %al, 0x3(%rbp)
movl $0x4, %eax
jmp 0x37181
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%rbp)
movl 0x10(%r15), %eax
shrl $0x14, %eax
movb %al, 0x1(%rbp)
movl 0x10(%r15), %eax
shrl $0xc, %eax
movb %al, 0x2(%rbp)
movl 0x10(%r15), %eax
shrl $0x4, %eax
movb %al, 0x3(%rbp)
movb 0x10(%r15), %al
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
movq 0x18(%r15), %rsi
movq %rbp, %rdi
callq 0x30d61
movl %eax, %eax
addq %rax, %rbp
movl 0x24(%r15), %eax
cmpl $0x7f, %eax
ja 0x371ab
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x3724e
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x371cb
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%rbp)
movb 0x24(%r15), %al
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x3724e
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x371ef
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%rbp)
movb 0x25(%r15), %al
movb %al, 0x1(%rbp)
movb 0x24(%r15), %al
movb %al, 0x2(%rbp)
movl $0x3, %eax
jmp 0x3724e
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x3721a
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%rbp)
movb 0x26(%r15), %al
movb %al, 0x1(%rbp)
movb 0x25(%r15), %al
movb %al, 0x2(%rbp)
movb 0x24(%r15), %al
movb %al, 0x3(%rbp)
movl $0x4, %eax
jmp 0x3724e
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%rbp)
movl 0x24(%r15), %eax
shrl $0x14, %eax
movb %al, 0x1(%rbp)
movl 0x24(%r15), %eax
shrl $0xc, %eax
movb %al, 0x2(%rbp)
movl 0x24(%r15), %eax
shrl $0x4, %eax
movb %al, 0x3(%rbp)
movb 0x24(%r15), %al
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
movl 0x28(%r15), %eax
cmpl $0x7f, %eax
ja 0x37267
movb %al, (%rbp)
movl $0x1, %eax
jmp 0x3730a
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x37287
shrl $0x8, %eax
orb $-0x80, %al
movb %al, (%rbp)
movb 0x28(%r15), %al
movb %al, 0x1(%rbp)
movl $0x2, %eax
jmp 0x3730a
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x372ab
shrl $0x10, %eax
orb $-0x40, %al
movb %al, (%rbp)
movb 0x29(%r15), %al
movb %al, 0x1(%rbp)
movb 0x28(%r15), %al
movb %al, 0x2(%rbp)
movl $0x3, %eax
jmp 0x3730a
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x372d6
shrl $0x18, %eax
orb $-0x20, %al
movb %al, (%rbp)
movb 0x2a(%r15), %al
movb %al, 0x1(%rbp)
movb 0x29(%r15), %al
movb %al, 0x2(%rbp)
movb 0x28(%r15), %al
movb %al, 0x3(%rbp)
movl $0x4, %eax
jmp 0x3730a
shrl $0x1c, %eax
orb $-0x10, %al
movb %al, (%rbp)
movl 0x28(%r15), %eax
shrl $0x14, %eax
movb %al, 0x1(%rbp)
movl 0x28(%r15), %eax
shrl $0xc, %eax
movb %al, 0x2(%rbp)
movl 0x28(%r15), %eax
shrl $0x4, %eax
movb %al, 0x3(%rbp)
movb 0x28(%r15), %al
andb $0xf, %al
movb %al, 0x4(%rbp)
movl $0x5, %eax
addq %rax, %rbp
cmpl $0x0, 0x28(%r15)
jle 0x37412
xorl %eax, %eax
movq 0x30(%r15), %rcx
movl (%rcx,%rax,4), %ecx
cmpl $0x7f, %ecx
ja 0x37333
movb %cl, (%rbp)
movl $0x1, %ecx
jmp 0x373ff
cmpl $0x3fff, %ecx           # imm = 0x3FFF
ja 0x37358
shrl $0x8, %ecx
orb $-0x80, %cl
movb %cl, (%rbp)
movq 0x30(%r15), %rcx
movb (%rcx,%rax,4), %cl
movb %cl, 0x1(%rbp)
movl $0x2, %ecx
jmp 0x373ff
cmpl $0x1fffff, %ecx         # imm = 0x1FFFFF
ja 0x37385
shrl $0x10, %ecx
orb $-0x40, %cl
movb %cl, (%rbp)
movq 0x30(%r15), %rcx
movb 0x1(%rcx,%rax,4), %cl
movb %cl, 0x1(%rbp)
movq 0x30(%r15), %rcx
movb (%rcx,%rax,4), %cl
movb %cl, 0x2(%rbp)
movl $0x3, %ecx
jmp 0x373ff
cmpl $0xfffffff, %ecx        # imm = 0xFFFFFFF
ja 0x373bd
shrl $0x18, %ecx
orb $-0x20, %cl
movb %cl, (%rbp)
movq 0x30(%r15), %rcx
movb 0x2(%rcx,%rax,4), %cl
movb %cl, 0x1(%rbp)
movq 0x30(%r15), %rcx
movb 0x1(%rcx,%rax,4), %cl
movb %cl, 0x2(%rbp)
movq 0x30(%r15), %rcx
movb (%rcx,%rax,4), %cl
movb %cl, 0x3(%rbp)
movl $0x4, %ecx
jmp 0x373ff
shrl $0x1c, %ecx
orb $-0x10, %cl
movb %cl, (%rbp)
movq 0x30(%r15), %rcx
movl (%rcx,%rax,4), %ecx
shrl $0x14, %ecx
movb %cl, 0x1(%rbp)
movq 0x30(%r15), %rcx
movl (%rcx,%rax,4), %ecx
shrl $0xc, %ecx
movb %cl, 0x2(%rbp)
movq 0x30(%r15), %rcx
movl (%rcx,%rax,4), %ecx
shrl $0x4, %ecx
movb %cl, 0x3(%rbp)
movq 0x30(%r15), %rcx
movb (%rcx,%rax,4), %cl
andb $0xf, %cl
movb %cl, 0x4(%rbp)
movl $0x5, %ecx
addq %rcx, %rbp
incq %rax
movslq 0x28(%r15), %rcx
cmpq %rcx, %rax
jl 0x3731a
cmpl $0x300, 0xc(%r14)       # imm = 0x300
jl 0x37456
movl %ebp, %edx
subl %ebx, %edx
xorl %edi, %edi
movq %rbx, %rsi
callq 0x43b0
movl %eax, 0x248(%r15)
movb %al, (%rbp)
movb 0x249(%r15), %al
movb %al, 0x1(%rbp)
movb 0x24a(%r15), %al
movb %al, 0x2(%rbp)
movb 0x24b(%r15), %al
movb %al, 0x3(%rbp)
addq $0x4, %rbp
subq %rbx, %rbp
movq (%r14), %r15
movq 0x8(%r15), %rdi
movq 0x18(%r15), %r12
subq %rdi, %r12
cmpq %rbp, %r12
movq %rbp, %r14
cmovbq %r12, %r14
movq %rbx, %rsi
movq %r14, %rdx
callq 0x4420
addq %r14, 0x8(%r15)
cmpq %rbp, %r12
jae 0x37499
movq %r15, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
movq %r14, %rcx
callq 0x48356
movq %rax, %r14
movq %rsp, %rax
cmpq %rax, %rbx
je 0x374a9
movq %rbx, %rdi
callq 0x4610
xorl %eax, %eax
cmpq %r14, %rbp
setne %al
negl %eax
addq $0x400, %rsp            # imm = 0x400
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq