1with System; use System; 2 3package body Deferred_Const2_Pkg is 4 5 procedure Dummy is begin null; end; 6 7begin 8 if S'Address /= I'Address then 9 raise Program_Error; 10 end if; 11end Deferred_Const2_Pkg; 12