match add_def_opts([])