#include <stdio.h>

#include "dir/header.h"

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