read_number_from_file
bounds = read_number_from_file("bounds", 0);
minfree = 1024LL * read_number_from_file("minfree", 1024);