Outside, a group of men and women sang cheerful songs.