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