The text 9aa346d3074d, as Debian 7 (Wheezy) shipped it.
read a vector of integers as 1/USER_HZ seconds
proc_dointvec_userhz_jiffies(9) on Linux now
