// File: /workspace/github_cpp_makefile_star2_O1/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, 0x71338(%rip)     # 0xb0ac0
jne 0x3f7b3
movq %rdi, %rbx
callq 0xa070
movl $0x0, (%rax)
movq (%rbx), %rcx
testq %rcx, %rcx
jle 0x3f7c5
movl $0x0, (%rax)
cmpq $0x7fffffff, %rcx       # imm = 0x7FFFFFFF
jge 0x3f864
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xa6b0
testl %eax, %eax
jne 0x3f903
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4d151(%rip), %rsi     # 0x8c936
leaq 0x4d15d(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fdd8
leaq 0xa8(%rsp), %rdi
movl $0x650, %esi            # imm = 0x650
callq 0x2d60a
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d562
leaq 0x4b3b6(%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 0x3f90d
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x3f91a
callq 0xa6b0
testl %eax, %eax
jne 0x3f903
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4d0b2(%rip), %rsi     # 0x8c936
leaq 0x4d0be(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fdd8
leaq 0xa8(%rsp), %rdi
movl $0x651, %esi            # imm = 0x651
callq 0x2d60a
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d562
leaq 0x4b317(%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 0x3f98e
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x3f99b
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 0x4d7ce(%rip), %rsi     # 0x8d111
leaq 0x4d7e7(%rip), %rdx     # 0x8d131
leaq 0x68(%rsp), %rdi
callq 0x2fdd8
leaq 0x4cfd8(%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 0x3fa08
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x3fa15
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 0x4d74d(%rip), %rsi     # 0x8d111
leaq 0x4d766(%rip), %rdx     # 0x8d131
leaq 0x68(%rsp), %rdi
callq 0x2fdd8
leaq 0x4cf57(%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 0x3fa78
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x3fa85
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 0x2d562
leaq 0x4d6e8(%rip), %rsi     # 0x8d132
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 0x3fae8
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x3faf5
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 0x2d562
leaq 0x4d681(%rip), %rsi     # 0x8d13b
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 0x3fb16
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x3fb23
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 0x3523b
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 0x3523b
jmp 0x3fb48
jmp 0x3fb64
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x3fb67
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fb67
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fb8f
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fb8f
jmp 0x3fb8c
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x3fbad
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fbad
jmp 0x3fbaa
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x3fbcb
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fbcb
jmp 0x3fbc8
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3fbe9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fbe9
jmp 0x3fbe6
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fc11
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fc11
jmp 0x3fc0e
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fc39
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fc39
jmp 0x3fc36
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r14, %rdi
je 0x3fc5d
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x3fc5d
jmp 0x3fc5a
movq %rax, %rbx
movq %rbx, %rdi
callq 0xaa10