I agree with some points as well. In fact, the OP argues that sufficient engineering attention can solve the problem, but I think that's only theoretical in reality, it's difficult. It's like C programmers claiming that undefined behavior is manageable.