Provides annotations for data integrity checking.