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