1  void abort (void);
       2  void f(int i)
       3  {
       4    if (i>4 + 3 * 16)
       5      abort();
       6  }
       7  
       8  int main()
       9  {
      10    unsigned int buflen, i;
      11    buflen = 4 + 3 * 16;
      12    for (i = 4; i < buflen; i+= 3)
      13      f(i);
      14    return 0;
      15  }