write_userconfig
int write_userconfig(char const * file);
if (write_userconfig(arg ? arg->val : NULL))
