public class TXRObjectList : TXRObject {
  public int objectlist_field;

  public override void copy (TXRObject copy) {
    stdout.printf ("TXRObjectList:copy() called\n");
    if (copy is TXRObjectList) {
      base.copy (copy);
      ((TXRAddSpaces)copy).objectlist_field = this.objectlist_field;
    }
  }
}