The text 4dce6b9770f7, as Debian 7 (Wheezy) shipped it.
read a vector of integers
proc_dointvec(9) on Linux now
