Update sign_Extend.v