public static void f3DEC() throws Exception { D.fooDEC(); }
public void f3(D d) { // D has no subclass; so no multiple run-type versions of foo is possible. // So, no encoding is needed. d.foo(0); }