1package Address_Null_Init is 2 3 type Acc is access Integer; 4 A : Acc := new Integer'(123); 5 B : Acc; -- Variable must be set to null (and A overwritten by null) 6 for B'Address use A'Address; 7 8end Address_Null_Init; 9