static void ctxSetVar(S var, S val) {
  print("ctxSetVar " + var + " = " + quote(val));
  ctxContext().vars.put(var, val);
}