external tearoff_create : unit -> menu_item obj
      = "ml_gtk_tearoff_menu_item_new"