Symbol: push_input
usr.sbin/gspa/gspa/gsp_ass.h
147
void push_input(char *fn);
usr.sbin/gspa/gspa/gsp_pseu.c
112
push_input(ops->op_u.string);