Hello, world! (GAWK)