RosettaCodeData/Task/Pointers-and-references/Ada/pointers-and-references-2.adb

type Safe_Int_Access is not null access Integer;