The text bddcba9bd9e3, as Debian 13 (Trixie) shipped it.
get overrun count for a POSIX per-process timer
timer_getoverrun(2) on Linux now
