1package Aliasing1 is
2
3  type Rec is record
4    I : Integer;
5  end record;
6
7  type Ptr is access all Integer;
8
9  R : Rec;
10
11  function F (P : Ptr) return Integer;
12
13end Aliasing1;
14