Reworked to assure that the compile cannot assume aliasing