external get_pointer : [>`widget] obj -> int * int
      = "ml_gtk_widget_get_pointer"