#! /bin/sh clisp -q -q -on-error exit <