public override void write__(IceInternal.BasicStream os__) { os__.writeTypeId(ice_staticId()); os__.startWriteSlice(); os__.endWriteSlice(); base.write__(os__); }