bug fix as proposed by luowy. Refs: #25.
The page guard is not set correctly after the first occurrence of a stack overflow.
An unused local variable removed in ThisMod according to Helmut Zinn.