pub const IRS_SetFactoidFailed: InkRecognitionStatus = 128i32;