Re: Bug regarding interleaved IR dump