with text_io;
procedure Kiir ( x: in T ) is
	begin text_io.Put_Line(toString(x));
end Kiir;