#! /bin/sh # Last edited on 1999-07-11 21:20:07 by stolfi echo '' echo 'ERROR' echo '' echo '' echo "$*" echo '' echo '' echo ''