pub const STATUS_TPM_BAD_MIGRATION: i32 = 3223912489; // -1_071_054_807i32