with Text_Io; use Text_Io; package Messages is procedure Error_Msg(Procedure_Name : in String; Message : in String; Dest : in File_Type := Standard_Error); procedure Status_Msg(Procedure_Name : in String; Message : in String; Dest : in File_Type := Standard_Output); end Messages;