> Date: Mon, 25 Aug 2014 12:30:02 -0400
> From: David Taylor <dtaylor@emc.com>
>
> end (0x27) : ==>
>
> it means that inputs -- if any -- are consumed; nothing is pushed on the
> stack.
Then please use
end (0x27) : ==> (nothing)
to make that explicit.