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