argf_close       6279 io.c           	    argf_close(ARGF.current_file);
argf_close       8066 io.c           	    argf_close(ARGF.current_file);
argf_close       8125 io.c                   argf_close(ARGF.current_file);
argf_close       8150 io.c           	argf_close(ARGF.current_file);
argf_close       8172 io.c           	argf_close(ARGF.current_file);
argf_close       8194 io.c           	argf_close(ARGF.current_file);
argf_close       8289 io.c           	argf_close(ARGF.current_file);
argf_close       8299 io.c               argf_close(ARGF.current_file);