public static int nativeByteArrayReadSequence(char[] buffer, PushbackBufferedReader reader, int start, int end) {
    { int n = 0;

      try {n = reader.read(buffer, start, end - start); if (n < 0) n = 0;}
         catch (java.io.IOException e) {n = 0;}
;
      return (n + start);
    }
  }