Kill dead code
Stop masking overflow and propagate it out more aggressively; also
improve error reporting to suggest to user how to fix.