Re: [pro] Reader macro definition in CLHS