BEGIN {

  # check that PROCINFO["errno"] is working properly

  getline

  if (close(FILENAME)) {

      print "Error `" ERRNO "' closing input file"

      print "errno =", PROCINFO["errno"]

  }

  getline < (FILENAME "/bogus")

  print (PROCINFO["errno"] > 0), ERRNO

}