external get_mark : text_buffer -> string -> text_mark option 
    = "ml_gtk_text_buffer_get_mark"