Test code generation for BoundsCheck.