/* Copyright (C) 2007 Free Software Foundation
   Contributed by Ollie Wild <aaw@google.com> */

#include "counter-1.h"

int main(void) 
{
  return __COUNTER__;
}