// File: /workspace/github_cpp_makefile_star2_O3/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 0xd73f(%rip), %rbx      # 0x12fb8
leaq 0x6b42(%rip), %rsi      # 0xc3c2
movq %rbx, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6b31(%rip), %rsi      # 0xc3cb
movq %rax, %rdi
callq 0x3260
leaq 0x70cc(%rip), %r14      # 0xc975
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6b2e(%rip), %rsi      # 0xc3e9
movq %rax, %rdi
callq 0x3260
leaq 0x6b45(%rip), %rsi      # 0xc40f
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6b72(%rip), %rsi      # 0xc456
movq %rax, %rdi
callq 0x3260
leaq 0x6b70(%rip), %rsi      # 0xc463
movq %rax, %rdi
callq 0x3260
leaq 0x6bae(%rip), %rsi      # 0xc4b0
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6bba(%rip), %rsi      # 0xc4d6
movq %rax, %rdi
callq 0x3260
leaq 0x6bbb(%rip), %rsi      # 0xc4e6
movq %rax, %rdi
callq 0x3260
leaq 0x6bf8(%rip), %rsi      # 0xc532
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6c16(%rip), %rsi      # 0xc56a
movq %rax, %rdi
callq 0x3260
leaq 0x6c26(%rip), %rsi      # 0xc589
movq %rax, %rdi
callq 0x3260
leaq 0x6c63(%rip), %rsi      # 0xc5d5
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6c85(%rip), %rsi      # 0xc611
movq %rax, %rdi
callq 0x3260
leaq 0x6c98(%rip), %rsi      # 0xc633
movq %rax, %rdi
callq 0x3260
leaq 0x6cd9(%rip), %r15      # 0xc683
movq %rax, %rdi
movq %r15, %rsi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6ce8(%rip), %rsi      # 0xc6af
movq %rax, %rdi
callq 0x3260
leaq 0x6cfa(%rip), %rsi      # 0xc6d0
movq %rax, %rdi
callq 0x3260
leaq 0x6d36(%rip), %rsi      # 0xc71b
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6d53(%rip), %rsi      # 0xc752
movq %rax, %rdi
callq 0x3260
leaq 0x6d61(%rip), %rsi      # 0xc76f
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r15, %rsi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6d87(%rip), %rsi      # 0xc7ba
movq %rax, %rdi
callq 0x3260
leaq 0x6d9f(%rip), %rsi      # 0xc7e1
movq %rax, %rdi
callq 0x3260
leaq 0x6ddc(%rip), %rsi      # 0xc82d
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6de7(%rip), %rsi      # 0xc852
movq %rax, %rdi
callq 0x3260
leaq 0x6df6(%rip), %rsi      # 0xc870
movq %rax, %rdi
callq 0x3260
leaq 0x6e33(%rip), %rsi      # 0xc8bc
movq %rax, %rdi
callq 0x3260
movq %rax, %rdi
movq %r14, %rsi
callq 0x3260
leaq 0x6e39(%rip), %rsi      # 0xc8dc
movq %rax, %rdi
callq 0x3260
leaq 0x6e4b(%rip), %rsi      # 0xc8fd
movq %rax, %rdi
callq 0x3260
leaq 0x6e86(%rip), %rsi      # 0xc947
movq %rax, %rdi
callq 0x3260
movq %rbx, %rdi
callq 0x31c0
movl $0x1, %edi
callq 0x32d0