DivZeroCheck
CheckCast
BoundsCheck
