#! /bin/csh
 nice +20 sfdb -9 mn_mario_main

