slide 15 of 23
return(x + y); return((x + y) & 0x7f7f7f7f);
return(a - b); return(((a | 0x80808080) - b) & 0x7f7f7f7f);