The text c476466b02a0, as Debian 8 (Jessie) shipped it.
join two lists and reinitialise the emptied list.
list_splice_init(9) on Linux now
