An ECMAScript Interpreter