The GNU Portable Threads library