In the cheerful music, a crowd performed on the stage, and the people below cheered.