* Paul Sandoz: > Thanks for the clarification. I see what you are getting at now. > > Yes, under those aliased circumstances there is not much we can do. > All we can talk about is overlapping regions in virtual memory. Is there a way to capture this in the specification? Thanks, Florian