RosettaCodeData/Task/Pointers-and-references/Ada/pointers-and-references-4.ada

type Safe_Int_Ptr is not null access all Integer;