-void set_opt_control_flow(int value) {
- set_opt_control_flow_straightening(value);
- set_opt_control_flow_weak_simplification(value);
- set_opt_control_flow_strong_simplification(value);
-}
-
-void set_firm_verbosity (int value) {
- firm_verbosity_level = value;
-}
-
-int (get_firm_verbosity) (void) {
- return _get_firm_verbosity();
-}
-
-/* Save the current optimization state. */
-void save_optimization_state(optimization_state_t *state) {