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

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