read_number
minfree = 2 * read_number("minfree"); /* scale KB to 512 blocks */
static int read_number(const char *);