548a549,553
>
> // keep an instruction count
> if (fault == NoFault)
> countInst();
>