external compare : text_iter -> text_iter -> int = "ml_gtk_text_iter_compare"