1  extern void abort(void);
       2  extern void exit(int);
       3  
       4  int c;
       5  
       6  void baz(int *p)
       7  {
       8    c = *p;
       9  }
      10  
      11  void bar(int b)
      12  {
      13    if (c != 1 || b != 2)
      14      abort();
      15  }
      16  
      17  void foo(int a, int b)
      18  {
      19    baz(&a);
      20    bar(b);
      21  }
      22  
      23  int main()
      24  {
      25    foo(1, 2);
      26    exit(0);
      27  }