  };
  
  static class RealTimeSchedulerClass : public TclClass {
-@@ -974,16 +1040,85 @@
- RealTimeScheduler::RealTimeScheduler() : start_(0.0)
+@@ -971,19 +1043,89 @@
+ 	}
+ } class_realtime_sched;
+ 
+-RealTimeScheduler::RealTimeScheduler() : start_(0.0)
++RealTimeScheduler::RealTimeScheduler() : start_(0.0), num_violation_(0),
++                                         clock_first_violation_(0.0)
  {
  	bind("maxslop_", &slop_);
 +#ifdef USEEVENTS

 	return;
 }
 
@@ -956,11 +1010,23 @@
 	virtual void run();
 	double start() const { return start_; }
 	virtual void reset();

     fprintf(stderr,
 	    "IPTapAgent(%s): sendpkt called while in read-only mode!\n",
 	    name());
@@ -245,7 +442,7 @@
   
   // send packet into the live network
   hdr_cmn* hc = HDR_CMN(p);
