uncommented clean_exit