// File: /workspace/github_cpp_makefile_star2_O2/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 0x115f2(%rip), %rdi     # 0x23268
callq 0x3360
leaq 0x8db9(%rip), %rdi      # 0x1aa3b
callq 0x3360
movq 0xaa6fa(%rip), %rsi     # 0xbc388
leaq 0x87ad(%rip), %rdi      # 0x1a442
xorl %eax, %eax
callq 0x3030
leaq 0x8d9f(%rip), %rdi      # 0x1aa42
callq 0x3360
leaq 0x8d9c(%rip), %rdi      # 0x1aa4b
callq 0x3360
leaq 0x8dc5(%rip), %rdi      # 0x1aa80
callq 0x3360
leaq 0x8ddc(%rip), %rdi      # 0x1aaa3
callq 0x3360
leaq 0x8df3(%rip), %rdi      # 0x1aac6
callq 0x3360
leaq 0x8e1d(%rip), %rdi      # 0x1aafc
callq 0x3360
leaq 0x8e51(%rip), %rdi      # 0x1ab3c
callq 0x3360
leaq 0x8e83(%rip), %rdi      # 0x1ab7a
callq 0x3360
leaq 0x8ea7(%rip), %rdi      # 0x1abaa
callq 0x3360
leaq 0x8ecd(%rip), %rdi      # 0x1abdc
callq 0x3360
leaq 0x8efa(%rip), %rdi      # 0x1ac15
callq 0x3360
leaq 0x8f2f(%rip), %rdi      # 0x1ac56
callq 0x3360
leaq 0x8f57(%rip), %rdi      # 0x1ac8a
callq 0x3360
leaq 0x8f91(%rip), %rdi      # 0x1acd0
callq 0x3360
leaq 0x8fd1(%rip), %rdi      # 0x1ad1c
callq 0x3360
leaq 0x9009(%rip), %rdi      # 0x1ad60
callq 0x3360
leaq 0x9023(%rip), %rdi      # 0x1ad86
callq 0x3360
leaq 0x9054(%rip), %rdi      # 0x1adc3
callq 0x3360
leaq 0x9094(%rip), %rdi      # 0x1ae0f
callq 0x3360
leaq 0x90c6(%rip), %rdi      # 0x1ae4d
callq 0x3360
leaq 0x9103(%rip), %rdi      # 0x1ae96
callq 0x3360
leaq 0x9140(%rip), %rdi      # 0x1aedf
callq 0x3360
leaq 0x917c(%rip), %rdi      # 0x1af27
callq 0x3360
leaq 0x91b0(%rip), %rdi      # 0x1af67
callq 0x3360
leaq 0x91e2(%rip), %rdi      # 0x1afa5
callq 0x3360
leaq 0x9220(%rip), %rdi      # 0x1afef
callq 0x3360
leaq 0x9256(%rip), %rdi      # 0x1b031
callq 0x3360
leaq 0x9289(%rip), %rdi      # 0x1b070
callq 0x3360
leaq 0x92b6(%rip), %rdi      # 0x1b0a9
callq 0x3360
leaq 0x92d9(%rip), %rdi      # 0x1b0d8
callq 0x3360
leaq 0x930b(%rip), %rdi      # 0x1b116
callq 0x3360
leaq 0x9330(%rip), %rdi      # 0x1b147
callq 0x3360
leaq 0x9360(%rip), %rdi      # 0x1b183
callq 0x3360
leaq 0x9374(%rip), %rdi      # 0x1b1a3
callq 0x3360
leaq 0x939c(%rip), %rdi      # 0x1b1d7
callq 0x3360
leaq 0x93d6(%rip), %rdi      # 0x1b21d
callq 0x3360
leaq 0x9405(%rip), %rdi      # 0x1b258
callq 0x3360
leaq 0x9436(%rip), %rdi      # 0x1b295
callq 0x3360
leaq 0x9466(%rip), %rdi      # 0x1b2d1
callq 0x3360
xorl %edi, %edi
callq 0x32e0