BEGIN { print "script: BEGIN" }
      { print "script: input: \"" $0 "\"" }
END   { print "script: END" }