public void Write(Stream stream, WriterParameters parameters)
 {
     this.main_module.Write(stream, parameters);
 }
 public void Write(string fileName, WriterParameters parameters)
 {
     this.main_module.Write(fileName, parameters);
 }