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");