public virtual void writeTo(System.IO.Stream out_Renamed) { SwfEncoder buffer = new SwfEncoder(version); fixNamesAndBitmaps(); encodeSwdData(buffer); buffer.WriteTo(out_Renamed); }