1  #include <stdlib.h>
       2  
       3  /* Ensure that we don't need to laboriously walk every path to get
       4     to the end of the function.  */
       5  
       6  int test_1 (int n)
       7  {
       8    int i, j, k;
       9    k = 0;
      10    for (int i = 0; i < n; i++)
      11      for (int j = 0; j < 1000; j++)
      12        k++;
      13    return k;
      14  }