The text f4aba1f54d67, as Debian 13 (Trixie) shipped it.
get/set list of robust futexes
set_robust_list(2) on Linux now
