stdio_read_integer
ret = stdio_read_integer(out, "child", &read_vl);
ret = stdio_read_integer(f, name, val);