+ @Override public void filtered_block_connected(byte[] header, long[] txdata, int height) {
+ int txdata_conv_28_len = txdata.length;
+ TwoTuple_usizeTransactionZ[] txdata_conv_28_arr = new TwoTuple_usizeTransactionZ[txdata_conv_28_len];
+ for (int c = 0; c < txdata_conv_28_len; c++) {
+ long txdata_conv_28 = txdata[c];
+ TwoTuple_usizeTransactionZ txdata_conv_28_hu_conv = new TwoTuple_usizeTransactionZ(null, txdata_conv_28);
+ if (txdata_conv_28_hu_conv != null) { txdata_conv_28_hu_conv.ptrs_to.add(this); };
+ txdata_conv_28_arr[c] = txdata_conv_28_hu_conv;
+ }
+ arg.filtered_block_connected(header, txdata_conv_28_arr, height);
+ Reference.reachabilityFence(arg);
+ }