avl_double        553 third_party/bintrees/bintrees/ctrees.c 					up[top] = avl_double(up[top], !upd[top]);
avl_double        651 third_party/bintrees/bintrees/ctrees.c 					up[top] = avl_double(up[top], upd[top]);