Is this correct? Looks like we'll get halide_rewrite_buffer(, ...)