Comment by mlangdon

> Bounds and overflow checking, both on array accesses and on arithmetic

I like that one. Anyone know any widely adopted languages that do this?