#include <stdio.h>
#include "util.h"

void f1(void)
{
   printf("Current file name is %s\n", __FILE__);

}