DUMP_PANICSIZE
char msg[DUMP_PANICSIZE + 100];
(void) vsnprintf(dumphdr->dump_panicstring, DUMP_PANICSIZE,
char dump_panicstring[DUMP_PANICSIZE]; /* copy of panicstr */