void foo()
{
  printf("FOO\n");
}