I came to the point where it makes sense that the generated C code
must have a volatile declaration for a variable because this variable
is set by another thread.
Before i patch my compiler, i would like to know if there is something
official about this.
I guess we need a way to attach arbitrary attributes to declarations
(variables, methods, maybe even constants).
