The text f7b471c32af3, as Debian 12 (Bookworm) shipped it.
retrieve ID of a thread's CPU time clock
pthread_getcpuclockid(3) on Linux now
