ADA Program to find the product of two integer number

Program

With Gnat.IO; use Gnat.IO;
procedure multwointeger is
	a : Integer;
	b : Integer;
	mul : Integer;
begin
	Put ("Enter value of a: ");
	Get (a);
	Put ("Enter value of b: ");
	Get (b);
	mul := a * b;
	Put_Line ("Product = " & integer'image(mul));
end;

Output

$ gnat make multwointeger.adb
gcc -c multwointeger.adb
gnatbind -x multwointeger.ali
gnatlink multwointeger.ali
$ ./multwointeger
Enter value of a: 13
Enter value of b: 65
Product =  845