#!/usr/bin/awk -f { print "awk"; }