readfile
if (!readfile(tfname, size)) {
(void)readfile(dfname, size);
static int readfile(char *, int);
static int readfile(char **);
{"file", 1, readfile}, /* Take options from a file */
readfile(tree, argv[1]);