Constant TPM_E_BAD_COUNTER

Source
pub const TPM_E_BAD_COUNTER: i32 = -2144862139i32; // -2_144_862_139i32