ident_file
static void ident_file(const char *, FILE *);
ident_file(NULL, stdin);
ident_file(argv[i], fp);