Outside, a band performed on the stage with cheers from below.