external forward_chars : text_iter -> int -> bool = "ml_gtk_text_iter_forward_chars"