external request_contents : clipboard -> target:Gdk.atom -> callback:(selection_data -> unit) -> unit = "ml_gtk_clipboard_request_contents"