void bar()
{
  printf("BAR\n");
}