On Thu, Jun 02, 2005 at 08:46:25PM +0200, Richard Guenther wrote: > Does it mean if the middle-end exchanges one > type for the other there should be no observable effects (correctness > wise) down the road? Yes. r~