taglinefilesource code
heightleft338mm/mmap.cint heightleft = heightof(nodeleft);
heightleft340mm/mmap.cif (heightright + 1 < heightleft) {
heightleft375mm/mmap.cnodeleftright->vm_avl_height = heightleft;
heightleft379mm/mmap.celse if (heightleft + 1 < heightright) {
heightleft399mm/mmap.cint height = (heightleft<heightright ? heightright : heightleft) + 1;