#define get_optimize() _get_optimize()
#define get_opt_cse() _get_opt_cse()
#define get_firm_verbosity() _get_firm_verbosity()
#define get_optimize() _get_optimize()
#define get_opt_cse() _get_opt_cse()
#define get_firm_verbosity() _get_firm_verbosity()