pub const ERRATA_WORKAROUND_UNSUCCESSFUL: BUGCHECK_ERROR;