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