int sum8(int x, int y) { assert((x >= 0) && (x <= mask8)); assert((y >= 0) && (y <= mask8)); return ((x + y) & mask8); }