print_list_cb
{ "TYPE", TYPE_WIDTH, LIST_TYPE, print_list_cb },
{ "PROFILE", PROFILE_WIDTH, LIST_PROFILE, print_list_cb },
{ "STATE", STATE_WIDTH, LIST_STATE, print_list_cb },
{ "AUXILIARY STATE", AUXSTATE_WIDTH, LIST_AUXSTATE, print_list_cb },
static ofmt_cb_t print_list_cb;