Constant push_str 

pub const push_str: Symbol;