// File: 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:
subq $0x5c8, %rsp            # imm = 0x5C8
movq %rdi, 0x5c0(%rsp)
movq 0x5c0(%rsp), %rax
movq %rax, 0x58(%rsp)
testb $0x1, 0xa4e5d(%rip)     # 0x106c80
jne 0x61e2a
jmp 0x62bfd
movq 0x58(%rsp), %rdi
callq 0x61890
movq 0x58(%rsp), %rax
movq 0x68(%rax), %rax
testb $0x1, 0xa9(%rax)
je 0x620f6
callq 0xc090
movq 0x58(%rsp), %rdi
movl $0x0, (%rax)
addq $0x8, %rdi
callq 0xc530
cmpq $0x1, %rax
ja 0x620f4
callq 0xc8c0
cmpl $0x0, %eax
jne 0x620ea
leaq 0x51f(%rsp), %rdi
movq %rdi, 0x50(%rsp)
callq 0xcd00
movq 0x50(%rsp), %rdx
leaq 0x6bb80(%rip), %rsi     # 0xcda19
leaq 0x520(%rsp), %rdi
callq 0x29fd0
jmp 0x61ea8
leaq 0x4e8(%rsp), %rdi
movl $0xe41, %esi            # imm = 0xE41
callq 0x2ded0
jmp 0x61ebc
leaq 0x540(%rsp), %rdi
leaq 0x520(%rsp), %rsi
leaq 0x4e8(%rsp), %rdx
callq 0x2dde0
jmp 0x61edb
leaq 0x69cbf(%rip), %rdx     # 0xcbba1
leaq 0x560(%rsp), %rdi
leaq 0x540(%rsp), %rsi
callq 0x2a2f0
jmp 0x61ef9
leaq 0x4a7(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0xcd00
movq 0x48(%rsp), %rdx
leaq 0x6d3cf(%rip), %rsi     # 0xcf2e6
leaq 0x4a8(%rsp), %rdi
callq 0x29fd0
jmp 0x61f26
leaq 0x6bae9(%rip), %rdx     # 0xcda16
leaq 0x4c8(%rsp), %rdi
leaq 0x4a8(%rsp), %rsi
callq 0x2a2f0
jmp 0x61f44
leaq 0x580(%rsp), %rdi
leaq 0x560(%rsp), %rsi
leaq 0x4c8(%rsp), %rdx
callq 0x2dde0
jmp 0x61f63
leaq 0x6d3b1(%rip), %rdx     # 0xcf31b
leaq 0x5a0(%rsp), %rdi
leaq 0x580(%rsp), %rsi
callq 0x2a2f0
jmp 0x61f81
leaq 0x5a0(%rsp), %rdi
callq 0x3e9b0
jmp 0x61f90
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x620d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x620cb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x620be
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x620b1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62097
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6208a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6207d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62070
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x5a0(%rsp), %rdi
callq 0xce98
leaq 0x580(%rsp), %rdi
callq 0xce98
leaq 0x4c8(%rsp), %rdi
callq 0xce98
leaq 0x4a8(%rsp), %rdi
callq 0xce98
leaq 0x4a7(%rsp), %rdi
callq 0xc7a0
leaq 0x560(%rsp), %rdi
callq 0xce98
leaq 0x540(%rsp), %rdi
callq 0xce98
leaq 0x4e8(%rsp), %rdi
callq 0xce98
leaq 0x520(%rsp), %rdi
callq 0xce98
leaq 0x51f(%rsp), %rdi
callq 0xc7a0
jmp 0x62c05
movl $0x1, %edi
callq 0xc8d0
jmp 0x620f6
movq 0x58(%rsp), %rax
cmpb $0x0, 0x98(%rax)
je 0x623b5
callq 0xc090
movq %rax, %rcx
movq 0x58(%rsp), %rax
movl $0x0, (%rcx)
movq 0x68(%rax), %rax
testb $0x1, 0xa9(%rax)
jne 0x623b3
callq 0xc8c0
cmpl $0x0, %eax
jne 0x623a9
leaq 0x3ff(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0xcd00
movq 0x40(%rsp), %rdx
leaq 0x6b8c1(%rip), %rsi     # 0xcda19
leaq 0x400(%rsp), %rdi
callq 0x29fd0
jmp 0x62167
leaq 0x3d8(%rsp), %rdi
movl $0xe42, %esi            # imm = 0xE42
callq 0x2ded0
jmp 0x6217b
leaq 0x420(%rsp), %rdi
leaq 0x400(%rsp), %rsi
leaq 0x3d8(%rsp), %rdx
callq 0x2dde0
jmp 0x6219a
leaq 0x69a00(%rip), %rdx     # 0xcbba1
leaq 0x440(%rsp), %rdi
leaq 0x420(%rsp), %rsi
callq 0x2a2f0
jmp 0x621b8
leaq 0x397(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0xcd00
movq 0x38(%rsp), %rdx
leaq 0x6d110(%rip), %rsi     # 0xcf2e6
leaq 0x398(%rsp), %rdi
callq 0x29fd0
jmp 0x621e5
leaq 0x6b82a(%rip), %rdx     # 0xcda16
leaq 0x3b8(%rsp), %rdi
leaq 0x398(%rsp), %rsi
callq 0x2a2f0
jmp 0x62203
leaq 0x460(%rsp), %rdi
leaq 0x440(%rsp), %rsi
leaq 0x3b8(%rsp), %rdx
callq 0x2dde0
jmp 0x62222
leaq 0x6d104(%rip), %rdx     # 0xcf32d
leaq 0x480(%rsp), %rdi
leaq 0x460(%rsp), %rsi
callq 0x2a2f0
jmp 0x62240
leaq 0x480(%rsp), %rdi
callq 0x3e9b0
jmp 0x6224f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62397
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6238a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6237d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62370
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62356
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62349
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6233c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6232f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x480(%rsp), %rdi
callq 0xce98
leaq 0x460(%rsp), %rdi
callq 0xce98
leaq 0x3b8(%rsp), %rdi
callq 0xce98
leaq 0x398(%rsp), %rdi
callq 0xce98
leaq 0x397(%rsp), %rdi
callq 0xc7a0
leaq 0x440(%rsp), %rdi
callq 0xce98
leaq 0x420(%rsp), %rdi
callq 0xce98
leaq 0x3d8(%rsp), %rdi
callq 0xce98
leaq 0x400(%rsp), %rdi
callq 0xce98
leaq 0x3ff(%rsp), %rdi
callq 0xc7a0
jmp 0x62c05
movl $0x1, %edi
callq 0xc8d0
jmp 0x623b5
callq 0xc090
movq 0x58(%rsp), %rdi
movl $0x0, (%rax)
addq $0xa0, %rdi
callq 0x41b40
testb $0x1, %al
jne 0x62660
callq 0xc8c0
cmpl $0x0, %eax
jne 0x62656
leaq 0x2ef(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0xcd00
movq 0x30(%rsp), %rdx
leaq 0x6b614(%rip), %rsi     # 0xcda19
leaq 0x2f0(%rsp), %rdi
callq 0x29fd0
jmp 0x62414
leaq 0x2c8(%rsp), %rdi
movl $0xe43, %esi            # imm = 0xE43
callq 0x2ded0
jmp 0x62428
leaq 0x310(%rsp), %rdi
leaq 0x2f0(%rsp), %rsi
leaq 0x2c8(%rsp), %rdx
callq 0x2dde0
jmp 0x62447
leaq 0x69753(%rip), %rdx     # 0xcbba1
leaq 0x330(%rsp), %rdi
leaq 0x310(%rsp), %rsi
callq 0x2a2f0
jmp 0x62465
leaq 0x287(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0xcd00
movq 0x28(%rsp), %rdx
leaq 0x6ce63(%rip), %rsi     # 0xcf2e6
leaq 0x288(%rsp), %rdi
callq 0x29fd0
jmp 0x62492
leaq 0x6b57d(%rip), %rdx     # 0xcda16
leaq 0x2a8(%rsp), %rdi
leaq 0x288(%rsp), %rsi
callq 0x2a2f0
jmp 0x624b0
leaq 0x350(%rsp), %rdi
leaq 0x330(%rsp), %rsi
leaq 0x2a8(%rsp), %rdx
callq 0x2dde0
jmp 0x624cf
leaq 0x6ce60(%rip), %rdx     # 0xcf336
leaq 0x370(%rsp), %rdi
leaq 0x350(%rsp), %rsi
callq 0x2a2f0
jmp 0x624ed
leaq 0x370(%rsp), %rdi
callq 0x3e9b0
jmp 0x624fc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62644
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62637
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6262a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6261d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62603
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x625f6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x625e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x625dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x370(%rsp), %rdi
callq 0xce98
leaq 0x350(%rsp), %rdi
callq 0xce98
leaq 0x2a8(%rsp), %rdi
callq 0xce98
leaq 0x288(%rsp), %rdi
callq 0xce98
leaq 0x287(%rsp), %rdi
callq 0xc7a0
leaq 0x330(%rsp), %rdi
callq 0xce98
leaq 0x310(%rsp), %rdi
callq 0xce98
leaq 0x2c8(%rsp), %rdi
callq 0xce98
leaq 0x2f0(%rsp), %rdi
callq 0xce98
leaq 0x2ef(%rsp), %rdi
callq 0xc7a0
jmp 0x62c05
movl $0x1, %edi
callq 0xc8d0
callq 0xc090
movq 0x58(%rsp), %rdi
movl $0x0, (%rax)
addq $0xa0, %rdi
callq 0xcc10
movb %al, %cl
movq 0x58(%rsp), %rax
xorb $-0x1, %cl
andb $0x1, %cl
movzbl %cl, %ecx
movl %ecx, 0x20(%rsp)
movq 0x68(%rax), %rcx
xorl %eax, %eax
testb $0x1, 0xa9(%rcx)
movb %al, 0x27(%rsp)
je 0x626b1
movq 0x58(%rsp), %rax
movb 0x70(%rax), %al
xorb $-0x1, %al
movb %al, 0x27(%rsp)
movl 0x20(%rsp), %eax
movb 0x27(%rsp), %cl
andb $0x1, %cl
movzbl %cl, %ecx
cmpl %ecx, %eax
je 0x6294e
callq 0xc8c0
cmpl $0x0, %eax
jne 0x62944
leaq 0x1df(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0xcd00
movq 0x18(%rsp), %rdx
leaq 0x6b326(%rip), %rsi     # 0xcda19
leaq 0x1e0(%rsp), %rdi
callq 0x29fd0
jmp 0x62702
leaq 0x1b8(%rsp), %rdi
movl $0xe44, %esi            # imm = 0xE44
callq 0x2ded0
jmp 0x62716
leaq 0x200(%rsp), %rdi
leaq 0x1e0(%rsp), %rsi
leaq 0x1b8(%rsp), %rdx
callq 0x2dde0
jmp 0x62735
leaq 0x69465(%rip), %rdx     # 0xcbba1
leaq 0x220(%rsp), %rdi
leaq 0x200(%rsp), %rsi
callq 0x2a2f0
jmp 0x62753
leaq 0x177(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0xcd00
movq 0x10(%rsp), %rdx
leaq 0x6cb75(%rip), %rsi     # 0xcf2e6
leaq 0x178(%rsp), %rdi
callq 0x29fd0
jmp 0x62780
leaq 0x6b28f(%rip), %rdx     # 0xcda16
leaq 0x198(%rsp), %rdi
leaq 0x178(%rsp), %rsi
callq 0x2a2f0
jmp 0x6279e
leaq 0x240(%rsp), %rdi
leaq 0x220(%rsp), %rsi
leaq 0x198(%rsp), %rdx
callq 0x2dde0
jmp 0x627bd
leaq 0x6cb80(%rip), %rdx     # 0xcf344
leaq 0x260(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0x2a2f0
jmp 0x627db
leaq 0x260(%rsp), %rdi
callq 0x3e9b0
jmp 0x627ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62932
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62925
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62918
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x6290b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x628f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x628e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x628d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x628ca
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x260(%rsp), %rdi
callq 0xce98
leaq 0x240(%rsp), %rdi
callq 0xce98
leaq 0x198(%rsp), %rdi
callq 0xce98
leaq 0x178(%rsp), %rdi
callq 0xce98
leaq 0x177(%rsp), %rdi
callq 0xc7a0
leaq 0x220(%rsp), %rdi
callq 0xce98
leaq 0x200(%rsp), %rdi
callq 0xce98
leaq 0x1b8(%rsp), %rdi
callq 0xce98
leaq 0x1e0(%rsp), %rdi
callq 0xce98
leaq 0x1df(%rsp), %rdi
callq 0xc7a0
jmp 0x62c05
movl $0x1, %edi
callq 0xc8d0
movq 0x58(%rsp), %rdi
addq $0x78, %rdi
callq 0xcc10
testb $0x1, %al
jne 0x62bfd
callq 0xc090
movq 0x58(%rsp), %rdi
movl $0x0, (%rax)
addq $0xc0, %rdi
callq 0xcc10
testb $0x1, %al
jne 0x62bfb
callq 0xc8c0
cmpl $0x0, %eax
jne 0x62bf1
leaq 0xcf(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0xcd00
movq 0x8(%rsp), %rdx
leaq 0x6b065(%rip), %rsi     # 0xcda19
leaq 0xd0(%rsp), %rdi
callq 0x29fd0
jmp 0x629c3
leaq 0xa8(%rsp), %rdi
movl $0xe45, %esi            # imm = 0xE45
callq 0x2ded0
jmp 0x629d7
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2dde0
jmp 0x629f6
leaq 0x691a4(%rip), %rdx     # 0xcbba1
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x2a2f0
jmp 0x62a14
leaq 0x67(%rsp), %rdi
movq %rdi, (%rsp)
callq 0xcd00
movq (%rsp), %rdx
leaq 0x6c8b9(%rip), %rsi     # 0xcf2e6
leaq 0x68(%rsp), %rdi
callq 0x29fd0
jmp 0x62a39
leaq 0x6afd6(%rip), %rdx     # 0xcda16
leaq 0x88(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x2a2f0
jmp 0x62a54
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x2dde0
jmp 0x62a73
leaq 0x6c8f2(%rip), %rdx     # 0xcf36c
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x2a2f0
jmp 0x62a91
leaq 0x150(%rsp), %rdi
callq 0x3e9b0
jmp 0x62aa0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62be2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62bd5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62bc8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62bbb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62ba4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62b9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62b8d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0x62b80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x150(%rsp), %rdi
callq 0xce98
leaq 0x130(%rsp), %rdi
callq 0xce98
leaq 0x88(%rsp), %rdi
callq 0xce98
leaq 0x68(%rsp), %rdi
callq 0xce98
leaq 0x67(%rsp), %rdi
callq 0xc7a0
leaq 0x110(%rsp), %rdi
callq 0xce98
leaq 0xf0(%rsp), %rdi
callq 0xce98
leaq 0xa8(%rsp), %rdi
callq 0xce98
leaq 0xd0(%rsp), %rdi
callq 0xce98
leaq 0xcf(%rsp), %rdi
callq 0xc7a0
jmp 0x62c05
movl $0x1, %edi
callq 0xc8d0
jmp 0x62bfd
addq $0x5c8, %rsp            # imm = 0x5C8
retq
movq 0x510(%rsp), %rdi
callq 0xccf0
nopw %cs:(%rax,%rax)