//testsubgroup abstract valuetype as base class
//tsgdescr "Testing  the abstract valuetype as base class"

abstract valuetype AbsVal1 {
  short op1();

};

abstract valuetype AbsVal2 {
  long op2();

};

valuetype Val:AbsVal1, AbsVal2 {
//state

  public any anyMbr;

// initializer

  factory init(in any anyMbr);
};
