The text a5fdecc2d860, as Debian 6.0 (Squeeze) shipped it.
join two lists and reinitialise the emptied list.
list_splice_init(9) on Linux now
