char yywrap ();
int
main (void)
{
return yywrap ();
  ;
  return 0;
}