// File: /workspace/github_cpp_makefile_star2_O2/BenLangmead[P]bowtie/./ebwt.h
// Function: readEbwtRefnames(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, EList<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, 128>&)
static inline void
readEbwtRefnames(const string& instr, EList<string>& refnames) {
    FILE* fin;
	// Initialize our primary and secondary input-stream fields
    fin = fopen((instr + ".1." + gEbwt_ext).c_str(),"rb");
	if(fin == NULL) {
		throw EbwtFileOpenException("Cannot open file " + instr);
	}
	assert_eq(ftello(fin), 0);
	readEbwtRefnames(fin, refnames);
    fclose(fin);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movq %rsi, %r14
movq %rdi, %r15
leaq 0x1ff68(%rip), %rdx     # 0x2a74a
leaq 0x18(%rsp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0xf2e5
leaq 0x2b8e7(%rip), %rdx     # 0x360e0
leaq 0x38(%rsp), %rdi
movq %rbx, %rsi
callq 0x1b182
leaq 0x38(%rsp), %r12
movq (%r12), %rdi
leaq 0x1dc20(%rip), %rsi     # 0x28436
callq 0x4350
movq %rax, %rbx
movq %r12, %rdi
callq 0x46c8
leaq 0x18(%rsp), %rdi
callq 0x46c8
testq %rbx, %rbx
je 0xaac8
movq %rbx, %rdi
callq 0x44d0
testq %rax, %rax
jne 0xab0f
movq %rbx, %rdi
callq 0x44d0
testq %rax, %rax
jne 0xac4f
movq %rbx, %rdi
callq 0x9aea
movl %eax, %ebp
cmpl $0x1, %eax
je 0xa876
cmpl $0x1000000, %ebp        # imm = 0x1000000
jne 0xadae
xorl %r15d, %r15d
cmpl $0x1, %ebp
setne %r15b
movq %rbx, %rdi
movl %r15d, %esi
callq 0x9b27
movq %rax, %r13
movq %rbx, %rdi
movl %r15d, %esi
callq 0x9b7b
movl %eax, 0xc(%rsp)
movq %rbx, %rdi
movl %r15d, %esi
callq 0x9b7b
movl %eax, 0x8(%rsp)
movq %rbx, %rdi
movl %r15d, %esi
callq 0x9b7b
movl %eax, %r12d
movq %rbx, %rdi
movl %r15d, %esi
callq 0x9b7b
movq %rax, 0x10(%rsp)
movq %rbx, %rdi
movl %r15d, %esi
callq 0x9b7b
movl %eax, %r15d
testl %eax, %eax
sets %al
negb %r15b
andb $0x4, %r15b
shrb $0x2, %r15b
andb %al, %r15b
leaq 0x2b7ee(%rip), %rdi     # 0x360e0
leaq 0x1fb50(%rip), %rsi     # 0x2a449
callq 0x1d403
testb %al, %al
jne 0xa919
leaq 0x2b7d7(%rip), %rdi     # 0x360e0
leaq 0x1fb39(%rip), %rsi     # 0x2a449
callq 0x1d403
testb %al, %al
je 0xa920
movq %r13, %rsi
movb $0x1, %al
jmp 0xa925
movq %r13, %rsi
xorl %eax, %eax
xorl %r13d, %r13d
cmpl $0x1, %ebp
setne %r13b
subq $0x8, %rsp
movzbl %al, %eax
movzbl %r15b, %r10d
leaq 0x40(%rsp), %rbp
pushq $-0x1
popq %r9
movq %rbp, %rdi
movl 0x14(%rsp), %edx
movl 0x10(%rsp), %ecx
movl %r12d, %r8d
pushq %rax
pushq %r10
pushq 0x28(%rsp)
callq 0xe72c
addq $0x20, %rsp
movq %rbx, %rdi
movl %r13d, %esi
callq 0x9bcb
leaq (,%rax,8), %rsi
pushq $0x1
popq %r15
movq %rbx, %rdi
movl %r15d, %edx
callq 0x4560
movq %rbx, %rdi
movl %r13d, %esi
callq 0x9b27
imulq $0x18, %rax, %rsi
movq %rbx, %rdi
movl %r15d, %edx
callq 0x4560
movq 0xa8(%rbp), %rsi
movq %rbx, %rdi
movl %r15d, %edx
callq 0x4560
movq %rbx, %rdi
movl %r13d, %esi
callq 0x9b27
pushq $0x28
popq %rsi
movq %rbx, %rdi
movl %r15d, %edx
callq 0x4560
movq 0x50(%rbp), %rsi
shlq $0x3, %rsi
movq %rbx, %rdi
movl %r15d, %edx
callq 0x4560
movl 0x44(%rbp), %esi
shll $0x3, %esi
movq %rbx, %rdi
movl %r15d, %edx
callq 0x4560
leaq 0x1e3ba(%rip), %r15     # 0x28dad
leaq 0x18(%rsp), %r12
leaq 0x7(%rsp), %r13
movq %rbx, %rdi
callq 0x44f0
cmpl $-0x1, %eax
je 0xaa7b
movl %eax, %ebp
cmpb $0xa, %bpl
je 0xaa58
movzbl %bpl, %eax
testl %eax, %eax
je 0xaa7b
cmpq $0x0, 0x18(%r14)
jne 0xaa42
movq %r12, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0xd596
movq %r14, %rdi
movq %r12, %rsi
callq 0xf344
movq %r12, %rdi
callq 0x46c8
movq %r14, %rdi
callq 0xf398
movsbl %bpl, %esi
movq %rax, %rdi
callq 0x4250
jmp 0xa9fd
movq %r12, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0xd596
movq %r14, %rdi
movq %r12, %rsi
callq 0xf344
movq %r12, %rdi
callq 0x46c8
jmp 0xa9fd
movq %r14, %rdi
callq 0xf398
cmpq $0x0, 0x8(%rax)
jne 0xaa92
movq %r14, %rdi
callq 0x1d410
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4560
movq %rbx, %rdi
callq 0x4650
testl %eax, %eax
jne 0xad8f
movq %rbx, %rdi
callq 0x42e0
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x10
popq %rdi
callq 0x4140
movq %rax, %rbx
leaq 0x1f8f7(%rip), %rsi     # 0x2a3d1
leaq 0x38(%rsp), %rdi
movq %r15, %rdx
callq 0x1d361
movb $0x1, %bpl
leaq 0x38(%rsp), %rsi
movq %rbx, %rdi
callq 0x1d3d8
xorl %ebp, %ebp
leaq 0x29200(%rip), %rsi     # 0x33d00
movq 0x294a9(%rip), %rdx     # 0x33fb0
movq %rbx, %rdi
callq 0x45b0
movq 0x294a2(%rip), %r14     # 0x33fb8
leaq 0x1d63c(%rip), %rsi     # 0x28159
movq %r14, %rdi
callq 0x42d0
movq %rax, %r15
movq %rbx, %rdi
callq 0x44d0
movq %r15, %rdi
movq %rax, %rsi
callq 0x4610
leaq 0x1d62d(%rip), %r15     # 0x2816f
movq %rax, %rdi
movq %r15, %rsi
callq 0x42d0
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %rbx, %rdi
callq 0x44d0
movq %r12, %rdi
movq %rax, %rsi
callq 0x4610
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1d5de(%rip), %rsi     # 0x28174
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
xorl %esi, %esi
callq 0x45d0
movq %rax, %rdi
movq %r15, %rsi
callq 0x42d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
xorl %esi, %esi
callq 0x45d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1f82a(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1d4f8(%rip), %rbx     # 0x280fd
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42d0
leaq 0x1eb24(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movl $0xddb, %esi            # imm = 0xDDB
callq 0x45d0
movq %rax, %rdi
callq 0x4130
leaq 0x1e9e0(%rip), %rdi     # 0x2961b
leaq 0x1f7a1(%rip), %rcx     # 0x2a3e3
movq %rbx, %rsi
movl $0xddb, %edx            # imm = 0xDDB
callq 0x4190
movq 0x29362(%rip), %r14     # 0x33fb8
leaq 0x1d4fc(%rip), %rsi     # 0x28159
movq %r14, %rdi
callq 0x42d0
movq %rax, %r15
movq %rbx, %rdi
callq 0x44d0
movq %r15, %rdi
movq %rax, %rsi
callq 0x4610
leaq 0x1d4ed(%rip), %r15     # 0x2816f
movq %rax, %rdi
movq %r15, %rsi
callq 0x42d0
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %rbx, %rdi
callq 0x44d0
movq %r12, %rdi
movq %rax, %rsi
callq 0x4610
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1d49e(%rip), %rsi     # 0x28174
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
xorl %esi, %esi
callq 0x45d0
movq %rax, %rdi
movq %r15, %rsi
callq 0x42d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
xorl %esi, %esi
callq 0x45d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1f6ea(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1d3b8(%rip), %rbx     # 0x280fd
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42d0
leaq 0x1e9e4(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movl $0xd81, %esi            # imm = 0xD81
callq 0x45d0
movq %rax, %rdi
callq 0x4130
leaq 0x1e8a0(%rip), %rdi     # 0x2961b
leaq 0x1f698(%rip), %rcx     # 0x2a41a
movq %rbx, %rsi
movl $0xd81, %edx            # imm = 0xD81
callq 0x4190
leaq 0x1f6b7(%rip), %rdi     # 0x2a44d
leaq 0x1d360(%rip), %rsi     # 0x280fd
leaq 0x1f676(%rip), %rcx     # 0x2a41a
movl $0xdcc, %edx            # imm = 0xDCC
callq 0x4190
movq 0x29203(%rip), %rbx     # 0x33fb8
leaq 0x1d39d(%rip), %rsi     # 0x28159
movq %rbx, %rdi
callq 0x42d0
movq %rax, %rdi
movl $0x1000000, %esi        # imm = 0x1000000
callq 0x4400
leaq 0x1d397(%rip), %r14     # 0x2816f
movq %rax, %rdi
movq %r14, %rsi
callq 0x42d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
movl $0x1000000, %esi        # imm = 0x1000000
callq 0x4400
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1d353(%rip), %rsi     # 0x28174
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movl %ebp, %esi
callq 0x4400
movq %rax, %rdi
movq %r14, %rsi
callq 0x42d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
movl %ebp, %esi
callq 0x4400
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x2, %edx
movl %edx, 0x18(%rax,%rcx)
leaq 0x1f59f(%rip), %rsi     # 0x2a418
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
callq 0x4130
leaq 0x1d26d(%rip), %r14     # 0x280fd
movq %rbx, %rdi
movq %r14, %rsi
callq 0x42d0
leaq 0x1e899(%rip), %rsi     # 0x2973b
movq %rax, %rdi
callq 0x42d0
movq %rax, %rdi
movl $0xd87, %esi            # imm = 0xD87
callq 0x45d0
movq %rax, %rdi
callq 0x4130
leaq 0x1e755(%rip), %rdi     # 0x2961b
leaq 0x1f54d(%rip), %rcx     # 0x2a41a
movq %r14, %rsi
movl $0xd87, %edx            # imm = 0xD87
callq 0x4190
movq %rax, %r14
leaq 0x38(%rsp), %rdi
callq 0x46c8
testb %bpl, %bpl
jne 0xaef1
jmp 0xaf13
movq %rax, %r14
movq %rbx, %rdi
callq 0x41e0
jmp 0xaf13
jmp 0xaf01
jmp 0xaf01
jmp 0xaf10
movq %rax, %r14
leaq 0x18(%rsp), %rdi
callq 0x46c8
jmp 0xaf13
movq %rax, %r14
movq %r14, %rdi
callq 0x45e0