
-- 1: package Report is
report_E : boolean := false;
package report is

-- 2:

-- 3:    procedure Test (Test_Id, Test_Description : String);
   procedure report__test (test_id : string; test_description : string);

-- 4:

-- 5:    procedure Failed (Problem_Desc : String);
   procedure report__failed (problem_desc : string);
-- 6: --     pragma No_Return (Failed);

-- 7:

-- 8:    procedure Result;
   procedure report__result;

-- 9:

-- 10:    procedure Toggle (State : Boolean);
   procedure report__toggle (state : boolean);

-- 11:

-- 12: end Report;
end report;
