for (int j = 0; j < res_conv_35_len; j++) {
long res_conv_35 = res[j];
TwoTuple_BlockHashChannelMonitorZ res_conv_35_hu_conv = new TwoTuple_BlockHashChannelMonitorZ(null, res_conv_35);
for (int j = 0; j < res_conv_35_len; j++) {
long res_conv_35 = res[j];
TwoTuple_BlockHashChannelMonitorZ res_conv_35_hu_conv = new TwoTuple_BlockHashChannelMonitorZ(null, res_conv_35);