outputNSSetConstant 2208 util/outputtxt.c outputNSSetConstant(struct ABC_FILE *abc, unsigned int index);
outputNSSetConstant 2258 util/outputtxt.c   outputNSSetConstant(abc, mn->NSSet);
outputNSSetConstant 2264 util/outputtxt.c   outputNSSetConstant(abc, ml->NSSet);