pub const TPM_E_BAD_COUNTER: HRESULT = -2144862139i32;