101a102,103
> void scheduleInstStop(ThreadID tid, Counter insts, const char *cause);
> void scheduleLoadStop(ThreadID tid, Counter loads, const char *cause);