with text_io; use text_io;
procedure Fakt_E is
	function Faktor ( i: natural ) return positive is
	begin
		return Faktor(i-1) * i;
	exception
		when constraint_error => return 1;
	end Faktor;
begin
	put_line(integer'image(Faktor(3)));
end Fakt_E;