process_file
int process_file(int, const char *);
eval |= process_file(argc, *argv);
eval |= process_file(1, "a.out");