1Test code generation for BoundsCheck.
2