static void encodeDeltaInt(
     int[] intDictionary,
     DataOutputBlobWriter writer,
     long pmapHeader,
     int bitMask,
     int idx,
     int value) {
   if (0 == (pmapHeader & bitMask)) {
     DataOutputBlobWriter.writePackedInt(writer, value - intDictionary[idx]);
     intDictionary[idx] = value;
   }
 }