


awk -- '
BEGIN { print "hi" }
END{ print "bye" " bye" }




' /dev/null	# don't wait for input from stdin

