tavor_agent_list_fini
tavor_agent_list_fini(state);
static void tavor_agent_list_fini(tavor_state_t *state);