#include "dir/header.h"
#include <stdio.h>

int main()
{
  printf("HEADER_STRING: %s\n", HEADER_STRING);
}