GossipTimestampFilter ret_hu_conv = new GossipTimestampFilter(null, ret);
ret_hu_conv.ptrs_to.add(ret_hu_conv);
return ret_hu_conv;
GossipTimestampFilter ret_hu_conv = new GossipTimestampFilter(null, ret);
ret_hu_conv.ptrs_to.add(ret_hu_conv);
return ret_hu_conv;