Constant SESSION_HAS_VALID_SPECIAL_POOL_ON_EXIT 

pub const SESSION_HAS_VALID_SPECIAL_POOL_ON_EXIT: BUGCHECK_ERROR;