modified:   interpreter.js