[cmucl-ticket] Re: #7: Bug in ext:read-vector