checkedint call removal

[Daniel Murphy via Digitalmars-d]

"Timon Gehr"  wrote in message news:lrb2o9$314b$1 at digitalmars.com...

> > Because there is no way you can prove say OpenGL drivers to be correct.
> > They are a black box provided by the execution environment.
>
> I see. (Though I secretly still dare to hope for verified OpenGL drivers, 
> or something analogous: it is not completely out of reach theoretically; 
> the machine can be given a quite precise formal specification.)

But even if the drivers are verified, the hardware might be buggy!  And if 
the hardware's verified, the power source might be unstable!