1  f ()
       2  {
       3    int var = 7;
       4  
       5    if ((var/7) == 1)
       6      return var/7;
       7    return 0;
       8  }
       9  
      10  main ()
      11  {
      12    if (f () != 1)
      13      abort ();
      14    exit (0);
      15  }