taglinefilesource code
heightleft310mm/mmap.cint heightleft = heightof(nodeleft);
heightleft312mm/mmap.cif (heightright + 1 < heightleft) {
heightleft347mm/mmap.cnodeleftright->vm_avl_height = heightleft;
heightleft351mm/mmap.celse if (heightleft + 1 < heightright) {
heightleft371mm/mmap.cint height = (heightleft<heightright ? heightright : heightleft) + 1;