no return value for exit()