gno/usr.bin/awk/tests/ch2p22.awk

FNR == 1, FNR == 5 { print FILENAME ": " $0 }