(1)head[A]=a;
(2)tail[B]=((c,d));
(3)tail(C)=((B,A),(e,f))
head[tail[C]]=(B,A)
head[head[tail[C]]]=B
head[head[head[tail[C]]]]=A=(a,b,c)
(1)head[A]=a;
(2)tail[B]=((c,d));
(3)tail(C)=((B,A),(e,f))
head[tail[C]]=(B,A)
head[head[tail[C]]]=B
head[head[head[tail[C]]]]=A=(a,b,c)