In a white pavilion, a band was playing a dingdong tune.