Outside, a group of people danced cheerfully, surrounded by regular applause.