Students eating in the dining hall.