print_o_state
{"o_state", "Occupant", STATE_WIDTH, compare_o_state, print_o_state, NULL},
static void print_o_state(cfga_list_data_t *, int, char *);