The text 08755e890e15, as Debian 10 (Buster) shipped it.
get overrun count for a POSIX per-process timer
timer_getoverrun(2) on Linux now
