Annotations for JavaScript