Thanks. I've implemented it like this, and found no violations
so far.
It's hacked in as a simple switch statement, there's no fancy logic
that would trigger the check just because the above condition holds for
given DIE context.
Great.
Thanks,
Roland