Use-case send message: Send and check for message.  (Generated.)