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