state_itoa
(void) printf(" (%s)", state_itoa(hp_state(node)));
(void) printf(" (%s)", state_itoa(hp_state(node)));
(void) printf(" (%s)", state_itoa(hp_state(node)));
(void) printf(" (%s)", state_itoa(hp_state(node)));
static char *state_itoa(int);