external get_line : text_iter -> int = "ml_gtk_text_iter_get_line"