#! /bin/sh
exec "sml" @SMLload=".heap/twelf-server" @SMLdebug=/dev/null