Definition:

diner