#! /bin/bash DIR=`dirname "$0"` sbcl <