package Test is V : Integer; type A_Type is record A, B : Integer; end record; procedure A_Procedure (P1, P2 : Integer) is null; end Test;