// File: karel-brinda[P]ococo/ext/htslib/cram/cram_encode.c
// Function: cram_add_insertion
static int cram_add_insertion(cram_container *c, cram_slice *s, cram_record *r,
			      int pos, int len, char *base) {
    cram_feature f;
    f.I.pos = pos+1;
    if (len == 1) {
	char b = base ? *base : 'N';
	f.i.code = 'i';
	f.i.base = b;
	cram_stats_add(c->stats[DS_BA], b);
    } else {
	f.I.code = 'I';
	f.I.len = len;
	f.S.seq_idx = BLOCK_SIZE(s->base_blk);
	if (base) {
	    BLOCK_APPEND(s->base_blk, base, len);
	} else {
	    int i;
	    for (i = 0; i < len; i++)
		BLOCK_APPEND_CHAR(s->base_blk, 'N');
	}
	BLOCK_APPEND_CHAR(s->base_blk, '\0');
    }
    return cram_add_feature(c, s, r, &f);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl %r8d, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
cmpl $0x1, -0x20(%rbp)
jne 0x3f8c8
cmpq $0x0, -0x28(%rbp)
je 0x3f891
movq -0x28(%rbp), %rax
movsbl (%rax), %eax
movl %eax, -0x44(%rbp)
jmp 0x3f89b
movl $0x4e, %eax
movl %eax, -0x44(%rbp)
jmp 0x3f89b
movl -0x44(%rbp), %eax
movb %al, -0x39(%rbp)
movl $0x69, -0x34(%rbp)
movsbl -0x39(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x1b0(%rax), %rdi
movsbl -0x39(%rbp), %esi
callq 0x54c30
jmp 0x3fc84
movl $0x49, -0x34(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x30(%rax), %rax
movl %eax, -0x2c(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x3fa25
jmp 0x3f8f1
jmp 0x3f8f3
jmp 0x3f8f5
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x78(%rcx), %rcx
movq 0x30(%rcx), %rcx
movslq -0x20(%rbp), %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
ja 0x3f9e5
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x3f96e
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3b1a0(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3b1a4(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3c175(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x50(%rbp)
jmp 0x3f97d
movsd 0x3c15a(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x50(%rbp)
jmp 0x3f97d
movsd -0x50(%rbp), %xmm0
movsd 0x3b136(%rip), %xmm2    # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x3f8f5
jmp 0x3f9e7
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
addq 0x30(%rax), %rdi
movq -0x28(%rbp), %rsi
movslq -0x20(%rbp), %rdx
callq 0x4460
movslq -0x20(%rbp), %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
jmp 0x3fb66
movl $0x0, -0x40(%rbp)
movl -0x40(%rbp), %eax
cmpl -0x20(%rbp), %eax
jge 0x3fb64
jmp 0x3fa3a
jmp 0x3fa3c
jmp 0x3fa3e
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x78(%rcx), %rcx
movq 0x30(%rcx), %rcx
addq $0x1, %rcx
cmpq %rcx, %rax
ja 0x3fb2b
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x3fab4
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3b05a(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3b05e(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3c02f(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x58(%rbp)
jmp 0x3fac3
movsd 0x3c014(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x58(%rbp)
jmp 0x3fac3
movsd -0x58(%rbp), %xmm0
movsd 0x3aff0(%rip), %xmm2    # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x3fa3e
jmp 0x3fb2d
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x20(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x78(%rcx), %rdx
movq 0x30(%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x30(%rdx)
movb $0x4e, (%rax,%rcx)
jmp 0x3fb56
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
jmp 0x3fa2c
jmp 0x3fb66
jmp 0x3fb68
jmp 0x3fb6a
jmp 0x3fb6c
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x78(%rcx), %rcx
movq 0x30(%rcx), %rcx
addq $0x1, %rcx
cmpq %rcx, %rax
ja 0x3fc59
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x3fbe2
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3af2c(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3af30(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3bf01(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x60(%rbp)
jmp 0x3fbf1
movsd 0x3bee6(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x60(%rbp)
jmp 0x3fbf1
movsd -0x60(%rbp), %xmm0
movsd 0x3aec2(%rip), %xmm2    # 0x7aac0
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
cvttsd2si %xmm0, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
andq %rdx, %rax
orq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x3fb6c
jmp 0x3fc5b
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x20(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x78(%rcx), %rdx
movq 0x30(%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x30(%rdx)
movb $0x0, (%rax,%rcx)
jmp 0x3fc84
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x38(%rbp), %rcx
callq 0x41090
addq $0x60, %rsp
popq %rbp
retq
nop