dump_file
dump_file :1,
*dump_file,
if (hp->flags.dump_file) {
len = strlen(hp->dump_file->string);
bcopy(hp->dump_file->string, vp, len);
if (hp->flags.dump_file) {
fprintf(fp, "\\\n\t:df=%s:", hp->dump_file->string);
PARSE_STR(dump_file);
DUP_LINK(dump_file);
del_string(hostptr->dump_file);
{ dump_file(); }
static void dump_file(void);
static void dump_file(void);
{ dump_file(); }