srecord WithToString<A> extends Var<A> {
  S string;
  
  *() {}
  *(A a, S *string) { super(a); }
  
  toString { ret string; }
}