#!/bin/sh
: ${MMIXDIR=/usr/local/MMIX}
exec $MMIXDIR/$0 "$@"