Outside, people were swimming and making cheerful noises.