* options.h (DEFINE_var): Add set_user_set_##varname__.