Constant restriction 

pub const restriction: Symbol;