code: def transformed_symbolic_strided_buffer_func(a: T.handle):
      n = T.int32()
      A = T.match_buffer(a, (1, n, 10240))
      for i, j, k in T.grid(((n + 63) // 64 * 4 + 7) // 8, 2, 160):
          A_pad_shared_dyn = T.allocate(
              [1, T.min((n + 63) // 64 * 64, 96), 72],
              "float32",
              "shared.dyn",
          )
          A_pad_shared_dyn_1 = T.decl_buffer(
              (1, T.min((n + 63) // 64 * 64, 96), 64),
              data=A_pad_shared_dyn,
              strides=(72 * T.min((n + 63) // 64 * 64, 96), 72, 1),
              scope="shared.dyn",
          )
          for ax0, ax1 in T.grid(96, 64):
              if i * 128 + j * 32 + ax0 < (n + 63) // 64 * 64:
                  A_pad_shared_dyn_1[0, ax0, ax1] = T.if_then_else(
                      i * 128 + j * 32 + ax0 < n,
                      A[0, i * 128 + j * 32 + ax0, k * 64 + ax1],
                      T.float32(0),
                  )
  
imports: import tvm
  import tvm.testing
  from tvm import te
  from tvm.script import tir
label_desc: Use image node_id 17 for calling a global function with example usage: transformed_symbolic_strided_buffer_func(a) without return types