// File: /workspace/github_cpp_makefile_star2_O1/karel-brinda[P]ococo/ext/htslib/cram/cram_codecs.c
// Function: cram_external_encode_store
int cram_external_encode_store(cram_codec *c, cram_block *b, char *prefix,
			       int version) {
    char tmp[99], *tp = tmp;
    int len = 0;

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

    tp += itf8_put(tp, c->e_external.content_id);
    len += itf8_put_blk(b, c->codec);
    len += itf8_put_blk(b, tp-tmp);
    BLOCK_APPEND(b, tmp, tp-tmp);
    len += tp-tmp;

    return len;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %rbx
movq %rdi, %r15
testq %rdx, %rdx
je 0x4a447
movq %rdx, %r12
movq %rdx, %rdi
callq 0x4230
movq %rax, %r14
movq 0x28(%rbx), %rax
movq 0x30(%rbx), %rdi
leaq (%rdi,%r14), %rcx
cmpq %rcx, %rax
ja 0x4a432
movl $0x400, %r13d           # imm = 0x400
movq %rax, %xmm0
punpckldq 0x8562(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x856a(%rip), %xmm0     # 0x52940
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
mulsd 0x961e(%rip), %xmm1     # 0x53a08
cvttsd2si %xmm1, %rcx
movq %rcx, %rdx
subsd 0x850e(%rip), %xmm1     # 0x52908
cvttsd2si %xmm1, %rsi
sarq $0x3f, %rdx
andq %rdx, %rsi
orq %rcx, %rsi
testq %rax, %rax
cmoveq %r13, %rsi
movq %rsi, 0x28(%rbx)
movq 0x20(%rbx), %rdi
callq 0x48d0
movq %rax, 0x20(%rbx)
movq 0x28(%rbx), %rax
movq 0x30(%rbx), %rdi
leaq (%rdi,%r14), %rcx
cmpq %rcx, %rax
jbe 0x4a3c1
addq 0x20(%rbx), %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x4420
addq %r14, 0x30(%rbx)
jmp 0x4a44a
xorl %r14d, %r14d
movl 0x30(%r15), %eax
cmpl $0x7f, %eax
ja 0x4a461
movb %al, (%rsp)
movl $0x1, %r12d
jmp 0x4a4f8
movl %eax, %ecx
cmpl $0x3fff, %eax           # imm = 0x3FFF
ja 0x4a47f
shrl $0x8, %ecx
orb $-0x80, %cl
movb %cl, (%rsp)
movb %al, 0x1(%rsp)
movl $0x2, %r12d
jmp 0x4a4f8
cmpl $0x1fffff, %eax         # imm = 0x1FFFFF
ja 0x4a49f
shrl $0x10, %ecx
orb $-0x40, %cl
movb %cl, (%rsp)
movb %ah, 0x1(%rsp)
movb %al, 0x2(%rsp)
movl $0x3, %r12d
jmp 0x4a4f8
cmpl $0xfffffff, %eax        # imm = 0xFFFFFFF
ja 0x4a4c8
shrl $0x18, %ecx
orb $-0x20, %cl
movb %cl, (%rsp)
movl %eax, %ecx
shrl $0x10, %ecx
movb %cl, 0x1(%rsp)
movb %ah, 0x2(%rsp)
movb %al, 0x3(%rsp)
movl $0x4, %r12d
jmp 0x4a4f8
shrl $0x1c, %ecx
orb $-0x10, %cl
movb %cl, (%rsp)
movl %eax, %ecx
shrl $0x14, %ecx
movb %cl, 0x1(%rsp)
movl %eax, %ecx
shrl $0xc, %ecx
movb %cl, 0x2(%rsp)
movl %eax, %ecx
shrl $0x4, %ecx
movb %cl, 0x3(%rsp)
andb $0xf, %al
movb %al, 0x4(%rsp)
movl $0x5, %r12d
movl (%r15), %esi
movq %rbx, %rdi
callq 0x32062
movl %eax, %ebp
movq %rbx, %rdi
movl %r12d, %esi
callq 0x32062
movl %eax, %r15d
movq 0x28(%rbx), %rax
movq 0x30(%rbx), %rdi
leaq (%rdi,%r12), %rcx
cmpq %rcx, %rax
ja 0x4a59b
movl $0x400, %r13d           # imm = 0x400
movq %rax, %xmm0
punpckldq 0x83f9(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x8401(%rip), %xmm0     # 0x52940
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
mulsd 0x94b5(%rip), %xmm1     # 0x53a08
cvttsd2si %xmm1, %rcx
movq %rcx, %rdx
subsd 0x83a5(%rip), %xmm1     # 0x52908
cvttsd2si %xmm1, %rsi
sarq $0x3f, %rdx
andq %rdx, %rsi
orq %rcx, %rsi
testq %rax, %rax
cmoveq %r13, %rsi
movq %rsi, 0x28(%rbx)
movq 0x20(%rbx), %rdi
callq 0x48d0
movq %rax, 0x20(%rbx)
movq 0x28(%rbx), %rax
movq 0x30(%rbx), %rdi
leaq (%rdi,%r12), %rcx
cmpq %rcx, %rax
jbe 0x4a52a
addq 0x20(%rbx), %rdi
movq %rsp, %rsi
movq %r12, %rdx
callq 0x4420
addq %r12, 0x30(%rbx)
addl %r12d, %r14d
addl %r15d, %ebp
addl %r14d, %ebp
movl %ebp, %eax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq