ECMAScript 5.1 interpreter