1  int f(void)
       2  {
       3    int *a = 0;
       4    for(a = 0; a < (int*)32767;a++)
       5     ;
       6  }