external destroy : [>`gtk] obj -> unit = "ml_gtk_object_destroy"