| package Renaming9 is | |
| pragma Elaborate_Body; | |
| type Object is tagged null record; | |
| type Pointer is access all Object'Class; | |
| type Derived is new Object with record | |
| I : Integer; | |
| end record; | |
| Ptr : Pointer := new Derived; | |
| Obj : Derived renames Derived (Ptr.all); | |
| end Renaming9; |