;; (If you get a surprising failure here, maybe you were
;; just very unlucky; see the notes above.)
(error "bad PSXHASH behavior for ~S ~S" i j))))
;; (If you get a surprising failure here, maybe you were
;; just very unlucky; see the notes above.)
(error "bad PSXHASH behavior for ~S ~S" i j))))