62c62,64
< tc->setPC(tc->readMiscReg(IPR_PAL_BASE) + (new ResetFault)->vect());
---
> AlphaFault *reset = new ResetFault;
>
> tc->setPC(tc->readMiscReg(IPR_PAL_BASE) + reset->vect());
63a66,67
>
> delete reset;