static AutoCloseable temp_ai_setVar(fS var, O value) {
  final Map<S, O> prev = ai_getOrCreateVars();
  fO oldValue = prev.put(var, value);
  ret new AutoCloseable { public void close() {
    mapPut(prev, var, oldValue);
    ai_setVars(prev);
  }};
}