INT32BUFSZ
char version[INT32BUFSZ];
(void) snprintf(version, INT32BUFSZ, "%d", pip->tpi_version);
char inst[INT32BUFSZ];
(void) snprintf(inst, INT32BUFSZ, "%d", node->tn_instance);
char min[INT32BUFSZ], max[INT32BUFSZ];
(void) snprintf(min, INT32BUFSZ, "%d", nhp->th_range.tr_min);
(void) snprintf(max, INT32BUFSZ, "%d", nhp->th_range.tr_max);