debugging: Making restart keep the stack