A simple strategy for aborting G-machine instructions when page faults occur would be simply to reset the G machine's program counter and stack pointer to the values they had when the current instruction began to execute. List as many problems as you can find with this strategy.