remove unnecessary uses; restore the exit()