external backward_chars : text_iter -> int -> bool = "ml_gtk_text_iter_backward_chars"