The text 3d8b962b13df, as Debian 7 (Wheezy) shipped it.
function to round jiffies to a full second
__round_jiffies(9) on Linux now
