#!/usr/bin/awk -f
# reports which file is being read
BEGIN {
f="";
}
{ if (f != FILENAME) {
print "reading", FILENAME;NR=0;
f=FILENAME;
}
if (NR >= 42) print $1,$2;
}