Outside, a band played a cheerful, moving tune with different instruments.