ARGNAME
char name[sizeof (ARGNAME) + 10];
(void) snprintf(name, sizeof (name), "%s%d", ARGNAME, num);