1  long foo(long a, long b, long c)
       2  {
       3    if (a != 12 || b != 1 || c != 11)
       4      abort();
       5    return 0;
       6  }
       7  long bar (long a, long b)
       8  {
       9    return b;
      10  }
      11  void baz (long a, long b, void *c)
      12  {
      13    long d;
      14    d = (long)c;
      15    foo(d, bar (a, 1), b);
      16  }
      17  int main()
      18  {
      19    baz (10, 11, (void *)12);
      20    exit(0);
      21  }