Implementation-defined is not a problem if there is only one implementation, since your code is going to work the same everywhere. Languages like Java literall

Implementation-defined is not a problem if there is only one implementation, since your code is going to work the same everywhere. Languages like Java literally copied most of their syntax from C, so obviously they have the same problem and I hate them too. Ditto for other languages that don't have compile-time asserts. X-macros are a poor substitute for… well, actual macros. Or just metaprogramming in general.