exit() now works without an argument; assumes successful termination