Annotations for type-checking by the Checker Framework
https://checkerframework.org/