Outside, a group of people were playing and making cheerful noises.