srecord Percent(double percent) {
  void set(double percent) { percent = percent; }
  double get() { ret percent; }
  
  toString {
    ret percent + " %";
  }
}