Bounds-Check Elimination