A band played cheerful music on the indoor stage, as people paraphrased.