generic
	type Szam is private;
	type Index is (<>);
	type Vektor is array (Index range <>) of Szam;
	Zerus: in Szam;
	with function "+" ( a, b: Szam ) return Szam is <>;

function Szumma ( v: Vektor ) return Szam;