AAn implementation of WebIDL in ECMAScript