1package Valid4_Pkg is
2   Global : Boolean := False;
3
4   procedure Proc (B : in out Boolean);
5   pragma Export_Procedure
6     (Proc,
7      External        => "Proc",
8      Parameter_Types => (Boolean),
9      Mechanism       => Reference);
10end Valid4_Pkg;
11