@Override
public void preStart(final StartEvent se) {
final ShadowThread td = se.getThread();
final ShadowThread forked = se.getNewThread();
final CV curCV = ts_get_cv(td);
CV forkedCV = ts_get_cv(forked);
this.maxAndIncEpochAndCV(forked, curCV, se);
this.incEpochAndCV(td, se);
super.preStart(se);
}
