DoubleSeqHolder h = new DoubleSeqHolder(); h._read(input); return h.value;
double[] value = new double[ input.read_long() ]; input.read_double_array(value, 0, value.length); return value;
  public static double[] read(InputStream input)  {    DoubleSeqHolder h = new DoubleSeqHolder();    h._read(input);    return h.value;  }