1Checker test for testing checked cast elimination.
2