pub const TPM_E_BAD_MIGRATION: i32 = 2150105129; // -2_144_862_167i32