ADA Program to find the division of two integer number

Program

With Gnat.IO; use Gnat.IO;
procedure divtwointeger is
	a : Integer;
	b : Integer;
	div : Integer;
begin
	Put ("Enter value of a: ");
	Get (a);
	Put ("Enter value of b: ");
	Get (b);
	div := a / b;
	Put_Line ("Divison = " & integer'image(div));
end;

Output 1

$ gnat make divtwointeger.adb
gcc -c divtwointeger.adb
gnatbind -x divtwointeger.ali
gnatlink divtwointeger.ali
$ ./divtwointeger
Enter value of a: 8
Enter value of b: 4
Divison =  2

Output 2

$ gnat make divtwointeger.adb
gcc -c divtwointeger.adb
gnatbind -x divtwointeger.ali
gnatlink divtwointeger.ali
$ ./divtwointeger
Enter value of a: 12
Enter value of b: 0
raised CONSTRAINT_ERROR : divtwointeger.adb:11 divide by zero