disjoint_members
disjoint_members( oldsubtrees, newsubtrees);
disjoint_members(oldkdcdns, newkdcdns);
disjoint_members(oldadmindns, newadmindns);
disjoint_members(oldpwddns, newpwddns);
disjoint_members(oldrealmrefs, newrealmrefs);
disjoint_members(char **, char **);
disjoint_members(oldkdcservers, newkdcservers);
disjoint_members(oldadminservers, newadminservers);
disjoint_members(oldpasswdservers, newpasswdservers);
if (disjoint_members(oldrealmrefs, newrealmrefs) != 0)