static Int syncIncIntVar(Var<Int> v, int i) {
  if (v == null) null;
  synchronized(v) {
    v.set(or0(v!)+i);
    ret v!;
  }
}

static Int syncIncIntVar(Var<Int> v) {
  ret syncIncIntVar(v, 1);
}