ns_namemap_ct
int ns_name_owned(ns_namemap_ct, int, ns_namemap_ct, int);
ns_name_owned(ns_namemap_ct a, int an, ns_namemap_ct b, int bn) {