// File: /workspace/github_cpp_makefile_star2_O3/ncbi[P]amr/common.cpp
// Function: Common_sp::Application::Key::qc() const
void Application::Key::qc () const
{
  if (! qc_on)
  	return;
  Arg::qc ();
  
  QC_IMPLY (app. gnu, name. size () > 1);
  QC_IMPLY (acronym, app. gnu);
  QC_ASSERT (isUpper (var));
  QC_ASSERT (! var. empty () == (app. gnu && ! flag));
  QC_IMPLY (! requiredGroup. empty (), defaultValue. empty ());
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
cmpb $0x1, 0x5ce28(%rip)     # 0xb0ac0
jne 0x53d59
movq %rdi, %rbx
callq 0x53794
movq 0x68(%rbx), %rax
movb 0xa9(%rax), %r14b
cmpb $0x1, %r14b
jne 0x53ccd
callq 0xa070
movl $0x0, (%rax)
cmpq $0x1, 0x10(%rbx)
jbe 0x53fe7
movb 0x98(%rbx), %bpl
callq 0xa070
testb %bpl, %bpl
je 0x53ced
movl $0x0, (%rax)
testb %r14b, %r14b
je 0x53f48
movl $0x0, (%rax)
movq 0xa8(%rbx), %r15
testq %r15, %r15
je 0x53d22
movq 0xa0(%rbx), %r12
xorl %r13d, %r13d
movsbl (%r12,%r13), %ebp
movl %ebp, %edi
callq 0xaa60
cmpb %al, %bpl
jne 0x53d6b
incq %r13
cmpq %r13, %r15
jne 0x53d09
xorl %eax, %eax
testq %r15, %r15
setne %al
movzbl 0x70(%rbx), %ecx
xorl $0x1, %ecx
xorl %edx, %edx
testb %r14b, %r14b
cmovnel %ecx, %edx
cmpl %eax, %edx
jne 0x53e0a
cmpq $0x0, 0x80(%rbx)
je 0x53d59
cmpq $0x0, 0xc8(%rbx)
jne 0x53ea9
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xa6b0
testl %eax, %eax
jne 0x54086
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x38bab(%rip), %rsi     # 0x8c936
leaq 0x38bb7(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0xe43, %esi            # imm = 0xE43
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x36e10(%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 0x54090
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x5409d
callq 0xa6b0
testl %eax, %eax
jne 0x54086
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x38b0c(%rip), %rsi     # 0x8c936
leaq 0x38b18(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0xe44, %esi            # imm = 0xE44
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x36d71(%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 0x541a8
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x541b5
callq 0xa6b0
testl %eax, %eax
jne 0x54086
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x38a6d(%rip), %rsi     # 0x8c936
leaq 0x38a79(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0xe45, %esi            # imm = 0xE45
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x36cd2(%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 0x54229
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x54236
callq 0xa6b0
testl %eax, %eax
jne 0x54086
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x389ce(%rip), %rsi     # 0x8c936
leaq 0x389da(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0xe42, %esi            # imm = 0xE42
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x36c33(%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 0x542aa
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x542b7
callq 0xa6b0
testl %eax, %eax
jne 0x54086
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3892f(%rip), %rsi     # 0x8c936
leaq 0x3893b(%rip), %rdx     # 0x8c949
leaq 0x88(%rsp), %rdi
callq 0x2fa1a
leaq 0xa8(%rsp), %rdi
movl $0xe41, %esi            # imm = 0xE41
callq 0x2d1fa
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2d152
leaq 0x36b94(%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 0x5432b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x54338
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 0x3a0ec(%rip), %rsi     # 0x8e1b2
leaq 0x3a119(%rip), %rdx     # 0x8e1e6
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x38855(%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 0x5410a
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x54117
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 0x3a0b6(%rip), %rsi     # 0x8e202
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 0x5417a
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54187
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, 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 0x39fd4(%rip), %rsi     # 0x8e1b2
leaq 0x3a001(%rip), %rdx     # 0x8e1e6
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x3873d(%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 0x543ac
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x543b9
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 0x39f53(%rip), %rsi     # 0x8e1b2
leaq 0x39f80(%rip), %rdx     # 0x8e1e6
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x386bc(%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 0x54423
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x54430
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 0x39ed2(%rip), %rsi     # 0x8e1b2
leaq 0x39eff(%rip), %rdx     # 0x8e1e6
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x3863b(%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 0x5449a
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x544a7
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 0x39e51(%rip), %rsi     # 0x8e1b2
leaq 0x39e7e(%rip), %rdx     # 0x8e1e6
leaq 0x68(%rsp), %rdi
callq 0x2fa1a
leaq 0x385ba(%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 0x54511
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x5451e
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 0x39e22(%rip), %rsi     # 0x8e210
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 0x54588
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54595
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 0x39dd3(%rip), %rsi     # 0x8e238
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 0x545b6
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x545c3
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 0x39d1d(%rip), %rsi     # 0x8e1f9
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 0x545e4
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x545f1
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 0x39c94(%rip), %rsi     # 0x8e1e7
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 0x54612
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x5461f
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
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 0x546a5
jmp 0x546c1
jmp 0x546a5
jmp 0x546c1
jmp 0x546a5
jmp 0x546a5
jmp 0x546c1
jmp 0x546c1
jmp 0x546fb
jmp 0x546fb
jmp 0x546fb
jmp 0x546fb
jmp 0x5472b
jmp 0x5472b
jmp 0x5472b
jmp 0x5472b
jmp 0x54756
jmp 0x54756
jmp 0x54756
jmp 0x54756
jmp 0x54772
jmp 0x54772
jmp 0x54772
jmp 0x54772
jmp 0x54798
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x546c4
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x546c4
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x546fe
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x546fe
jmp 0x54798
jmp 0x54798
jmp 0x54798
jmp 0x547be
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x5472e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x5472e
jmp 0x547be
jmp 0x547be
jmp 0x547be
jmp 0x547e0
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x54759
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54759
jmp 0x547e0
jmp 0x547e0
jmp 0x547e0
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x54775
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54775
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5479b
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x5479b
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x547c1
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x547c1
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r14, %rdi
je 0x547e3
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x547e3
movq %rax, %rbx
movq %rbx, %rdi
callq 0xaa10
nop