userconf_change
userconf_change(a);
void userconf_change(int);
userconf_change(i);
userconf_change(userconf_totdev+1+i);