A subset of JavaScript implemented in JavaScript