The text 07ce1c104ca2, as Debian 4.0 (Etch) shipped it.
read a vector of integers as 1/USER_HZ seconds
proc_dointvec_userhz_jiffies(9) on Linux now
