Constant string_push_str 

pub const string_push_str: Symbol;