code: def compacted_symbolic_strided_buffer_func(a: T.handle) -> None:
      n = T.int32()
      A = T.match_buffer(a, (1, n, 10240))
      padded_size = T.meta_var(T.min((n + 63) // 64 * 64, 96))
      # with T.block("root"):
      for i, j, k in T.grid(((n + 63) // 64 * 4 + 7) // 8, 2, 160):
          with T.block(""):
              A_pad_shared_dyn = T.alloc_buffer(
                  (1, padded_size, 64),
                  strides=(72 * padded_size, 72, 1),
                  scope="shared.dyn",
              )
              for ax0, ax1 in T.grid(96, 64):
                  with T.block("A_pad_shared.dyn"):
                      T.where(
                          i * 128 + j * 32 + ax0 < (n + 63) // 64 * 64
                      )
                      A_pad_shared_dyn[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 16 for calling a global function with example usage: compacted_symbolic_strided_buffer_func(a) without return types