Symbol: opt_provider_option_given