Bugs in enumerations.lisp