This would be visible in the generated TPF code. While it should be harmless, I think I'd prefer to not have it. Hopefully there won't be many other bugs like this, and it's trivial for a developer to add back this gadget in their code if required.
We could make this kind of thing a compilation option, I suppose?