Outside, a group of girls in shorts danced happily to music.