ECMAScript 5.1 interface for JavaScript