The following line in misc.lisp declaims the macro VOID to be inline: ``` (declaim (inline or2 and2 xor2 void true)) ``` This should probably be removed.