let add_options = ref ""