pub type RecoveryState = c_uint;