It's not really true that "the semantics of C++ aren't that complicated". Once you take into account undefined behavior --- which you need to, so you can avoid

It's not really true that "the semantics of C++ aren't that complicated". Once you take into account undefined behavior --- which you need to, so you can avoid it --- it's so complicated that researchers haven't yet figured out what those semantics are.