/jack-tests/tests/com/android/jack/opcodes/check_cast/