Sign_Extend
# define Sign_Extend(a,b) if (b < 0) a |= 0xffff0000;
# define Sign_Extend(a,b) /*no-op*/