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