INT64BUFSZ
char vbuf[INT64BUFSZ];
(void) snprintf(vbuf, INT64BUFSZ, "%d", val);
(void) snprintf(vbuf, INT64BUFSZ, "0x%x", val);
(void) snprintf(vbuf, INT64BUFSZ, "%" PRId64, val);
(void) snprintf(vbuf, INT64BUFSZ, "0x%" PRIx64, val);
(void) snprintf(vbuf, INT64BUFSZ, "%d", val[i]);
(void) snprintf(vbuf, INT64BUFSZ, "0x%x",
(void) snprintf(vbuf, INT64BUFSZ, "%" PRId64,
(void) snprintf(vbuf, INT64BUFSZ, "0x%" PRIx64,