int sat_add(int x, int y);