The text bf2da1e5144e, as Debian 13 (Trixie) shipped it.
clock ID for the clock and timer functions
clockid_t(3type) on Linux now
