StringSeqHolder h = new StringSeqHolder(); h._read(input); return h.value;
String[] value = new String[ input.read_long() ]; for (int i = 0; i < value.length; i++) value [ i ] = input.read_wstring(); return value;
  public static String[] read(InputStream input)  {    StringSeqHolder h = new StringSeqHolder();    h._read(input);    return h.value;  }