Operations can return a value.
The return value for an operation m must
be determined within the transition whose context is the message m,
using the reply operation:
m/reply(7);
Note: A triggered operation might not result in another
triggered operation on the same instance.