public PointerStruct(PointerStruct other) {

    this();
    copy_from(other);
  }