Outside, a band of men played music on the grass.