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