pub const STATUS_TPM_BAD_HANDLE: i32 = 3223912536; // -1_071_054_760i32