#! /bin/sh

exec mred -uq source/icfp-robot-gui/server.ss ${1+"$@"}
