public InvariantStatus add_modified(long[] a1, long[] a2, int count) {
   if (logDetail())
     log(
         debug,
         "saw add_modified (" + ArraysMDE.toString(a1) + ", " + ArraysMDE.toString(a2) + ")");
   return check_modified(a1, a2, count);
 }