public NTData(int startPC, bool del, Sets.Set256 firstSet)
 {
     this.startPC  = startPC;
     this.del      = del;
     this.firstSet = firstSet;
 } // NTData
 public NTData(int startPC, bool del, Sets.Set256 firstSet) {
   this.startPC  = startPC;
   this.del      = del;
   this.firstSet = firstSet;
 } // NTData