Pointer-induced aliasing | Synapse