AWK hello world