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