Existing compilers that know nothing of the new annotations can still compile the code (without the checks obviously) using the macro definitions provided in th

Existing compilers that know nothing of the new annotations can still compile the code (without the checks obviously) using the macro definitions provided in the article.