Proper program termination from main.