long ret_conv_25 = ret[z];
TwoTuple_PublicKeyTypeZ ret_conv_25_hu_conv = new TwoTuple_PublicKeyTypeZ(null, ret_conv_25);
ret_conv_25_hu_conv.ptrs_to.add(this);
long ret_conv_25 = ret[z];
TwoTuple_PublicKeyTypeZ ret_conv_25_hu_conv = new TwoTuple_PublicKeyTypeZ(null, ret_conv_25);
ret_conv_25_hu_conv.ptrs_to.add(this);