#ifndef HEADER1
#define HEADER1

#include "header3.h"

inline int f(int *ptr) {
  return h(ptr);
}

void foo(int *ptr);
#endif // HEADER1