> The semantics are not well defined, or at least not uniquely > defined, if you like that term better. I prefer the terms determistic and non-deterministic. You can have a program whose result is entirely well defined, but non-determinstic. THat's not a problematical concept at all.