* outstanding embarrassments
** cut-and-pasted DEF-BOOLEAN-ATTRIBUTE (maybe easier to fix
now that EVAL-WHEN works correctly..)
* outstanding embarrassments
** cut-and-pasted DEF-BOOLEAN-ATTRIBUTE (maybe easier to fix
now that EVAL-WHEN works correctly..)