pub const TPM_E_PERMANENTEK: i32 = 0x80280061; // -2_144_862_111i32