external backward_lines : text_iter -> int -> bool = "ml_gtk_text_iter_backward_lines"