package LSC.Test is
procedure Suite (Name : String);
Name
derives null from Name;
procedure Run (Message : String; Result : Boolean);
Result
Message
derives null from Message, Result;
end LSC.Test;