#!/bin/sh

exec /$objtype/bin/gawk "$@"

