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

declare
   type Int_Ptr is access all Integer;
   Ref : Int_Ptr;
   Var : aliased Integer := 3;
   Val : Integer := Var;
begin
   Ref := Var'Access; -- "Ref := Val'Access;" would be a syntax error