external backward_char : text_iter -> bool = "ml_gtk_text_iter_backward_char"