Moritz Warning: > When the contents are both const, then there won't be any writing > to it, of course. In that case the same optimizations can be applied as > when they point to different memory. > > both arrays point to different memory. I see, thank you. Bye, bearophile