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);
 }