Fix SVACE defect (SIGN_EXTENSION)