static int inc(AtomicInteger i) {
  ret incAtomicInt(i);
}

static int inc(AtomicInteger i, int delta) {
  ret incAtomicInt(i, delta);
}

static long inc(AtomicLong l) {
  ret incAtomicLong(l);
}

static long inc(AtomicLong l, long b) {
  ret l.addAndGet(b);
}

static int inc(IntVar v) {
  synchronized(v) {
    int val = v! + 1;
    v.set(val);
    ret val;
  }
}

static int inc(int i) { ret i+1; }
static long inc(long l) { ret l+1; }