// used to generate some exec join-point ids
void f1() {}
void f2() {}
void f3() {}
void f4() {}

#include "h1.h"

void f5() {}
void f6() {}

void another_function () {
    f ();
}