1 with Ada.Streams; 2 package Real_Cst is 3 procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class); 4 end; 5