code: def transformed_recursive_match(a: T.handle, b: T.handle) -> None:
      A = T.match_buffer(a, (64, 64, 64))
      B = T.match_buffer(b, (64, 64, 64))
      for i, j, k in T.grid(64, 4, 4):
          with T.block():
              T.reads([])
              T.writes(
                  [
                      A[i, j * 16 : j * 16 + 16, k * 16 : k * 16 + 16],
                      B[i, j * 16 : j * 16 + 16, k * 16 : k * 16 + 16],
                  ]
              )
              for jj, kk in T.grid(4, 4):
                  with T.block():
                      T.reads([])
                      T.writes(
                          [
                              A[
                                  i,
                                  j * 16 + jj * 4 : j * 16 + jj * 4 + 4,
                                  k * 16 + kk * 4 : k * 16 + kk * 4 + 4,
                              ],
                              B[
                                  i,
                                  j * 16 + jj * 4 : j * 16 + jj * 4 + 4,
                                  k * 16 + kk * 4 : k * 16 + kk * 4 + 4,
                              ],
                          ]
                      )
                      T.evaluate(
                          intrin_test(
                              A.data,
                              i * 4096
                              + j * 1024
                              + jj * 256
                              + k * 16
                              + kk * 4,
                              64,
                              1,
                              4,
                              4,
                          )
                      )
                      for jjj, kkk in T.grid(4, 4):
                          B[
                              i,
                              j * 16 + jj * 4 + jjj,
                              k * 16 + kk * 4 + kkk,
                          ] = 1
  
imports: import pytest
  import tvm
  import tvm.testing
  from tvm.script import tir
label_desc: Use image node_id 13 for calling a global function with example usage: transformed_recursive_match(a, b) without return types