#include <stdio.h>
#include <string.h>
#include <regen.h>
#include <noregen.h>

int main(int argc, char** argv)
{
  /* Make sure the noregen header was not regenerated.  */
  if(strcmp("foo", noregen_string) != 0)
    {
    printf("FAILED: noregen.h was regenerated!\n");
    return 1;
    }

  /* Print out the string that should have been regenerated.  */
  printf("%s\n", regen_string);
  fflush(stdout);
  return 0;
}