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