Well, at least with a consistent spec you can create a compiler for a good language.

Somehow, undefined behavior in C is a much smaller problem than it looks like. But the principle still applies.