I really do not like that new trend about "soundness", because it is largely pointless.

By definition - the "sound" language is a promise that a language does not have "undefined behavior" at all. If you have at least one example of undefined behavior, then the language is "unsound".

I would say: there is no real language which is "sound".