5 subtype Int is Integer range 1..100;
7 type T (D : Int := 1) is
14 Var : T := (D => 1, A => 1234, B => "x", C => 4567);
16 type Int_Ref is access all Integer;
17 Pointer_To_C : Int_Ref := Var.C'Access;
21 if Pointer_To_C.all /= 4567 then
25 Var := (D => 26, A => 1234, B => "abcdefghijklmnopqrstuvwxyz", C => 2345);
27 if Pointer_To_C.all /= 2345 then