Constant invariant 

pub const invariant: Symbol;