Does anyone know if this really needs to be an immutable pass? Was it done this way for efficiency? I am trying to see if I can turn it into a function pass. Playing with it for an hour I made the compilation changes but ran into a bunch of "make check" failures. I'm wondering if the module level passes are dependent on this pass. Tia. Reed