HomeIsabelle/Phabricator

Fix moving arguments when calling the interpreter.