// File: /workspace/github_cpp_makefile_star2_O3/karel-brinda[P]ococo/ext/htslib/hts.c
// Function: hts_format_description
char *hts_format_description(const htsFormat *format)
{
    kstring_t str = { 0, 0, NULL };

    switch (format->format) {
    case sam:   kputs("SAM", &str); break;
    case bam:   kputs("BAM", &str); break;
    case cram:  kputs("CRAM", &str); break;
    case vcf:   kputs("VCF", &str); break;
    case bcf:
        if (format->version.major == 1) kputs("Legacy BCF", &str);
        else kputs("BCF", &str);
        break;
    case bai:   kputs("BAI", &str); break;
    case crai:  kputs("CRAI", &str); break;
    case csi:   kputs("CSI", &str); break;
    case tbi:   kputs("Tabix", &str); break;
    default:    kputs("unknown", &str); break;
    }

    if (format->version.major >= 0) {
        kputs(" version ", &str);
        kputw(format->version.major, &str);
        if (format->version.minor >= 0) {
            kputc('.', &str);
            kputw(format->version.minor, &str);
        }
    }

    switch (format->compression) {
    case custom: kputs(" compressed", &str); break;
    case gzip:   kputs(" gzip-compressed", &str); break;
    case bgzf:
        switch (format->format) {
        case bam:
        case bcf:
        case csi:
        case tbi:
            // These are by definition BGZF, so just use the generic term
            kputs(" compressed", &str);
            break;
        default:
            kputs(" BGZF-compressed", &str);
            break;
        }
        break;
    default: break;
    }

    switch (format->category) {
    case sequence_data: kputs(" sequence", &str); break;
    case variant_data:  kputs(" variant calling", &str); break;
    case index_file:    kputs(" index", &str); break;
    case region_list:   kputs(" genomic region", &str); break;
    default: break;
    }

    if (format->compression == no_compression)
        switch (format->format) {
        case sam:
        case crai:
        case vcf:
        case bed:
            kputs(" text", &str);
            break;

        default:
            kputs(" data", &str);
            break;
        }
    else
        kputs(" data", &str);

    return ks_release(&str);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movl 0x4(%rdi), %eax
addl $-0x3, %eax
cmpl $0x9, %eax
ja 0xe897
leaq 0x422b7(%rip), %rcx     # 0x509b0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x4d, 0x2(%rax)
movw $0x4153, (%rax)         # imm = 0x4153
jmp 0xe8e7
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x49, 0x2(%rax)
jmp 0xe794
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x46, 0x2(%rax)
movw $0x4356, (%rax)         # imm = 0x4356
jmp 0xe8e7
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x4d, 0x2(%rax)
movw $0x4142, (%r14)         # imm = 0x4142
jmp 0xe8e7
cmpw $0x1, 0x8(%rbx)
jne 0xe8c7
movl $0x10, %ebp
movl $0x10, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movabsq $0x422079636167654c, %rax # imm = 0x422079636167654C
movq %rax, (%r14)
movw $0x4643, 0x8(%r14)      # imm = 0x4643
movq %r14, %rax
addq $0xa, %rax
movl $0xa, %r15d
jmp 0xe8f4
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x49, 0x2(%rax)
movw $0x5343, (%rax)         # imm = 0x5343
jmp 0xe8e7
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movl $0x4d415243, (%rax)     # imm = 0x4D415243
jmp 0xe858
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movl $0x49415243, (%rax)     # imm = 0x49415243
movq %r14, %rax
addq $0x4, %rax
movl $0x4, %r15d
jmp 0xe8f4
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x78, 0x4(%rax)
movl $0x69626154, (%rax)     # imm = 0x69626154
addq $0x5, %rax
movl $0x5, %r15d
jmp 0xe8f4
movl $0x10, %ebp
movl $0x10, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movl $0x6e776f6e, 0x3(%rax)  # imm = 0x6E776F6E
movl $0x6e6b6e75, (%rax)     # imm = 0x6E6B6E75
addq $0x7, %rax
movl $0x7, %r15d
jmp 0xe8f4
movl $0x8, %ebp
movl $0x8, %edi
callq 0x4700
testq %rax, %rax
je 0xe8f9
movq %rax, %r14
movb $0x46, 0x2(%rax)
movw $0x4342, (%rax)         # imm = 0x4342
movq %r14, %rax
addq $0x3, %rax
movl $0x3, %r15d
movb $0x0, (%rax)
jmp 0xe901
xorl %r15d, %r15d
xorl %ebp, %ebp
xorl %r14d, %r14d
movzwl 0x8(%rbx), %r13d
testw %r13w, %r13w
js 0xebfa
leal 0xb(%r15), %eax
cmpl %eax, %ebp
movq %rbx, 0x8(%rsp)
jae 0xe94f
leaq 0xa(%r15), %rax
movl %eax, %ecx
shrl %ecx
orq %rax, %rcx
movl %ecx, %eax
shrl $0x2, %eax
orq %rcx, %rax
movl %eax, %r12d
shrl $0x4, %r12d
orq %rax, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xe955
jmp 0xe97a
movq %rbp, %r12
movq %r14, %rax
movabsq $0x6e6f697372657620, %rcx # imm = 0x6E6F697372657620
movq %rcx, (%rax,%r15)
movw $0x20, 0x8(%rax,%r15)
addq $0x9, %r15
movzwl 0x8(%rbx), %r13d
movq %r12, %rbp
movq %rax, %r14
movl %r13d, %eax
negw %ax
cmovsw %r13w, %ax
movzwl %ax, %eax
xorl %ebx, %ebx
movl $0xcccccccd, %ecx       # imm = 0xCCCCCCCD
movl %eax, %edx
imulq %rcx, %rdx
shrq $0x23, %rdx
leal (%rdx,%rdx), %esi
leal (%rsi,%rsi,4), %esi
movl %eax, %edi
subl %esi, %edi
orb $0x30, %dil
movb %dil, 0x10(%rsp,%rbx)
incq %rbx
cmpl $0x9, %eax
movl %edx, %eax
ja 0xe98f
testw %r13w, %r13w
jns 0xe9c5
movl %ebx, %eax
incl %ebx
movb $0x2d, 0x10(%rsp,%rax)
movslq %ebx, %rax
leaq (%r15,%rax), %rcx
addq $0x2, %rcx
cmpq %rcx, %rbp
jae 0xea37
addq %r15, %rax
incq %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
movq %rax, %r13
testq %rax, %rax
jne 0xea3d
movq %rbp, %r12
movq %r15, %rbp
movq %r14, %r13
jmp 0xea74
movq %rbp, %r12
movq %r14, %r13
movl %ebx, %eax
leal (%r15,%rbx), %ebp
testl %ebx, %ebx
movl $0x1, %ecx
cmovlel %ebx, %ecx
subl %ecx, %ebp
incl %ebp
leaq 0x10(%rsp), %rcx
addq %rcx, %rax
decq %rax
movb (%rax), %cl
movb %cl, (%r13,%r15)
incq %r15
decq %rax
cmpq %r15, %rbp
jne 0xea5c
movb $0x0, (%r13,%rbp)
movq 0x8(%rsp), %rbx
cmpw $0x0, 0xa(%rbx)
js 0xeae0
leaq 0x2(%rbp), %rax
leaq 0x1(%rbp), %r15
cmpq %rax, %r12
jae 0xeaee
movq %r15, %rax
shrq %rax
orq %r15, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x10, %rax
orq %rcx, %rax
movq %rax, %r14
shrq $0x20, %r14
orq %rax, %r14
incq %r14
movq %r13, %rdi
movq %r14, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xeaf4
movq %rbp, %r15
jmp 0xeb00
movq %rbp, %r15
movq %r12, %rbp
movq %r13, %r14
jmp 0xebfa
movq %r12, %r14
movq %r13, %rax
movw $0x2e, (%rax,%rbp)
movq %r14, %r12
movq %rax, %r13
movzwl 0xa(%rbx), %eax
movl %eax, %ecx
negw %cx
cmovsw %ax, %cx
movzwl %cx, %ecx
xorl %ebx, %ebx
movl $0xcccccccd, %edx       # imm = 0xCCCCCCCD
movl %ecx, %esi
imulq %rdx, %rsi
shrq $0x23, %rsi
leal (%rsi,%rsi), %edi
leal (%rdi,%rdi,4), %edi
movl %ecx, %r8d
subl %edi, %r8d
orb $0x30, %r8b
movb %r8b, 0x10(%rsp,%rbx)
incq %rbx
cmpl $0x9, %ecx
movl %esi, %ecx
ja 0xeb17
testw %ax, %ax
jns 0xeb4e
movl %ebx, %eax
incl %ebx
movb $0x2d, 0x10(%rsp,%rax)
movslq %ebx, %rax
leaq (%r15,%rax), %rcx
addq $0x2, %rcx
cmpq %rcx, %r12
jae 0xebbd
addq %r15, %rax
incq %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x20, %rsi
orq %rcx, %rsi
incq %rsi
movq %r13, %rdi
movq %rsi, %rbp
callq 0x48d0
movq %rax, %r14
testq %rax, %rax
jne 0xebc3
movq %r12, %rbp
movq %r13, %r14
jmp 0xebf5
movq %r12, %rbp
movq %r13, %r14
movl %ebx, %ecx
testl %ebx, %ebx
movl $0x1, %eax
cmovlel %ebx, %eax
negl %eax
addl %ebx, %eax
incl %eax
leaq 0x10(%rsp), %rdx
addq %rdx, %rcx
decq %rcx
movb (%rcx), %dl
movb %dl, (%r14,%r15)
incq %r15
decq %rcx
decl %eax
jne 0xebe0
movb $0x0, (%r14,%r15)
movq 0x8(%rsp), %rbx
movl 0xc(%rbx), %eax
cmpl $0x1, %eax
je 0xec93
cmpl $0x2, %eax
je 0xec15
cmpl $0x3, %eax
je 0xec2f
jmp 0xed36
movl 0x4(%rbx), %eax
cmpl $0xc, %eax
ja 0xf089
movl $0x1610, %ecx           # imm = 0x1610
btl %eax, %ecx
jae 0xf089
leaq 0xd(%r15), %rax
cmpq %rax, %rbp
jae 0xecf0
leaq 0xc(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xecf6
jmp 0xed36
leaq 0x12(%r15), %rax
cmpq %rax, %rbp
jae 0xed13
leaq 0x11(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xed19
jmp 0xed36
movq %rbp, %r12
movq %r14, %rax
movabsq $0x736572706d6f6320, %rcx # imm = 0x736572706D6F6320
movq %rcx, (%rax,%r15)
movl $0x64657373, 0x7(%rax,%r15) # imm = 0x64657373
addq $0xb, %r15
jmp 0xed29
movq %rbp, %r12
movq %r14, %rax
movups 0x41eee(%rip), %xmm0    # 0x50c0e
movups %xmm0, (%rax,%r15)
addq $0x10, %r15
leaq (%rax,%r15), %rcx
movq %r12, %rbp
movq %rax, %r14
movb $0x0, (%rcx)
movl (%rbx), %eax
decl %eax
cmpl $0x3, %eax
ja 0xef77
leaq 0x41c8e(%rip), %rcx     # 0x509d8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0xb(%r15), %rax
cmpq %rax, %rbp
jae 0xef34
leaq 0xa(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xef3a
jmp 0xef77
leaq 0x8(%r15), %rax
cmpq %rax, %rbp
jae 0xeeef
leaq 0x7(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xeef5
jmp 0xef77
leaq 0x11(%r15), %rax
cmpq %rax, %rbp
jae 0xef0b
leaq 0x10(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xef11
jmp 0xef77
leaq 0x12(%r15), %rax
cmpq %rax, %rbp
jae 0xef54
leaq 0x11(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xef5a
jmp 0xef77
movq %rbp, %r12
movq %r14, %rax
movw $0x7865, 0x4(%rax,%r15) # imm = 0x7865
movl $0x646e6920, (%rax,%r15) # imm = 0x646E6920
addq $0x6, %r15
jmp 0xef6a
movq %rbp, %r12
movq %r14, %rax
movabsq $0x6e6f696765722063, %rcx # imm = 0x6E6F696765722063
movq %rcx, 0x7(%rax,%r15)
movabsq $0x63696d6f6e656720, %rcx # imm = 0x63696D6F6E656720
movq %rcx, (%rax,%r15)
addq $0xf, %r15
jmp 0xef6a
movq %rbp, %r12
movq %r14, %rax
movabsq $0x636e657571657320, %rcx # imm = 0x636E657571657320
movq %rcx, (%rax,%r15)
movb $0x65, 0x8(%rax,%r15)
addq $0x9, %r15
jmp 0xef6a
movq %rbp, %r12
movq %r14, %rax
movups 0x41cd9(%rip), %xmm0    # 0x50c3a
movups %xmm0, (%rax,%r15)
addq $0x10, %r15
leaq (%rax,%r15), %rcx
movq %r12, %rbp
movq %rax, %r14
movb $0x0, (%rcx)
cmpl $0x0, 0xc(%rbx)
je 0xefde
leaq 0x7(%r15), %rax
cmpq %rax, %rbp
jae 0xf04a
leaq 0x6(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x20, %rsi
orq %rcx, %rsi
incq %rsi
movq %r14, %rdi
callq 0x48d0
testq %rax, %rax
jne 0xf04d
jmp 0xf077
movl 0x4(%rbx), %eax
cmpl $0xd, %eax
ja 0xef7d
movl $0x2188, %ecx           # imm = 0x2188
btl %eax, %ecx
jae 0xef7d
leaq 0x7(%r15), %rax
cmpq %rax, %rbp
jae 0xf05d
leaq 0x6(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %rsi
shrq $0x20, %rsi
orq %rcx, %rsi
incq %rsi
movq %r14, %rdi
callq 0x48d0
testq %rax, %rax
jne 0xf060
jmp 0xf077
movq %r14, %rax
movb $0x61, 0x4(%rax,%r15)
movl $0x74616420, (%rax,%r15) # imm = 0x74616420
jmp 0xf06e
movq %r14, %rax
movb $0x74, 0x4(%rax,%r15)
movl $0x78657420, (%rax,%r15) # imm = 0x78657420
movq %rax, %r14
movb $0x0, 0x5(%rax,%r15)
movq %r14, %rax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x12(%r15), %rax
cmpq %rax, %rbp
jae 0xf0e9
leaq 0x11(%r15), %rax
movq %rax, %rcx
shrq %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x2, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x4, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x8, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x10, %rcx
orq %rax, %rcx
movq %rcx, %r12
shrq $0x20, %r12
orq %rcx, %r12
incq %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x48d0
testq %rax, %rax
jne 0xf0ef
jmp 0xed36
movq %rbp, %r12
movq %r14, %rax
movups 0x41b29(%rip), %xmm0    # 0x50c1f
jmp 0xed20