function SignExtend (N,x) = {
  return(extsv(x))
}