Outside, a few men were singing popular, cheerful, gloomy music in turn.