print from exit(), so that explicitly calling it prints out the exit status