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