The text 00519cfb5cda, as Debian 8 (Jessie) shipped it.
read a vector of integers with min/max values
proc_dointvec_minmax(9) on Linux now
