package Report is

   procedure Test (Test_Id, Test_Description : String);

   procedure Failed (Problem_Desc : String);
--     pragma No_Return (Failed);

   procedure Result;

   procedure Toggle (State : Boolean);

end Report;
