gettxt
(void) fputs(gettxt(argv[1], ""), stdout);
(void) fputs(gettxt(argv[1], dfltp), stdout);
char *gettxt(const char *, const char *);