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