with Ada.Streams;
package Real_Cst is
   procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class);
end;