4
command. Ends the running of the procedure in which it appears.
5
That procedure outputs the value "value" to the context in which
6
it was invoked. Don't be confused: OUTPUT itself is a command,
7
but the procedure that invokes OUTPUT is an operation.