#include "doc1.h"
#include "foo.h"
#include "config.h"

#include <stdio.h>

int generated();
int wrapped();
int gen_once(void);

int main ()
{
  if (generated()*wrapped()*doc()*gen_once() == 3*5*7*11)
    {
    FILE* fin = fopen(PROJECT_BINARY_DIR "/not_included.h", "r");
    if(fin)
      {
      fclose(fin);
      return 0;
      }
    else
      {
      return -2;
      }
    }
  
  return -1;
}