pub const TPM_E_BAD_COUNTER: i32 = 0x80280045; // -2_144_862_139i32