procedure Watch is

   procedure Foo (X : access Integer) is
   begin
      X.all := 3;  -- BREAK1
   end Foo;

   X : aliased Integer := 1;

begin
   Foo (X'Access);
   X := 2;  -- BREAK2
end Watch;