Yet more missing InterpreterProxy functions