Module Std_exit