SDDbgValues are apparently not being legalized. Fix a symptom of the problem,