taglinefilesource code
heightright333mm/mmap.cint heightright = heightof(noderight);
heightright334mm/mmap.cif (heightright + 1 < heightleft) {
heightright373mm/mmap.celse if (heightleft + 1 < heightright) {
heightright388mm/mmap.cnoderightleft->vm_avl_height = heightright;
heightright393mm/mmap.cint height = (heightleft<heightright ? heightright : heightleft) + 1;