external allocation : [>`widget] obj -> rectangle
      = "ml_gtk_widget_allocation"