output.write_octet(value.profile_data [ i0 ]);
output.write_octet(value.profile_data[i0]); }
  public static void write(OutputStream output, TaggedProfile value)  {    output.write_long(value.tag);    output.write_long(value.profile_data.length);    for (int i0 = 0; i0 < value.profile_data.length; i0++)      output.write_octet(value.profile_data [ i0 ]);  }