js.js: A JavaScript JavaScript interpreter