pub const TPM_E_BAD_ORDINAL: i32 = -2144862198i32; // -2_144_862_198i32