if (ret >= 0 && ret <= 4096) { return null; }
TwoTuple_BlockHashChannelMonitorZ ret_hu_conv = new TwoTuple_BlockHashChannelMonitorZ(null, ret);
ret_hu_conv.ptrs_to.add(ret_hu_conv);
if (ret >= 0 && ret <= 4096) { return null; }
TwoTuple_BlockHashChannelMonitorZ ret_hu_conv = new TwoTuple_BlockHashChannelMonitorZ(null, ret);
ret_hu_conv.ptrs_to.add(ret_hu_conv);