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