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

static Int incIntVar(Var<Int> v, int i) {
  ret syncIncIntVar(v, i);
}