Could you please give a simple practical example where pointer provenance or another similar anti-aliasing mechanism prevent a useful hardware-facing piece of code from being compiled?