// File: /workspace/github_cpp_makefile_star2_O1/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 $0x118, %rsp            # imm = 0x118
cmpb $0x1, 0x5c994(%rip)     # 0xb0ac0
jne 0x54234
movq %rdi, %rbx
callq 0x53c22
movq 0x68(%rbx), %rax
movb 0xa9(%rax), %bpl
cmpb $0x1, %bpl
jne 0x54161
callq 0xa070
movl $0x0, (%rax)
cmpq $0x1, 0x10(%rbx)
jbe 0x544c2
cmpb $0x0, 0x98(%rbx)
je 0x5417e
callq 0xa070
movl $0x0, (%rax)
testb %bpl, %bpl
je 0x54384
movb %bpl, 0xf(%rsp)
callq 0xa070
movq %rax, 0x110(%rsp)
movl $0x0, (%rax)
movq 0xa8(%rbx), %r12
testq %r12, %r12
sete %r13b
je 0x541e0
movq 0xa0(%rbx), %r15
movsbl (%r15), %ebp
movl %ebp, %edi
callq 0xaa60
cmpb %al, %bpl
jne 0x541e0
movl $0x1, %r14d
cmpq %r14, %r12
sete %r13b
je 0x541e0
movsbl (%r15,%r14), %ebp
movl %ebp, %edi
callq 0xaa60
incq %r14
cmpb %al, %bpl
je 0x541c3
testb %r13b, %r13b
je 0x54246
xorl %eax, %eax
testq %r12, %r12
sete %al
setne %cl
movq 0x110(%rsp), %rsi
movl $0x0, (%rsi)
xorl %edx, %edx
cmpb %cl, 0x70(%rbx)
setne %dl
cmpb $0x0, 0xf(%rsp)
cmovnel %edx, %eax
testb %al, %al
je 0x542e5
cmpq $0x0, 0x80(%rbx)
je 0x54234
movl $0x0, (%rsi)
cmpq $0x0, 0xc8(%rbx)
jne 0x54423
addq $0x118, %rsp            # imm = 0x118
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xa6b0
testl %eax, %eax
jne 0x54561
leaq 0xa0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x386d0(%rip), %rsi     # 0x8c936
leaq 0x386dc(%rip), %rdx     # 0x8c949
leaq 0x90(%rsp), %rdi
callq 0x2fdd8
leaq 0xb0(%rsp), %rdi
movl $0xe43, %esi            # imm = 0xE43
callq 0x2d60a
leaq 0xd0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x2d562
leaq 0x36935(%rip), %rsi     # 0x8abe5
leaq 0xd0(%rsp), %rdi
callq 0xaac0
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x5456b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x54578
callq 0xa6b0
testl %eax, %eax
jne 0x54561
leaq 0xa0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x38631(%rip), %rsi     # 0x8c936
leaq 0x3863d(%rip), %rdx     # 0x8c949
leaq 0x90(%rsp), %rdi
callq 0x2fdd8
leaq 0xb0(%rsp), %rdi
movl $0xe44, %esi            # imm = 0xE44
callq 0x2d60a
leaq 0xd0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x2d562
leaq 0x36896(%rip), %rsi     # 0x8abe5
leaq 0xd0(%rsp), %rdi
callq 0xaac0
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x545ef
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x545fc
callq 0xa6b0
testl %eax, %eax
jne 0x54561
leaq 0xa0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x38592(%rip), %rsi     # 0x8c936
leaq 0x3859e(%rip), %rdx     # 0x8c949
leaq 0x90(%rsp), %rdi
callq 0x2fdd8
leaq 0xb0(%rsp), %rdi
movl $0xe42, %esi            # imm = 0xE42
callq 0x2d60a
leaq 0xd0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x2d562
leaq 0x367f7(%rip), %rsi     # 0x8abe5
leaq 0xd0(%rsp), %rdi
callq 0xaac0
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54673
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x54680
callq 0xa6b0
testl %eax, %eax
jne 0x54561
leaq 0xa0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x384f3(%rip), %rsi     # 0x8c936
leaq 0x384ff(%rip), %rdx     # 0x8c949
leaq 0x90(%rsp), %rdi
callq 0x2fdd8
leaq 0xb0(%rsp), %rdi
movl $0xe45, %esi            # imm = 0xE45
callq 0x2d60a
leaq 0xd0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x2d562
leaq 0x36758(%rip), %rsi     # 0x8abe5
leaq 0xd0(%rsp), %rdi
callq 0xaac0
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x546f7
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x54704
callq 0xa6b0
testl %eax, %eax
jne 0x54561
leaq 0xa0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x38454(%rip), %rsi     # 0x8c936
leaq 0x38460(%rip), %rdx     # 0x8c949
leaq 0x90(%rsp), %rdi
callq 0x2fdd8
leaq 0xb0(%rsp), %rdi
movl $0xe41, %esi            # imm = 0xE41
callq 0x2d60a
leaq 0xd0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x2d562
leaq 0x366b9(%rip), %rsi     # 0x8abe5
leaq 0xd0(%rsp), %rdi
callq 0xaac0
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x5477b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x54788
movl $0x1, %edi
callq 0xa6c0
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x80(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x39c24(%rip), %rsi     # 0x8e1c8
leaq 0x39c51(%rip), %rdx     # 0x8e1fc
leaq 0x70(%rsp), %rdi
callq 0x2fdd8
leaq 0x38377(%rip), %rsi     # 0x8c933
leaq 0x70(%rsp), %rdi
callq 0xaac0
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x547ff
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x5480c
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x80(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x39ba0(%rip), %rsi     # 0x8e1c8
leaq 0x39bcd(%rip), %rdx     # 0x8e1fc
leaq 0x70(%rsp), %rdi
callq 0x2fdd8
leaq 0x382f3(%rip), %rsi     # 0x8c933
leaq 0x70(%rsp), %rdi
callq 0xaac0
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54876
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x54883
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x80(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x39b1c(%rip), %rsi     # 0x8e1c8
leaq 0x39b49(%rip), %rdx     # 0x8e1fc
leaq 0x70(%rsp), %rdi
callq 0x2fdd8
leaq 0x3826f(%rip), %rsi     # 0x8c933
leaq 0x70(%rsp), %rdi
callq 0xaac0
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x548ed
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x548fa
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x80(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x39a98(%rip), %rsi     # 0x8e1c8
leaq 0x39ac5(%rip), %rdx     # 0x8e1fc
leaq 0x70(%rsp), %rdi
callq 0x2fdd8
leaq 0x381eb(%rip), %rsi     # 0x8c933
leaq 0x70(%rsp), %rdi
callq 0xaac0
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54964
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x54971
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x80(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x39a14(%rip), %rsi     # 0x8e1c8
leaq 0x39a41(%rip), %rdx     # 0x8e1fc
leaq 0x70(%rsp), %rdi
callq 0x2fdd8
leaq 0x38167(%rip), %rsi     # 0x8c933
leaq 0x70(%rsp), %rdi
callq 0xaac0
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x549db
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x549e8
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
movq 0x8(%rax), %rsi
leaq 0x30(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xf0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x2d562
leaq 0x399d7(%rip), %rsi     # 0x8e218
leaq 0xf0(%rsp), %rdi
callq 0xaac0
leaq 0x60(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54a52
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54a5f
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
movq 0x8(%rax), %rsi
leaq 0x30(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xf0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x2d562
leaq 0x3996e(%rip), %rsi     # 0x8e226
leaq 0xf0(%rsp), %rdi
callq 0xaac0
leaq 0x60(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54a80
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54a8d
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
movq 0x8(%rax), %rsi
leaq 0x30(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xf0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x2d562
leaq 0x398e0(%rip), %rsi     # 0x8e20f
leaq 0xf0(%rsp), %rdi
callq 0xaac0
leaq 0x60(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54aae
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54abb
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
movq 0x8(%rax), %rsi
leaq 0x30(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xf0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x2d562
leaq 0x398a8(%rip), %rsi     # 0x8e24e
leaq 0xf0(%rsp), %rdi
callq 0xaac0
leaq 0x60(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54adc
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54ae9
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
movq 0x8(%rax), %rsi
leaq 0x30(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xf0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x2d562
leaq 0x397e0(%rip), %rsi     # 0x8e1fd
leaq 0xf0(%rsp), %rdi
callq 0xaac0
leaq 0x60(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x54b0a
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x54b17
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rdx
leaq 0x50(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rdx
leaq 0x50(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rdx
leaq 0x50(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rdx
leaq 0x50(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rdx
leaq 0x50(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x3523b
jmp 0x54b48
jmp 0x54b64
jmp 0x54b48
jmp 0x54b64
jmp 0x54b48
jmp 0x54b64
jmp 0x54b48
jmp 0x54b64
movq %rax, %rbx
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0x54b67
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54b67
movq %rax, %rbx
leaq 0x100(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x54b95
movq 0x100(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54b95
jmp 0x54b92
jmp 0x54b92
jmp 0x54b92
jmp 0x54b92
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x54bb9
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54bb9
jmp 0x54bb6
jmp 0x54bb6
jmp 0x54bb6
jmp 0x54bb6
movq %rax, %rbx
movq 0x70(%rsp), %rdi
cmpq %r12, %rdi
je 0x54be0
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54be0
jmp 0x54bdd
jmp 0x54bdd
jmp 0x54bdd
jmp 0x54bdd
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x54c04
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54c04
jmp 0x54c01
jmp 0x54c01
jmp 0x54c01
jmp 0x54c01
movq %rax, %rbx
leaq 0xe0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x54c32
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54c32
jmp 0x54c2f
jmp 0x54c2f
jmp 0x54c2f
jmp 0x54c2f
movq %rax, %rbx
leaq 0xc0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x54c60
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54c60
jmp 0x54c5d
jmp 0x54c5d
jmp 0x54c5d
jmp 0x54c5d
movq %rax, %rbx
movq 0x90(%rsp), %rdi
cmpq %r14, %rdi
je 0x54c8a
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0xa5a0
jmp 0x54c8a
jmp 0x54c87
jmp 0x54c87
jmp 0x54c87
jmp 0x54c87
movq %rax, %rbx
movq %rbx, %rdi
callq 0xaa10