More robust undefined restarts.