Fail-stop processors