Constant TPM_E_BAD_COUNTER 

pub const TPM_E_BAD_COUNTER: HRESULT;