Constant push 

pub const push: Symbol;