The text a5211edda4a1, as Debian 4.0 (Etch) shipped it.
join two lists and reinitialise the emptied list.
list_splice_init(9) on Linux now
