taglinefilesource code
hl548mm/mmap.cint h, hl, hr;
hl555mm/mmap.chl = heightof(tree->vm_avl_left);
hl557mm/mmap.cif ((h == hl+1) && (hr <= hl) && (hl <= hr+1))
hl559mm/mmap.cif ((h == hr+1) && (hl <= hr) && (hr <= hl+1))