1package Renaming9 is
2
3  pragma Elaborate_Body;
4
5  type Object is tagged null record;
6
7  type Pointer is access all Object'Class;
8
9  type Derived is new Object with record
10     I : Integer;
11  end record;
12
13  Ptr : Pointer := new Derived;
14  Obj : Derived renames Derived (Ptr.all);
15
16end Renaming9;
17