[cmucl-ticket] Re: #16: Read-time hash-table issue