> 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.