// File: /workspace/github_cpp_makefile_star2_O1/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 0xf8da(%rip), %rdi      # 0x24278
callq 0x3380
leaq 0x9061(%rip), %rdi      # 0x1da0b
callq 0x3380
movq 0xa89e2(%rip), %rsi     # 0xbd398
leaq 0x8a55(%rip), %rdi      # 0x1d412
xorl %eax, %eax
callq 0x3030
leaq 0x9047(%rip), %rdi      # 0x1da12
callq 0x3380
leaq 0x9044(%rip), %rdi      # 0x1da1b
callq 0x3380
leaq 0x906d(%rip), %rdi      # 0x1da50
callq 0x3380
leaq 0x9084(%rip), %rdi      # 0x1da73
callq 0x3380
leaq 0x909b(%rip), %rdi      # 0x1da96
callq 0x3380
leaq 0x90c5(%rip), %rdi      # 0x1dacc
callq 0x3380
leaq 0x90f9(%rip), %rdi      # 0x1db0c
callq 0x3380
leaq 0x912b(%rip), %rdi      # 0x1db4a
callq 0x3380
leaq 0x914f(%rip), %rdi      # 0x1db7a
callq 0x3380
leaq 0x9175(%rip), %rdi      # 0x1dbac
callq 0x3380
leaq 0x91a2(%rip), %rdi      # 0x1dbe5
callq 0x3380
leaq 0x91d7(%rip), %rdi      # 0x1dc26
callq 0x3380
leaq 0x91ff(%rip), %rdi      # 0x1dc5a
callq 0x3380
leaq 0x9239(%rip), %rdi      # 0x1dca0
callq 0x3380
leaq 0x9279(%rip), %rdi      # 0x1dcec
callq 0x3380
leaq 0x92b1(%rip), %rdi      # 0x1dd30
callq 0x3380
leaq 0x92cb(%rip), %rdi      # 0x1dd56
callq 0x3380
leaq 0x92fc(%rip), %rdi      # 0x1dd93
callq 0x3380
leaq 0x933c(%rip), %rdi      # 0x1dddf
callq 0x3380
leaq 0x936e(%rip), %rdi      # 0x1de1d
callq 0x3380
leaq 0x93ab(%rip), %rdi      # 0x1de66
callq 0x3380
leaq 0x93e8(%rip), %rdi      # 0x1deaf
callq 0x3380
leaq 0x9424(%rip), %rdi      # 0x1def7
callq 0x3380
leaq 0x9458(%rip), %rdi      # 0x1df37
callq 0x3380
leaq 0x948a(%rip), %rdi      # 0x1df75
callq 0x3380
leaq 0x94c8(%rip), %rdi      # 0x1dfbf
callq 0x3380
leaq 0x94fe(%rip), %rdi      # 0x1e001
callq 0x3380
leaq 0x9531(%rip), %rdi      # 0x1e040
callq 0x3380
leaq 0x955e(%rip), %rdi      # 0x1e079
callq 0x3380
leaq 0x9581(%rip), %rdi      # 0x1e0a8
callq 0x3380
leaq 0x95b3(%rip), %rdi      # 0x1e0e6
callq 0x3380
leaq 0x95d8(%rip), %rdi      # 0x1e117
callq 0x3380
leaq 0x9608(%rip), %rdi      # 0x1e153
callq 0x3380
leaq 0x961c(%rip), %rdi      # 0x1e173
callq 0x3380
leaq 0x9644(%rip), %rdi      # 0x1e1a7
callq 0x3380
leaq 0x967e(%rip), %rdi      # 0x1e1ed
callq 0x3380
leaq 0x96ad(%rip), %rdi      # 0x1e228
callq 0x3380
leaq 0x96de(%rip), %rdi      # 0x1e265
callq 0x3380
leaq 0x970e(%rip), %rdi      # 0x1e2a1
callq 0x3380
xorl %edi, %edi
callq 0x32f0