taglinefilesource code
hl526mm/mmap.cint h, hl, hr;
hl533mm/mmap.chl = heightof(tree->vm_avl_left);
hl535mm/mmap.cif ((h == hl+1) && (hr <= hl) && (hl <= hr+1))
hl537mm/mmap.cif ((h == hr+1) && (hl <= hr) && (hr <= hl+1))