We also found such a declaration to be necessary and added it to our common lisp. However, the name is 'ignore-if-unused', not 'ignorable'. john foderaro