let simulation_only () = !simulation_only_opt