#!/bin/sh
mono /usr/lib/boogie/Boogie.exe $@