pub const STATUS_TPM_BADCONTEXT: i32 = 3223912538; // -1_071_054_758i32