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