Improve the definition of EXECUTE.  Don't use the return stack for temporary
storage.