all correctness test cases pass, next step is to actually check for aliasing