/jack-tests/tests/com/android/jack/opcodes/double_to_int/