mina_system_exit