// File: /workspace/github_cpp_makefile_star2_O3/ncbi[P]amr/common.cpp
// Function: Common_sp::Rand::qc() const
void Rand::qc () const
{
  if (! qc_on)
    return;
  QC_ASSERT (seed > 0);
  QC_ASSERT (seed < max_);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
cmpb $0x1, 0x71772(%rip)     # 0xb0ac0
jne 0x3f372
movq %rdi, %rbx
callq 0xa070
movl $0x0, (%rax)
movq (%rbx), %rax
testq %rax, %rax
jle 0x3f384
cmpq $0x7fffffff, %rax       # imm = 0x7FFFFFFF
jae 0x3f423
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xa6b0
testl %eax, %eax
jne 0x3f4c2
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4d592(%rip), %rsi     # 0x8c936
leaq 0x4d59e(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0x650, %esi            # imm = 0x650
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x4b7f7(%rip), %rsi     # 0x8abe5
leaq 0xc8(%rsp), %rdi
callq 0xaac0
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3f4cc
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x3f4d9
callq 0xa6b0
testl %eax, %eax
jne 0x3f4c2
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4d4f3(%rip), %rsi     # 0x8c936
leaq 0x4d4ff(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0x651, %esi            # imm = 0x651
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x4b758(%rip), %rsi     # 0x8abe5
leaq 0xc8(%rsp), %rdi
callq 0xaac0
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3f54d
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x3f55a
movl $0x1, %edi
callq 0xa6c0
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x4dbf9(%rip), %rsi     # 0x8d0fb
leaq 0x4dc12(%rip), %rdx     # 0x8d11b
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x4d419(%rip), %rsi     # 0x8c933
leaq 0x68(%rsp), %rdi
callq 0xaac0
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3f5c7
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x3f5d4
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x4db78(%rip), %rsi     # 0x8d0fb
leaq 0x4db91(%rip), %rdx     # 0x8d11b
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x4d398(%rip), %rsi     # 0x8c933
leaq 0x68(%rsp), %rdi
callq 0xaac0
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3f637
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x3f644
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rsi
leaq 0x28(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xe8(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x2d152
leaq 0x4db13(%rip), %rsi     # 0x8d11c
leaq 0xe8(%rsp), %rdi
callq 0xaac0
leaq 0x58(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3f6a7
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x3f6b4
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rsi
leaq 0x28(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xe8(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x2d152
leaq 0x4daac(%rip), %rsi     # 0x8d125
leaq 0xe8(%rsp), %rdi
callq 0xaac0
leaq 0x58(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x3f6d5
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x3f6e2
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
movq 0x8(%rax), %rdx
leaq 0x48(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x34fa2
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
movq 0x8(%rax), %rdx
leaq 0x48(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x34fa2
jmp 0x3f707
jmp 0x3f723
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x3f726
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f726
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3f74e
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f74e
jmp 0x3f74b
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x3f76c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f76c
jmp 0x3f769
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x3f78a
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f78a
jmp 0x3f787
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3f7a8
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f7a8
jmp 0x3f7a5
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3f7d0
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f7d0
jmp 0x3f7cd
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3f7f8
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f7f8
jmp 0x3f7f5
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r14, %rdi
je 0x3f81c
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3f81c
jmp 0x3f819
movq %rax, %rbx
movq %rbx, %rdi
callq 0xaa10