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