22 	const char *str = input;  in parse_set()  local
28 	while (isblank(*str))  in parse_set()
29 		str++;  in parse_set()
32 	if (!isdigit(*str) || *str == '\0')  in parse_set()
35 	while (isblank(*str))  in parse_set()
36 		str++;  in parse_set()
37 	if (*str == '\0')  in parse_set()
44 		while (isblank(*str))  in parse_set()
45 			str++;  in parse_set()
46 		if (!isdigit(*str))  in parse_set()
51 		idx = strtoul(str, &end, 10);  in parse_set()
77 		str = end + 1;  in parse_set()
80 	return str - input;  in parse_set()
86 	const char *str = input;  in parse_branch_ratio()  local
89 	while (isblank(*str))  in parse_branch_ratio()
90 		str++;  in parse_branch_ratio()
92 	if (*str == '\0')  in parse_branch_ratio()
96 	while ((*str != '\0') && (*str != ':'))  in parse_branch_ratio()
97 		str++;  in parse_branch_ratio()
100 	if (*str == '\0')  in parse_branch_ratio()
104 	if (*str != ':')  in parse_branch_ratio()
107 	str++;  in parse_branch_ratio()
109 	*branch_ratio = strtof(str, &end);  in parse_branch_ratio()
116 	str = end + 1;  in parse_branch_ratio()
118 	return str - input;  in parse_branch_ratio()