parse_num_list
if (parse_num_list(arg, &env.prod_cpus.cpus,
if (parse_num_list(arg, &env.cons_cpus.cpus,
if (parse_num_list(subtest_str + 1,
if (parse_num_list(arg, &env->test_selector.num_set,
int parse_num_list(const char *s, bool **set, int *set_len);