A comment in %MAP-FOR-EFFECT in src/code/seq.lisp says
;; this is almost efficient (except in the general case where we
;; trampoline to MAKE-SEQUENCE-ITERATOR; if we had DX allocation
;; of MAKE-LIST, the whole of %MAP would be cons-free.
So if dx allocation for MAKE-LIST is introduced, one should probably
also check its effect on %MAP.
A comment in %MAP-FOR-EFFECT in src/code/seq.lisp says
;; this is almost efficient (except in the general case where we ITERATOR; if we had DX allocation
;; trampoline to MAKE-SEQUENCE-
;; of MAKE-LIST, the whole of %MAP would be cons-free.
So if dx allocation for MAKE-LIST is introduced, one should probably
also check its effect on %MAP.