1#include <stdio.h>
2
3void
4foo1 (void)
5{
6  printf ("foo1\n");
7}
8