#!/bin/sh exec gawk "$@"