On Friday, 10 August 2012 at 20:11:08 UTC, Timon Gehr wrote: > The point is that Ada didn't prevent it. > […] > Correlation is correlation. Following the same logic, you could argue that SafeD is useless, because you can still write exactly the same kind of memory-corruption bugs if you only disable it. David