A group of people played in the swimming pool, making cheerful noises.