taglinefilesource code
hr554mm/mmap.cint h, hl, hr;
hr562mm/mmap.chr = heightof(tree->vm_avl_right);
hr563mm/mmap.cif ((h == hl+1) && (hr <= hl) && (hl <= hr+1))
hr565mm/mmap.cif ((h == hr+1) && (hl <= hr) && (hr <= hl+1))