static AutoCloseable tempIncIntVar(final Var<Int> v) {
  if (v == null) null;
  v.set(v!+1);
  ret autocloseable { v.set(v!-1); };
}