1576157715781579158015811582158315841585
assertGoodRange(r, body, from); if (r.getStart() == ih) { ranges.push(r); } else if (r.getEnd() == ih) { if (ranges.peek() != r) { throw new BCException("bad range inclusion in " + from); } ranges.pop(); } }