waiters.smithy
