debugging pri lowering