# Write several lines to a stream
	fun write_lines(lines: Array[Array[Object]]) do for i in lines do write_line i