Thanks for noticing that unfortunate interaction. These should ideally be largely orthogonal, of course. I'll check w/ upstream and see what the right thing is. Maybe they can add a half-hearted-debugging option, which enables debugging stuff that won't interfere with optimization or performance. Cheers. --Barak.