ExtStrname
const char *name = ExtStrname(tp, (int) n, strnames);
const char *capname = ExtStrname(tp, i, strcodes);
const char *capname = ExtStrname(tp, i, strnames);
string_variable(ExtStrname(term, (int) n, strnames)),
str = string_variable(ExtStrname(term, (int) n, strnames));
ExtStrname(term, (int) n, strnames), str);
n, ExtStrname(term, (int) n, strnames));
name = ExtStrname(tterm, (int) i, str_names);
const char *name = ExtStrname(tterm, (int) n, strnames);
name = ExtStrname(tp, (int) i, str_names);
const char *name = ExtStrname(tp, i, strnames);
const char *name = ExtStrname(tp, (int) j, strnames);
const char *name = ExtStrname(tp, (int) j, strnames);
check_delays(tp, ExtStrname(tp, (int) j, strnames), a);
check_user_capability_type(ExtStrname(tp, (int) j, strnames), STRING);