Modify to allow global aliasing