Aliasing is one example of the huge-array-of-bytes abstraction being broken