Constant ctr 

pub const ctr: Symbol;