external get_iter_at_offset : text_buffer -> int -> text_iter = "ml_gtk_text_buffer_get_iter_at_offset"