In many places we treat this as codegen-time information anyway.
For loopy, this is the necessary way to go.