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