foo (int a, int b, int *p)
{
  int c;
  p[2] = a + 0x1000;
  c = b + 0xffff0000;
  if ((b + 0xffff0000) == 2)
    c++;
  p[2] = c;
}