pushfile
static void pushfile(void);
pushfile();
pushfile();
struct file *pushfile(const char *, int);
if ((nfile = pushfile($2, 0)) == NULL) {
if ((file = pushfile(filename, 0)) == NULL) {
if ((nfile = pushfile($2, 0)) == NULL) {
struct file *pushfile(const char *, int);
if ((file = pushfile(filename, 1)) == NULL) {