pub const TPM_E_BAD_HANDLE: i32 = 0x80280058; // -2_144_862_120i32