external get_child_height : [>`buttonbox] obj -> int
      = "ml_gtk_button_box_get_child_min_height"