int printf(const char *format, ...);

#ifndef INLINE
#define INLINE
#endif

INLINE void
f()
{
   static int count = 55;
   static int count1;

   printf("#0012:%d %d\n",count++,count1++);
  
}
int
main()
{
   f();
   f();
    return 0;
}