external select_child : [>`list] obj -> [>`listitem] obj -> unit
      = "ml_gtk_list_select_child"