code: def symbolic_match(
      a: T.handle, b: T.handle, n: T.int32, m: T.int32
  ) -> None:
      A = T.match_buffer(a, (n * m, m))
      B = T.match_buffer(b, (n * 2, m * 4))
      for i in range(0, n):
          with T.block():
              T.reads([])
              T.writes(
                  [
                      A[i * m : i * m + n, 0:m],
                      B[i * n : i * n + 2, 0 : m * 4],
                  ]
              )
              Bs_0 = T.int32()
              Bs_1 = T.int32()
              sub_A = T.match_buffer(
                  A[i * m : i * m + m, 0:m], (m, m), offset_factor=1
              )
              sub_B = T.match_buffer(
                  B[i * n : i * n + 2, 0 : m * 4],
                  (2, m * 4),
                  strides=[Bs_0, Bs_1],
                  offset_factor=1,
              )
              for ii, jj in T.grid(m, m):
                  sub_A[ii, jj] = 1
              for j in range(0, 4):
                  T.evaluate(
                      intrin_test(
                          sub_B.data,
                          sub_B.elem_offset,
                          sub_B.strides[0],
                          sub_B.strides[1],
                          sub_B.shape[0],
                          sub_B.shape[1],
                      )
                  )
  
imports: import pytest
  import tvm
  import tvm.testing
  from tvm.script import tir
label_desc: Use image node_id 14 for calling a global function with example usage: symbolic_match(a, b, n, m) without return types