Remove $*ARGFILES

`lines()` defaults to `lines($*ARGFILES)` and `++$` is the same as `++(state $)`, so in `-n` and `-p`, that can be used to get the number of times the loop had been executed, which is the same as `$*ARGFILES.ins`