// File: /workspace/github_cpp_makefile_star2_O3/besm6[P]pascal-re/pascompl.cc
// Function: usage()
void usage ()
{
    printf("%s\n", boilerplate);
    printf("Usage:\n");
    printf("    %s [option...] infile [outfile]\n", progname);
    printf("Options:\n");
    printf("    -a0 -a1 -a2         Output encoding for strings:\n");
    printf("                        -a0: UTF-8\n");
    printf("                        -a1: KOI-8\n");
    printf("                        -a2: KOI-7 (aka ISO, default)\n");
    printf("    -b0 -b1 ... -b4     Size of file buffer, in 256-word chunks\n");
    printf("    -c- -c+             Disable/enable checking of data types\n");
    printf("    -d0 -d1 ... -d15    Bitmask of debug flags:\n");
    printf("                        -d1: Trace function calls\n");
    printf("                        -d2: Enable debug() as writeln()\n");
    printf("                        -d4: Enable code enclosed in {=Z-}/{=Z+}\n");
    printf("                        -d8: Invoke Pascal Debugger\n");
    printf("    -e- -e+             Make procedures external (-e+) or local (-e-)\n");
    printf("    -f- -f+             Compile procedures as Pascal (-f-) or Fortran (-f+)\n");
    printf("    -k0 -k1 ... -k23    Heap size in 1024-word chunks (default -k4)\n");
    printf("    -l0 -l1 -l2 -l3     Listing mode:\n");
    printf("                        -l0: No listing, only error messages\n");
    printf("                        -l1: Print listing with relative addresses per line\n");
    printf("                        -l2: Also print generated object code\n");
    printf("                        -l3: Also print offsets for variables and fields\n");
    printf("    -m+ -m-             Optimize integer multiplication (positives only)\n");
    printf("    -p+ -p-             Enable/disable debug information and crash dump\n");
    printf("    -r+ -r-             Compare reals with predefined tolerance\n");
    printf("    -s0                 Use stars for commons (like *foobar*)\n");
    printf("    -s1                 Append one star for external names (like foobar*)\n");
    printf("    -s2                 No stars for external names (like foobar)\n");
    printf("    -s3                 Re-start line numbering from this line\n");
    printf("    -s4                 Print columns 73-80 as line tags\n");
    printf("    -s5                 Disable external files\n");
    printf("    -s6                 Pack record fields from right to left\n");
    printf("    -s7                 Disable pointer checking\n");
    printf("    -s8                 Disable checking for stack overflow\n");
    printf("    -s9                 Unknown\n");
    printf("    -t+ -t-             Enable/disable range checks\n");
    printf("    -u- -u+             Set length of source lines: 120 or 72 columns\n");
    printf("    -y- -y+             Disable/enable non-standard syntax\n");
    printf("    -P                  Write 'dubna'-compatible object file\n");
    printf("    -v                  Output version information and exit\n");
    printf("    -h                  Display this help and exit\n");
    exit(0);
}

// Assembly:
pushq %rax
movq 0xf529(%rip), %rdi      # 0x24268
callq 0x3370
leaq 0x8d7d(%rip), %rdi      # 0x1dac8
callq 0x3370
movq 0xa8631(%rip), %rsi     # 0xbd388
leaq 0x8774(%rip), %rdi      # 0x1d4d2
xorl %eax, %eax
callq 0x3030
leaq 0x8d63(%rip), %rdi      # 0x1dacf
callq 0x3370
leaq 0x8d60(%rip), %rdi      # 0x1dad8
callq 0x3370
leaq 0x8d89(%rip), %rdi      # 0x1db0d
callq 0x3370
leaq 0x8da0(%rip), %rdi      # 0x1db30
callq 0x3370
leaq 0x8db7(%rip), %rdi      # 0x1db53
callq 0x3370
leaq 0x8de1(%rip), %rdi      # 0x1db89
callq 0x3370
leaq 0x8e15(%rip), %rdi      # 0x1dbc9
callq 0x3370
leaq 0x8e47(%rip), %rdi      # 0x1dc07
callq 0x3370
leaq 0x8e6b(%rip), %rdi      # 0x1dc37
callq 0x3370
leaq 0x8e91(%rip), %rdi      # 0x1dc69
callq 0x3370
leaq 0x8ebe(%rip), %rdi      # 0x1dca2
callq 0x3370
leaq 0x8ef3(%rip), %rdi      # 0x1dce3
callq 0x3370
leaq 0x8f1b(%rip), %rdi      # 0x1dd17
callq 0x3370
leaq 0x8f55(%rip), %rdi      # 0x1dd5d
callq 0x3370
leaq 0x8f95(%rip), %rdi      # 0x1dda9
callq 0x3370
leaq 0x8fcd(%rip), %rdi      # 0x1dded
callq 0x3370
leaq 0x8fe7(%rip), %rdi      # 0x1de13
callq 0x3370
leaq 0x9018(%rip), %rdi      # 0x1de50
callq 0x3370
leaq 0x9058(%rip), %rdi      # 0x1de9c
callq 0x3370
leaq 0x908a(%rip), %rdi      # 0x1deda
callq 0x3370
leaq 0x90c7(%rip), %rdi      # 0x1df23
callq 0x3370
leaq 0x9104(%rip), %rdi      # 0x1df6c
callq 0x3370
leaq 0x9140(%rip), %rdi      # 0x1dfb4
callq 0x3370
leaq 0x9174(%rip), %rdi      # 0x1dff4
callq 0x3370
leaq 0x91a6(%rip), %rdi      # 0x1e032
callq 0x3370
leaq 0x91e4(%rip), %rdi      # 0x1e07c
callq 0x3370
leaq 0x921a(%rip), %rdi      # 0x1e0be
callq 0x3370
leaq 0x924d(%rip), %rdi      # 0x1e0fd
callq 0x3370
leaq 0x927a(%rip), %rdi      # 0x1e136
callq 0x3370
leaq 0x929d(%rip), %rdi      # 0x1e165
callq 0x3370
leaq 0x92cf(%rip), %rdi      # 0x1e1a3
callq 0x3370
leaq 0x92f4(%rip), %rdi      # 0x1e1d4
callq 0x3370
leaq 0x9324(%rip), %rdi      # 0x1e210
callq 0x3370
leaq 0x9338(%rip), %rdi      # 0x1e230
callq 0x3370
leaq 0x9360(%rip), %rdi      # 0x1e264
callq 0x3370
leaq 0x939a(%rip), %rdi      # 0x1e2aa
callq 0x3370
leaq 0x93c9(%rip), %rdi      # 0x1e2e5
callq 0x3370
leaq 0x93fa(%rip), %rdi      # 0x1e322
callq 0x3370
leaq 0x942a(%rip), %rdi      # 0x1e35e
callq 0x3370
xorl %edi, %edi
callq 0x32f0