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