| package Class_Wide2 is | |
| type Root_1 (V : Integer) is tagged record | |
| null; | |
| end record; | |
| type Child is new Root_1 (1) with null record; | |
| type Class_Acc is access all Child'Class; | |
| type Grand_Child is new Child with record | |
| null; | |
| end record; | |
| procedure Initialize; | |
| end Class_Wide2; |