(call_debugger): When entering the debugger while redisplaying,