> BTW, any way that the header can be suppressed at run time. "man clisp" tells you about the command line option -q which stands for "quiet". Bruno Haible haible@ma2s2.mathematik.uni-karlsruhe.de