Outside, a group of people were swimming, making a cheerful sound.