# awk -f awk.awk
BEGIN { print "Hello World" }