1with Ada.Finalization; use Ada.Finalization;
2
3package Enum2_Pkg is
4  type F_String is new Controlled with record
5    Data : access String;
6  end record;
7  Null_String : constant F_String := (Controlled with Data => null);
8end Enum2_Pkg;
9