132a133,134
> void setProcessPtr(Process *p) { actualTC->setProcessPtr(p); }
>
256a259,264
> void setNPC(Addr val)
> {
> checkerTC->setNPC(val);
> actualTC->setNPC(val);
> }
>