def before(A: T.Buffer[16, "float32"]):
     for i in T.serial(16):
         if -64 <= T.shift_left(-i, 4, dtype="int32"):
             A[i] = 0.0
 def before(A: T.Buffer[16, "float32"]):
     for i in T.serial(16):
         if T.shift_left(16, -i, dtype="int32") <= 16:
             A[i] = 0.0
 def before(A: T.Buffer[1, "int32"], n: T.int32):
     A[0] = T.shift_left(n, 1, dtype="int32")