1  extern void abort (void);
       2  
       3  static void something();
       4  
       5  int main()
       6  {
       7    something(-1);
       8    return 0;
       9  }
      10  
      11  static void something(int i)
      12  {
      13    if (i != -1)
      14      abort ();
      15  }