Re: [cmucl-imp] x86-validate.h