A challenge exercise for students: 

If an implementation can stack-cons a &rest list, no heap consing is necessary.

Hint: multiple-value-call