#! /usr/bin/awk -f
BEGIN { print "Hello, world!" }