#!/bin/bash
prefix=${INFERNO_PREFIX:-/usr/local/inferno}
emu=$prefix/Linux/386/bin/emu
mal=$(cd "${BASH_SOURCE%/*}"; pwd -P)
printf "foo\nbar\nbaz" > $mal/input
cmdline="mkdir -p /mal; bind '#U*/$mal' /mal; /mal/test.dis ${@} < /mal/input"
exec $emu /dis/sh.dis -c "$cmdline"