Constant REST_NOWEB

pub const REST_NOWEB: RESTRICTIONS = 16777216i32;