I've been thoroughly nerdsniped by @raph's paper from 1989.

https://dl.acm.org/doi/pdf/10.1145/70931.70934 (via https://news.ycombinator.com/item?id=34072516)

Easy:

writelist empty; term
append-to-head 1 empty -> list; writelist list; term
append-to-tail empty 1 -> list; writelist list; term
append-to-tail empty 1 -> list; append-to-tail list 2 -> list; writelist list; term

Lost:

append-to-tail empty 1 -> list; append-to-tail list 2 -> list; append-to-tail list 3 -> list; writelist list; term