pub const TPM_E_INVALID_HANDLE: i32 = 0x80280401; // -2_144_861_183i32