various clisp code