Outside, a group of people sang cheerful songs to each other and swayed on opposite platforms.