pub const STATUS_TPM_BAD_PARAMETER: i32 = 3223912451; // -1_071_054_845i32