#include <stdio.h>

extern int $$dpro;

main()
{
  FILE *f;
  int *x;
  int i;

  $$dpro = 1;
  if ((f = fopen("test.dat","w")) == NULL) {
    perror("fopen");
    exit(1);
  }
  fprintf(f, "Foobar\n");
  printf("Protection is %d\n", *((int*)f + 129));
  fclose(f);

  
}