Redirecting to Bounds-checking elimination