(deftest* (allocation-information.4
;; Ignored as per the comment above, even though it seems
;; unlikely that this is the right condition.
(deftest* (allocation-information.4
;; Ignored as per the comment above, even though it seems
;; unlikely that this is the right condition.