A band was playing a tune in a room, and the merry sound echoed in its ears.