How to debug a double-pass lens file