ADA Program to find the difference of two integer number

Program

With Gnat.IO; use Gnat.IO;
procedure subtwointeger is
	a : Integer;
	b : Integer;
	diff : Integer;
begin
	Put ("Enter value of a: ");
	Get (a);
	Put ("Enter value of b: ");
	Get (b);
	diff := a - b;
	Put_Line ("Difference = " & integer'image(diff));
end;

Output

$ gnat make subtwointeger.adb
gcc -c subtwointeger.adb
gnatbind -x subtwointeger.ali
gnatlink subtwointeger.ali
$ ./subtwointeger
Enter value of a: 76
Enter value of b: 13
Difference =  63