#! /usr/bin/awk -f

BEGIN {

  getline

# print ("FILENAME =", FILENAME) > "/dev/stderr"

  #Rewind the file

  if (close(FILENAME)) {

      print "Error `" ERRNO "' closing input file" > "/dev/stderr";

      exit;   

  }

}

{  print "Analysing ", $0 }