int x) {! int tmp1 = Runtime.getFieldValue(c, "C", "y", "I");! return x + tmp1;! }! public static void method2(C c, String s) {! PrintStream tmp1 = Runtime.getFieldValue(! null, "java/lang/System", "out", "Ljava/io/PrintStream;");! Object[] o = new Object[1];! o[0] = s;! Runtime.redirect(! tmp1, o, "java/io/PrintStream;", "println", ! "(Ljava/lang/String;)V");! }! }!