opt_provider_option_given
int opt_provider_option_given(void);
int provider_options = opt_provider_option_given();