Have you tried a pointer to an array of strings?

char *strings[] = { "01234", "43210", "4567" };

Something like that perhaps? You can put a NULL string at the end if it makes some of your algorithms more efficient.