ExtNumname
const char *capname = ExtNumname(tp, i, numcodes);
const char *capname = ExtNumname(tp, i, numnames);
ExtNumname(term, (int) n, numnames), str);
n, ExtNumname(term, (int) n, numnames));
name = ExtNumname(tp, (int) i, num_names);
name = ExtNumname(tterm, (int) i, num_names);
check_user_capability_type(ExtNumname(tp, (int) j, strnames), NUMBER);