Outside, in the open space, a crowd of people swung around and sang cheerful songs.