long ret_conv_20 = ret[u];
TwoTuple_u32TxOutZ ret_conv_20_hu_conv = new TwoTuple_u32TxOutZ(null, ret_conv_20);
ret_conv_20_hu_conv.ptrs_to.add(this);
long ret_conv_20 = ret[u];
TwoTuple_u32TxOutZ ret_conv_20_hu_conv = new TwoTuple_u32TxOutZ(null, ret_conv_20);
ret_conv_20_hu_conv.ptrs_to.add(this);