pub const STATUS_TPM_NOTFIPS: i32 = 3223912502; // -1_071_054_794i32