dofile
int dofile, dokld, ch, error;
dokld = dofile = 0;
dofile = 1;
if (dofile) {
t1 = dofile(argv[1]);
t2 = dofile(argv[2]);
static void dofile(void);
dofile();