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