HPC3130_NAME_MAX
(void) snprintf(ev.name, HPC3130_NAME_MAX,
ASSERT(strlen(ev.name) < HPC3130_NAME_MAX - 1);
HPC3130_NAME_MAX - strlen(ev.name),
char name[HPC3130_NAME_MAX];