procedure Main_Package.Xyzzy (A : Integer; B : String; C : Float)  is
begin
   null;
end Main_Package.Xyzzy;
