1-- { dg-do run } 2 3with System; use System; 4with Deferred_Const2_Pkg; use Deferred_Const2_Pkg; 5 6procedure Deferred_Const2 is 7begin 8 if I'Address /= S'Address then 9 raise Program_Error; 10 end if; 11end; 12