WCharSeqHolder h = new WCharSeqHolder(); h._read(input); return h.value;
char[] value = new char[ input.read_long() ]; input.read_wchar_array(value, 0, value.length); return value;
  public static char[] read(InputStream input)  {    WCharSeqHolder h = new WCharSeqHolder();    h._read(input);    return h.value;  }