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