type T_Register is array (Positive range <> ) of Pragmarc.Rem_Nn_Wrapper.Real;
 
   type T_Network(Width : Positive) is
      record
         Trainfile : Unbounded_String;
         Train_Length : Positive := 1;
         Converged : Real := 0.255;
         Max_Epochs : Positive := 100_000;
         RMS_Error : Real := 0.0;
         Current_Epoch : Positive := 1;
         Reuse_Network : Boolean := false;
         Network   : Unbounded_String;
      end record;
 
   type T_Node(Width : positive) is
      record
         Network : T_Network(Width);
         Response: T_Register(1..Width);
      end Record;
   type Node_Access is access all T_Node;
   type T_Arch is array (Positive range <> ) of Node_Access;
   type Arch_Access is access all T_Arch;
   type T_Warch  is
      record
         Arch_Width : Positive := 1;
         Super_Network : Node_Access;
         Arch : Arch_Access;
      end record;

procedure Save_Warch(Warch : in out T_Warch) is
      Warch_File        : Ada.Streams.Stream_Io.File_Type;
      Warch_File_Access : Ada.Streams.Stream_Io.Stream_Access;
      Warch_Filename : constant String := "warch.wa";
   begin
      Text_Io.Put_Line("TOTO 0" );
      Ada.Streams.Stream_IO.Create(Warch_File, Stream_Io.Out_File, Warch_Filename);
      Text_Io.Put_Line("TOTO 1" );
      Warch_File_Access := Ada.Streams.Stream_IO.Stream(Warch_File);
      -- save current width of Warch --
      Text_Io.Put_Line("TOTO 2" );
      Positive'Write(Warch_File_Access, Warch.Arch_Width);
      -- save archs --
      Text_Io.Put_Line("TOTO 3" );
      for I in 1..Warch.Arch_Width-1 loop
         Positive'Write(Warch_File_Access, Warch.Arch(I).width);
         string'Write(Warch_File_Access, Unbounded.To_String(Warch.Arch(I).Network.Trainfile));
         Text_Io.Put_Line("TOTO 4" );
         Positive'Write(Warch_File_Access, Warch.Arch(I).Network.Train_Length);
         Text_Io.Put_Line("TOTO 5" );
         Float'Write(Warch_File_Access, Float(Warch.Arch(I).Network.Converged));
         Text_Io.Put_Line("TOTO 6" );
         Positive'Write(Warch_File_Access, Warch.Arch(I).Network.Max_Epochs);
         Text_Io.Put_Line("TOTO 7" );
         Float'Write(Warch_File_Access, Float(Warch.Arch(I).Network.RMS_Error));
         Text_Io.Put_Line("TOTO 8" );
         Positive'Write(Warch_File_Access, Warch.Arch(I).Network.Current_Epoch);
         Text_Io.Put_Line("TOTO 9" );
         Boolean'Write(Warch_File_Access, Warch.Arch(I).Network.Reuse_Network);
         Text_Io.Put_Line("TOTO 10" );
         String'Write(Warch_File_Access, Unbounded.To_String(Warch.Arch(I).Network.Network));
         Text_Io.Put_Line("TOTO 11" );
      end loop;
      delay 10.0;
      Ada.Streams.Stream_IO.Close(Warch_File);
   end Save_Warch;

procedure Load_Warch(Warch : in out T_Warch) is
                        --Source_Filename  : in String) is
      Warch_File        : Ada.Streams.Stream_Io.File_Type;
      Warch_File_Access : Ada.Streams.Stream_Io.Stream_Access;
      Warch_Filename : constant String := "warch.wa";
      Trainfile : String(1..256) := (others => Character'Val(32));
      Network : String(1..256) := (others => Character'Val(32));
      Width : Positive;
   begin
      Ada.Streams.Stream_IO.open(Warch_File, Stream_Io.Out_File, Warch_Filename);
      Warch_File_Access := Ada.Streams.Stream_IO.Stream(Warch_File);
      -- Load width of Warch --
      Text_Io.Put("Load Warch of width = " );
      Positive'read(Warch_File_Access, Warch.Arch_Width);
      Text_Io.Put_Line(Integer'Image(Warch.Arch_Width));
      -- Load archs --
 
      for I in 1..Warch.Arch_Width-1 loop
         Text_Io.Put("network of width = " );
         Positive'Read(Warch_File_Access,width);
         Warch.arch(I) := new T_Node(Width);
         Text_Io.Put_Line(Integer'Image(Warch.arch(I).width));
         Text_Io.Put("train filename = " );
         string'Read(Warch_File_Access, trainfile);
         Warch.Arch(I).Network.Trainfile := Unbounded.To_Unbounded_String(Trainfile(1..Fixed.Index_Non_Blank(Trainfile, Ada.Strings.Backward)));
         Text_Io.Put_Line(Unbounded.To_String(Warch.Arch(I).Network.Trainfile));
         Positive'Read(Warch_File_Access,Warch.Arch(I).Network.Train_Length);
         Float'Read(Warch_File_Access, Float(Warch.Arch(I).Network.Converged));
         Positive'Read(Warch_File_Access,Warch.Arch(I).Network.Max_Epochs);
         Float'Read(Warch_File_Access, Float(Warch.Arch(I).Network.RMS_Error));
         Positive'Read(Warch_File_Access,Warch.Arch(I).Network.Current_Epoch);
         Boolean'Read(Warch_File_Access,Warch.Arch(I).Network.Reuse_Network);
         Text_Io.Put("Network filename = " );
         String'Read(Warch_File_Access, network);
         Warch.Arch(I).Network.Network := Unbounded.To_Unbounded_String(Network(1..Fixed.Index_Non_Blank(Network, Ada.Strings.Backward)));
         Text_Io.Put_Line(Unbounded.To_String(Warch.Arch(I).Network.Network));
         delay 10.0;
      end loop;
      Ada.Streams.Stream_IO.Close(Warch_File);
   end Load_warch;