external set_line : text_iter -> int -> unit = "ml_gtk_text_iter_set_line"