#!/usr/bin/gawk -f
BEGIN { exit 0; }