generic
	type Elem is limited private;
	with function Vege ( e: Elem ) return BOOLEAN;
	with procedure Atalakit ( e: in out Elem );

procedure Iteral ( e: in out Elem; lepesszam: out NATURAL );