The "2x slower" is an extremely conservative estimate if all loads and stores were bounds checked. Given the indirect effects on program optimization, it might

The "2x slower" is an extremely conservative estimate if all loads and stores were bounds checked. Given the indirect effects on program optimization, it might be closer to 10x for practical programs.