external separator_create : unit -> menu_item obj
      = "ml_gtk_separator_menu_item_new"