On the stage, a band played happy songs, and people below danced to the music.