external paste_clipboard : text_buffer -> clipboard -> text_iter option -> bool -> unit = "ml_gtk_text_buffer_paste_clipboard"