implement aliasing-preventing code