avl_lookup
struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm);
return avl_lookup(stree, (struct sm_state *)&tracker);