new tests for may alias
cleanup, fix *(ptr+i)