external get_insert : text_buffer -> text_mark 
    = "ml_gtk_text_buffer_get_insert"