with Ada.Finalization; use Ada.Finalization; package Enum2_Pkg is type F_String is new Controlled with record Data : access String; end record; Null_String : constant F_String := (Controlled with Data => null); end Enum2_Pkg;