#! /bin/sh
echo "executing /usr/bin/argh"
