external get_length : [>`text] obj -> int = "ml_gtk_text_get_length"