#include "f.h"

void f1()
{
  printf("This is the procedure %s\n", F1);
}