// *******************************************
 class RegularFile extends Mode {
  protected Block_List blocks;
  public Block_List get_blocks() { return blocks;   }
  public void set_blocks(Block_List new_blocks) { blocks = new_blocks;   }
  public RegularFile() { super();   }
  public RegularFile(Block_List blocks) {
    super();
    set_blocks(blocks);
    }
  void traverse_maxSize(IntegerRef m, int s){   
    int currentMax = m.getValue();
    if (s > currentMax) m.setValue(s);
  } 
}