Outside, a group of people waved their arms and sang to the noise of music.