Comment by high_5

Correct code is not cheap. And some places you need a very correct code. Like in mission critical systems.