1  /* Copyright (C) 2007 Free Software Foundation
       2     Contributed by Ollie Wild <aaw@google.com> */
       3  
       4  #include "counter-1.h"
       5  
       6  int main(void) 
       7  {
       8    return __COUNTER__;
       9  }