A band played on the stage, making a sound of music, and there were cheers below.