Correctness can be established well enough - even if guaranteed automatically - in a language with UB.
Correctness can be established well enough - even if guaranteed automatically - in a language with UB.