taglinefilesource code
heightleft347mm/mmap.cint heightleft = heightof(nodeleft);
heightleft349mm/mmap.cif (heightright + 1 < heightleft) {
heightleft384mm/mmap.cnodeleftright->vm_avl_height = heightleft;
heightleft388mm/mmap.celse if (heightleft + 1 < heightright) {
heightleft408mm/mmap.cint height = (heightleft<heightright ? heightright : heightleft) + 1;