A cafeteria offering various dishes.