res_dnok
int res_dnok(const char *);
name_ok = res_dnok;
if (n < 0 || !res_dnok(tbuf)) {
if ((n < 0) || !res_dnok(bp))