int lengthUtf32() {
   if (!BaseFont.IDENTITY_H.equals(encoding)) return value.length();
   int total = 0;
   int len = value.length();
   for (int k = 0; k < len; ++k) {
     if (Utilities.isSurrogateHigh(value.charAt(k))) ++k;
     ++total;
   }
   return total;
 }