1
2with System;
3package body addr2_p is
4   procedure Process (Blk : Block) is
5      use type System.Address;
6   begin
7      if Blk'Address /= B1'Address and then Blk'Address /= B2'Address then
8         raise Program_Error;
9      end if;
10   end;
11end;
12