external get_iter_at_line_index : text_buffer -> int -> int -> text_iter = "ml_gtk_text_buffer_get_iter_at_line_index"