pub const STATUS_TPM_BADTAG: i32 = 3223912478; // -1_071_054_818i32