I absolutely agree that it's a step in the right direction. My point is that we can't get all the way to where we want to be simply by incremental improvements

I absolutely agree that it's a step in the right direction. My point is that we can't get all the way to where we want to be simply by incremental improvements in compilers. At some point we have to change the code itself because it's impossible to fully retrofit safety onto C.