pub const TPM_E_BAD_COUNTER: HRESULT;