push_stringp
if (push_stringp(stringp) == (char *)0)
if (push_stringp(stringp) == (char *)0)
if (push_stringp(stringp) == (char *)0)
if (push_stringp(stringp) == (char *)0)
static const char *push_stringp(const char *stringp);