[steveklabnik]

You only pay for bounds checks if you use them, same with the overflow stuff, or option types. That's not in contradiction to this principle.