function normal_exit(){ }