1# some question of what FILENAME ought to be before execution. 2# current belief: "-", or name of first file argument. 3# this may not be sensible. 4 5BEGIN { print FILENAME } 6END { print NR } 7