const char *argv1[] = { prgname, prefix, no_huge, no_shconf, "-c", "1", "-n"};
/* bad numeric value */
const char *argv2[] = { prgname, prefix, no_huge, no_shconf, "-c", "1", "-n", "e" };
const char *argv1[] = { prgname, prefix, no_huge, no_shconf, "-c", "1", "-n"};
/* bad numeric value */
const char *argv2[] = { prgname, prefix, no_huge, no_shconf, "-c", "1", "-n", "e" };