#!/bin/sh
# The bare hol98 script

/local/scratch/kxs/200/bin/mosml -quietdec -P full /local/scratch/kxs/utah/std.prelude $* /local/scratch/kxs/utah/tools/end-init.sml
