a restaurant diner is for getting food served quickly