Constant CKR_OPERATION_NOT_VALIDATED 

pub const CKR_OPERATION_NOT_VALIDATED: CK_RV = 519;