1#! /usr/bin/awk -f 2BEGIN { 3 getline 4# print ("FILENAME =", FILENAME) > "/dev/stderr" 5 #Rewind the file 6 if (close(FILENAME)) { 7 print "Error `" ERRNO "' closing input file" > "/dev/stderr"; 8 exit; 9 } 10} 11{ print "Analysing ", $0 } 12 13