A cafeteria offering a selection of dishes.