1  #include <stdio.h>
       2  
       3  extern char bar[];
       4  extern char size_of_bar __asm__ ("bar@SIZE");
       5  extern void set_bar (int, int);
       6  
       7  int
       8  main ()
       9  {
      10    set_bar (1, 20);
      11    if (10 == (long) &size_of_bar && bar[1] == 20)
      12      printf ("OK\n");
      13  
      14    return 0;
      15  }