public class A {
  public A() {}
  public int m(java.util.Vector x) {
    return x.size();
  }
}