PROF_NAMELEN
char n[PROF_NAMELEN];
(void) snprintf(n, PROF_NAMELEN, "%s%d",
char prof_name[PROF_NAMELEN];