1  int * __restrict__ x;
       2  
       3  int foo (int y)
       4  {
       5    *x = y;
       6    return *x;
       7  }
       8  
       9  extern void abort (void);
      10  
      11  int main()
      12  {
      13    int i = 0;
      14    x = &i;
      15    if (foo(1) != 1)
      16      abort ();
      17    return 0;
      18  }