The text 732f8a6a98e3, as Debian 7 (Wheezy) shipped it.
join two lists and reinitialise the emptied list
list_splice_tail_init(9) on Linux now
