How hard would it be to introduce special syntax for these variables so they are guaranteed not to conflict with user vars? Of course the programmer needs to name them sometimes, but it seems suspect that they are recognized specially, but there is no indication in the name that these are meaningful internally to Halide.