this.ptrs_to.add(this_ptr);
}
// Skipped NodeAnnouncementInfo_set_addresses
public NodeAnnouncement get_announcement_message(NodeAnnouncementInfo this_ptr) {
this.ptrs_to.add(this_ptr);
}
// Skipped NodeAnnouncementInfo_set_addresses
public NodeAnnouncement get_announcement_message(NodeAnnouncementInfo this_ptr) {