generic
	type T is limited private;
	with function toString ( x: T ) return String;
procedure Kiir ( x: in T );