1  void foo (volatile long long *x)
       2  {
       3    while (*x)
       4      {
       5        *x = 0;
       6        *((volatile char *) 0) = 0;
       7      }
       8  }