// File: karel-brinda[P]ococo/ext/htslib/cram/cram_encode.c
// Function: cram_add_softclip
static int cram_add_softclip(cram_container *c, cram_slice *s, cram_record *r,
			     int pos, int len, char *base, int version) {
    cram_feature f;
    f.S.pos = pos+1;
    f.S.code = 'S';
    f.S.len = len;
    switch (CRAM_MAJOR_VERS(version)) {
    case 1:
	f.S.seq_idx = BLOCK_SIZE(s->base_blk);
	BLOCK_APPEND(s->base_blk, base, len);
	BLOCK_APPEND_CHAR(s->base_blk, '\0');
	break;

    case 2:
    default:
	f.S.seq_idx = BLOCK_SIZE(s->soft_blk);
	if (base) {
	    BLOCK_APPEND(s->soft_blk, base, len);
	} else {
	    int i;
	    for (i = 0; i < len; i++)
		BLOCK_APPEND_CHAR(s->soft_blk, 'N');
	}
	BLOCK_APPEND_CHAR(s->soft_blk, '\0');
	break;

//    default:
//	// v3.0 onwards uses BB data-series
//	f.S.seq_idx = BLOCK_SIZE(s->soft_blk);
    }
    return cram_add_feature(c, s, r, &f);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movl 0x10(%rbp), %eax
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
incl %eax
movl %eax, -0x38(%rbp)
movl $0x53, -0x34(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x30(%rbp)
movl 0x10(%rbp), %eax
sarl $0x8, %eax
movl %eax, -0x40(%rbp)
subl $0x1, %eax
je 0x3fe88
jmp 0x3fe77
movl -0x40(%rbp), %eax
subl $0x2, %eax
je 0x400e7
jmp 0x400e9
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x30(%rax), %rax
movl %eax, -0x2c(%rbp)
jmp 0x3fe99
jmp 0x3fe9b
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 0x3ff8b
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x3ff14
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3abfa(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3abfe(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3bbcf(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x48(%rbp)
jmp 0x3ff23
movsd 0x3bbb4(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x48(%rbp)
jmp 0x3ff23
movsd -0x48(%rbp), %xmm0
movsd 0x3ab90(%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 0x3fe9b
jmp 0x3ff8d
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 0x3ffc8
jmp 0x3ffca
jmp 0x3ffcc
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 0x400b9
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x40042
movq -0x10(%rbp), %rax
movq 0x78(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3aacc(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3aad0(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3baa1(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x50(%rbp)
jmp 0x40051
movsd 0x3ba86(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x50(%rbp)
jmp 0x40051
movsd -0x50(%rbp), %xmm0
movsd 0x3aa62(%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 0x3ffcc
jmp 0x400bb
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 0x404f8
jmp 0x400e9
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x30(%rax), %rax
movl %eax, -0x2c(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x4025d
jmp 0x40108
jmp 0x4010a
jmp 0x4010c
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x80(%rcx), %rcx
movq 0x30(%rcx), %rcx
movslq -0x20(%rbp), %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
ja 0x40214
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x40191
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3a97d(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3a981(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3b952(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x58(%rbp)
jmp 0x401a0
movsd 0x3b937(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x58(%rbp)
jmp 0x401a0
movsd -0x58(%rbp), %xmm0
movsd 0x3a913(%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 0x80(%rax), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x4010c
jmp 0x40216
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x80(%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 0x80(%rax), %rax
addq 0x30(%rax), %rcx
movq %rcx, 0x30(%rax)
jmp 0x403bc
movl $0x0, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
cmpl -0x20(%rbp), %eax
jge 0x403ba
jmp 0x40272
jmp 0x40274
jmp 0x40276
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x80(%rcx), %rcx
movq 0x30(%rcx), %rcx
addq $0x1, %rcx
cmpq %rcx, %rax
ja 0x4037b
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x402f8
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3a816(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3a81a(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3b7eb(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x60(%rbp)
jmp 0x40307
movsd 0x3b7d0(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x60(%rbp)
jmp 0x40307
movsd -0x60(%rbp), %xmm0
movsd 0x3a7ac(%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 0x80(%rax), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x40276
jmp 0x4037d
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x20(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x80(%rcx), %rdx
movq 0x30(%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x30(%rdx)
movb $0x4e, (%rax,%rcx)
jmp 0x403ac
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x40264
jmp 0x403bc
jmp 0x403be
jmp 0x403c0
jmp 0x403c2
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x80(%rcx), %rcx
movq 0x30(%rcx), %rcx
addq $0x1, %rcx
cmpq %rcx, %rax
ja 0x404c7
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
cmpq $0x0, 0x28(%rax)
je 0x40444
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %xmm0
movaps 0x3a6ca(%rip), %xmm1    # 0x7aae0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x3a6ce(%rip), %xmm1    # 0x7aaf0
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd 0x3b69f(%rip), %xmm1    # 0x7bad8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x68(%rbp)
jmp 0x40453
movsd 0x3b684(%rip), %xmm0    # 0x7bad0
movsd %xmm0, -0x68(%rbp)
jmp 0x40453
movsd -0x68(%rbp), %xmm0
movsd 0x3a660(%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 0x80(%rax), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x20(%rax), %rdi
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x4990
movq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x403c2
jmp 0x404c9
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq 0x20(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x80(%rcx), %rdx
movq 0x30(%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x30(%rdx)
movb $0x0, (%rax,%rcx)
jmp 0x404f8
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x38(%rbp), %rcx
callq 0x41090
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)