#!/bin/sh
exec ../../vmips -o memsize=16M -o nohaltbreak -o dbemsg ${1+"$@"}