int main(int x, int y) {
  int z = x << 32;
  y = y - z;
  return x + y;
}