ECMAScript Annotations