push_compilep
if (push_compilep(compilep) == (char *)0) {
static char *push_compilep(char *compilep);