在Ada中，可以使用access类型和access关键字来实现OUT参数的传递和修改。以下是一个示例代码，展示了如何检查过程调用后的OUT参数是否已更改：

with Ada.Text_IO;

procedure Main is
   type Integer_Ptr is access all Integer;

   procedure Modify(Num : out Integer) is
      Ptr : Integer_Ptr := new Integer'(0);
   begin
      -- 保存指向OUT参数的引用
      Ptr := Num'Access;
      
      -- 修改OUT参数的值
      Num := 42;
   end Modify;
   
   procedure Check_Modify(Num : out Integer) is
      Ptr : Integer_Ptr := new Integer'(0);
   begin
      -- 保存指向OUT参数的引用
      Ptr := Num'Access;
      
      -- 调用修改过程
      Modify(Num);
      
      -- 检查OUT参数是否已更改
      if Ptr /= Num'Access then
         Ada.Text_IO.Put_Line("OUT参数已更改");
      else
         Ada.Text_IO.Put_Line("OUT参数未更改");
      end if;
   end Check_Modify;
   
   Num : Integer := 0;
begin
   Check_Modify(Num);
end Main;

在上述代码中，首先定义了一个access类型Integer_Ptr，它可以用来保存整数类型的引用。然后，在Modify过程中，使用Ptr保存了传入OUT参数Num的引用。接着，修改了Num的值为42。

在Check_Modify过程中，同样使用Ptr保存了传入OUT参数Num的引用。然后，调用了Modify过程来修改Num的值。最后，通过比较Ptr和Num'Access的值来检查OUT参数是否已更改。如果两者不相等，则表示OUT参数已经被修改过。