In the cafeteria, a crowd of people clutching food frantically with plates, the restaurant is filled with happy songs.