> I have yet another proposal. Can I file a JBS issue to avoid a short > trip-counted loop from trip-mining? There's code for that already in OuterStripMinedLoopNode::adjust_strip_mined_loop(). Roland.