argf_of           403 io.c           #define ARGF argf_of(argf)
argf_of          7836 io.c               ARGF = argf_of(orig);