changes to memory aliasing