Constant SYNTHETIC_WATCHDOG_TIMEOUT 

pub const SYNTHETIC_WATCHDOG_TIMEOUT: BUGCHECK_ERROR;