// File: /workspace/github_cpp_makefile_star2_O1/SMT-COMP[P]scrambler/scrambler.cpp
// Function: usage(char const*)
void usage(const char *program)
{
    std::cout << "Syntax: " << program << " [OPTIONS] < INPUT_FILE.smt2\n"
              << "\n"
              << "    -term_annot [true|pattern|false]\n"
              << "        controls whether term annotations are printed "
                 "(default: true)\n"
              << "\n"
              << "    -seed N\n"
              << "        seed value (>= 0) for pseudo-random choices; if 0, "
                 "no scrambling is\n"
              << "        performed (default: time(0))\n"
              << "\n"
              << "    -core FILE\n"
              << "        print only those (named) assertions whose name is "
                 "contained in the\n"
              << "        specified FILE (default: print all assertions)\n"
              << "\n"
              << "    -incremental [true|false]\n"
              << "        produce output in a format suitable for the trace "
                 "executer used in\n"
              << "        the incremental track of SMT-COMP (default: false)\n"
              << "\n"
              << "    -gen-unsat-core [true|false]\n"
              << "        controls whether the output is in a format suitable "
                 "for the unsat-core\n"
              << "        track of SMT-COMP (default: false)\n"
              << "\n"
              << "    -gen-model-val [true|false]\n"
              << "        controls whether the output is in a format suitable "
                 "for the model\n"
              << "        validation track of SMT-COMP (default: false)\n"
              << "\n"
              << "    -gen-proof [true|false]\n"
              << "        controls whether the output is in a format suitable "
                 "for the proof\n"
              << "        track of SMT-COMP (default: false)\n"
              << "\n"
              << "    -support-non-smtcomp [true|false]\n"
              << "        controls whether to support SMTLIB commands that are "
                 "not supported\n"
              << "        by SMTCOMP (default: false)\n"
              << "\n"
              << "    -support-z3 [true|false]\n"
              << "        controls whether to support non-SMTLIB commands that "
                 "are supported\n"
              << "        by Z3 (default: false)\n"
              << "\n"
              << "    -count-asserts [true|false]\n"
              << "        controls whether the number of assertions found in the benchmark\n"
              << "        is printed to stderr (default: false)\n\n";
    std::cout.flush();
    exit(1);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %r14
movq 0xd6ce(%rip), %rbx      # 0x12fb8
leaq 0x6ad1(%rip), %rsi      # 0xc3c2
movq %rbx, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6ac0(%rip), %rsi      # 0xc3cb
movq %rax, %rdi
callq 0x3250
leaq 0x705b(%rip), %r14      # 0xc975
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6abd(%rip), %rsi      # 0xc3e9
movq %rax, %rdi
callq 0x3250
leaq 0x6ad4(%rip), %rsi      # 0xc40f
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6b01(%rip), %rsi      # 0xc456
movq %rax, %rdi
callq 0x3250
leaq 0x6aff(%rip), %rsi      # 0xc463
movq %rax, %rdi
callq 0x3250
leaq 0x6b3d(%rip), %rsi      # 0xc4b0
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6b49(%rip), %rsi      # 0xc4d6
movq %rax, %rdi
callq 0x3250
leaq 0x6b4a(%rip), %rsi      # 0xc4e6
movq %rax, %rdi
callq 0x3250
leaq 0x6b87(%rip), %rsi      # 0xc532
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6ba5(%rip), %rsi      # 0xc56a
movq %rax, %rdi
callq 0x3250
leaq 0x6bb5(%rip), %rsi      # 0xc589
movq %rax, %rdi
callq 0x3250
leaq 0x6bf2(%rip), %rsi      # 0xc5d5
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6c14(%rip), %rsi      # 0xc611
movq %rax, %rdi
callq 0x3250
leaq 0x6c27(%rip), %rsi      # 0xc633
movq %rax, %rdi
callq 0x3250
leaq 0x6c68(%rip), %r15      # 0xc683
movq %rax, %rdi
movq %r15, %rsi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6c77(%rip), %rsi      # 0xc6af
movq %rax, %rdi
callq 0x3250
leaq 0x6c89(%rip), %rsi      # 0xc6d0
movq %rax, %rdi
callq 0x3250
leaq 0x6cc5(%rip), %rsi      # 0xc71b
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6ce2(%rip), %rsi      # 0xc752
movq %rax, %rdi
callq 0x3250
leaq 0x6cf0(%rip), %rsi      # 0xc76f
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r15, %rsi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6d16(%rip), %rsi      # 0xc7ba
movq %rax, %rdi
callq 0x3250
leaq 0x6d2e(%rip), %rsi      # 0xc7e1
movq %rax, %rdi
callq 0x3250
leaq 0x6d6b(%rip), %rsi      # 0xc82d
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6d76(%rip), %rsi      # 0xc852
movq %rax, %rdi
callq 0x3250
leaq 0x6d85(%rip), %rsi      # 0xc870
movq %rax, %rdi
callq 0x3250
leaq 0x6dc2(%rip), %rsi      # 0xc8bc
movq %rax, %rdi
callq 0x3250
movq %rax, %rdi
movq %r14, %rsi
callq 0x3250
leaq 0x6dc8(%rip), %rsi      # 0xc8dc
movq %rax, %rdi
callq 0x3250
leaq 0x6dda(%rip), %rsi      # 0xc8fd
movq %rax, %rdi
callq 0x3250
leaq 0x6e15(%rip), %rsi      # 0xc947
movq %rax, %rdi
callq 0x3250
movq %rbx, %rdi
callq 0x31b0
movl $0x1, %edi
callq 0x32c0