sclass FPSCounter {
  new Timestamp started;
  double counter;
  
  synchronized void inc() { counter++; }

  synchronized double get() {
    ret doubleRatio(counter, elapsedSeconds(started));
  }
}