The text 0c9462b573b3, as Debian 7 (Wheezy) shipped it.
get/set list of robust futexes
set_robust_list(2) on Linux now
