#include <stdio.h>
#include "dir/header.h"
int main() {
printf("HEADER_STRING: %s\n", HEADER_STRING);
}