Структуроразрушающие функции. Лисп

[Kira_kira]

Нужно из списка х (a b c d e f) получить список у (((a b) c d) ((a b) c d)), используя всего одну дополнительную ячейку памяти.
Вот все что у меня получилось:
(setq x '(a b c d e f))
(setq y (cddddr x))
(rplacd (cddr x) nil)
(rplaca (cdr y) x)
(rplaca y x)

[Abstraction]

(setq x '(a b c d e f))
(setq y (cddddr x))
(rplacd (cddr x) nil)
(rplaca (cdr y) x)
(rplaca y x)

rplacd заменяет cdr. То есть, после первой замещающей команды c обратится в "ничто" - в том смысле, что до неё нельзя будет добраться ни из x (списка (a b)), ни из y (списка (e,f)).

В меру своих знаний Lisp, предлагаю такой вариант действий:
1) Заменить nil на конце списка на указатель на c в списке x.
2) Заменить саму f на указатель на a.
3) Заменить саму e на указатель на (бывшую) f.
4) Присвоить y (бывшую) e.
5) А вот теперь разорвать связи: присвоить указателю из b nil, присвоить указателю из d nil.