pub const SYNTHETIC_WATCHDOG_TIMEOUT: BUGCHECK_ERROR;