Debug_no_restart_3