def METHOD_NAME(a_ptr: T.handle("float32"), b_ptr: T.handle("float32")):
    T.func_attr({"global_symbol": "main", "tir.noalias": True})
    A = T.decl_buffer(1, "float32", data=a_ptr)
    B = T.decl_buffer(1, "float32", data=b_ptr)
    B[0] = A[1] + 1.0