Interpreter.Interpret: formatting