// File: BenLangmead[P]bowtie/./ebwt.h
// Function: Ebwt::inMemoryRepOk(EbwtParams const&) const
bool inMemoryRepOk(const EbwtParams& eh) const {
		// assert_leq(ValueSize<TAlphabet>::VALUE, 4);
		assert_geq(_zEbwtBpOff, 0);
		assert_lt(_zEbwtBpOff, 4);
		assert_lt(_zEbwtByteOff, eh._ebwtTotSz);
		assert_lt(_zOff, eh._bwtLen);
		assert(_rstarts != NULL);
		assert_geq(_nFrag, _nPat);
		return true;
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, 0x78(%rax)
jge 0x2b05a
movq 0x1f016(%rip), %rdi     # 0x49fc0
leaq 0x14254(%rip), %rsi     # 0x3f205
callq 0x5360
movq %rax, %rdi
movq -0x18(%rbp), %rax
movq 0x78(%rax), %rsi
callq 0x57b0
movq %rax, %rdi
leaq 0x1424c(%rip), %rsi     # 0x3f21c
callq 0x5360
movq %rax, %rdi
xorl %esi, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x165cf(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x1ef88(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x1efbc(%rip), %rdi     # 0x49fc0
leaq 0x140b2(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x15770(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0x48d, %esi            # imm = 0x48D
callq 0x5750
movq %rax, %rdi
movq 0x1ef4a(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x15628(%rip), %rdi     # 0x4066a
leaq 0x14074(%rip), %rsi     # 0x3f0bd
movl $0x48d, %edx            # imm = 0x48D
leaq 0x156ee(%rip), %rcx     # 0x40743
callq 0x51e0
movq -0x18(%rbp), %rax
cmpq $0x4, 0x78(%rax)
jl 0x2b123
movq 0x1ef50(%rip), %rdi     # 0x49fc0
leaq 0x141d0(%rip), %rsi     # 0x3f247
callq 0x5360
movq %rax, %rdi
movq -0x18(%rbp), %rax
movq 0x78(%rax), %rsi
callq 0x57b0
movq %rax, %rdi
leaq 0x141c7(%rip), %rsi     # 0x3f25d
callq 0x5360
movq %rax, %rdi
movl $0x4, %esi
callq 0x5750
movq %rax, %rdi
leaq 0x16506(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x1eebf(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x1eef3(%rip), %rdi     # 0x49fc0
leaq 0x13fe9(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x156a7(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0x48e, %esi            # imm = 0x48E
callq 0x5750
movq %rax, %rdi
movq 0x1ee81(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x1555f(%rip), %rdi     # 0x4066a
leaq 0x13fab(%rip), %rsi     # 0x3f0bd
movl $0x48e, %edx            # imm = 0x48E
leaq 0x15625(%rip), %rcx     # 0x40743
callq 0x51e0
movq -0x18(%rbp), %rax
movq 0x70(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0xb0(%rcx), %rax
jb 0x2b1fc
movq 0x1ee7d(%rip), %rdi     # 0x49fc0
leaq 0x140fd(%rip), %rsi     # 0x3f247
callq 0x5360
movq %rax, %rdi
movq -0x18(%rbp), %rax
movq 0x70(%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x140f4(%rip), %rsi     # 0x3f25d
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movq 0xb0(%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x1642d(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x1ede6(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x1ee1a(%rip), %rdi     # 0x49fc0
leaq 0x13f10(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x155ce(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0x48f, %esi            # imm = 0x48F
callq 0x5750
movq %rax, %rdi
movq 0x1eda8(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x15486(%rip), %rdi     # 0x4066a
leaq 0x13ed2(%rip), %rsi     # 0x3f0bd
movl $0x48f, %edx            # imm = 0x48F
leaq 0x1554c(%rip), %rcx     # 0x40743
callq 0x51e0
movq -0x18(%rbp), %rax
movq 0x68(%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jb 0x2b2cf
movq 0x1eda7(%rip), %rdi     # 0x49fc0
leaq 0x14027(%rip), %rsi     # 0x3f247
callq 0x5360
movq %rax, %rdi
movq -0x18(%rbp), %rax
movq 0x68(%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x1401e(%rip), %rsi     # 0x3f25d
callq 0x5360
movq %rax, %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x1635a(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x1ed13(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x1ed47(%rip), %rdi     # 0x49fc0
leaq 0x13e3d(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x154fb(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0x490, %esi            # imm = 0x490
callq 0x5750
movq %rax, %rdi
movq 0x1ecd5(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x153b3(%rip), %rdi     # 0x4066a
leaq 0x13dff(%rip), %rsi     # 0x3f0bd
movl $0x490, %edx            # imm = 0x490
leaq 0x15479(%rip), %rcx     # 0x40743
callq 0x51e0
movq -0x18(%rbp), %rax
cmpq $0x0, 0x98(%rax)
je 0x2b2df
jmp 0x2b2fe
leaq 0x14cdb(%rip), %rdi     # 0x3ffc1
leaq 0x13dd0(%rip), %rsi     # 0x3f0bd
movl $0x491, %edx            # imm = 0x491
leaq 0x1544a(%rip), %rcx     # 0x40743
callq 0x51e0
movq -0x18(%rbp), %rcx
movq 0x88(%rcx), %rax
cmpq 0x80(%rcx), %rax
jae 0x2b3d9
movq 0x1eca3(%rip), %rdi     # 0x49fc0
leaq 0x13ee1(%rip), %rsi     # 0x3f205
callq 0x5360
movq %rax, %rdi
movq -0x18(%rbp), %rax
movq 0x88(%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x13ed6(%rip), %rsi     # 0x3f21c
callq 0x5360
movq %rax, %rdi
movq -0x18(%rbp), %rax
movq 0x80(%rax), %rsi
callq 0x50c0
movq %rax, %rdi
leaq 0x16250(%rip), %rsi     # 0x415b8
callq 0x5360
movq %rax, %rdi
movq 0x1ec09(%rip), %rsi     # 0x49f80
callq 0x53c0
movq 0x1ec3d(%rip), %rdi     # 0x49fc0
leaq 0x13d33(%rip), %rsi     # 0x3f0bd
callq 0x5360
movq %rax, %rdi
leaq 0x153f1(%rip), %rsi     # 0x4078a
callq 0x5360
movq %rax, %rdi
movl $0x492, %esi            # imm = 0x492
callq 0x5750
movq %rax, %rdi
movq 0x1ebcb(%rip), %rsi     # 0x49f80
callq 0x53c0
leaq 0x152a9(%rip), %rdi     # 0x4066a
leaq 0x13cf5(%rip), %rsi     # 0x3f0bd
movl $0x492, %edx            # imm = 0x492
leaq 0x1536f(%rip), %rcx     # 0x40743
callq 0x51e0
movb $0x1, %al
andb $0x1, %al
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nopl (%rax)