sclass FixedRateTimer extends java.util.Timer {
  *() {}
  *(bool daemon) { super(daemon); }
  
  new L<Entry> entries;
  
  srecord noeq Entry(TimerTask task, long firstTime, long period) {}
  
  // Note: not all methods overridden; only use these once
  
  public void scheduleAtFixedRate(TimerTask task, long delay, long period) {
    entries.add(new Entry(task, now()+delay, period));
    super.scheduleAtFixedRate(task, delay, period);
  }
}