unclobbering exit in main()