let tc_engine ()             = !tc_engine_opt