type Int_Access is access Integer; Int_Acc : Int_Access := new Integer'(5);