taglinefilesource code
heightright348mm/mmap.cint heightright = heightof(noderight);
heightright349mm/mmap.cif (heightright + 1 < heightleft) {
heightright388mm/mmap.celse if (heightleft + 1 < heightright) {
heightright403mm/mmap.cnoderightleft->vm_avl_height = heightright;
heightright408mm/mmap.cint height = (heightleft<heightright ? heightright : heightleft) + 1;