Using array notation to avoid pointer aliasing