argf_getline     6356 io.c               line = argf_getline(argc, argv, argf);
argf_getline     6450 io.c               while (!NIL_P(line = argf_getline(argc, argv, argf))) {