taglinefilesource code
heightright347mm/mmap.cint heightright = heightof(noderight);
heightright348mm/mmap.cif (heightright + 1 < heightleft) {
heightright387mm/mmap.celse if (heightleft + 1 < heightright) {
heightright402mm/mmap.cnoderightleft->vm_avl_height = heightright;
heightright407mm/mmap.cint height = (heightleft<heightright ? heightright : heightleft) + 1;