[elephant-cvs] CVS update: elephant/src/utils.lisp