James, thank you very much for your explanations.
> Not a compiler bug, in my opinion. The compiler is doing exactly what
> we told it to do ("assume nobody outside of this module can modify
> this value unless someone here takes its address") ... just not what
> we wanted.
This is what I suspected, but I wanted to consider the fact that other
interpretations could exist.
Thanks again,
Nils
