let mc_engine ()             = !mc_engine_opt