with GetDiscreet, TEXT_IO; use TEXT_IO;
procedure Proba is
	function GetInt is new GetDiscreet(INTEGER);
begin
	Put_Line(INTEGER'IMAGE(GetInt("nem jo, meg egyszer: ")));
end Proba;