class V1 {
  m1():Int{1};
};

class V2 inherits V1 {
  m1():Int{2};
};

class Main {
  v2:V2<-new V2;
  
  main() : SELF_TYPE {{
    (new IO).out_int(v2@V1.m1());
    self;
  }};
};