// File: /workspace/github_cpp_makefile_star2_O2/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 0xdf8c(%rip), %rbx      # 0x12fb8
leaq 0x638f(%rip), %rsi      # 0xb3c2
movq %rbx, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x637e(%rip), %rsi      # 0xb3cb
movq %rax, %rdi
callq 0x3210
leaq 0x6919(%rip), %r14      # 0xb975
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x637b(%rip), %rsi      # 0xb3e9
movq %rax, %rdi
callq 0x3210
leaq 0x6392(%rip), %rsi      # 0xb40f
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x63bf(%rip), %rsi      # 0xb456
movq %rax, %rdi
callq 0x3210
leaq 0x63bd(%rip), %rsi      # 0xb463
movq %rax, %rdi
callq 0x3210
leaq 0x63fb(%rip), %rsi      # 0xb4b0
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x6407(%rip), %rsi      # 0xb4d6
movq %rax, %rdi
callq 0x3210
leaq 0x6408(%rip), %rsi      # 0xb4e6
movq %rax, %rdi
callq 0x3210
leaq 0x6445(%rip), %rsi      # 0xb532
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x6463(%rip), %rsi      # 0xb56a
movq %rax, %rdi
callq 0x3210
leaq 0x6473(%rip), %rsi      # 0xb589
movq %rax, %rdi
callq 0x3210
leaq 0x64b0(%rip), %rsi      # 0xb5d5
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x64d2(%rip), %rsi      # 0xb611
movq %rax, %rdi
callq 0x3210
leaq 0x64e5(%rip), %rsi      # 0xb633
movq %rax, %rdi
callq 0x3210
leaq 0x6526(%rip), %r15      # 0xb683
movq %rax, %rdi
movq %r15, %rsi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x6535(%rip), %rsi      # 0xb6af
movq %rax, %rdi
callq 0x3210
leaq 0x6547(%rip), %rsi      # 0xb6d0
movq %rax, %rdi
callq 0x3210
leaq 0x6583(%rip), %rsi      # 0xb71b
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x65a0(%rip), %rsi      # 0xb752
movq %rax, %rdi
callq 0x3210
leaq 0x65ae(%rip), %rsi      # 0xb76f
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r15, %rsi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x65d4(%rip), %rsi      # 0xb7ba
movq %rax, %rdi
callq 0x3210
leaq 0x65ec(%rip), %rsi      # 0xb7e1
movq %rax, %rdi
callq 0x3210
leaq 0x6629(%rip), %rsi      # 0xb82d
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x6634(%rip), %rsi      # 0xb852
movq %rax, %rdi
callq 0x3210
leaq 0x6643(%rip), %rsi      # 0xb870
movq %rax, %rdi
callq 0x3210
leaq 0x6680(%rip), %rsi      # 0xb8bc
movq %rax, %rdi
callq 0x3210
movq %rax, %rdi
movq %r14, %rsi
callq 0x3210
leaq 0x6686(%rip), %rsi      # 0xb8dc
movq %rax, %rdi
callq 0x3210
leaq 0x6698(%rip), %rsi      # 0xb8fd
movq %rax, %rdi
callq 0x3210
leaq 0x66d3(%rip), %rsi      # 0xb947
movq %rax, %rdi
callq 0x3210
movq %rbx, %rdi
callq 0x3180
pushq $0x1
popq %rdi
callq 0x3260