pub const IRS_SetFactoidFailed: InkRecognitionStatus;