sclass PreIncLongCounter {
  long value;
  
  synchronized long get() { ret ++value; }
  synchronized void set(long value) { this.value = value; }
}