public class Sub3 extends Super3 {
  public Integer m() {return new Integer(42);}
}