Delete signext.v