Constant decrement 

pub const decrement: Symbol;