annotations for javascript too