#include <stdio.h>

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