Interpreter.Load: factored out from Interpreter.Interpret