INTSTRLEN
char bindbuf[INTSTRLEN];
char typebuf[INTSTRLEN];
char shndxbuf[INTSTRLEN];
(void) snprintf(typebuf, INTSTRLEN,
(void) snprintf(bindbuf, INTSTRLEN,
(void) snprintf(shndxbuf, INTSTRLEN,
(void) snprintf(shndxbuf, INTSTRLEN,