fails:ARGF.skip skips the current file
fails:ARGF.skip has no effect when called twice in a row
fails:ARGF.skip has no effect at end of stream
