public class TXRObject : GLib.Object {
  public int object_field;

  public virtual void copy (TXRObject copy) {
      stdout.printf ("TXRObject:copy() called\n");
      copy.object_field = this.object_field;
  }
}