Outside, a crowd danced to cheerful music.