pub const TPM_E_BADCONTEXT: i32 = 2150105178; // -2_144_862_118i32