array_bounds.patch
