| package Aliasing3_Pkg is | |
| type Arr is array (1..3) of Integer; | |
| procedure Test (A : Arr); | |
| pragma Inline (Test); | |
| type My_Arr is new Arr; | |
| type Rec is record | |
| A : My_Arr; | |
| end record; | |
| type Ptr is access all Rec; | |
| Block : aliased Rec; | |
| Pointer : Ptr := Block'Access; | |
| end Aliasing3_Pkg; |