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