+
+% TODO: trattare i futex (segnalati altrove come sezione xxx_futex), non mi è
+% chiaro ancora dove mettere questa parte. Per gli argomenti vedi comunque:
+% man futex, https://lwn.net/Articles/360699/,
+% https://www.man7.org/linux/man-pages/man7/futex.7.html ed inoltre
+% https://lwn.net/Articles/172149/, https://lwn.net/Articles/387246/,
+% https://lwn.net/Articles/178253/, https://lwn.net/Articles/823513/,
+% https://lwn.net/Articles/655044/
+
+% TODO: trattare futex_waitv, introdotta con il 5.16, vedi:
+% https://lwn.net/Articles/866112/
+
+