/*
This file is licensed to you under the license specified in the included file
`LICENSE'. Look there for further details.
*/


/*
  This function is called when found EOF.
 */
#include <stdio.h>

int
yywrap ()
{
  /* fprintf (stderr, "yywrap() called.\n"); */
  return 1;
}