Then we need to audit the spec for malicious instructions.