/* config.h */
#ifndef __STDC__
#define VARARGS
#endif
#define YYTEXT_POINTER 1