// *******************************************
 abstract class Mode {
  public Mode() {
    super();
    }
  abstract void traverse_maxSize(IntegerRef m, int s);
}