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