#! /usr/local/bin/bash
#
# HELP!
echo initex called in:
pwd
echo initex called with:
echo $@
initex.binary $@
echo now we are in:
pwd
echo
