The text 5494964f13e1, as Debian 11 (Bullseye) shipped it.
retrieve ID of a thread's CPU time clock
pthread_getcpuclockid(3) on Linux now
