+++
+stash
-stash
+
+ Simplify NewExp::interpret
+ Simplify DeclarationExp::interpret
+ SymOffExp
+ istate->start