external create_with_label : string -> check_menu_item obj
      = "ml_gtk_check_menu_item_new_with_label"