util.lisp now unnecessary but left for future use