<p>aliasing analysis: important both for compilers and for oscilloscopes</p>