pub const TPM_E_BADINDEX: i32 = 0x80280002; // -2_144_862_206i32