procedure Test is
 
      function Add_Int(A, B: Integer) return Integer;
      pragma Import (C, Add_Int, "add_integer");
 
      A, B, C   : Integer;
 
   begin
 
      A := 1;
      B := 2;
      C := 0;
 
      C := Add_Int(A,B);
 
      if C = (A+B) then
         Text_Io.Put_Line("Add successful");
      else
         Text_Io.Put_Line("Add failed");
      end if;
 
   end Test;