This package provides annotations for facilitating automated translation of the source code into other programming languages.